Continuum theory, point-set topology, spaces with algebraic structure, foundations, dimension theory, local and global properties.

learn more… | top users | synonyms (2)

0
votes
0answers
24 views

Why do we say a level 1 Menger Sponge has 5 holes? [on hold]

I've heard that a level 1 Menger Sponge has 5 holes, but what is the justification for this? I can understand starting with a hole down the center, and making 4 more to meet it from the sides, but ...
0
votes
0answers
35 views

Is preimage of closure equal to closure of preimage under continuous topological maps? [on hold]

Let $f:X \rightarrow Y$ be a continuous map of topological spaces and $B \subseteq Y$ Is it true that $f^{-1}(\overline{B})=\overline{f^{-1}(B)}$?
4
votes
1answer
77 views

Completeness of Localizations of Completions of Commutative Rings

Let $R$ be an integral domain. Let $x,y\in R\setminus\{0\}$ be distinct. Let $\hat R$ be the $x$-adic completion of $R$ (the ring of all sequences $(r_n+Rx^n)_{n\ge0}$ where for $n\ge0$, $r_n\in R$ ...
-4
votes
1answer
137 views

Homeomorphism between (-1,1)×[-1,1) and [-1,1]×[-1,1) [on hold]

Can one construct homeomorphism between (-1,1)×[-1,1) and [-1,1]×[-1,1)? If so, please show me how to construct it.
-4
votes
0answers
45 views

Is there exist homeomorphism between (-1,1) x [-1,1) and [-1,1] x [-1,1)? [duplicate]

Is there exist homeomorphism between (-1,1) x [-1,1) and [-1,1] x [-1,1) ?
1
vote
0answers
61 views

Does bounded and closed equal compact for sets of Borel probability measures?

Equip the space of Borel probability measures on a fixed closed subset X of the s-dimensional Euclidean space with the topology induced by weak convergence of probability measures. In this setting, ...
13
votes
0answers
298 views

pizza lemma (topology)

given six real-analytic arcs in the unit disk $D$, each of which connects the origin to a boundary point, and no two arcs meet anywhere except at the origin, and the arcs meet at equal (60 degree) ...
2
votes
1answer
63 views

Is there any workable internal characterization of zero-sets?

I am asking the question in a purely topological setting; a zero-set of some topological space $X$ is a subset which can be realized as the counterimage of a single point through a continuous ...
2
votes
1answer
126 views

Extremally disconnected spaces and a measure theoretic property

Suppose that $X$ is an extremally disconnected topological space (meaning that the closure of an open set is still open). Then $X$ has the following property: the family of all sets $S$ such that $S$ ...
3
votes
0answers
52 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
1answer
83 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
0answers
62 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
1answer
52 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
1answer
284 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
1answer
210 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
1answer
237 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
0answers
60 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
1answer
117 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
0answers
173 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
0answers
88 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 ...
3
votes
1answer
177 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
1answer
60 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
1answer
81 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
1answer
127 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
0answers
128 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 ...
7
votes
1answer
391 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
2answers
327 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
0answers
56 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
0answers
34 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
1answer
72 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
2answers
262 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
0answers
175 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
1answer
100 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
1answer
64 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
1answer
284 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
1answer
86 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
0answers
89 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, ...
4
votes
0answers
50 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
1answer
174 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
0answers
127 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
1answer
127 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
1answer
155 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
3answers
280 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
0answers
132 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
0answers
222 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
1answer
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
1answer
112 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
1answer
173 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
3answers
254 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
1answer
321 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 ...