**1**

vote

**0**answers

83 views

### Surjectivity of maps between spheres [closed]

I am wondering how to prove that a non-zero degree map from $S^n \to S^n$ is surjective. For example, identifying $S^1 \subset \mathbb{C}$, we can take $f:S^1 \to S^1$ via $f(z) = z^k$ with $k\neq 0$. ...

**4**

votes

**4**answers

499 views

### When is the quotient by an $n$-fold loop space an $m$-fold loop space?

Given a map of $n$-fold loop spaces $X\to Y$, we can take the homotopy cofiber, denote it $Y/X$ (all spaces here will also have a base point, and all maps pointed). I have some basic questions about ...

**2**

votes

**2**answers

106 views

### Special filters in the algebra of regular open sets of a topological space

Let $\mathrm{r}\mathscr{O}$ be the family of open domains (regular open sets) of a topological space $\langle X,\mathscr{O}\rangle$, that is:
$$A\in\mathrm{r}\mathscr{O}\iff ...

**1**

vote

**1**answer

77 views

### Similarity graph for continuous maps between Hausdorff spaces

Let $X, Y$ be topological spaces and $f,g: X\to Y$ continuous. Then we say that $f, g$ are similar if for all $V\subseteq Y$ open we have either
$f^{-1}(V) = g^{-1}(V) = \emptyset$, or
$f^{-1}(V) ...

**-1**

votes

**1**answer

210 views

### An infinite set in a compact space

Let $X$ be a topological space. Is there any characterization for the property that says "for every infinit subset $A$ of $X$ there exists $a\in A$ such that if $f$ be an arbitrary real continuous ...

**0**

votes

**1**answer

77 views

### When is any convergence sequence is stationary?

Is there any characterization for a topological space under which every convergent sequence is stationary? (e.g. discrete topology)

**3**

votes

**0**answers

397 views

### Some counter examples in group theory

In this question, which we flag it as a community wiki question, we search for a big list of groups $G$ which can not be isomorphic to a structure mentioned in $i.$ for some $i \in ...

**2**

votes

**1**answer

140 views

### Intersection of compact sets in the compact-open topology

Let $(X,\tau)$ be a topological space. We topologize $\tau$ itself in the following way. For $K\subseteq X$ compact, we set $${\cal V}_K=\{U\in \tau: U \supseteq K\}.$$ The compact-open topology on ...

**6**

votes

**0**answers

115 views

### Cutting a piece of cake that $n$ people value as exactly $w$

Stromquist and Woodall (1985) study the problem of Sets on which several measures agree. There are $n$ non-atomic value measures on the unit circle, and a parameter $w\in(0,1)$. The goal is to find a ...

**5**

votes

**0**answers

116 views

### Is a successor to a successor to the trivial group topology on an Abelian group, totally bounded?

Is there an example of an Abelian group $G$ and group topologies $\cal S$ and $\cal T$ on it such that $\cal S$ is an immediate successor to the trivial topology on $G$ (i.e there is no other group ...

**5**

votes

**0**answers

64 views

### Does the $D$-property have universal objects?

A space $(X,\tau)$ is called a $D$-space if whenever one is given a neighborhood $N(x)$ of $x$ for each $x\in X$, then there is a closed discrete subset $D\subseteq X$ such that $\{N(x): x\in D\}$ ...

**1**

vote

**0**answers

96 views

### Category-theoretic characterization of zero-dimensional spaces

Some background: a zero-dimensional space is one admitting a basis of clopen sets, whereas an extremely disconnected space is one where the closures of open sets are open. In the category CHauss of ...

**3**

votes

**0**answers

73 views

### Adjunctions of uniformly locally connected spaces

A space $X$ is uniformly locally connected (ULC) if there exists an open neighbourhood $U$ of the diagonal $\vartriangle_X$ in $X \times X$ and a homotopy $H: U \times I \to X$ between $\pi_1|U$ and ...

**39**

votes

**1**answer

1k views

### Is $\mathbb{R}^3 \setminus \mathbb{Q}^3$ simply connected?

Similarly is the complement of any countable set in $\mathbb R^3$ simply connected?
Reading around I found plenty of articles discussing the path connectedness $\mathbb R^2 \setminus \mathbb Q^2$ and ...

**0**

votes

**1**answer

68 views

### Does order-preserving equal continuous? [closed]

Let $P,Q$ be posets and endow them with the interval topology $\tau_i(P)$ and $\tau_i(Q)$ respectively. Is it true that if $f: P\to Q$ is order-preserving, then it is continuous, and vice versa?

**1**

vote

**1**answer

71 views

### Path-connected Hausdorff interval topologies

Let $(P,\leq)$ be a poset with more than $1$ point such that the interval topology $\tau_i(P)$ is path-connected and $T_2$. Does this imply that $[0,1]$ order-embeds into $P$?
(This is a follow-up ...

**3**

votes

**1**answer

92 views

### Path-connected interval topologies

Let $(P,\leq)$ be a poset with more than $1$ point such that the interval topology $\tau_i(P)$ is path-connected. Does this imply that $[0,1]$ order-embeds into $P$?

**3**

votes

**1**answer

150 views

### Properties of the interval topology of the lattice of functions

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 $\downarrow x = \{y\in P: ...

**12**

votes

**2**answers

404 views

### Which sequential colimits commute with pullbacks in the category of topological spaces?

This question was asked on math.stackexchange.com without a reaction.
Given diagrams of topological spaces
$$X_0\rightarrow X_1\rightarrow\ldots$$
$$Y_0\rightarrow Y_1\rightarrow\ldots$$
...

**3**

votes

**0**answers

101 views

### Cardinality based results in Topological Vector Spaces?

Given a topological vector space $V$, let its density be the smallest cardinal $A$ such that a set of cardinality $A$ is dense in $V$. Naively, it seems one of two things happen:
TVS's $V$ of ...

**1**

vote

**1**answer

117 views

### Quotients of powers of the Sierpinski space

Is every space isomorphic to some quotient of a power of the Sierpinski space?
More precisely: Let $(X,\tau)$ be a topological space, and let $\mathbb{S} = (\{0,1\}, \{\emptyset, \{0\},\{0,1\})$ be ...

**2**

votes

**0**answers

77 views

### Quotients of simplicial complexes which are simplicial complexes

In the category of topological spaces, I would like to know that quotients of simplicial complexes (or $\Delta$-complexes) by equivalence relations which are "unramified" in a suitable sense still ...

**4**

votes

**1**answer

128 views

### Approximation of topological dynamical systems?

I'm trying to find references to approximations of topological dynamical systems in the following sense:
A topological dynamical system $(X, f)$ consists of a topological space (typically compact ...

**1**

vote

**0**answers

180 views

### Stone-Cech compactification of $\mathbb{R}^n$ and smooth functions

I am currently attending a course where we are now covering the Stone-Cech compactification. Today we proved in some detail that extensions of bounded smooth functions on $\mathbb{R}^n$ to ...

**1**

vote

**0**answers

51 views

### Injectively rigid spaces

Given a set $X$, is there a topology $\tau$ such that the identity $\text{id}_X$ on $X$ is the only continuous injective self-map?
(This is Joel David Hamkins's recent question in the category ...

**1**

vote

**0**answers

172 views

### Density of subspace with nonlocal/Wentzell boundary condition

Given the space $F$ defined by:
$$F=\left\{f\in C^2(\mathbb{R}_+^2;\mathbb{R}):f(x,0)=\int_\mathbb{R} f(z,x)g(z)dz, x>0\right\},$$
I want to prove that the subspace $E$ of $F$ defined by ...

**-3**

votes

**2**answers

132 views

### Corresponding between prime ideals in $C(X)$ and $C^*(X)$

we know that every maximal ideal in $C(X)$ is in this form:
$$M^p=\left\{\,f \in C^*(x):\ p\in cl_{\beta X} Z\left(f\right)\,\right\}$$
and every maximal ideal in $C^*(X)$ is
...

**0**

votes

**1**answer

53 views

### Rank of a generall linear group over a finite field [closed]

What is the rank (minimal number of group generators) of the group $GL(n,F)$, when $F$ is a finite field of odd order? I found that $SL(n,F)$ is $2$, but I can't find this information.

**14**

votes

**3**answers

465 views

### Does every set $X$ have a topology for which the only continuous self-surjection is the identity map?

This question is a special case of Dominic van der Zypen's question Reconstructing relations with the image relation of a topology, as discussed in the comments, particularly the comment of Eric ...

**2**

votes

**1**answer

125 views

### Reconstructing relations with the image relation of a topology

For any topological space $(X,\tau)$ we define $$R_{im}(X,\tau) := \{(x,y)\in X^2: (\exists f:X\to X) \text{ continuous and surjective with } f(x) = y\}.$$
Clearly, $R_{im}(X,\tau)$ is reflexive. This ...

**1**

vote

**1**answer

56 views

### Hausdorff spaces with asymmetric image relation

For any topological space $(X,\tau)$ we define $$R_{im}(X,\tau) := \{(x,y)\in X^2: (\exists f:X\to X) \text{ continuous and surjective with } f(x) = y\}.$$
Clearly, $R_{im}(X,\tau)$ is reflexive, and ...

**5**

votes

**0**answers

190 views

### Topological Subset Take-Away

David Gale's subset take-away game is a game where two players A and B play with a finite set $S$. Players alternately choose proper nonempty subsets of $S$ such that if a subset is chosen, then none ...

**16**

votes

**1**answer

372 views

### The Gelfand duality for pro-$C^*$-algebras

The Gelfand duality says that
$$X\to C(X)$$
is a contravariant equivalence between the category of compact Hausdorff spaces and continuous maps and the category of commutative unital $C^*$-algebras ...

**6**

votes

**3**answers

714 views

### Countable path-connected Hausdorff space

Is there a topology $\tau$ on $\omega$ such that $(\omega,\tau)$ is Hausdorff and path-connected?

**0**

votes

**1**answer

90 views

### “Universal” connected spaces

Let $\kappa$ be an infinite cardinal. Does there exist a topology $\tau_{\kappa+1}$ on $\kappa+1$ such that for any topological space $(X,\tau)$ with $|X|=\kappa$ the following statement is true?
...

**2**

votes

**1**answer

59 views

### Shrinkable decompositions with uncountably many non-degenerate elements?

Let $\mathcal D$ be an upper semicontinuous decomposition of $\mathbb S^n$ and let $\mathcal D'\subset\mathcal D$ be the set of non-singletons. The decomposition space $^{\mathbb S^n}/_{\mathcal D}$ ...

**11**

votes

**2**answers

416 views

### Connected but no path connected components

Is there a Borel subset of plane which is connected but whose only path connected components are singletons?
I know that a Bernstein set is a non Borel example of such a set. Thanks!

**2**

votes

**1**answer

74 views

### Is the covering property $\Omega \choose \text{T}$ closed under products?

Suppose that $(X_i)_{i\in I}$ is a family satisfying the covering property $\Omega \choose \text{T}$ (for the definition of this covering property, see this post).
Does $\prod_{i\in I} X_i$ ...

**1**

vote

**0**answers

86 views

### When Max(R) is Hausdorff space? [duplicate]

Let $R$ be reduce commutative ring with identity (a commutative ring such that $a^n$=0 ($a\in R$) implise $a=0$) and $Max(R)$ be the set of all maximal ideals of $R$. The hull-kernel (or Zariski ...

**3**

votes

**0**answers

72 views

### Hausdorff spaces with lattice isomorphism between the topologies [closed]

For $i=1,2$ let $(X_i,\tau_i)$ be Hausdorff spaces such that the lattices $\tau_1, \tau_2$ are isomorphic.
Does this imply that $(X_1, \tau_1) \cong (X_2,\tau_2)$?
(This is a follow-up question to ...

**0**

votes

**1**answer

53 views

### $T_2$-spaces such that the lattices of open sets can be embedded into each other

Let $(X,\tau), (Y,\sigma)$ be $T_2$-spaces such that there are injective lattice homomorphisms $f: \tau\to \sigma$ and $g:\sigma\to \tau$.
Does this imply that $(X,\tau)\cong (Y,\sigma)$?

**9**

votes

**0**answers

140 views

### Why would we a priori expect $V(I)$ to satisfy axioms to define the closed sets for a topology on $\text{Proj}(S)$?

Reposted from math.stackexchange here.
The topological space $\text{Proj}(S)$ has the underlying set$$\text{Proj}(S) = \{\mathfrak{p} \text{ a homogeneous prime such that }S_+ \not\subseteq ...

**16**

votes

**2**answers

976 views

### Non-homeomorphic spaces such that taking away a point makes them homeomorphic

Are there topological spaces $X,Y$, each having more than $2$ points, such that
$X\not\cong Y$, and
there is a bijection $\varphi: X\to Y$ such that for all $x\in X$ the spaces $X\setminus \{x\}$ ...

**8**

votes

**0**answers

350 views

### Standard model structures on $Top$

Call a model structure on $Top$ (the category of topological spaces) standard, if the weak equivalences are the weak homotopy equivalences. In this nLab page, two standard model structures on $Top$ ...

**5**

votes

**0**answers

129 views

### Can the compactification of a (co)tangent bundle equipped with Saski metric be viewed as a “Wick rotation”?

We can equip the (co)tangent bundle of a Riemannian manifold (B,g) with a Saski metric $\hat{g}$ (see, for example, "On the geometry of tangent bundles" by Gudmunssun & Kappos) that looks like
...

**2**

votes

**0**answers

104 views

### cross-sections of a sphere bundle

Let $M$ be a $m$-manifold and $M_0$ a submanifold of $M$. Let $X$ be a pointed topological space. In the paper On the homology of configuration spaces, Bodigheimer-Cohen-Taylor, Topology 1989, ...

**1**

vote

**0**answers

50 views

### Reference request - Compact embedding of intermediate space

Given two Banach spaces $X_0$ and $X_1$ with norms $\|\cdot\|_0$ and $\|\cdot\|_1$, respectively, such that $X_0\subset X_1$ and $X_0\hookrightarrow X_1$, i.e., $X_0$ is continuous embedded in $X_1$.
...

**2**

votes

**0**answers

109 views

### Surjectivity of self-isometries as property of metric spaces

A metric space $(X,d)$ is said to be bounded if there is $r\in\mathbb{R}$ such that for all $x,y\in X$ we have $d(x,y) \leq r$.
A self-isometry is a map $\iota:X\to X$ such that for all $x,y\in X$ we ...

**-2**

votes

**1**answer

91 views

### Bounded metric spaces with non-surjective self-isometry

A metric space $(X,d)$ is said to be bounded if there is $r\in\mathbb{R}$ such that for all $x,y\in X$ we have $d(x,y) \leq r$.
A self-isometry is a map $\iota:X\to X$ such that for all $x,y\in X$ we ...

**13**

votes

**1**answer

522 views

### On the global structure of the Gromov-Hausdorff metric space

This is a purely idle question, which emerged during a conversation with a friend about what is (not) known about the space of compact metric spaces. I originally asked this question at ...