**1**

vote

**0**answers

73 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 ...

**2**

votes

**1**answer

156 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

68 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 ...

**2**

votes

**1**answer

52 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

143 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

131 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

227 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

133 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

110 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

179 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

88 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

178 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 ...

**5**

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

255 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

268 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

164 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

134 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

65 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 ...

**4**

votes

**1**answer

346 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

451 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

35 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

122 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 ...

**4**

votes

**2**answers

143 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 ...

**5**

votes

**1**answer

140 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 ...

**3**

votes

**1**answer

99 views

### Maximal connected topologies

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.
If $(X,\tau)$ is ...

**6**

votes

**2**answers

396 views

### Relating different topologies on $C^{\infty}_c(M)$

This is somehow connected to this question.
I can think of at least four topologies to put on $C_c(M)$:
Topologize $C^{\infty}_c(M)\subseteq C^{\infty}(M)$ as a subspace with the weak Whitney ...

**2**

votes

**0**answers

160 views

### Weak topology on subsets of a normed space

I have few questions about the subsets of a normed space $X$ endowed with the weak topology. Let $E$ be such subset.
When is the norm a continuous function on $E$?
When is the metric induced by the ...

**3**

votes

**0**answers

65 views

### Which compact topological spaces are homeomorphic to their ultrapower?

It is well known that for any compact metric space $(X, d)$, and any ultrafilter $\mu$ there is a map $i_\mu:\prod_\mu (X, d) \to (X_d)$ in the category of metric spaces and Lipschitz maps where ...

**7**

votes

**2**answers

566 views

### Why not develop a Hamiltonian-based Morse theory?

I have begun to learn the basics of Morse theory and Floer homology. I understand that Floer homology is the natural theory for symplectic manifolds, but from my preliminary knowledge of Morse theory ...

**1**

vote

**0**answers

51 views

### On compactness in Sion's minimax theorem

Sions minimax theorem (wiki, paper) can be stated as follows:
Let $X$ be a compact convex subset of a linear topological space and $Y$ a convex
subset of a linear topological space. Let $f$ be a ...

**1**

vote

**1**answer

117 views

### Bounded-open topology vs norm on $L\left(X,Y\right)$

In general topology there is two ways of introducing a topology on the space of (continuous) maps between, say, metric spaces: set-open topology and uniform topology (it is a uniformity of uniform ...

**3**

votes

**0**answers

64 views

### Is $\mathcal{P}(\omega)/fin$ with the interval topology path-connected?

Is $\mathcal{P}(\omega)/fin$ with the interval topology path-connected? (You find the definition of $\mathcal{P}(\omega)/fin$ here.)

**3**

votes

**2**answers

107 views

### Continuous image relation on topological spaces

Let $\kappa$ be a cardinal, and let $\text{Top}(\kappa)$ be the set of topological spaces $(X,\tau)$ such that $X\subseteq \kappa$. We pre-order $\text{Top}(\kappa)$ by
for $X, Y \in ...

**32**

votes

**4**answers

998 views

### Connectedness in the language of path-connectedness

Is there a topological space $(C,\tau_C)$ and two points $c_0\neq c_1\in C$ such that the following holds?
A space $(X,\tau)$ is connected if and only if for all $x,y\in X$ there is a ...

**5**

votes

**1**answer

119 views

### Is an open map with open relative diagonal necessarily a local homeomorphism?

Let $f : X \to Y$ be an open (and continuous) map of locales. Suppose the relative diagonal $\Delta_f : X \to X \times_Y X$ is an open embedding of locales. Does it follow that $f : X \to Y$ is a ...

**5**

votes

**1**answer

171 views

### Is $\mathcal{P}(\omega)/fin$ with the interval topology a connected space?

Is $\mathcal{P}(\omega)/fin$ with the interval topology a connected space? (You find the definition of $\mathcal{P}(\omega)/fin$ here.)
Remark: According to this, the interval topology of ...

**12**

votes

**4**answers

421 views

### Obtain any 3-manifold from repeating surgeries on knots in $S^3$

In Witten's “QFT and Jones Polynomials” paper, page 383, it states that: "It is a not too deep result that every 3-manifold can be obtained from or reduced to $S^3$ (or any other desired 3-manifold) ...

**7**

votes

**1**answer

127 views

### Infinite Hausdorff space that is not homeomorphic to any proper quotient

Let $S$ be a set and $\vartheta$ be an equivalence relation on $S$. We say that $\vartheta$ is proper if there are $x\neq y\in S$ with $(x,y)\in\vartheta$.
Is there an infinite Hausdorff space ...

**9**

votes

**0**answers

121 views

### Why must commuting maps (of an interval) without common fixed points have at least 11 fixed points for the composition?

I've been looking at the examples of commuting functions on a closed interval which have no common fixed points. These were discovered in 1967 by William M Boyce and J Philip Huneke.
Earlier work by ...

**38**

votes

**1**answer

416 views

### Continuous maps which send intervals of $\mathbb{R}$ to convex subsets of $\mathbb{R}^2$

Let $f : \mathbb{R} \longmapsto \mathbb{R}^2$ be a continuous map which sends any interval $I \subseteq \mathbb{R}$ to a convex subset $f(I)$ of $\mathbb{R}^2$. Is it true that there must be a line in ...

**1**

vote

**1**answer

77 views

### Number of continuous characters on an infinite Hausdorff precompact abelian group with exponent $p$

Let $(G,\mathcal T)$ be an infinite Hausdorff precompact abelian topological group and let $G$ have exponent $p$ where $p$ is a prime number.
Can it be proved that there are at least $p+1$ continuous ...

**3**

votes

**1**answer

73 views

### Relatively compact sets in Ky Fan metric space

Let $(\Omega,P,\mathcal{F})$ be a probability space. $X$, $Y$ are two random variables. The Ky Fan metric defined as: $d_F(X,Y)=\inf\{\epsilon: P(|X-Y|> \epsilon)<\epsilon\}$ (or $d'_F(X,Y)=E ...

**10**

votes

**3**answers

319 views

### Images of $\{0,1\}^\kappa$

Is there a compact topological space $(X,\tau)$ such that for no cardinal $\kappa$ there is a surjective continuous map $e:\{0,1\}^\kappa \to X$?
(We assume that $\{0,1\}$ is endowed with the ...

**5**

votes

**2**answers

210 views

### Critical topological spaces

This is a follow-up question to Existence of injective neighborhood selection function as separation axiom.
Let $(X, \tau)$ be a topological space. If there is an injective map $f:X\to\tau$ such that ...

**6**

votes

**3**answers

139 views

### Existence of injective neighborhood selection function as separation axiom

Let $(X, \tau)$ be a topological space. We say that $(X,\tau)$ is $T_{\text{inj}}$ if there is an injective map $f:X\to\tau$ such that $x\in f(x)$ for all $x\in X$.
It is not hard to see that $T_1$ ...

**6**

votes

**3**answers

269 views

### Borel cross section

It is known from metric space topology that a closed equivalence relation on a Polish space has either countably many or $\mathfrak{c}$ many equivalence classes.
A short elementary proof is given in ...

**3**

votes

**2**answers

164 views

### Can a continuous surjection from a Hilbert cube to a segment behave bad wrt Lebesgue measures?

Suppose $\hat{I}=[0,1]^\mathbb{N}$ is a Hilbert cube and $I=[0,1]$.
Consider Lebesgue measures $m_1$ and $m_2$ on $\hat{I}$ and $I$ correspondingly. By Lebesgue measure on the Hilbert cube I mean the ...

**21**

votes

**3**answers

748 views

### Possible categorical reformulation for the usual definition of compactness

Let $X$ be a compact topological space, $f_i:Y_i\to X$ a family of continuous maps such that the topology on $X$ is final for it (i.e., $U\subset X$ is open iff $f_i^{-1}(U)$ is open for each $i$, for ...

**1**

vote

**2**answers

124 views

### Spaces for which separable is equivalent to second-countable

While it is well known for metric spaces, being separable is equivalent to be second-countable. In this post I give a counterexample for a non metric space.
What are other topological properties that ...