**3**

votes

**0**answers

58 views

### Kind of multiplicative total boundedness in Hausdorff compact rings

Let $(R,\cal T)$ be a unital Hausdorff compact topological ring and let $A$ be an open subset of $R$ containing $1$. Is there a finite set $B$ with $AB=R$?

**2**

votes

**1**answer

104 views

### Two questions about the extent to which simple arcs and simple closed curves can fill up higher dimensional Euclidean spaces

For each positive integer n, let E(n) be n-dimensional Euclidean space with its standard metric and let p(n) be some fixed point of E(n). The so-called "Osgood Curve" shows that there can exist simple ...

**1**

vote

**0**answers

70 views

### Not normal connected component of a right topological group

Let $\cal T$ be a locally compact topology on a group $G$ and $(x,y)\mapsto xy^{-1}$ be continuous at $(1,1)$ and for every $a\in G$, $x\mapsto xa$ be continuous everywhere with respect to $\cal T$.
...

**2**

votes

**1**answer

59 views

### Regular open Boolean algebras and homomorphism which does not preserve nearness of sets

I am looking for an example of topological spaces $\langle X_1,\mathscr{O}_1\rangle$ and $\langle X_2,\mathscr{O}_2\rangle$ such that
there is a homomorphism ...

**10**

votes

**1**answer

298 views

### Dimension in CW-approximation

The following question was something that came to my mind during my (unsuccessful) attempt at answering this MO-question.
Let $X$ be a topological space, and let $\tilde{X}\to X$ be a ...

**6**

votes

**1**answer

229 views

### Two definitions of Lebesgue covering dimension

Maybe this question has already been considered here, but after a quick search I didn't find what I was looking for.
As I see, in the literature there are two different definitions of the ...

**5**

votes

**1**answer

244 views

### Factorization of a certain map through a CW-complex

Suppose that $X$ is a paracompact Hausdorff space (e.g. a metric space) with $\dim X=n$ (the Lebesgue covering dimension). I want to find a proof (or a reference) that any (continuous) map $f: X \to ...

**1**

vote

**0**answers

69 views

### Name for a type of weak path connectedness?

The following topological property arose in the context of my friend Don Hadwin's operator theory research, and he asked me to ask here if the property occurs in the literature and has a name.
...

**2**

votes

**1**answer

129 views

### Preservation of topological properties in between two topologies

Let $X$ be a set, $\tau_1 \leq \tau_2$ two comparable topologies on $X$ ($\tau_1$ is weaker than $\tau_2$) and consider some topological property $\varphi$ that holds for both $\tau_1$ and $\tau_2$.
I ...

**11**

votes

**0**answers

192 views

### Is there a locally compact, $\omega_1$-compact, not $\sigma$-countably compact space of size $\aleph_1$?

There are old ZFC examples due to Eric van Douwen that satisfy all the properties in the title, except that they are of cardinality $2^{\aleph_0}$, so the answer to the title question is YES if the ...

**5**

votes

**0**answers

102 views

### Topologically transitive, pointwise minimal systems

I'm cross-posting this from SE.
Let $T$ be a group, and let $(X,T)$ be a flow, i.e. $X$ is a compact Hausdorff space and $T$ acts on $X$ by homeomorphisms. A flow $X$ is called topologically ...

**2**

votes

**2**answers

255 views

### Are the closed and unbounded subsets of $\mathbb{R}$ known up to homeomorphism?

I am currently working on a problem for which this knowledge could greatly reduce the number of cases, but I have yet to find anything after searching online. Are the closed unbounded subsets of ...

**2**

votes

**1**answer

72 views

### Sequentially indistinguishable topologies on a countable set

All of the famous examples for sequentially indistinguishable topologies on a set $X$ are provided on an uncountable set $X$ (an uncountable set $X$ with discrete and cocountable topology or the ...

**2**

votes

**1**answer

145 views

### Relation between two different definitions for relative sequential compactness

Building upon this question in Math.SE, I think the following might be rather of interest for MO.
In the literature on measure theory, probability and functional analysis the definition of a subset ...

**3**

votes

**1**answer

142 views

### Invariants of category in Polish spaces

Consider the invariants appearing in the Cichoń's diagram: $add(\mathcal I)$, $cov(\mathcal I)$, $non(\mathcal I)$, $cof(\mathcal I)$, where $\mathcal I$ is either the ideal of null sets for the ...

**8**

votes

**0**answers

132 views

### Are there always large discrete families of normal measures?

Let $\kappa$ be a measurable cardinal. We give the Stone space of all ultrafilters on $\kappa$ the usual topology, where each $x\subseteq\kappa$ determines a basic open $[x]=\{U;x\in U\}$. The ...

**8**

votes

**1**answer

428 views

### How is Ricci flow related to computer graphics?

I recently came across the book Ricci Flow for Shape Analysis and Surface Registration: Theories, Algorithms and Applications by Wei Zeng and Xianfeng David Gu. Because, I just saw the book on the ...

**14**

votes

**2**answers

369 views

### Can an oriented closed $n(\geq 2)$-dimensional manifold be embedded in $\mathbb{R^{2n-1}}$

Can anyone provide me an example of an orientable closed manifold $M$ of dimension $n\geq 2$, which cannot be embedded in $\mathbb R^{2n-1}$?
I know this is certainly not true when $n=1$, i.e. ...

**1**

vote

**0**answers

64 views

### A $\mathcal{C}^1$ domain and Hausdorff dimension estimate

Let us consider an open connected domain $E\subset \mathbb{R}^N$ and fix a point $x_0\in\partial E$ on its boundary.
Suppose now, that there exists $R>0$ such that the set $\partial E \cap ...

**0**

votes

**0**answers

38 views

### A $\mathcal{C}^1$ differentiable domain is $F_\sigma$?

Let us consider a domain $E\subset \mathbb{R}^N$ and fix a point $x_0\in\partial E$ on its boundary.
Suppose now, that for every $R>0$ the set $\partial E \cap B_{R}(x_0)$ is $\mathcal{C}^1$, i.e. ...

**2**

votes

**1**answer

77 views

### Construct a specific base for Fine uniformities in the diagonal(Entourages) case

For every uniformizable space $X$ there is a finest uniformity on $X$ compatible with the topology of $X$ called the fine uniformity or universal uniformity.
To construct Fine uniformities, Let ...

**8**

votes

**2**answers

280 views

### Maximal trivialising subspace for a vector bundle

Let $X$ be a locally compact Hausdorff space. Given a vector bundle $p: E\to X$, a subspace $Y$ of $X$ is called trivialising (for this bundle), if after restricting this bundle to $Y$, it is a ...

**2**

votes

**0**answers

201 views

### algebraic structure of Integral Steenrod squares

It is well known that the classical Steenrod squares $Sq^a$ satisfy the Adem relations
$$Sq^aSq^b= \sum_c \binom{b-c-1}{a-2c}Sq^{a+b-c}Sq^c\;.$$
In the case where $a$ is odd, one can define an ...

**2**

votes

**1**answer

110 views

### Is the interval topology of $(\mathbb{N}^\mathbb{N}, \leq^*)$ connected?

Given a quasi-ordered set $(Q,\leq)$ the interval topology on $Q$ is generated by
$$\{Q\setminus\downarrow x : x\in Q\} \cup \{Q\setminus\uparrow x : x\in Q\},$$
where $\downarrow x = \{y\in Q: y\leq ...

**-1**

votes

**1**answer

67 views

### Interval topology on $(\mathbb{N}^\mathbb{N},\leq^*)$

Given a quasi-ordered set $(Q,\leq)$ the interval topology on $Q$ is generated by
$$\{Q\setminus\downarrow x : x\in Q\} \cup \{Q\setminus\uparrow x : x\in Q\},$$
where $\downarrow x = \{y\in Q: y\leq ...

**7**

votes

**1**answer

295 views

### A property stronger than the fixed point property

Assume that $X$ is a topological space. We say that $X$ satisfies the strong fixed point property if the graph of every surjective continuous self-map intersect the graph of every continuous ...

**1**

vote

**1**answer

98 views

### A weak fixed point property

The usual fixed point property can be interpreted in terms of non empty intersection of the graph of all maps with the graph of the identity map.
This motivates us to consider the following "weak ...

**1**

vote

**0**answers

90 views

### Is there another equivalence relation on based maps between spheres which form the same graded ring as the homotopy groups?

Let $\sim$ be an equivalence relation on continuous based maps from $S^k$ to $S^n$, where $k$ and $n$ range over the positive integers.
Suppose that
Given maps $f, f^\prime: S^k \to S^n$ and $g, ...

**5**

votes

**0**answers

59 views

### Almost invariance in compact quotients of locally compact groups

While trying to get an analogue of Weiss's monotiling result for amenable residually finite groups
in the topological setting, I face the following problem.
Let $G$ be a locally compact amenable ...

**2**

votes

**1**answer

182 views

### Topologies for which the ensemble of probability measures is complete

I have been struggling quite a bit with reconciling my intuitive understanding of probability distributions with the weird properties that almost all topologies on probability distributions possess.
...

**7**

votes

**0**answers

133 views

### Topology of family of complex varieties

It seems to be an oft-cited fact (which comes up, for instance, in describing vanishing/nearby cycles) that:
For a proper flat map $f \colon X \rightarrow \Delta$, where
$X$ is a complex ...

**3**

votes

**1**answer

130 views

### Is it possible for a random nowhere dense closed set to have a positive probability of hitting any given point?

Given a compact metrisable topological space $X$, we write $\mathcal{N}(X)$ for the set of non-empty closed nowhere dense subsets of $X$, which is a Polish space under the topology induced by the ...

**2**

votes

**1**answer

167 views

### Is the set of entire functions Borel in the space of analytic functions?

$\def\bbR{\mathbb R}\def\bbC{\mathbb C}\def\scrT{\mathscr T}\def\ssp{\kern.4mm}
$More specifically, I ask whether $S$ be a Borel set in the topological space $(\Omega,\scrT)$ in the following ...

**12**

votes

**3**answers

289 views

### Is a certain subset of the disc a convex set?

Some one asked me this question and I thought about it and I don't have any good idea to solve that. Can some one help me and give me an idea to start solve that?
Draw a Cantor set $C$ on the circle ...

**8**

votes

**0**answers

140 views

### Which nice subcategories of $\mathsf{Top}$ are locally cartesian closed?

For a class $\mathcal{J}$ of topological spaces, let $\mathsf{Top}_\mathcal{J}$ denote the category of $\mathcal{J}$-generated spaces, i.e. those spaces $X$ such that $U\subseteq X$ is open iff ...

**1**

vote

**0**answers

225 views

### The closure of a set of closed points

Let $X $ be a compact non-Hausdorff topological space with the following property: for every infinite subset of closed points, say $\{x_i\}_{i \in I}$, there exists $j\in I$ such that $x_j$ is in the ...

**1**

vote

**1**answer

73 views

### The separated uniform space associated with $(X,\mathfrak{U})$

If $\mathfrak{U}$ is a not necessarily separated uniform structure for some set $X$, then an equivalence relation $R$ can be introduced on $X$ by letting $x R y$ provided $(x,y)\in U$ for every $U\in ...

**2**

votes

**1**answer

116 views

### Is the complement of the ends of a manifold bounded?

Let $M$ be a connected manifold with precisely $k$ ends $\epsilon_1,...,\epsilon_k$. Choose a collection $(U_i)_{i=1}^k$ of pairwise disjoint open $\epsilon_i$-neighborhoods. Then I wonder how to ...

**2**

votes

**1**answer

175 views

### Can we Characterise Rings of Continuous Functions?

Suppose $K$ is some nice space, for example $\mathbb R$ or $\mathbb C$. Let $X$ be a set and $C$ a ring of functions $X \to K$. Is there any way to determine, from the algebraic structure of $C$, ...

**2**

votes

**3**answers

260 views

### Classification of open subset of $\mathbb{R}^{3}$ [closed]

There is a theorem which gives a classification of connected open sets of $\mathbb{R}^{2}$. Unfortunately, I don't remember the correct statement, but it looks like this
Theorem ? Let ...

**6**

votes

**1**answer

329 views

### all subsets borel

Assume Martin's axiom plus $\neg CH$. It is well known, via almost disjoint forcing, that every set of reals of size less than continuum is an example of a metric space whose subsets are all ...

**5**

votes

**1**answer

265 views

### Which Banach spaces are realcompact?

I have a question about the topological space underlying a Banach space.
A topological space $X$ is realcompact iff it is homeomorphic to a closed subset of an infinite product of the form $\mathbb ...

**0**

votes

**1**answer

82 views

### Complement of a finite union of convex sets

Question. Let $V_1,\ldots,V_n$ be open, bounded and convex subsets of $\mathbb R^2$. Show that $F=\mathbb R^2\smallsetminus\bigcup_{i=1}^n V_i$ possesses only finitely many connected components.
I ...

**1**

vote

**2**answers

177 views

### How do I prove that compact-open topology is metrizable?

Let $X$ be a $\sigma$-compact topological space and $(Y,d)$ be a metric space.
Let $\{K_n\}$ be a sequence of compact subsets of $X$ whose union is $X$.
Define $\rho_n(f,g):=\sup \{d(f(z),g(z)): ...

**2**

votes

**2**answers

198 views

### Existence of a continuous section

Let $f\colon X\to Y$ be a surjective continuous map between two topological spaces such that $X,Y$ are path-connected and such that every fibre $f^{-1}(y)$ is connected, for each $y\in Y$. Is there ...

**3**

votes

**1**answer

92 views

### Homotopy equivalence of maps with compact support and maps which vanish at infinity

Let $X$ be a nice space, maybe a manifold, and let $Y$ be a based space.
What sort of conditions must we impose on $Y$ (and $X$ if need be) to get a homotopy equivalence
$$
\mathcal C_c(X,Y) \simeq ...

**5**

votes

**0**answers

81 views

### Minimal Hausdorff topologies compatible with a bunch of functions

Let $X$ be an infinite set, let ${\cal F}$ be a set of functions $f: X\to X$. We say that a topology $\tau$ is compatible with ${\cal F}$ if every $f\in {\cal F}$ is a continuous function $f:(X, ...

**6**

votes

**2**answers

307 views

### Is any function taking compact sets to compact sets, and connected sets to connected sets, necessarily continuous? [closed]

It is well-known that continuous image of any compact set is compact, and that continuous image of any connected set is connected.
How far is the converse of the above statements true?
More ...

**12**

votes

**0**answers

168 views

### Do the Laver tables converge to the Sierpinski triangle with a line segment sticking out in the hyperspace topology?

Let $(\{1,...,2^{n}\},*_{n})$ denote the $n$-th Laver table.
Let
$$C_{n}=\{(\frac{x}{2^{n}},\frac{x*_{n}y}{2^{n}})|x,y\in\{1,2,3,...,2^{n}\}\}$$
for all $n\in\mathbb{N}$.
Then since $C_{n}$ is a ...

**6**

votes

**2**answers

251 views

### The role of the index set in the product of uncountably many topological spaces

Let $\langle X_i,\mathcal{T}_i \rangle_{i\in I}$ be a family of topological spaces. Consider $X=\prod_{i\in I} X_i$ with product topology.
Question. Is there a topological property that holds in ...