# Tagged Questions

**1**

vote

**1**answer

80 views

### Normal Uniform Spaces and their function uniform spaces

Let $(X,\mathcal D)$ be a normal (diagonal) uniform space and $G$ be the set of all homeomorphisms $f:X\to X$. Let $\Delta$ be the uniformity on $X^X$ (inherited by $G$) by subbase
$$\Lambda =\{ ...

**2**

votes

**1**answer

82 views

### Are the connected components of a Priestley space closed?

Preliminaries A Priestley space is both a poset and a topological space. The topologically connected components of the space are trivially closed. (They are just the points of the underlying set.) But ...

**4**

votes

**1**answer

178 views

### What's the link between topological spaces as locales and topological spaces as infinity-groupoids?

I've seen texts that talk about topological spaces being essentially locales, like Topology via Logic by Vickers, and texts related to homotopy theory that talk about topological spaces being ...

**6**

votes

**1**answer

546 views

### A problem on infinite dimensional metric space

Let $(X_{n},d_{n})_{n \in \mathbb{N}}$ be a sequence of complete geodesic metric spaces verifying :
$X_{n}$ is a regular CW complex of constant local dimension $n$.
$X_{n}$ is of finite type, ...

**1**

vote

**2**answers

138 views

### Metrization of spaces of functions

Let $M$ and $N$ be topological spaces. Are there necessary and sufficient conditions on the topological properties of the spaces such that $C(M,N)$ is metrizable?
For $M$ compact and $N$ a metric ...

**4**

votes

**1**answer

202 views

### Omitting types and Baire category

What is the relation between omitting types theorems in model theory and the baire category theorem?

**5**

votes

**2**answers

278 views

### Is there a Tychonoff space $X$ of cardinality not of the form $2^\alpha$ such that $|C(X)| = |X|$

Let $X$ be the real line with the usual topology. Then clearly $|C(X)| = c = |X|$ and on the other hand $|X| = 2^{\aleph_0}$.
Now my question is as in the title: Is there a Tychonoff space $X$ of ...

**0**

votes

**1**answer

255 views

### What are some characterizations of the strong and total variation convergence topologies on measures?

I asked this question on StackExchange a few days ago but didn't get any response, so I thought I would try here.
The Wikipedia article on convergence of measures defines three kinds of convergence: ...

**2**

votes

**1**answer

199 views

### A completely regular space that is very non-normal

Take a completely regular Hausdorff topological space $X$ considered as a subset of its Stone-Čech compactification $\beta X$. If $X$ is not normal, we can find a closed subset $Y$ of $X$ and a ...

**4**

votes

**1**answer

175 views

### Inducing metric spaces

Let $f\colon \mathbb{R}_{\geq0} \to \mathbb{R}_{\geq0}$ be a function. We say that $f$ has the property of inducing metric spaces, whenever for all metric space $(X,d)$, $(X, f \circ d)$ is also a ...

**2**

votes

**0**answers

81 views

### Proving that two given functionally structured spaces are isomorphic

The relevant definitions are listed below. They can be found in Chapter VI, pages 297-298 of Bredon's Introduction to Compact Transformation Groups; and Section 2, Chapter II of Bredon's Topology and ...

**10**

votes

**2**answers

376 views

### Are these rings of functions isomorphic?

Let $R$ be the ring of all functions $f : \Bbb{R}\longrightarrow \Bbb{R}$ which are continuous outside $(-1,1)$ and let $S$ be the ring of all functions $f : \Bbb{R}\longrightarrow \Bbb{R}$ which are ...

**5**

votes

**1**answer

191 views

### inverse problem for ergodic measures

It is a basic fact in the weak-* topology, the set of invariant measures for a dynamical system is closed, compact, and convex in the weak-* topology. Furthermore, the set of ergodic measures is equal ...

**6**

votes

**1**answer

246 views

### Partition $\Bbb{R}$ into a family of sets each one homeomorphic to the Cantor set

It is known that there is no (nontrivial) partition of $\Bbb{R}$ into a countable number of closed set. But is there a partition of $\Bbb{R}$ into sets, each one homeomorphic to the cantor ternary ...

**5**

votes

**1**answer

111 views

### Is There a maximal space that is a P-space?

we guess there is no maximal space which is also a P-space. Am I right? Do u know a counter example?
clarifications:
Maximal space is that space with topology $\tau$ which is maximal crowded topology ...

**6**

votes

**3**answers

465 views

### Continuous functions as uniformly continuous function

Three question concerninng metrics on the real line:
Is there a metric $d$ on $\Bbb{R}$ such that a function $f : (\Bbb{R},d) \longrightarrow (\Bbb{R},d)$ ( or $f : \Bbb{R} \longrightarrow ...

**5**

votes

**3**answers

157 views

### When are all continuous self-maps of a topological spaces generated by retractions and self-homeomorphisms of prime order?

This is probably a very basic question, but I don't know the answer and I also don't see how it might be obvious (which it very well might be).
Given a topological space $X$, when is the set of all ...

**2**

votes

**1**answer

318 views

### Different Metrics for Baire Space and their induced Topologies

The Baire-Space is the set of all infinite sequences of integers, i.e.
$$
\mathcal N = \omega^{\omega}.
$$
On this space usually the following metric is given
$$
d(\alpha, \beta) = \left\{ ...

**1**

vote

**1**answer

87 views

### countably normed spaces and countably normed spaces [closed]

Why locally convex spaces are not presented as countably normed spaces i.e an infinite sequence of norms (see Generalized functions Tome 2 by Gelfand and Chilov) in the western mathematical ...

**9**

votes

**0**answers

245 views

### Topology of marked groups for different number of generators

A $k$-marked groups is a pair $(G,S)$ where $G$ is a group and $S$ is an ordered set of $k$ generators of $G$. Each such pair can be identified with a normal subgroup of the free group $F_k$ of rank ...

**4**

votes

**0**answers

153 views

### Krull dimension and Morley rank

Definition : A Topological space $\mathcal{D}$ is called noetherian if it satisfies the descending chain condition for closed subsets. We define the dimension of $\mathcal{D}$ to be the supremum of ...

**-1**

votes

**1**answer

210 views

### Topological degree of homogeneous function of degree k [closed]

Let $F:\mathbb{C}\to \mathbb{C}$ be a homogeneous map of degree $k$ (i.e., $F(tx)=t^kF(x)$, $t>0$). It is true that $F$ has topological degree less than or equal to k?
This is true if F is ...

**1**

vote

**1**answer

330 views

### The space $\psi$

Is the space $\psi$ (described in problem 5I of L. Gillman and M. Jerison, Rings of continuous functions, Springer Verlag, 1976) a F-Z-space (i.e, space with $cl(X-Z(f))$ is a zero set for every $f$ ...

**6**

votes

**1**answer

222 views

### Formal series convergence in deformation quantization and $C^*$-condition

A link between formal series convergence in deformation quantization (strict deformation quantization) and producing $C^*$-algebras instead of mere $*$-algebras (which ...

**6**

votes

**0**answers

239 views

### Prokhorov's theorem for finite signed measures?

Prokhorov theorem provides a useful characterization of relatively compact sets w.r.t. narrow topology (topology induced by narrow convergence) in the space of probability measure.
Notation used ...

**3**

votes

**2**answers

242 views

### How to define compatible topology for first-order structures?

Background Because a bounded distributive lattice can be represented by the clopen sets of a Priestley space, I tried to learn some basics about Priestley spaces. After reading (on Wikipedia)
A ...

**2**

votes

**0**answers

171 views

### Sequences and pseudocharacter in compact spaces

Is there a consistent example of a compact Hausdorff space $X$ on which the following holds?
i) there is a $Y \in {[X]}^{\aleph_1}$ such that $\psi (Y) = \aleph_1$; and
ii) there is no non-trivial ...

**5**

votes

**2**answers

352 views

### A question about the Stone–Čech compactification of discrete spaces

Let $D(\kappa)$ be the discrete space of cardinality $\kappa$, and $\beta D(\kappa)$ its Stone–Čech compactification.
Is there, for every infinite cardinal $\kappa$, a subset $Y \in [\beta ...

**4**

votes

**1**answer

179 views

### n-simplex in an intersection of n balls

Consider any $n$-simplex, $n \geq 2$. For each edge $(i,j)$, consider $n$-ball $B_{ij}$ such that vertices $x_i$ and $x_j$ are antipodal on this ball. Fix a point $x_0$ in the simplex. The question: ...

**19**

votes

**5**answers

657 views

### Topology on the set of analytic functions

Let $H(D)$ be the set of all analytic functions in a region $D$ in $C$ or in $C^n$.
Everyone who worked with this set knows that there is only one reasonable topology
on it: the uniform convergence on ...

**-2**

votes

**1**answer

152 views

### non-trivial convergent sequence [duplicate]

I have reached a deadlock to find a example to show that a compact Hausdorff space does not need to have a no non-trivial convergent sequence.(except $\beta\omega$)
can you give me a example of ...

**0**

votes

**1**answer

157 views

### Stone-Cech compatification and ultrafilter [closed]

I have been studding about compatification of a topological space $X$. But I have low understanding about the Stone-Cech compatification, specially construction of the Stone-Cech compatification on ...

**5**

votes

**2**answers

398 views

### Isomorphic rings of functions

Let $X$ and $Y$ be two topological spaces with $C(X) \cong C(Y)$ (where $C(X)$ is the ring of all continuous real valued functions on $X$). I know that we can not conclude that $X$ and $Y$ are ...

**0**

votes

**2**answers

171 views

### Continuity with Hausdorff metric

For a metric space $E$, let $\mathcal{H}(E)$ be the metric space consisting of the set of nonempty compact subsets of $E$ and the Hausdorff metric. Consider the following two statements.
Let $X$ and ...

**6**

votes

**0**answers

86 views

### How to call a point in a space having the property that there is essentially one $\omega$-sequence converging to it?

Consider the point $x=\langle \omega_1,\omega\rangle$ in the Tychonov plank $(\omega_1 + 1)\times(\omega + 1)$. Then there is essentially only one sequence (of length $\omega$) converging to it, ...

**9**

votes

**0**answers

240 views

### Linearly Lindelöf spaces with Lindelöf degree of uncountable cofinality

Is there a linearly Lindelöf space $X$ with
$\operatorname{cf} (L(X))> \aleph_{0}$
(where $L$ is the cardinal function Lindelöf degree)?
$L(X)$ must be a limit cardinal, like $\aleph_{\omega_{1}}$ ...

**8**

votes

**1**answer

308 views

### Is there a $P$-space linearly Lindelöf and non-Lindelöf?

A completely regular topological space $(X,\tau)$ is a $P$-space, if every $G_\delta$-subset of $X$ is open (i.e $\tau$ is closed under countable intersection).
A topological space $X$ is linearly ...

**4**

votes

**3**answers

474 views

### Uniquely geodesic and CAT(0) spaces?

Improvement after J-M Schlenker's comment below :
This post has been divided into two parts, the second part is here.
Question : Is a finite dimensional metric space, uniquely geodesic if and only ...

**1**

vote

**1**answer

119 views

### A space with countable tightness which is not a Fréchet space?

I need a space with countable tightness which is not a Fréchet space. In this space, I am searching for a point with no deleted neighborhood consisting entirely of P-points.
(A P-point is a point $x ...

**1**

vote

**1**answer

209 views

### Folium in GNS construction and von Neumann algebras

The GNS construction allows one to represent a $C^*$-algebra as the algebra of bounded operators on a Hilbert space when a state is fixed, this state being represented as a vector on the Hilbert ...

**6**

votes

**2**answers

463 views

### Homotopy problem for infinite dimensional topological space II

This post here is a specification of this post.
Let $(X_{n},d_{n})_{n \in \mathbb{N}}$ be a sequence of intrinsic metric spaces verifying :
$X_{n}$ have topological dimension $n$.
$X_{n+1}$ is ...

**7**

votes

**1**answer

537 views

### What is the shape of mathematical universe?

Shape? At the usual mathematical literature when we can discuss about the shape of a "space" that we have a kind of "topography" on it. For example a topology, metric, geometry, etc.
Note that for ...

**0**

votes

**2**answers

272 views

### Homotopy problem for infinite dimensional topological space

Let $X$ be an infinite dimensional topological space such that :
$ \forall n \in \mathbb{N}$, $ \exists X_{n} \subset X$, $n$-dimensional subspaces verifying :
$\forall r<n$, the homotopy ...

**2**

votes

**2**answers

186 views

### When is a filter generated by a (countable) chain?

In any partial order $(P,\leq)$ it is easy to see that every chain generates (i.e., by taking the upwards closure) a filter, and any filter built as a result of the Rasiowa-Sikorski lemma in forcing ...

**1**

vote

**1**answer

97 views

### Special finite subcover of a compact

Let $(a,b)\in \mathbb R^n$. We consider the following open cover of the compact line segment $[a,b]$: $$[a,b]\subset\underset{x\in [a,b]}{\bigcup}B(x,\rho_x),$$
where for $x\in K,B(x,\rho_x)$ is a ...

**4**

votes

**0**answers

56 views

### Is a closed set with orbit capacity zero automatically thin?

Let $G$ be a countably infinite amenable group. Let $\alpha: G\curvearrowright X$ be a continuous group action. (Mostly free and minimal, though!)
Definition 1: Let $A\subset X$ be closed and ...

**2**

votes

**1**answer

94 views

### Actions of compact Lie groups on (possibly but hopefully not) non-regular spaces

Suppose $G$ is a compact Lie group acting freely on a topological space $Q$ (about whose separation conditions I make no assumptions) and the qoutient $Q/G$ is known to be completely regular Hausdorff ...

**27**

votes

**2**answers

651 views

### A property of the unit circle

Let $(X,d)$ be a compact connected metric space with the property that for any distinct points $a,b$, $X\backslash \lbrace a,b\rbrace$ is disconnected. Clearly the unit circle has this property. Is ...

**2**

votes

**0**answers

188 views

### Bohr topos and quantization

Bohrification is a natural way to construct a quantum "phase space" (with some nice insights on foundational problems like non-contextuality through Kochen-Specker etc). I was wondering, since we get ...

**10**

votes

**1**answer

194 views

### Idempotent ultrafilters and the Rudin-Keisler ordering

Short version: what can we say about the place of idempotent ultrafilters in the Rudin-Keisler ordering?
Longer version:
If $U$, $V$ are (nonprincipal) ultrafilters on $\omega$, then we write ...