All Questions
1,339 questions with no upvoted or accepted answers
4
votes
0
answers
183
views
In how far does the Whitney trick work in the piecewise linear setting in $\Bbb R^4$?
I usually read about the Whitney trick in the context of smooth manifolds, but I wonder in how far it works in the piecewise linear (PL) category as well. I have a specific setting in mind that I will ...
- 13.6k
4
votes
0
answers
142
views
Consistency of a strange (choice-wise) set of reals, pt. 2
This is a follow-up on this question. Consider a set $X\subseteq \mathbb{R}$ such that
$X$ is not separable wrt its subspace topology
Every countable family of non-empty pairwise disjoint subsets of $...
- 2,286
4
votes
0
answers
115
views
Dimension properties of some concrete hereditarily disconnected subspaces of the Hilbert cube
This question was motivated by this MO-question asking about the example of a hereditarily disconnected metrizable separable space, which is not the union of countably many totally disconnected ...
- 42k
4
votes
0
answers
333
views
Is this result of Hajnal and Juhász correct?
I am having some trouble with the following result presented here:
Obviously I'm missing something, but I think from that result it could be shown that if $X$ is an infinite topological space, then $...
- 674
4
votes
0
answers
317
views
Is the "naive" version of Chevalley's theorem still true?
Reposting from math.se in case more people are interested here.
Chevalley's theorem says that if $f \colon X \to Y$ is a morphism of finite presentation of schemes and $C \subset X$ is constructible, ...
- 584
4
votes
0
answers
140
views
Separable metrizable spaces far from being completely metrizable
I came across a kind of separable metrizable space that is "far" from being completely metrizable. Before specifying what I mean with "far", I recall that a space is said to be ...
- 2,286
4
votes
0
answers
247
views
Is this property of continuous maps equivalent to some more familiar condition?
Let $f : X \rightarrow Y$ be a continuous map. Suppose that, for each collection of open sets $\{ V_i \}_{i \in I}\subset X $,
$$ \bigcup_{U \subset Y \text{ open}, \ f^{-1}(U) \subset \bigcup_{i \in ...
user30211
4
votes
0
answers
181
views
are trivial fibrations of finite CW-complexes soft for normal maps?
Are trivial Hurewicz fibrations of finite CW-complexes soft for normal maps,
i.e. is it true that for any trivial Hurewicz fibration $f:Y_1\to Y_2$
and a closed subset $A$ of a hereditary normal space ...
- 317
4
votes
0
answers
156
views
Equivalence of definitions of Hirsch and Wall of strong $C^r$-topologies
I've been reading about strong (and weak) $C^r$-topologies on the space of $C^r$-maps between $C^s$-manifolds $M$ and $N$ ($s \ge r$) from the textbooks of Hirsch and Wall (both called Differential ...
- 281
4
votes
0
answers
251
views
Topological field isomorphic to $\mathbb{C}$
Let $K$ be a topological field. If $K$ is a connected Hausdorff space, and is algebraically closed, is it true that $K$ is isomorphic to $\mathbb{C}$ ?
(I have deleted my question on MathStackExchange)...
- 353
4
votes
0
answers
263
views
Is there a notion of „flatness” in point-set topology?
In algebraic geometry, flat morphisms are usually associated with the intuition that they have „continuously varying fibers”. Is there a notion in topology formalizing the same intuition? Consider for ...
- 1,153
4
votes
0
answers
194
views
Are there any major differences in metric topologies and "non-symmetric" metric topologies
Let $X$ be a set and let $d:X\times X\rightarrow [0,\infty)$ satisfy all the axioms of a metric besides symmetry (i.e.: $d$ is a quasi-metric). Define a topology $\tau_{d:+}$ on $X$ induced by $d$ as ...
- 109
4
votes
0
answers
111
views
Does an interior point necessarily pass through the boundary under a homotopy?
It's a straightforward exercise to show that if a point moves continuously from the inside of a set to the outside, it necessarily passes through the topological boundary of the set. This question is ...
- 391
4
votes
0
answers
242
views
Inductive limit of inclusions
Let $(\Lambda, \le)$ be a directed system and $\{ X_{\alpha} \}_{\alpha \in \Lambda}$ be a family of topological spaces indexed by $\Lambda$ such that $X_{\alpha} \subseteq X_{\beta}$ whenever $\alpha ...
- 183
4
votes
0
answers
363
views
Relationship between Hausdorff convergence of sets and indicator functions
Let $\{K_n\}_n$ be a sequence of compact subsets of a metric space $X$, and $K\subset X$ be compact. If $K_n$ Hausdorff converges to $K$, i.e.:
$$
\lim\limits_{n\to\infty} d_{\mathrm H}(K_n,K) = \max\...
4
votes
0
answers
72
views
When is the submonoid preserving a subspace finitely generated?
Let $T$ be a topological space with at least one open set whose closure is not open.
Let $G$ be a finitely generated group acting by homeomorphisms on $T$. Let $S\subset T$ be a subspace.
Under what ...
- 51
4
votes
0
answers
158
views
Is the group ring of an amenable group, viewed as multiplicative monoid, amenable?
Motivated by this question, it seems natural to ask the following:
Question 1: Is there a [finitely generated discrete] torsion-free virtually Abelian (but not Abelian) group $G$ so that the ...
- 4,432
4
votes
0
answers
234
views
Do you know rings without involutions, auto-anti-isomorphics? In that case, what is the minimal example?
Do you know rings without involutions, but auto-anti-isomorphic (isomorphic to their opposite)? In that case, what is the minimal example?
If a ring has an involution f, then f is an anti-automorphism;...
4
votes
0
answers
273
views
Sierpinski's characterization of $F_{\sigma\delta}$ spaces
According to [2]: Let $X$ be a space. We call a system $(X_s)_{s\in T}$ a Sierpinski
stratification of $X$ if $T$ is a nonempty tree over a countable alphabet and $X_s$ is a closed subset of $X$ for ...
- 3,317
4
votes
0
answers
365
views
When every closed and connected subset is path connected
Let $X$ be a compact $T_0$ topological space such that its closed and connected subsets are path connected. Is there any characterization for such a space?
4
votes
0
answers
129
views
'Monodromy' for relative homology group
Let $A$ and $X$ be topological manifolds. Denote by $\mathbb {Emb}(A,X)$ the space of all topological embeddings $A\to X$.
A loop $f_s:A\to X$ ($s\in[0,1]$) in $\mathbb{Emb}(A,X)$ should give rise to ...
- 2,789
4
votes
0
answers
81
views
The least distance of $f\in\ell_\infty(K,X)$ to $C_b(K,X)$
Let $K$ be a paracompact space and consider a bounded function $f:K\to\mathbb R$ not necessarily continuous, that is, $f\in\ell_\infty(K,\mathbb R)$. It's a well-known fact that the least distance of $...
- 563
4
votes
0
answers
229
views
Enlarging a compact set in order to improve its shape
In my previous question it was established that if $X$ is a metrizable, connected, locally path connected space and $K\subset X$ is compact, then there is a Peano continuum $L\subset X$ such that $K\...
- 5,529
4
votes
0
answers
156
views
Does $\mathbb{R}$ have a partite subbase?
If $X\neq \varnothing$ is a set we say that ${\frak P} \subseteq {\cal P}(X)$ is a partition of $X$ if
$\bigcup{\frak P} = X$, and
$P\neq Q \in {\frak P} \implies P\cap Q = \varnothing$.
Let $H = (V,...
- 48.9k
4
votes
0
answers
74
views
Need to know if a certain full subcategory of Top is cartesian closed
Consider the full subcategory of Top consisting of all spaces $X$ such that a subset $A$ of $X$ is closed if and only if $A \cap K$ is closed in $K$ for all subspaces $K$ of $X$ which are countably ...
- 2,125
4
votes
0
answers
147
views
Does the self-homeomorphism group of a finite CW complex have CW homotopy type?
Let $X$ be a finite CW complex and form the group $\mathcal{H}(X)$ of self-homeomorphisms $X\xrightarrow{\cong}X$, furnishing it with the compact-open topology. Under the assumptions on our space $\...
- 5,596
4
votes
0
answers
64
views
Borel rank collapse in Hilbert cube modulo $\sigma$-ideal generated by zero-dimensional sets
Both of the commonly studied $\sigma$-ideals (meager sets and null sets) in Polish spaces with a natural measure (i.e. $\mathbb{R}$, $[0,1]$, $[0,1]^\omega$, $2^{\omega}$, etc.) have the nice property ...
- 13k
4
votes
0
answers
441
views
The "core" of complete Erdős space
This question is about the Erdős spaces:
$\mathfrak E=\{x\in \ell^2:x_n\in \mathbb Q\text{ for all $n<\omega$}\}$; and
$\mathfrak E_c=\{x\in \ell^2:x_n\in \mathbb P\text{ for all $n<\omega$}\}...
- 3,317
4
votes
0
answers
160
views
Pointwise vs. local homotopy equivalences of continuous and smooth complexes of real vector bundles
Let $(E^\bullet,d_E)$ and $(F^\bullet,d_F)$ be two complexes of real vector bundles on a topological manifold $X$, and let $f^\bullet\colon E^\bullet\to F^\bullet$ be a morphism of complexes, i.e. a ...
- 6,777
4
votes
0
answers
78
views
Families that can arise as compacts wrt a topology
I was thinking to the following problem.
Take a set $X$. If you take a compact topology T (non necessarily Hausdorff) you get the subposet $K_T$ of $\mathcal{P}(X)$ made of compact sets with respect ...
- 2,152
4
votes
0
answers
104
views
Does the group of homeomorphisms of the hilbert cube have automatic continuity
A topological group is said to have automatic continuity if every homomorphism from it to a second countable topological group is continuous. Various topological groups are known to have this ...
- 406
4
votes
0
answers
89
views
Pairs not at maximal distance in compact set
Does there exist a compact subset $K$ of $\mathbb{R}^2$ and a point $p$ in $\mathbb{R}^2$ with the following property?
Let $x$ and $y$ be a pair of points in $K$ such that \begin{equation} |x-y| <...
- 1,769
4
votes
0
answers
75
views
universal 0-dimensional separable metric subspaces
Let $\ \mathscr U:=(U\ \delta)\ $ be a separable metric space which is universal for all finite metric spaces, i.e. for every finite metric space $ \mathscr X:=(X\ d)\ $ there
exists an isometric ...
- 4,786
4
votes
0
answers
101
views
Is every locally compact connected homogeneous metric space a manifold cross a continuum?
Suppose that $(X,d)$ is a locally compact connected homogeneous metric space, where by homogeneous I mean that for any $x_0,x_1 \in X$ there exists an isometry $f:X\rightarrow X$ such that $f(x_0)=x_1$...
- 13k
4
votes
0
answers
70
views
"Robust" Noninjectivity of a Continuous Mapping of a Sphere into the Plane
Let $X=\mathbb{S}^2$ and $Y=\mathbb{R}^2$ and $f:X\to Y$ a continuous mapping. Is it true that there must exist a nonempty set $V\subset f(X)$, open in $f(X)$ (in the subspace topology), such that ...
- 113
4
votes
0
answers
2k
views
A closed set which is the closure of its interior points
This is a cross-post to MSE to this question
https://math.stackexchange.com/questions/3267497/a-set-which-is-the-closure-of-its-interior-points
There is a related question in MO:
Closure of the ...
- 293
4
votes
0
answers
134
views
What does the Grothendieck topos tell us about the homotopy type of a space?
Let $M_1$, $M_2$ be two closed connected topological manifolds. We can consider the small sites of open coverings of them, and the categories of sheaves on these sites.
what can we say about $M_1$ ...
user140978
4
votes
0
answers
79
views
Is there an $L$-space whose square is selectively $d$-separable?
An $L$-space is a hereditarily Lindelof regular space which is not separable.
A space is $d$-separable if it contains a dense set which is the countable union of discrete sets.
An $L$-space can't ...
- 4,413
4
votes
0
answers
81
views
source of argument about relative primeness of simple closed curves on tori
I have know this argument for decades. I have no idea of its source. If anyone knows (not guesses) its origin, then I would be very appreciative. My guesses are among Ralph Fox, JHC Whitehead, RH ...
- 1,625
4
votes
0
answers
105
views
Borel selections of usco maps on metrizable compacta
The problem posed below is motivated by this problem of Chris Heunen and in fact is its reformulation in the language of usco maps. Let us recal that an usco map is an upper semicontinuous compact-...
- 42k
4
votes
0
answers
483
views
A slightly canonical way to associate a scheme to a Noetherian spectral space
Let $C$ be the category whose objects are Noetherian spectral topological spaces and whose morphisms are homeomorphisms. Let $\mathrm{AffSch}$ be the category of Noetherian affine schemes (morphisms ...
user139951
4
votes
0
answers
105
views
How is the instanton Floer homology of Seifert fibrations related to that of a trivial fibration
My question centers around the relationship of the Chern-Simons theories of a Seifert fibration and the trivial product space $\Sigma_g \times S^1$, and its implication for instanton Floer homology. ...
- 1,155
4
votes
0
answers
142
views
Is there any quasi-compact space which is not a quotient of any compact Hausdorff space?
Is there any quasi-compact (= compact, possibly non-Hausdorff) space which is not a quotient of any compact Hausdorff space?
I strongly suspect the answer is yes, yet I couldn't come up with an ...
- 1,586
4
votes
0
answers
452
views
Finite good covers on smooth manifolds
Let $M$ be a connected smooth manifold that is not necessarily compact but has the homotopy type of a finite CW complex.
Does $M$ admit a finite good cover? (i.e. a finite cover by contractible ...
- 180
4
votes
1
answer
323
views
Fiber-bundle : continuity of transition maps and inverse in general
Let $(E,\pi,B)$ be a locally trivial fibration, with fiber a topological space $F$, $\Phi_i$ and $\Phi_j$ two trivializations over $U_i$ and $U_j$. The transition map from $i$ to $j$ is the ...
- 1,346
4
votes
0
answers
122
views
Maximal connected subtopologies
This is related to an older question.
Let $(X,\tau)$ be a topological space. Trivially, the indiscrete topology $\{\emptyset, X\}$ is a connected subtopology of $\tau$.
Is there a connected topology ...
- 48.9k
4
votes
0
answers
122
views
Completely I-non-measurable unions in Polish spaces
Problem. Let $X$ be a Polish space, $\mathcal I$ be a $\sigma$-ideal with Borel base, and $\mathcal A\subset\mathcal I$ be a point-finite cover of $X$. Is it true that $\mathcal A$ conatins a ...
- 4,535
4
votes
0
answers
50
views
The normality of powers versus the normality hypersymmetric powers
Let $X$ be a topological space. Let $[X]^{<\omega}$ be the space of non-empty finite subsets of $X$, endowed with the Vietoris topology. For a natural number $n$ the subspace $$[X]^{\le n}:=\{A\in[...
- 42k
4
votes
0
answers
67
views
Irreducible separators of compact manifolds
Definition. A closed subset $S$ of a topological space $X$ is called
$\bullet$ a separator of $X$ if $X\setminus S$ is disconnected;
$\bullet$ an irreducible separator if $S$ is a separator of $X$ ...
- 42k
4
votes
0
answers
216
views
Is each metric continuum $\ell_p$-chain connected?
This problem was motivated by the MO problems:
"Running most of the time in a connected set", "Is every metric continuum almost path connected?" and "Are $\varepsilon$-connected components dense?".
...
- 42k