**7**

votes

**1**answer

242 views

### Abstract result on partitions of unity?

A motivation: The classical Stone-Weierstrass theorem says that polynomials are dense among continuous functions (say, on the unit interval), while the abstract Stone-Weierstrass theorem (and also the ...

**2**

votes

**2**answers

237 views

### Is it true that all sphere bundles are some double of disk bundle?

Let's consider a smooth sphere bundle over a smooth manifold with structure group is equal to the diffeomorphism group of sphere. Then, can we say that this is a double of some disk bundle? Thank you ...

**1**

vote

**0**answers

26 views

### Zero-dimensional $F$-space which is not strongly zero-dimensional

Does anyone know of an example of a (Tychonoff) $F$-space which is zero-dimensional but not strongly zero-dimensional?
By an $F$-space we mean every cozeroset is $C^*$-embedded.
By zero-dimensional ...

**1**

vote

**0**answers

42 views

### Dual equivalence for multioperators

This is a reference request question. But let's start with a few definitions.
Let $L$ and $M$ be two bounded lattices. A multioperator $p$ for $L$ and $M$ is an application $$p : L \to Ft(M)^{op}$$ ...

**-3**

votes

**0**answers

62 views

### Volume of a scaled ball [closed]

Let $B \subset \mathbb{R}^n$ be the unit ball with respect to an arbitrary norm $\|.\|$ (e.g. $B=\{x \in \mathbb{R}^n:\|x\| \le 1 \}$).
I read in a book that it is easy to show:
$vol_n(\epsilon ...

**4**

votes

**2**answers

477 views

### Some examples of clean topological spaces

I asked this question at MSE but I did not received any answer, so I repeat it here at MO:
What is an example of a Hausdorff topological space $X$, not a singleton, such that the ring ...

**6**

votes

**0**answers

114 views

### Is every Polish ring topology on $\mathbb{C}$ defined by an absolute value?

There is a unique up to isomorphism algebraically closed field of characteristic 0 and cardinality of the continuum. Let's call it $K$.
We usually call it $\mathbb{C}$, but by this we impose a ...

**4**

votes

**0**answers

167 views

### Unbounded towers and combinatorial cardinal characteristics of the continuum

Update: Perhaps the question is too difficult. I would appreciate, thus, even just comments or related observations.
This question assumes familiarity with combinatorial cardinal characteristics of ...

**28**

votes

**1**answer

681 views

### What is the meaning of this analogy between lattices and topological spaces?

Let me add one more edit to help explain why this is a serious question. Theorem 5 below is a sort of lattice version of Urysohn's lemma, and it has essentially the same proof. Theorem 6, the famous ...

**0**

votes

**0**answers

74 views

### Right split for homomorphism onto $S_\infty$

Let $G$ be a closed subgroup of $S_\infty$ and let $f:G\rightarrow S_\infty$ be a continuous surjective homomorphism. Under which conditions $f$ has a right split, i.e. there exists some ...

**1**

vote

**0**answers

104 views

### $\mathbb E$-descent maps in topological spaces in terms of different sites?

The paper Facets of Descent I by Janelidze and Tholen defines $\mathbb E$-descent maps as those for which $\Phi^p:\mathbb EB\longrightarrow \mathsf{Des}_\mathbb{E}(p)$ is an equivalence of categories.
...

**5**

votes

**1**answer

284 views

### When is there an unbounded tower in $[\mathbb{N}]^\infty$?

(Edit: I'm splitting the question, leaving here only what is answered by Ashutosh, and moving the rest to another question.)
This question assumes familiarity with combinatorial cardinal ...

**11**

votes

**1**answer

477 views

### Duality between topology and bornology

I want to understand in what sense topology is dual to bornology at a most basic level. Therefore, I rephrased the definition of a bornology in the following way:
Let $X$ be a set and let ...

**7**

votes

**1**answer

202 views

### What is the height (or depth) of $[\mathbb{N}]^\infty$?

(This question assumes familiarity with combinatorial cardinal characteristics of the continnum.)
Let $[\mathbb{N}]^\infty$ be the family of infinite subsets of $\mathbb{N}$,
partially ordered by ...

**1**

vote

**0**answers

60 views

### The role of absolute continuity in stochastic ordering defined over sets of probability distributions

This question is about a claim given in this paper (page 261, the remark), but without any proof.
It simply says that if two sets of probability distributions, $\mathscr{P}_0$ and $\mathscr{P}_1$ ...

**0**

votes

**0**answers

31 views

### Free cocompact action of discrete group gives a covering map [migrated]

I'd like to find a short proof of the following seemingly basic fact encountered on the second page of Atiyah's paper "Elliptic operators, discrete groups, and von Neumann algebras." ...

**4**

votes

**1**answer

102 views

### Minimal zero-dimensional Hausdorff spaces

A topological space $(X,\tau)$ is said to be zero-dimensional Hausdorff (zdH) if for $x\neq y\in X$ there is $C\subseteq X$ clopen (closed and open) such that $x\in C$, but $y\notin C$.
We say a zdH ...

**7**

votes

**2**answers

329 views

### Link between the hairy ball theorem and the fundamental theorem of algebra

I read in the book "Concepts of modern mathematics" by Ian Stewart that it was possible to proof the fundamental theorem of algebra using the hairy ball theorem (complete reference to the page is in ...

**0**

votes

**0**answers

41 views

### Fixed point shape property

Question: Provide (or prove that it's not possible) a metric compact space which has the fixed point property but not the fixed point shape property.
Here is the definition of f.p.s.p.("map" means ...

**2**

votes

**1**answer

105 views

### Surniversal spaces

Basic background
On one hand there is a complete result: $\,\ $for every non-negative integer $n$ there exists an $n$-dimensional compact metric space $M^n$ such that it contains a homeomorphic ...

**2**

votes

**1**answer

67 views

### Topology with no direct lower neighbor

Given any poset $(P,\leq)$ and $x, y\in P$ we set $[x,y] = \{p\in P: x\leq p \leq y\}$. For any set $X$, let $\text{Top}(X)$ denote the set of topologies on $X$. The set $\text{Top}(X)$ is a complete ...

**1**

vote

**1**answer

170 views

### Applications of topology to discrete dynamical systems?

I'd like to know some of the applications of topology to discrete dynamics. By discrete dynamics I loosely mean studying maps between discrete sets.
I mean cases where adding a topology to the sets ...

**3**

votes

**1**answer

180 views

### Fréchet L-Spaces

According to the paper The emergence of open sets, closed sets, and limit points
in analysis and topology famous mathematician Maurice Fréchet who introduced the concept of metric spaces has also ...

**2**

votes

**1**answer

236 views

### Local “pathologies” in spaces arising naturally in algebraic topology

I have been thinking about methods for constructing continuous paths locally in a space. These paths have domain the unit interval and map into "small" neighborhoods of points in a space. Moreover ...

**4**

votes

**0**answers

36 views

### Intuition for universal quotient maps

The universal quotient maps are precisely the descent morphisms in the category of topological spaces. In some papers of Janelidze, Tholen, Sobral, and Reiterman (see for instance Reiterman-Tholen), ...

**3**

votes

**1**answer

79 views

### “Discrete jumps” in the collection of all topologies on a set $X$

Given any poset $(P,\leq)$ and $x, y\in P$ we set $[x,y] = \{p\in P: x\leq p \leq y\}$. For any set $X$, let $\text{Top}(X)$ denote the set of topologies on $X$. The set $\text{Top}(X)$ is a complete ...

**1**

vote

**1**answer

87 views

### Lower neighbors in the lattice of topologies

Given any poset $(P,\leq)$ and $x, y\in P$ we set $[x,y) = \{p\in P: x\leq p < y\}$, and $(x,y]$ is defined in an analogous manner. For any set $X$, let $\text{Top}(X)$ denote the set of topologies ...

**1**

vote

**0**answers

116 views

### Is every path connected space continuously path connected

Recall a topological space $X$ is path connected if for all $x,y \in X$ there is a continuous function $f\colon [0,1] \to X$ such that $f(0)=x$ and $f(1)=y$.
Say that $X$ is continuously path ...

**1**

vote

**2**answers

114 views

### Smooth, irreducible surface with real part containing two projective planes

Let $X$ be a smooth and irreducible projective variety over $\mathbb{R}$ of dimension two. I am looking for an instance of such a variety where two distinct connected components of $X(\mathbb{R})$ are ...

**2**

votes

**1**answer

85 views

### Measurability of integrals with respect to different measures

Let $Y$ be a locally compact Hausdorff topological space (further assumptions like metrizability, separability, etc., may be added if necessary) and let $\mathscr Y$ denote the Borel $\sigma$-algebra ...

**2**

votes

**0**answers

296 views

### Do Peano curves provide a counterargument to Grothendieck's critique?

This question arose in the context of an earlier question on Grothendieck's critique of the traditional foundations of topology. Can the paper Group Invariant Peano Curves by Cannon and Thurston be ...

**2**

votes

**0**answers

61 views

### Separation-free topological completeness notion

Cannot really claim that I have immediate urgent motivation to study this question but it appeared to me long ago, I recalled it now by some reason and decided to ask it here.
There is a strong ...

**0**

votes

**1**answer

94 views

### Is the set of Cauchy spaces a lattice? [closed]

Is the set of all Cauchy spaces (ordered by set-theoretic inclusion) on some (fixed) set:
a join-semilattice?
a meet-semilattice?
a complete lattice?

**5**

votes

**1**answer

270 views

### Cardinality of connected Hausdorff topologies

Let $X$ be an infinite set and let $C(X)$ denote the collection of connected Hausdorff topologies on $X$. Suppose $N\subseteq C(X)$ has the property that whenever $\tau\neq\sigma \in N$ then ...

**7**

votes

**1**answer

253 views

### New separation axiom?

I am looking for the name and notation of the following separation axiom , temporarily denoted by $T_i$ (where $i=\sqrt{-1}$ is the imaginary unit):
Axiom $T_i$: For any point $x$ of a topological ...

**5**

votes

**1**answer

117 views

### Can There be Rudin-Keisler Immediate Sucessors?

There are several well-studied orderings on the set $\omega^*$ of ultrafilters on the natural numbers. Three popular ones are $\le_i$ for $i = 1,2,3$. We define $\mathcal U \le_i \mathcal V$ to mean ...

**1**

vote

**1**answer

63 views

### Partition of Real Number [closed]

Can the set of Real numbers be partioned into two parts such that both are uncountable,dense and have empty interior and any closed interval intersects both at uncountably many points?

**10**

votes

**1**answer

594 views

### Foundations of topology

I recently went to a talk of Oleg Viro where he expressed his dissatisfaction with current foundations of differential topology parallel to what has been discussed here.
Also some time ago I read ...

**38**

votes

**1**answer

937 views

### Does there exist a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?

Let $(X,\tau), (Y,\sigma)$ be two topological spaces. We say that a map $f: \mathcal{P}(X)\to \mathcal{P}(Y)$ between their power sets is connected if for every $S\subset X$ connected, $f(S)\subset Y$ ...

**4**

votes

**0**answers

123 views

### LCH topologies on Groups that are not group topologies

Ellis's 1957 paper on Locally Compact Transformation groups proves the following:
A locally compact hausdorff topology on a group $(G, \cdot)$ for which left and right multiplication are ...

**10**

votes

**1**answer

180 views

### Open (resp., closed) balls homeomorphic to open (resp., closed) discs on the plane

Let $\Sigma$ be a compact (smooth) surface, with a geodesic metric $d$ (compatible with the topology of $\Sigma$).
Let $x \in \Sigma$, and suppose you have the following: for every $r<1$,
the open ...

**9**

votes

**2**answers

224 views

### Limits of rearranged sequences along ultrafilters

Suppose that a bounded sequence of real numbers $s_i$ ($i\in\omega$) has a limit $\alpha$ along some ultrafilter $\mu_1\in \beta{\Bbb N}\setminus{\Bbb N}$. Then given another ultrafilter $\mu_2\in ...

**7**

votes

**0**answers

104 views

### Are infinite simplicial complexes all manifolds?

Are infinite dimensional simplicial complexes manifolds locally modeled on $\mathbb R^\infty=\operatorname{colim}\mathbb R^n$? If they are homotopy equivalent, are they homeomorphic?
Of course not. ...

**-1**

votes

**1**answer

50 views

### When is the orbit space of a manifold still a manifold of the same dimension?

$\mathbf{Question}$. Let us assume that $M^n$ is a topological manifold of dimension n, with a group action $\Gamma$, which acts discontinuously and freely on $M^n$. Is the orbit space $M^n / \Gamma$ ...

**1**

vote

**0**answers

59 views

### Topologies with the same convex closed sets

Let $\tau_1$ and $\tau_2$ be locally convex Hausdorff topologies on vector space $X$ such that $(X,\tau_1)^\ast = (X,\tau_2)^\ast$. It is well known that $(X,\tau_1)$ and $(X,\tau_2)$ have the same ...

**15**

votes

**2**answers

624 views

### $\mathfrak{ufo}$: An unidentified combinatorial cardinal characteristic of the continuum?

An ultrafilter ornament is a chain of free filters on $\mathbb{N}$ that are not ultrafilters, whose union is an ultrafilter.
Let $\mathfrak{ufo}$ be the minimal cardinality of
an ultrafilter ...

**14**

votes

**0**answers

347 views

### What is the Cantor-Bendixson rank of the space of first order theories?

Let $L$ be the language $\{R\}$ containing a single binary relation symbol. Consider the space $S_0(L)$ of complete, first-order $L$-theories. This is a seperable, compact Hausdorff space; what is its ...

**1**

vote

**0**answers

55 views

### Properties of convergence at points of continuity

Let $J$ denote the set of functions $f : [0, \infty) \to \mathbb{R}$ that are right-continuous and have left-hand limits (r.c.l.l.) and such that their points of discontinuity are jumps.
Then $J$ is a ...

**1**

vote

**1**answer

86 views

### Two nilmanifolds of the same Lie group

By a nilmanifold I mean a quotient $M =\Gamma \backslash G$ of a connected, simply-connected nilpotent real Lie group $G$ by the left action of a maximal lattice , i.e. a discrete cocompact ...

**2**

votes

**1**answer

57 views

### The pseudo-metric and linear orders

Is there a necessary and sufficient condition for a linearly ordered topological space to be pseudo-metrizable? (by a pseudo-metric, I mean a map $X\times X\rightarrow\mathbb{R}$ in which all the ...