**5**

votes

**1**answer

364 views

### Intersections of open balls in manifolds

This question is motivated by the post Uncountable intersections of open balls in a separable metric space.
The general problem is the following: given a connected Riemannian manifold $M$, what are ...

**4**

votes

**1**answer

174 views

### Uncountable intersections of open balls in a separable metric space

Let X be a separable metric space, possibly assumed to be complete, and $B_i, i \in J$ an infinite collection of open balls. Is it true that there always exists a countable subset K of J such that the ...

**0**

votes

**1**answer

76 views

### Connectedness of the complements of the connected subsets

EDIT: My original foolish version was instantly destroyed by Dylan Thurston; it consisted of questions 1 & 2 below. Thus now only new question 0 remains to be answered.
Let $\ X:=M^n\ $ be a ...

**8**

votes

**1**answer

244 views

### Contractible and Delta-generated implies strong deformation retract to a point?

If a CW-complex is contractible, then it strongly deformation retracts onto the inclusion of a point.
However for general spaces it is well-known that just because a space is contractible, it does ...

**2**

votes

**1**answer

133 views

### Zero-dimensional spaces and clopen separations

Let $X$ be a topological space. (All of the spaces I'm considering are $T_0$, but in general they are not $T_1$. To be even more concrete, one can even consider $X={\rm Spec}(R)$ to be the space of ...

**1**

vote

**1**answer

138 views

### Union of connected sets

$\forall \beta \in I$, $A_{\beta }$ is connected, and $\left ( \bigcup_{\alpha < \beta }A_{\alpha } \right )\cap A_{\beta }\neq \varnothing$ . Is $\bigcup_{\alpha \in I}A_{\alpha } $connected?
For ...

**-1**

votes

**1**answer

117 views

### Continuity of function mapping $\mathcal{P}(\mathcal{P}(X))$ to $\mathcal{P}(X)$ [closed]

Given a topological space $Y$, let $\mathcal{P}(Y)$ be the set of all probability measures on $Y$, endowed with the weak* topology.
Let $X$ be a topological space (for convenience, it might be Polish ...

**2**

votes

**1**answer

167 views

### Digital topology, animal problem, 2-sphere and torus

I have the following question relating digital topology, surfaces, particularly $S^2$ and torus.
Can a body $B$ constructed with cubes (without cavities or tunnels) and with frontier homeomorphic to ...

**0**

votes

**1**answer

94 views

### Priestley topologizability and connected components

This question is in the spirit of another older question.
We say that a poset $(P,\leq)$ is Priestley-topologizable if there is a topology $\tau$ on $P$ such that $(P,\leq,\tau)$ is a Priestley ...

**12**

votes

**1**answer

627 views

### What if homotopy were expanded to allow any connected space instead of [0,1]?

What would happen to homotopy theory if we used a more general definition of homotopy, based on general connected spaces rather than [0,1]?
Given continuous $f,g:X\to Y$, define $f$ and $g$ to be ...

**4**

votes

**1**answer

202 views

### The subbase theorem for total boundedness

The uniform space analogue of Alexander's subbase lemma on compact subbase is (As we know, Alexander subbase lemma can be used to prove Tychonoff's theorem) :
Let $(X,\mathcal{U})$ be a uniform ...

**4**

votes

**1**answer

162 views

### convergence of integral for each bounded function in probability

Let $\mu, \mu_1, \mu_2, \dots$ be random measures on
a Polish space (separable completely metrizable topological space) $(S, {\mathcal S})$.
Suppose I know that
$$\int f d \mu_n \to \int f d\mu$$
...

**3**

votes

**2**answers

195 views

### Extending hyperconnected spaces

A hyperconnected space is a topological space such that every two non-empty open sets have non-empty intersection. Let's call a space $(X,\cal{T})$ maximally hyperconnected if it is hyperconnected and ...

**22**

votes

**2**answers

2k views

### Why should have Peter May worked with CGWH instead of CGH in “The Geometry of Iterated Loop Space”?

This is a follow-up to Dan Ramras' answer of this question.
The following correction can be found in the errata to The Geometry of Iterated Loop space (Page 484 here).
The weak Hausdorff rather ...

**2**

votes

**2**answers

112 views

### Minimal Hausdorffness reversed

It turns out that not every Hausdorff topology is contained in a minimal Hausdorff topology. Let's put this question on its head: is every non-$T_2$ topology contained in a topology that is maximal ...

**1**

vote

**0**answers

100 views

### Two questions on hyperspace of a metric space

Let $(X,T)$ be a compact metrizable space. For every metric $d$ on $X$ which is $T-$ compatible, the Hausdorff metric on $2^{X}$ gives a topology on $2^{X}$.
(Up to homeomorphism) is this topology ...

**0**

votes

**0**answers

64 views

### Is the order convergence topology on a poset always Hausdorff?

In this post two topologies on a poset $(P,\leq)$ were defined: the interval topology $\tau_i(P)$ and the order convergence topology $\tau_o(P)$. It turns out that $\tau_i(P)$ is always $T_1$ and ...

**5**

votes

**2**answers

246 views

### Does every locally compact Hausdorff space admit a locally finite open covering by relatively compact sets?

Let $X$ be a locally compact Hausdorff space. Does there exist a locally finite open covering consisting of relatively compact sets?

**1**

vote

**1**answer

96 views

### Interval topology and order convergence topology

Throughout this post, let $(P,\leq)$ be a poset. The interval topology $\tau_i(P)$ on $P$ is generated by
$$\{P\setminus\downarrow x : x\in P\} \cup \{P\setminus\uparrow x : x\in P\},$$
where ...

**2**

votes

**1**answer

138 views

### Mean on compact metric spaces

Let $X$ be a compact metric space. A $k$ mean on $X$ is a continuous map $f:X^{k}\to X$ which is identity on the diagonal and is invariant under all $k$-permutations. For details, See the following ...

**1**

vote

**2**answers

192 views

### Two notions of zero-dimensionality for topological spaces

Let $(X,\tau)$ be a topological space.
We say that $(X,\tau)$ is zero-dimensional with respect to the Lebesgue covering dimension (zd1) if every open cover of the space has a refinement which is a ...

**-1**

votes

**4**answers

657 views

### Studying topology: which first, algebraic or differential? [closed]

I have recently studying the basics of topology (ideas in point set, connectedness compactness) and I want to continue my studies but i'm interested in both differential and algebraic topology. which ...

**2**

votes

**1**answer

154 views

### Are all minimal totally separated spaces compact?

Let us call a space $(X,\tau)$ totally separated if for every two distinct points there is a clopen set containing one, but not the other. If for every topology $\sigma\subseteq\tau$ with $\sigma\neq ...

**1**

vote

**1**answer

151 views

### Minimal totally separated spaces

Let us call a space $(X,\tau)$ totally separated (ts) if for every two distinct points there is a clopen set containing one, but not the other. If for every topology $\sigma\subseteq\tau$ with ...

**0**

votes

**2**answers

111 views

### Connected, maximal compact, but not $T_2$

Is there a connected topological space that is maximal compact, but not $T_2$? (A space $(X,\tau)$ is said to be maximal compact if for any topology $\tau'$ on $X$ with $\tau'\supseteq \tau$ and ...

**1**

vote

**0**answers

74 views

### Equicontinuity of $\{f_{2n}\circ f_{2n-1}\}$

Let $(X,D)$ be a compact metric space and $\{f_n\}_{n\in\mathbb{N}}$ be a sequence of homeomorphisms of $(X,d)$. It is easy to see that if $\{f_n\}$ is uniformly convergent then $\{g_n\}$ defined by ...

**1**

vote

**1**answer

161 views

### Does hyperconnected imply path-connected

If a space is hyperconnected (that is, the every non-empty open sets intersect), is it also path-connected?

**20**

votes

**3**answers

1k views

### Does the Brouwer fixed point theorem admit a constructive proof?

Wikipedia and a few websites (and a few mathoverflow answers) say there is a constructive proof of the Brouwer fixed point theorem, some others say no. The argument for a constructive proof is always ...

**4**

votes

**0**answers

70 views

### Topological systems of imprimitivity

Let $G$ be a group acting by homeomorphisms on a topological space $X$. $G$ is topologically transitive if every open $G$-invariant subset of $X$ is empty or dense.
Here is an attempt to define ...

**-1**

votes

**1**answer

53 views

### Countable, $T_1$, and not metacompact

Is there a countable space that is $T_1$ and not metacompact? (A space $(X,\tau)$ is not metacompact iff there is on open cover $\cal{U}_0$ such that for every open refinement $\cal V$ there is $x\in ...

**-1**

votes

**1**answer

145 views

### Decomposition space of $\mathbb{C}$ by concentric circles [closed]

What are the topological properties of the quotient space $X$ obtained from $\mathbb{C}$ by identifying points of the same modulus? I.e., the space $X=\mathbb{C}/E$ where $E$ is the equivalence ...

**4**

votes

**1**answer

154 views

### Segments on a family of parallel lines

Let $\{l_i:i\in I\}$ be a family of parallel lines on the plane $\mathbb{R}^2$. Suppose for each $i\in I$ there is a closed segment $s_i\subset l_i$. Moreover, for each triple $i_1,i_2,i_3$ there ...

**6**

votes

**1**answer

233 views

### is this map a closed inclusion?

I apologize in advance if this question is too technical. I haven't found a reference in the literature yet, and it seems difficult enough that perhaps it has not been answered.
Let $A$, $B$, and $C$ ...

**0**

votes

**0**answers

136 views

### Snake-like continua and universal images

Among the Hausdorff compact spaces the closed interval is the simplest snake-like continuum. I'll present the definition after stating the problem.
The snake-like continua $\ S\ $ are universal ...

**4**

votes

**0**answers

112 views

### Are there any known ``topological" invariants for branched coverings?

My question is the following: let $f:\Omega\to \mathbb{R}^n$ be a branched covering, namely $f$ is continuous, discrete (each fiber is a discrete subset of $\Omega$) and open (open sets get mapped ...

**2**

votes

**2**answers

181 views

### A Jordan Separation Theorem for Polyhedral Surfaces

Let me begin by defining what a polyhedral surface is.
A path-connected subset $ P $ of $ \mathbb{R}^{3} $ is called a polyhedral surface iff it is the union of a finite collection $ \mathcal{C} $ of ...

**4**

votes

**1**answer

95 views

### Convergent filters generated by (not necessarily countable) chains

Suppose $\langle X,\mathscr{O}\rangle$ is a topological space and let $\mathscr{O}_x$ be the family of all open neighbourhoods of $x\in X$. Let $\mathscr{F}$ be the filter generated from ...

**2**

votes

**2**answers

199 views

### Connected complement manifold

I'm working on some problem in algebraic geometry. I need a reference to the following result:
Let $h\in\mathbb{N}$ with $h\geq1$ and let $F\in\mathbb{C}\left[x_{1},\ldots,x_{h}\right]$
be a non ...

**2**

votes

**1**answer

79 views

### Minimal $T_0$-spaces

As suggested by Joseph van Name in Is the associated order of a minimal $T_0$ space always total?, here's a natural question on $T_0$-spaces:
If $(X,\tau)$ is $T_0$, is there a minimal $T_0$ topology ...

**3**

votes

**4**answers

267 views

### Is there a compact connected Hausdorff space in which every non-empty $G_\delta$ set has non-empty interior?

Q1.
Is there a compact connected Hausdorff space (with at least two points) in which every non-empty $G_\delta$ set has non-empty interior? (Without the requirement for connectedness, every finite ...

**0**

votes

**1**answer

274 views

### Shrinking $\mathcal{C}_c^{\infty}(M)$ to obtain a first countable space

This is a follow-up to this question.
Let $M$ be manifold (Hausdorff, countable base, finite dimensional, if it simplifies anything embedded in $\mathbb{R}^n$).
I'm interested in the topological ...

**1**

vote

**2**answers

194 views

### Topological properties for which bijectively related imply homeomorphism

In this post I give examples of topological spaces for which bijectively relations imply existence of an homeomorphism. Namely:
Intervals of the real line.
Compact spaces.
I also give a ...

**1**

vote

**1**answer

136 views

### Does the countable $\sigma$-product of a separable Hilbert space have a first countable topology?

Let $\mathcal{l}^2$ be "the" separable real infinite dimensional hilbert space, e.g. the space of square-summable sequences of real numbers.
Let $\Box^{\mathbb{N}}\mathcal{l}^2$ be the countable ...

**2**

votes

**0**answers

69 views

### On compactness in $C(X)$

Let $X$ be a Tychonoff space. It is well known, that for a family of scalar functions equicontinuity + pointwise boundedness imply relative compactness in $C(X)$ (with compact-open topology). It is ...

**5**

votes

**1**answer

428 views

### Direct limit of compact topological spaces

Let $\{X_n\}_{n\in \mathbb{N}}$ be a direct system of compact topological spaces, meaning that we have morphisms $f_i\colon X_i \to X_{i+1}$ with the necessary compatibility conditions. Is there any ...

**9**

votes

**4**answers

485 views

### Between Tietze's and Dugundji's Extension Theorems

The celebrated Tietze Extension Theorem asserts that any continuous real-valued function defined on a closed subset of a normal space, can be extended to a continuous function on the whole space. Seen ...

**1**

vote

**0**answers

36 views

### Homotopy injection between the unit ball in the Euclidean n space and an n-dimensional metric AR

Let $D^n$ be the closed unit ball in $\mathbb{R}^n$. Given a compact, $n$-dimensional, AR(Absolute Retract) metric space $X$, must it happen that either $X$ embeds in $D^n$ or $D^n$ embeds in $X$?
...

**2**

votes

**1**answer

123 views

### Is every set of small measure contained in an open set of small measure with null boundary?

Let $\lambda( \cdot )$ denote Lebesgue measure on $[0,1]$. Let $(A_n)_{n=1}^\infty$ be a decreasing sequence of Borel subsets of $[0,1]$ such that $\bigcap_{n=1}^\infty A_n = \emptyset$. Given ...

**1**

vote

**2**answers

146 views

### Is the associated order of a minimal $T_0$ space always total?

Let's call a space $(X,\tau)$ minimal $T_0$ if it is $T_0$ and for every topology $\sigma\subseteq \tau$ with $\sigma \neq \tau$ we have that $(X,\sigma)$ is not $T_0$ any more.
We say $x\leq y$ in a ...

**2**

votes

**1**answer

142 views

### Is there a maximal connected Hausdorff space?

We call a space $(X,\tau)$ maximal connected, if it is connected, and for any topology $\sigma \supseteq \tau$ with $\sigma\neq \tau$, the space $(X,\sigma)$ is not connected.
Is there a maximal ...