**2**

votes

**0**answers

110 views

### Divisible fundamental group [duplicate]

I apologize if this question seems trivial or elementary. Is there any concrete topological space with divisible fundamental group? For example, is there any such a space the fundamental group in ...

**4**

votes

**3**answers

201 views

### A natural embedding of the total space of tautological bundle over $G(2,n)$ in $G(2,n+1)$

I learned from the following post that the total space of the tautological line bundle over $\mathbb{R}P^{n}$ is diffeomorphic to $\mathbb{R}P^{n+1}\setminus \{pt\}$.(There is a natural embedding$([x]...

**5**

votes

**1**answer

85 views

### Hausdorff open image of a Polish space

Let $f\colon X\to Y$ a continuous open and surjective function, where $X$ is Polish.
It is known that $Y$ is Polish if: $f$ is closed or $Y$ is metric.
Suppose that we know that $Y$ is Hausdorff, ...

**17**

votes

**0**answers

436 views

### The cofinality of $(\mathbb{N}^\kappa,\le)$ for uncountable $\kappa$?

For a partially ordered set $P$, a set $A\subseteq P$ is cofinal if for each element of $P$ there is a larger element in $A$. The cofinality of $P$, ${\rm cof}(P)$, is the minimal cardinality of a ...

**10**

votes

**2**answers

453 views

### In CGWH, is every cofibration an inclusion with closed image?

As the title suggests, in CGWH, is every cofibration an inclusion with closed image?

**9**

votes

**2**answers

266 views

### Two questions about the “grasp” cardinal function

For a topology $\mathcal{T}$ on a set $S$, where $\mathcal{T}$ does not have a finite base, I define the grasp $g(\mathcal{T})$ to be the least infinite cardinal $\kappa$ such that $\mathcal{T}$ has a ...

**7**

votes

**0**answers

77 views

### Locales satisfying DC?

Is there a nice (topological) characterization of the locales such that the axiom of dependant choices holds in the internal logic of the topos of sheaves ? I would also be interested in the case of ...

**5**

votes

**3**answers

115 views

### A Mackey-Ahrens theorem for uniform spaces?

Let $X$ be a uniform space and $F(X)$ the vector space of all uniformly continuous real-valued functions over $X$. It is possible to express every bounded uniform semimetric $d$ on $X$ as $d(x,y) = ...

**5**

votes

**1**answer

189 views

### Existence of a non-null-homotopic simple closed curve

Assume that $X$ is a path-wise connected Hausdorff space, and assume that its fundamental group is non-trivial. Does it always exist a simple curve in $X$ which is non-null-homotopic?
Such curve does ...

**19**

votes

**3**answers

419 views

### Which partitions of $[0,1]$ are collection of level sets of a real continuous function?

Let $f:[0,1]\to[0,1]$ be given. The level sets of $f$ (ie the collection of all sets of the form $\{x\in[0,1]:f(x)=y\}$, for each fixed $y\in[0,1]$) partition the domain of $f$. I am curious for set ...

**1**

vote

**1**answer

103 views

### “Immovable” topological spaces

Let $(X,\tau)$ be a topological space. We define the "moving" relation by setting $$ x \simeq_m y \text{ iff there is a homemomorphism }\varphi: X\to X \text{ such that } \varphi(x) = y.$$
Clearly $\...

**5**

votes

**1**answer

142 views

### Closeness graph of a topological space

Let $(X,\tau)$ be a topological space. We say that $x, y \in X$ are close if for every neighborhood $U$ of $x$ and $V$ of $y$ we have $U\cap V \neq \emptyset$. Let $E$ be the set of $\{x,y\}$ where $x,...

**7**

votes

**1**answer

228 views

### Can we recover a topological space from the collection of Borel probability measures living on it?

Let $(X, \tau)$ be a topological space, and $\mathcal{P}(X, \tau)$ be the Borel probability measures living on $X$. Can we recover $(X, \tau)$ from $\mathcal{P}(X, \tau)$?

**3**

votes

**1**answer

123 views

### What's the topology on the mapping space $Map_H(G, Y)$ when $G$ is not finite

When $G$ is a finite group and $H$ a closed subgroup of it, the sets of right cosets $H\backslash G$ has the discrete topology on it. Let $Y$ be a $H-$space. We have the $G-$homeomorphism \begin{...

**3**

votes

**0**answers

86 views

### How Universal is the Topological $\mathbb K$-algebra $C(\Omega, \mathbb K)$?

For $\Omega$ an arbitrary set the family $C(\Omega, \mathbb K)$ of all functions $\Omega \to \mathbb K$ becomes a complete topological $\mathbb K$-algebra under the topology of uniform convergence. ...

**5**

votes

**1**answer

265 views

### Is $\beta \mathbb{D}\setminus \mathbb{D}$ a group?

NB the original question asked about $\beta\mathbb{D}$ rather than the corona, hence some of the initial comments.
Is there a group operation on $\beta \mathbb{D} \setminus \mathbb{D}$ extending ...

**12**

votes

**0**answers

236 views

### A meager subgroup of the real line, which cannot be covered by countably many closed subsets of measure zero?

Is there a ZFC-example of a subgroup $H$ of the real line $\mathbb R$ such $H$ is meager, has zero Lebesgue measure, but cannot be covered by countably many closed subsets of measure zero in $\mathbb ...

**1**

vote

**1**answer

75 views

### Open cover not containing a certain subcover

Is there an infinite topological space $(X,\tau)$ with the following property?
There is an open cover ${\cal U}^*$ such that
$X\notin {\cal U}^*$;
every finite subset $F\subseteq X$ is contained in ...

**3**

votes

**2**answers

400 views

### Cup product of cohomology in a Serre spectral sequence

How to use Serre spectral sequence to compute cup product structures?
Let $F\to E\to B$ be a fibration. Suppose all the differentials of the corresponding Serre spectral sequence of cohomology are ...

**8**

votes

**2**answers

596 views

### Surreal compactness

In a comment here, Joel David Hamkins said:
...I think perhaps every set-sized open cover of a bounded interval in the surreals has a finite subcover, but there are proper class open covers with ...

**3**

votes

**1**answer

167 views

### Universal covering and double cover functors

Initially posted on MSE
Let $\mathsf{CW}$ be the category of CW-complexes and $\mathsf{CW}_*$ that of pointed CW-complexes (possibly disconnected, one basepoint in each component). I would like to ...

**7**

votes

**1**answer

98 views

### Characterisations of closed embeddings in $Top_1$?

Let $Top_1$ be the category of topological spaces which are $T_1.$
I am curious as to whether there is a categorical definition of what a closed embedding is in this environment. With a ...

**13**

votes

**3**answers

470 views

### How bad can a circle domain get?

Let $X$ be a domain in the Riemann sphere $\widehat{\mathbb{C}}$. We say that $X$ is a circle domain if every connected component of its boundary is either a circle or a point.
It was conjectured by ...

**6**

votes

**0**answers

192 views

### Remote points in $\beta X$

It is known that in general convergence by sequences is not enough to account for all points in $\beta X \setminus X$, where $\beta X$ refers to the Stone-Cech compactification of a topological space $...

**4**

votes

**1**answer

113 views

### Symmetry of a distance metric for a generating set of Topology

I was trying to prove that $\epsilon$-balls defined based on the shortest travel-time distance in a transportation network is a valid generating set for a topology of points on a transportation ...

**3**

votes

**2**answers

607 views

### Banach algebraic proof of the Borsuk Ulam theorem

I am wondering whether there exists a proof of the classical Borsuk Ulam theorem
for the Euclidean n-sphere, $n>2$ that is based only on the theory
of Banach algebras. I checked on MR but had no ...

**4**

votes

**1**answer

97 views

### On continuous perturbations of functions of the first Baire class on the Cantor set

Is it true that for any function of the first Baire class $f:X\to\mathbb R$ on the Cantor cube $X=2^\omega$ there is a continuous function $g:X\to[0,1]$ such that the image $(f+g)(X)$ is disjoint with ...

**15**

votes

**1**answer

429 views

### A problem of Keisler and Tarski

The following question dates back to Keisler and Tarski: From accessible to inaccessible cardinals, Fund. Math. 53, 1964 and also perhaps Mazur: On continuous mappings of Cartesian products, Fund. ...

**5**

votes

**0**answers

139 views

### Uniform approximation of separately continuous functions on zero-dimensional spaces

For topological spaces $X,Y,Z$ а function $f:X\times Y\to Z$ is called separately continuous if for any $(x,y)\in X\times Y$ the restrictions of $f$ to the sets $\{x\}\times Y$ and $X\times \{y\}$ are ...

**9**

votes

**0**answers

186 views

### Embedding $\beta\mathbb{N}$ into a product of Cantor sets

Let us consider $\beta\mathbb{N}$, the Stone-Czech compactification of the natural numbers (where we do not take $0$ to be a natural number, so the only idempotent elements are nonprincipal ...

**5**

votes

**0**answers

154 views

### On a very weak notion of fibration (of topological spaces)

Suppose that $f:Y \to X$ is a map of topological spaces, and lets assume for simplicity that $X$ is connected. For the fibers of $f$ to compute the homotopy fibers, one would usually want to demand ...

**2**

votes

**0**answers

78 views

### Given locally compact and $\sigma$-compact, can we get partition of unity?

Let $X$ be a locally compact, $\sigma$-compact Polish (complete and separable metric) space. How to prove: "There is an increasing sequence of continuous cut-off functions with compact support, $0\...

**3**

votes

**1**answer

150 views

### Continuous and open image of a Polish space

Suppose that we have a continuous open and closed surjection $f\colon X\to Y$ of a Polish space $X$ to $Y.$ The closeness of $f$ implies that $Y$ is a metric space.
But i do not know how to use ...

**3**

votes

**2**answers

241 views

### Is there an easier proof to show that the closed convex hull of a normalized weakly null sequence is weakly compact?

In a paper that I am reading there is a following step:
Let $X$ be a Banach space and let $(x_k) \subset X$ be a normalized sequence that converges weakly to $0$.
Then $\overline{co}(x_k)$ is a ...

**4**

votes

**0**answers

631 views

### Examples of a topological semidirect product

Let $G$ be a compact topological group, and $\operatorname{Aut}(G)$ the group of autohomeomorphisms of $G$. I have proved some (topological) results about the holomorph $G\leftthreetimes \operatorname{...

**1**

vote

**2**answers

101 views

### Retract embedding of $S^{n}$ in its unit tangent bundle

Acording to the comment of Mark Grant and the answer of Ryan Budney, I revise the question:
For what even $n$, there is a retract embedding of of $S^n$ in its unit tangent bundle?

**1**

vote

**0**answers

110 views

### Examples of value quantales

In his paper "Quantales and continuity spaces" R. C. Flagg gives the following examples of value quantales: the lattice $\bf{2}$ of truth values with usual addition, the lattice $\mathbb{R}_{+}$ of ...

**8**

votes

**1**answer

226 views

### Is every locally compactly generated space compactly generated?

[Parse it as (locally compact)ly generated.]
I stumbled across this one whilst supervising an undergraduate thesis. Convenient categories for homotopy theory (e.g. CGWH) have been discussed here ...

**3**

votes

**0**answers

138 views

### Which Topological Spaces are Powers?

Given a topological space $X$ and closed subspace $Y \subset X$, it may be the case that $X$ is a power of $Y$. That means $\displaystyle X = \prod_{i < \kappa} Y_i$ for some cardinal $\kappa$ ...

**5**

votes

**5**answers

672 views

### Must uncountable compact Hausdorff spaces have large discrete subsets?

The situation is this. I have a space $X$ which is second countable, compact, and Hausdorff (it's a modified form of a type space, though I don't think that matters here). It has size continuum. It ...

**1**

vote

**0**answers

86 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

505 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

111 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 A=\mathrm{int(\mathrm{cl(A)...

**1**

vote

**1**answer

79 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

78 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

404 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 \{1,2,\ldots,...

**2**

votes

**1**answer

145 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

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