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

learn more… | top users | synonyms (1)

2
votes
1answer
23 views

If every nonseparable metric space contains a sequence of subsets with no convergent subsequence, does the Continuum Hypothesis hold?

If every nonseparable metric space contains a sequence of subsets with no convergent subsequence, does the Continuum Hypothesis hold? This question is submerged in the discussion of Fedor Petrov's ...
3
votes
0answers
38 views

Continuous extension of Riemann maps and the Caratheodory-Torhorst Theorem

If $G\subsetneq\mathbb{C}$ is a simply-connected plane domain, then by the Riemann mapping theorem there is a conformal isomorphism $\newcommand{\D}{\mathbb{D}}\varphi:\D\to G$, where $\D$ is the unit ...
35
votes
3answers
1k views

If any open set is a countable union of balls, does it imply separability?

If a metric space is separable, then any open set is a countable union of balls. Is the converse statement true? UPDATE1. It is a duplicate of the question here ...
6
votes
1answer
185 views

Immersion of $S^1$ in $\mathbb{R}^2$ that can be extended to $\mathbb{D}$

I was wondering about $\mathcal{C}^{\infty}$ immersions $S^1 \longrightarrow \mathbb{R}^2$ which are the restriction to $\partial \mathbb{D}$ of an immersion $\overline{\mathbb{D}} \longrightarrow ...
3
votes
0answers
81 views

The Klee Trick for subsets of $\mathbb{R}^3$

I asked the question Is dimension given by the Klee trick ever sharp? That question remains unanswered, so I thought I might ask a slightly more concrete question along those lines. Given a metric ...
4
votes
2answers
75 views

Measure on hyperspace of compact subsets

For a Polish space $X$, let $K(X)$ be the set of compact subsets of $X$. Given the topology with basis $\{K\in K(X):K\subset U_0, K\cap U_1\neq\emptyset,\ldots,K\cap U_n\neq\emptyset\}$ for open sets ...
4
votes
1answer
149 views

Totally disconnected subspaces

This question is motivated by this one, where no simple solution within ZFC seems to exist. Let me ask a weaker question then. Suppose that $K$ is a compact, Hausdorff, non-metrizable space. Does it ...
0
votes
1answer
51 views

Which Hyperspace Topologies Yield Topological Lattices?

At least on a continuum, the binary operations of intersection and union are Vietoris-continuous. But the Vietoris topology only applies the the collection of NONEMPTY closed subsets, and this means ...
5
votes
0answers
160 views

Distributivity of group topologies on $\Bbb Z$

Let $\mathcal L$ be the set of all group topologies on $\Bbb Z$. It is known that $(\mathcal L,\subseteq)$ is a modular complete lattice. Is $(\mathcal L,\subseteq)$ distributive?
3
votes
1answer
228 views

Decomposition vs filtration vs stratification

Are there accepted/standard definitions of "decomposition", "filtration", and "stratification" of a topological space (or of a manifold, or of an algebraic variety) $X$? I tend to understand ...
0
votes
1answer
66 views

Can we build a continuous function from “fibers”/preimages defined over a topological base?

I am looking for some proof insight or literature references for a statement which, if it's actually true, is probably a pretty trivial thing. I hope the question has not been asked here before, and ...
2
votes
0answers
34 views

Local cross sections in infinite dimensional groups

Let $G$ be an (infinite dimensional) compact connected abelian group and $H$ be a closed subgroup of $G$. The quotient morphism $G\to G/H$ may not possess a local cross section, there are examples ...
0
votes
0answers
55 views

Branch point and alexandrov embeddedness

This is a question I have asked on mathstackexchange with a bounty but without any answer; it is probably more adapted to mathoverflow: Let us assume that $\Sigma_n$ is a sequence of topological ...
3
votes
1answer
100 views

Lipschitz function with somewhere dense image

Let $Q=[-1,1]^2$ denote the unit square and let $f:Q\to Q$ be a Lipschitz function such that for any ball $B(a,r)\subset Q$ with radius $r$, the width of the image $f(B(a,r))$ is at least $cr$ for ...
6
votes
3answers
352 views

Binary relations as the topological closure of the diagonal

If $(X,\tau)$ is a topological space, we can consider the product topology on $X\times X$ and take the closure of the diagonal $\Delta_X = \{(x,x): x\in X\}$, which we denote by ...
0
votes
1answer
93 views

Dimension of Inverse image

Suppose we have a smooth map between two smooth manifolds $f:M→N$ such that $\dim M>\dim N$, and let $p∈N$ be a critical value. Suppose we know that $X:=f^{-1}(p)$ is a differentiable manifold (or ...
7
votes
1answer
401 views

Group structure on an arbitrary completely regular topological space that makes $(x,y)\mapsto xy^{-1}$ continuous at $(1,1)$

Let $(G,\mathcal T)$ be a completely regular topological space. Is there a group structure on $G$ such that the function $$f:G\times G\to G$$ $$f(x,y)=xy^{-1}$$ is continuous at $(1,1)$?
6
votes
0answers
137 views

A compactification of the non-negative rationals with the discrete topology

Let $S$ be the set of non-negative rational numbers. (If it makes any difference, feel free to take the non-negative dyadic rationals instead.) Let $B=\ell_\infty(S)$; as a ${\rm C}^*$-algebra this is ...
9
votes
1answer
522 views

Reference request: Book of topology from “Topos” point of view

Question: Is there any book of topology in the modern language of topos theory? I refer to the (systematic, formalist) study of the category of sheaves on a site or the study of topology in a ...
1
vote
0answers
27 views

The topology of complete minimal surfaces of finite total Gaussian curvature [closed]

Suppose that M is a complete minimal surface with finite total curvature. If M is embedded in $\mathbf{R}^3$, then we observe that M viewed from infinity looks like a plane passing through the ...
10
votes
1answer
226 views

Maximum length of a chain of topologies on $\Bbb R$

Let $\frak T$ be a totally ordered set of topologies on $\Bbb R$. Is $|\frak T|\le |\Bbb R|$?
3
votes
0answers
125 views

$S^{3}$-valued harmonic analysis

Edit: Note that $S^{3}$ with the quaternion operation is a group. For a locally compact Abelian group $\Gamma$ we consider $$\tilde{\tilde{\Gamma}}=\{\phi:\Gamma \to S^{3} \mid ...
2
votes
1answer
64 views

Separating Differences of Open Sets

Has anyone ever considered something like the following separation axiom? $(*)$ For any pair of open sets $O$ and $N$, there exist disjoint open sets containing $O\setminus N$ and $N\setminus O$. ...
21
votes
2answers
865 views

A question about “Zariski dense” arguments

This question is a little basic, but I think it is consistent with the goals of MO. My question is about a certain type of argument in algebraic geometry which exploits the abundance of dense sets ...
4
votes
1answer
165 views

Are infinite groups “locally topologizable”?

Does every infinite group admit a Hausdorff topology such that the multiplication and inverse are continuous at $1$ but $1$ is not an isolated point? The question is inspired by and related to ...
22
votes
8answers
1k views

Continuous relations?

What might it mean for a relation $R\subset X\times Y$ to be continuous? In topology, category theory or in analysis? Is it possible, canonical, useful? I have a vague idea of the possibility of ...
1
vote
0answers
52 views

Ostaszewski space's construction Lemma

I'm studying the Ostaszewski's article "On Countably Compact, Perfectly Normal Spaces". I'll add some context. Lemma 1.2 says the following: Let $X$ be a locally compact, zero-dimensional and ...
1
vote
0answers
141 views

Continuous dependence of the roots of a polynomial on its coefficients

In their article "The roots of a polynomial vary continuously as a function of the coefficients" Gary Harris and Clyde Martin give a topological proof of the well-known theorem that the roots of a ...
4
votes
1answer
127 views

Is the absolute of a compact space the projective limit of the Stone-Čech compactifications of its open dense subsets?

Is the following statement true, and if it is, does someone have a reference? Let $X$ be a compact (i.e., compact and Hausdorff) topological space. Then the Gleason space (=Iliadis absolute, ...
7
votes
0answers
386 views

A group allowing exactly 7 group topologies

Is there a group $G$ allowing exactly 7 group topologies on $G$: $\mathcal T_{trivial}, \mathcal T_{discrete}, \mathcal T_1, \mathcal T_2,\mathcal T_3,\mathcal T_4, \mathcal T_5$ with $$\mathcal ...
8
votes
2answers
314 views

Ultracoproducts and Cartesian products

Let $X$ be a metrizable compact topological space, let $\mathcal U$ be an ultrafilter, and denote by $X^{\mathcal U}$ the ultracopower of $X$ with respect to $\mathcal U$. As a C$^*$-algebraist, I ...
2
votes
1answer
90 views

A Property of Baire Spaces

I posed this on August 8 on math.stackexchange, but there has been no response. Let $X$ be a topological space. I define $X$ to have Property A provided that every closed meager subset of $X$ is ...
6
votes
1answer
164 views

Finiteness as a motivation for compactness

Another history question, and I am not sure if I will get any answers. (If anyone knows of a good history of math list to use for this question I would be happy for any tips. The one I used to post to ...
0
votes
1answer
56 views

Continuous real function on germs

Let $C_0^{m,n}$ be the space of germs of continuous maps from $\mathbb{R}^m$ to $\mathbb{R}^n$, located at $0\in\mathbb{R}^m$, with the usual inductive limit topology. One can also consider ...
3
votes
0answers
97 views

Decreasing sequence of closed convex sets in a Banach space

Let $(C_n)$ be a decreasing sequence of closed convex subsets in a Banach space $(E,\Vert \cdot \Vert)$. The question I have is about the content of $C=\bigcap_{n=0}^\infty C_n$. If the $C_n$ are ...
2
votes
0answers
70 views

History of limit point compact -/-> compact example

A standard example in elementary topology (e.g. Munkres) of a space which is limit-point compact (every infinite subset of the space has a limit point) but not compact is the minimal uncountable ...
5
votes
2answers
273 views

non-Borel set which intersects every compact in a Borel set

I remember hearing some time ago that there is a locally compact Hausdorff space $X$ and a non-Borel subset $E$ which intersects every compact set in a Borel set. (This would contradict Lemma 13.9 of ...
3
votes
0answers
71 views

Non Borel Spaces: Gauge Integral

Question Is there a generalization of the gauge integral to measure spaces that do not necessarily arise out of some topology? I'm wondering since it seems as the gauge crucially uses ...
5
votes
0answers
216 views

Quotienting disk inside sphere result in sphere

Let $S^k$ be a topological $k$-dimensional sphere. Let $D^k$ be a $k$ dimensional disk that includes in $S^k$. Let $q: D^k \to D^r$ be a map and $r \leq k$. Let $$W = S^k \sqcup D^r/\sim$$ where ...
2
votes
1answer
81 views

Going Back-and-Forth Between Different Expressions/“Representations” for Open Books.

I am trying to have a better understanding of how one goes , "travels" between the different formats/layouts of open books for a fixed given 3-manifold M; between the abstract type and the "actual" ...
0
votes
1answer
71 views

Topology : Study on Separation Properties [closed]

I want an example of a completely regular space which is not a normal space. I have tried a lot but am unable to construct any example
1
vote
0answers
171 views

Number of faces of a polytopal subdivision

Let $\mathcal{P}$ be a (bounded) polytope in $\mathbb{R}^d$ and let $\mathcal{C}$ be a polytopal subdivision of $\mathcal{P}$ [1]. Is there a known tight upper bound in the number of polytopes in ...
2
votes
0answers
55 views

d-refining covering of normal space

If $X$ is normal, it is well known that for any open-covering $(U_i)$ of $X$, there exist closed subspaces $F_i$ and $G_i$ and an open subspaces $O_i$ such that $$F_i\subset O_i\subset G_i\subset ...
3
votes
1answer
195 views

Quotients of standard Borel spaces

Let $X$ and $Y$ be standard Borel spaces: topological spaces homeomorphic to Borel subsets of complete metric spaces. Given a surjective Borel map $f:X\to Y$, we get an equivalence relation ...
17
votes
1answer
577 views

Topological transversality

Warmup question: Let us say that two continuous functions $f,g:[0,1]\to \mathbb R$ are topologically transverse if their difference $f-g$ has only finitely many zeros, and each zero separates an ...
3
votes
0answers
52 views

Separation of topological group elements by invariant neighbourhooods

Let $G$ be a topological group that is Hausdorff, that is, for every pair $(g,h)$ of distinct elements of $G$, there exist disjoint open sets $U_g$ and $U_h$ such that $g \in U_g$ and $h \in U_h$. ...
4
votes
2answers
123 views

Are Hausdorff compactifications of a Tychonoff space $X$ in one-to-one correspondence with completely regular subalgebras of $BC(X)$?

Let $X$ be a completely regular (Tychonoff) topological space. It is known that if $\mathscr F\subseteq C(X,[0,1])$ separates points and closed sets (that is, for every closed set $E\subseteq X$ and ...
5
votes
1answer
104 views

Is an extension of compact Hausdorff topological groups compact?

Let $1 \rightarrow A \xrightarrow{a} B \xrightarrow{c} C \rightarrow 1$ be a short exact sequence of topological groups (i.e., all maps are continuous, $A = \mathrm{Ker}(c)$, and $C = ...
16
votes
2answers
520 views

Which sets occur as boundaries of other sets in topological spaces?

This question was originally asked on MathStackExchange and is migrated here with opinion from MO meta. I am integrating the inputs from users Daniel Fischer and Emil Jerabek there into this post. ...
5
votes
1answer
137 views

A realcompact analogue of the Baire category theorem

Let $\frak{m}$ be the least measurable cardinal. A space $X$ is realcompact if it is homeomorphic to a closed subset of some product $\mathbb{R}^I$. Let $X$ be realcompact with $P_\frak{m}$ topology, ...