Questions tagged [gn.general-topology]
Continuum theory, point-set topology, spaces with algebraic structure, foundations, dimension theory, local and global properties.
4,601 questions
0
votes
1
answer
142
views
"Locally compact"-ly generated topological spaces
Let $P$ be a property of topological spaces - here I am interested in "compact" and "locally compact".
A topological space $X$ is $P$-ly-generated if, for any topological space $Y$,...
- 42.4k
3
votes
0
answers
124
views
Injective envelope of B(H)
$B(\ell^2)$ is an injective operator system by a result of Arveson. However, $B(\ell^2)$ is not an injective Banach space, since it is not linearly isomorphic to a $C(K)$ space (for instance, $C(K)$ ...
- 2,605
3
votes
1
answer
645
views
Is the Hopf link a Brunnian link?
I'm trying to fill a woeful gap in my topological knowledge and learn a little knot and link theory (I'll be recording my progress on the nLab, starting with a page on links). Not wishing to write ...
CommunityBot
- 1
3
votes
2
answers
139
views
Countable zero-sets are $C$-embedded?
I was browsing Gillman and Jerison for known relations between zero-sets, $C$-embedded sets and so on.
The spaces I'm considering are $T_{3.5}$.
There are two properties that pseudocompact spaces have
...
- 5,596
15
votes
1
answer
507
views
Is there an infinite subset of $\Bbb{R}$ not homeomorphic to any of its proper subsets?
Is there an infinite subset of $\Bbb{R}$ that is not homeomorphic to any of its proper subsets? Clearly, any finite subset of $\Bbb{R}$ is not homeomorphic to any of its proper subsets by mere ...
- 255
11
votes
2
answers
3k
views
“is topologically mixing” vs. “is topologically transitive” in the definition of chaos
This question is cross-posted from MSE, since it hasn't gotten an answer there for over 72 hours.
Wikipedia gives essentially "is topologically mixing and has dense periodic periodic orbits"...
- 4,713
1
vote
0
answers
76
views
Shellable non-pseudomanifolds with dimension greater than 2
Shellability of simplicial balls and spheres (simplicial complexes whose geometric realizations are homeomorphic to balls and spheres) has been studied quite extensively. There are many explicit ...
5
votes
1
answer
104
views
When do two measured foliations on a surface define a Riemann surface structure?
Let $S$ be smooth surface of finite type, i.e. it has genus g and n punctures (assume $S$ to have negative Euler characteristic). We know by Hubbard-Masur theorem that given a measured foliation $(F,\...
- 680
1
vote
0
answers
48
views
Connected pre-images spanning $n$-cubes under dimension reducing maps
Let $I^n = [0,1]^n$ be the $n$-dimensional hypercube. For a continuous function $f: I^n \to \mathbb{R}^m$ with $m < n$, we're interested in the existence of points $p \in \mathbb{R}^m$ whose ...
- 63.9k
2
votes
0
answers
104
views
When do filtered colimits commute with finite products in Top
It is well known that filtered colimits commute with finite products (more generally any finite limit). This is not the case in general in Top due to Top not being cartesian closed. My question is is ...
- 41
3
votes
0
answers
152
views
Topological counterexample for M(K, Y1 × Z1) being a subbasis of the compact open topology of C(X,Y×Z)
We are trying to answer whether the following mapping is continuous and open
$$C(X, Y \times Z) \to C(X, Y ) \times C(X, Z)$$ (the topological spaces being provided with the compact-open topology). We ...
- 39
3
votes
1
answer
103
views
Topology on set of "real lower bounds"
Specific question: Is there a name for the "topology of real lower bounds"? This is the order topology for the ordering $\supseteq$ on the set
$$
\mathbb{LB} = \bigl\{ [t, \infty) \mid t \...
- 18.5k
3
votes
3
answers
583
views
Topology induced by context-free language
Is there any way to reasonably define a topology on a context-free-language language? In other words, given a context-free grammar (or perhaps a grammar from an interesting subclass of context-free ...
- 260
2
votes
1
answer
174
views
A topological space has the homotopy-type of a CW-complex, then is it locally contractible?
Let $X$ be a topological space which has the homotopy-type of a CW-complex. As well-known, a CW-complex is locally contractible.
Question: Is $X$ locally contractible? If not, can some one give a ...
- 5,596
5
votes
1
answer
245
views
Does a "good" homotopy equivalence between pairs imply homotopy equivalence between quotient spaces?
If $(X,A)$ and $(Y,B)$ are (good) pairs of topological spaces, and $f:X\rightarrow Y$ is a homotopy equivalence such that the restriction $f\restriction_A$ is a homotopy equivalence between $A$ and $B$...
- 11.1k
4
votes
0
answers
107
views
Reference request for a theorem of Jaworowski
Jan Jaworowski, in 2000, proved the following theorem (I came to know about it from here)
Jaworowski (2000) : Let $Y$ be a finite simplicial complex of dimension $k$ and let $n\ge 2k$. If $f:S^n\to Y$...
- 141
10
votes
0
answers
159
views
Closed sets versus closed sublocales in general topology in constructive math
This question is set in constructive mathematics (without Choice), such as in the internal logic of a topos with natural numbers object, or in IZF.
Short version of the question: if $X$ is a sober ...
- 32.5k
2
votes
1
answer
123
views
Signed measures on algebras (fields) and their boundedness properties
I asked this question here on math.StackEchange, but it might be too technical so I re-post it here.
Let $X$ be a compact Hausdorff second countable topological space. Let $\mathcal{B}$ a countable ...
- 2,830
3
votes
0
answers
81
views
Mixing flow has aperiodic orbit?
Let $X$ be a compact connected metric space with more than one point.
Suppose that $H:X\times [0,\infty)\to X$ is continuous such that $h_0=H\restriction X\times \{0\}$ is the identity on $X$, and $h_{...
- 3,317
0
votes
0
answers
64
views
Can an upper hemicontinuous correspondence be discountinuous everywhere?
Let $\phi: X \rightrightarrows Y$ be an upper hemicontinuous correspondence. If $K \subset X$ is a compact and convex set, $K$ contains an open set $U$, and $\phi(x)$ is nonempty, compact, and convex ...
- 101
10
votes
6
answers
879
views
Countable chain condition in topology
A topological space $X$ is said to have the countable chain condition (ccc) if every collection of open and disjoint subsets of $X$ is at most countable. This definition can be found in L. Steen, J. ...
- 467
5
votes
2
answers
247
views
Definability properties of box-open subsets of Polish space
Let $X$ be a perfect Polish space $X$, so that $X^\omega$ is also a Polish space under the product topology. Call a subset $\mathcal{X} \subseteq X^\omega$ box-open if it is an open subset of $X^\...
- 14k
13
votes
1
answer
355
views
Canceling $\mathbb{R}$-factor
Suppose there are compact sets $K_1,K_2\subset\mathbb{R}^n$ such that $K_1\times \mathbb{R}\cong K_2\times \mathbb{R}$,
but $K_1\ncong K_2$.
What is the minimum of $n$?
Comments
The spherical ...
- 11.1k
1
vote
0
answers
228
views
Is the topological dimension of spacetime fixed for causally isomorphic spacetimes?
Suppose time-oriented spacetimes $(M_1 , g_1)$ and $(M_2, g_2)$ are not homeomorphic under their manifold topologies $\mathcal{M}_1$ and $\mathcal{M}_2$ respectively.
The Lorentzian metrics $g_1$ and $...
CommunityBot
- 1
4
votes
2
answers
292
views
$\mathrm{String}/\mathbb{CP}^{\infty}=\mathrm{Spin}$ or a correction to this quotient group relation
We know that there is a fiber sequence:
$$
\dotsb \to B^3 \mathbb Z \to B \mathrm{String} \to B \mathrm{Spin} \to B^4 \mathbb Z \to \dotsb.
$$
Is this fiber sequence induced from a short exact ...
- 12.9k
66
votes
4
answers
6k
views
Is $\mathbb{R}^3 \setminus \mathbb{Q}^3$ simply connected?
Similarly is the complement of any countable set in $\mathbb R^3$ simply connected?
Reading around I found plenty of articles discussing the path connectedness $\mathbb R^2 \setminus \mathbb Q^2$ and ...
- 103
6
votes
5
answers
953
views
Two arcs in the complement of a disc must intersect?
Let $D=\{z\in \mathbb C:|z|\leq 1\}$ be the unit disc in the complex plane, with interior $U=\{z\in \mathbb C:|z|<1\}$.
Let $A\subset \mathbb C\setminus U$ be an arc intersecting $D$ only at its ...
- 4,786
7
votes
1
answer
667
views
Can $f: \mathbb{R}^2 \to \mathbb{R}$ be continuous, open and closed?
In the last few days I've been thinking on and off about these two problems and I can't get my head around them:
Let $f: \mathbb{R}^2 \to \mathbb{R}$ be a continuous open map.
If $f$ is surjective ...
- 869
0
votes
2
answers
287
views
Distinguishable under manifold topology but indistinguishable under the Alexandrov topology
Take the time-oriented Lorentzian spacetime $(M, g)$ that is not strongly causal.
In such case it is shown that the Alexandrov topology and the Manifolds topology deviate such that the manifold ...
CommunityBot
- 1
7
votes
4
answers
3k
views
What is a good application of Urysohn's Theorem?
Urysohn's Metrization Theorem states that every Hausdorff second-countable regular space is metrizable.
What is an example of a Hausdorff second-countable regular space where it is difficult to prove ...
- 14.6k
1
vote
0
answers
101
views
When is the "Gelfand Remainder" compact?
Suppose we have a noncompact Hausdorff space $S$ and a Banach algebra $A \subset C^*(S,\mathbb R)$ of the space of real-valued bounded functions on $S$. For niceness let's assume $A$ separates the ...
- 1,955
0
votes
0
answers
72
views
Sequential compactness via Arzela-Ascoli theorem for uniform state spaces
Let $X$ be a uniform topological space and $C([0,1],X)$ the space of continuous functions from [0,1] to $X$. Assume that for subsets of $X$ sequential compactness and compactness are equivalent. Let $(...
- 133
0
votes
0
answers
42
views
Name for a sequence of open sets, each dense in the complement of the previous ones in the subspace topology
Let $X$ be a topological space. Let $\mathfrak{U} = \langle U_\alpha:\alpha\in\gamma\rangle$ be a sequence of non-empty open subsets of $X$ of length $\gamma$ ($\gamma$ an ordinal). Say (for now) that ...
- 5,429
7
votes
2
answers
448
views
Uncountable collections of distinct subsets of an interval (existence)
Throughout, $\mu$ is just the Lebesgue measure.
Question: does there exist an uncountable family of distinct subsets of $[-1, 1]$, denoted by $(U_j)_{j \in [-1, 1]}$, with $\mu(U_j) > 0$ for each $...
- 12.9k
11
votes
1
answer
960
views
Can the topologist's sine curve be realized as a Julia set?
Does there exist a rational function $f\in\Bbb{C}(z)$ whose Julia set coincides with
$$
T:=\left\{\left(x,\sin\left(\frac{1}{x}\right)\right)\,\Big|\,x\in\left(0,\frac{1}{\pi}\right]\right\}\cup\big(\{...
- 91.8k
5
votes
1
answer
350
views
Dévissage of stratified structures in Grothendieck's "Esquisse d’un programme"
I have a question about the intuition behind Grothendieck's proposed notion of so called "Tame topology" in his Esquisse d’un programme. Grothendieck insisted that theory should admit “...
- 28.7k
2
votes
0
answers
71
views
Topological measure theory on spaces that are not completely regular
In the usual discourse regarding approaches to measure theory, it is often pointed out that the restriction of topological measure theory to locally compact Hausdorff spaces is insufficient. However, ...
- 3,816
5
votes
2
answers
3k
views
Zariski topology and compact \paracompact space?
Does the Zariski topology on a ring (not commutative in common) form a compact or paracompact space and why?
- 4,713
2
votes
1
answer
492
views
Scott topology, but for graphs
Would it be possible to define an order theoretic topology on graphs? I am thinking about the Scott topology. There would be an associated continuous map on graphs.
- 3,065
1
vote
0
answers
75
views
Trying to achieve "some sort of hemicompactness" in a Tychonoff space
Let $X$ be a Tychonoff space, i.e. Hausdorff and completely regular. Additionally, consider a map $\psi: X \to (0,\infty)$ such that $K_R := \psi^{-1}((0,R])$ is compact in $X$, for every $R>0$. ...
- 161
27
votes
1
answer
4k
views
connectivity of the group of orientation-preserving homeomorphisms of the sphere
In the paper "Local Contractions and a Theorem of Poincare" Sternberg has mentioned the following question which was open when the paper was written:
Is the group of orientation-preserving ...
- 1,446
5
votes
0
answers
96
views
$M^3$ admits $Sol$ geometry if and only if $\pi_1M$ is virtually solvable but not virtually nilpotent?
Let $M$ be a closed, orientable, irreducible 3-manifold and having an infinite fundamental group. Is it true that $M$ admits $Sol$ geometry if and only if $\pi_1M$ is virtually solvable but not ...
- 605
12
votes
1
answer
879
views
Partition of unity without AC
Several existence theorems for partition of unity are known. For example (source),
Proposition 3.1. If $(X,\tau)$ is a paracompact topological space,
then for every open cover $\{U_i \subset X\}_{i \...
- 11.4k
48
votes
19
answers
17k
views
What is your favorite proof of Tychonoff's Theorem?
Here is mine. It's taken from page 11 of "An Introduction To Abstract Harmonic Analysis", 1953, by Loomis:
https://archive.org/details/introductiontoab031610mbp
https://ia800309.us.archive....
- 6,353
2
votes
1
answer
162
views
A topological characterization of trees?
Motivated by this complex dynamics question:
Let $X$ be a compact, path-connected metric space. Suppose there exist an integer $N\geq 2$ and distinct points $p_1,\dots,p_N\in X$ such that no proper ...
- 23.7k
9
votes
2
answers
424
views
Is there a path-connected, "anti-convex" subset of $\mathbb R^2$ containing $(\mathbb R\smallsetminus \mathbb Q)^2$?
This question was firstly asked in mathematics stack exchange. Getting no answer, I copied it to here.
For a vector space $V$ over $\mathbb R$, I say a subset $S$ of $V$ is "anti-convex" if $...
- 10.6k
2
votes
0
answers
369
views
Constructing the Stone space of a distributive lattice
Does anyone have a good reference for the method of giving a topology to a distributive lattice as outlined in M.H. Stone's "Topological representation of distributive lattices and Brouwerian ...
- 4,219
33
votes
2
answers
2k
views
What happened to the last work Gaunce Lewis was doing when he died?
In 2006, Gaunce Lewis died at the age of 56. He'd done important work setting up equivariant stable homotopy theory, and I think it's fair to say his work was far ahead of its time. In recent years, ...
- 21
1
vote
1
answer
248
views
Tightening a loop
Consider two $d$-dimensional convex polytopes $c_1, c_2$ that share a $(d-1)$-dimensional face $f$. Let $M$ be a surface ($2$-manifold) that intersects each of $c_1$ and $c_2$ in a $2$-ball. Suppose ...
CommunityBot
- 1
2
votes
0
answers
81
views
Extension of a tangent vector field
Let $\Omega$ be an open subset of $S^2$ with $\overline{\Omega} \neq S^2$. Suppose a continuous tangent vector field $G$ is defined on $\partial \Omega$ such that $|G(y)| = 1$ for all $y \in \partial \...
- 63.9k