Questions tagged [gn.general-topology]
Continuum theory, point-set topology, spaces with algebraic structure, foundations, dimension theory, local and global properties.
4,431
questions
8
votes
1
answer
362
views
The cardinality of projections of subsets of the Hilbert cube by inner products
I have three related questions.
Question 1: Is there a subset $X$ of the Hilbert cube $[0,1]^{\Bbb N}$ of cardinality continuum, such that for each sequence $a\in [0,1]^{\Bbb N}$ with $\sum a_n$ ...
1
vote
1
answer
68
views
Real exponentiation in the quotients of rings of continuous functions by prime ideals
Consider the ring $C = C(X) = C(X; \mathbb{R})$ of continuous functions $f:X\to \mathbb{R}$ where $X$ is a Tychonoff space. This is naturally a lattice ordered ring by setting $f\geq 0$ iff $f(x)\geq ...
2
votes
1
answer
354
views
Closed embedding into a normal Hausdorff space and left lifting property
I am trying to understand the characterization of the class of closed embeddings into a normal Hausdorff space as the class of continuous maps satisfying the left lifting property with respect to a ...
1
vote
0
answers
89
views
Extremally disconnected sets as building blocks for compact Hausdorff spaces
Is every compact Hausdorff space the filtered colimit of compact extremally disconnected spaces?
0
votes
0
answers
99
views
Prove a generalization of hairy-ball theorem
I found an interesting question below:
Prove that the 6-sphere admits no continuous field of tangent 3-planes.
1
vote
0
answers
62
views
Uniform approximation over compacts using weighted function spaces
I'm interested in approximations over the so-called weighted function spaces.
Let $(X,\tau_X)$ be some completely regular Hausdorff topological space. Additionally, consider some map $\psi: X \to (0,\...
7
votes
0
answers
80
views
Is there a Hausdorff space with a $\sigma$-locally finite basis but no $\sigma$-discrete basis?
In short, the question is in the title: is there a Hausdorff space with a $\sigma$-locally finite basis but no $\sigma$-discrete basis?
A bit of context:
Given a topological space $X$, a family $\...
5
votes
1
answer
212
views
In a topological group, is $G/A\to G/B$ a covering map if $A$ is open in $B$?
Let $G$ be a (Hausdorff) topological group, let $A,B$ be closed subgroups of $G$ such that $A$ is an open subgroup in $B$. Then we have an open continuous map $f:G/A\to G/B$, with typical fiber $B/A$. ...
13
votes
1
answer
777
views
Does anyone use non-sober topological spaces?
Recall that a sober space is a topological space such that every irreducible closed subset is the closure of exactly one point.
Is there any area of mathematics outside of general topology where non-...
2
votes
0
answers
54
views
Union of two open, open-unicoherent sets whose intersection is connected
I stumbled upon the following proposition, and haven't found an error in my proof yet.
By "open-unicoherence" I mean unicoherence with closed sets replaced with open sets in the definition.
...
-4
votes
0
answers
82
views
What is the Measure of the Permutations of the Real Numbers? [closed]
Since the permutations of the real numbers would form a set of cardinality $\aleph_2$, do we just say it has infinite measure? It would seem to be the case for a Lebesgue measure.
Is there a standard ...
4
votes
1
answer
182
views
Existence of disintegrations for improper priors on locally-compact groups
In wide generality, the disintegration theorem says that Radon probability measures admit disintegrations. I'm trying to understand the case when we weaken this to infinite measures, specifically ...
-1
votes
0
answers
57
views
Convergence of convex compact bodies implies Hausdorff convergence
I am wondering about the following :
In $\mathbb{R}^n$, suppose you are given compact convex bodies $\left\{ C_k : k \geq 1 \right\}$ and $C$, such that:
(simple convergence) for every $x \in \mathbb{...
1
vote
1
answer
69
views
Simple convergence of convex compact set implies Hausdorff convergence
I am wondering about the following :
In $\mathbb{R}^n$, suppose you are given compact convex bodies $\left\{ C_k : k \geq 1 \right\}$ and $C$, such that for every $x \in \mathbb{R}^n$ $$ \mathbb{1}_{...
7
votes
1
answer
330
views
Proving the inequality involving Hausdorff distance and Wasserstein infinity distance
Prove the inequality
$$d_{H}(\mathrm{spt}(\mu),\mathrm{spt}(\nu))\leq W_{\infty}(\mu,\nu)$$
where $d_H$ denotes the Hausdorff distance between the supports of the measures $\mu$ and $\nu$, and $W_\...
5
votes
1
answer
241
views
Quotients in categories of metric spaces
There are several categories whose objects are metric (or pseudo-metric) spaces. Natural choices of morphisms are continuous, uniformly continuous, Lipschitz or short (= non-expansive or contractive) ...
3
votes
2
answers
759
views
Question about closed projection
I'm wondering if the following can be true:
Let Y be a second countable space and
$\pi_2:Y \times \mathbb{R}\rightarrow\mathbb{R}$ ($\mathbb{R}$ with its usual topology and
$\pi_2$ the projection onto ...
0
votes
0
answers
137
views
Connectedness of deleted symmetric product
Let $X$ be a connected Hausdorff space. It is well-known that the $n$-fold symmetric product $\mathcal{F}_n(X) := \{A\subseteq X : 0<|A|\leq n\}$ is a connected space equipped with the Vietoris ...
1
vote
1
answer
106
views
Variants of Dirichlet-type function as a pointwise limit of continuous functions
Problem
Suppose $f$ is a function from a complete metric space $X$ to a metric space $Y$, and suppose $Y$ has points $y_{0}$, $y_{1}$ such that the subsets $f^{-1}(y_{0})$ and $f^{-1}(y_{1})$ are both ...
2
votes
0
answers
370
views
$$ \left(\frac{\text{Man}^{\text{fr}}}{\text{Cobordism}},\coprod,\times \right)\simeq \left((\text{Fin}^{\simeq},\coprod)^{\text{gp}},\times\right)?$$ [closed]
If we combine a theorem of Pontryagin and the Barratt-Priddy-Quillen theorem we get that both sides of
$$
\left(\frac{\mathrm{Man}^{\mathrm{fr}}}{\mathrm{Cobordism}},\coprod,\times \right)\simeq \left(...
2
votes
1
answer
157
views
Factorization systems for vector bundles
Are there any well-known factorization systems for the category of vector bundles defined over topological spaces?
6
votes
1
answer
133
views
Is there a Bernstein subset $X$ of $\mathbb{R}$ such that no continuous map $f : X → [0,1]$ is surjective?
Is there a Bernstein subset $X$ of $\mathbb{R}$ such that no continuous map $f : X → [0,1]$ is surjective ?
2
votes
0
answers
24
views
Continuity of Kernel Mean Embeddings
Given some kernel $k: X \times X \to \mathbb{R}$ with RKHS $H_k$ we say that $k$ is characteristic on the space of signed Radon measures over $X$, denoted by $\mathcal{M}(X)$, if the kernel mean ...
1
vote
0
answers
58
views
"Star" of a CW-complex
Suppose we have a CW-complex $X$ with a 0-cell $e^0$. Is the union of all the cells (of higher dimensions) for which $e^0$ is a boundary point open in $X$?
I don't know if it has a name, but a similar ...
0
votes
1
answer
46
views
Let K be a compact set in a surface, U component of S-K, K'=S-U. K has finitely many components. Does every component of K' contains a component of K?
Let $S$ be a compact connected surface. Let $K$ be a compact subset of $S$ and suppose that $K$ has a finite number of connected components.
Let $U$ be a connected component of $S \setminus K$ and ...
3
votes
1
answer
170
views
Is there a metric separable space with the following properties...?
Let $\omega_1<\mathfrak{q}_0$ where $\mathfrak{q}_0:=\min\{|Y|:Y\subseteq \mathbb{R}$, $Y$ is not a $Q$-space$\}$.
Is there a metric separable space $X$ with the following properties:
$|X|\geq\...
-4
votes
0
answers
417
views
N dimensional, not-locally Euclidean, non-Hausdorff topological space
Take a topological space $(M, \tau) $ where $\tau$ is the collection of open sets of $M$.
Suppose:
the Lebesgue covering dimension of this space is $N \geq 1$
Non-Hausdorff
Not locally Euclidean
The ...
2
votes
2
answers
333
views
Does locally compact plus pseudocompact imply paracompact?
This one is probably simple, but I don't see it yet.
Is a locally compact, pseudocompact Hausdorff space necessarily paracompact?
17
votes
5
answers
822
views
How can one characterise compactness-by-experiment?
There are a myriad different variations on the theme of "compactness", and some of them have even made it on to Wikipedia. I'm interested in finding out more about types of compactness that ...
1
vote
1
answer
102
views
Existence of a Hölder homeomorphism satisfying prescribed norm constraints
Let $\Omega$ be a convex body$^{\boldsymbol{1}}$ in $\mathbb{R}^n$ where $n$ is a positive integer. Fix a positive integer $k$ and some $0<\alpha\leq 1$. Let $k_1> k_2>0$. Does there ...
3
votes
1
answer
252
views
Give an example of a star-Menger space which is not star-$K$-Menger
A space $X$ is said to be star-Menger if for every sequence $(\mathcal{U}_n)$ of open covers of $X$ there exists a sequence $(\mathcal{V}_n)$ such that for each $n$ $\mathcal{V}_n$ is a finite subset ...
0
votes
0
answers
81
views
Finding an example if it exists, for a non-contractible and contractible space with special requirement on quotients of their union?
Let $A$ and $B$ be subsets of $n$-dimensional Euclidean space $\mathbb{R}^{n}$, such that $A$ is non-contractible, $B$ is contractible and $B$ is not an one-point set.
I would like to find example(s) ...
1
vote
1
answer
294
views
Creating an inverse system which "stratifies density"
Setting:
Let $X'$ be a dense subset of an infinite-dimensional Fréchet space $X$ and suppose that $(X_n')_{n \in \mathbb{N}}$ is a nested sequence of non-empty subsets of $X'$ satisfying
$$
\bigcup_{n ...
0
votes
0
answers
49
views
Approximating open subset of profinite group by union of cosets of ideal
I am trying to understand the proof of Theorem 1.3 in this paper by poonen. Poonen refers to Lemma 20 in a different paper. He claims that the open subset $U_P \subseteq \hat{\mathcal{O}}_P$ can be ...
6
votes
1
answer
282
views
When does $\mathbf{Top}/X$ embedd fully faithfully into $\mathbf{Top}$?
Under what conditions on the topological space $X$ is the overcategory $\mathbf{Top}/X$ of topological spaces over $X$ equivalent to a full subcategory of $\mathbf{Top}$? Surely if $X$ terminal i.e. a ...
3
votes
1
answer
565
views
What is the Lebesgue covering dimension of this topological space?
Take the 4 dimensional time-oriented spacetime $(M,g)$ such that it's not strongly causal.
Take the induced topology defined by the Lorentzian metric called Alexandrov topology.
This topology matches ...
3
votes
0
answers
86
views
Finitely generated Banach lattice $C(K)$ and partitions of unity
Let $E$ be a Banach lattice. A Banach sublattice $L$ of $E$ is called finitely generated if there exists a finite subset $F \subseteq E$ such that
$$L = \bigcap \{ \hat{L} \mid F \subseteq \hat L, \, \...
11
votes
1
answer
276
views
Which closed subsets $Y$ of a compact space $X$ admit a linear extensor $C(Y)\to C(X)$?
In the following $X$ is a Hausdorff compact topological space. Let $Y$ be a closed subset of $X$.
The restriction operator $R_Y:C(X)\to C(Y)$ is surjective (Tietze), so it admits a continuous right ...
5
votes
0
answers
79
views
When a compact subset of a TVS can be continuously projected on a closed linear subspace?
Let $V$ be a (Hausdorff) topological vector space, $W\subset V$ a closed linear subspace, $X\subset V $ a compact.
(Q):
When there is a continuous map $P:X\to W$ such that $P(x)=x$ for every $x\in X\...
1
vote
2
answers
484
views
Show convergence result
Consider the following sets:
$$
A = \Big\{ x\in X: \Pr\bigg(\lim_{n \to \infty}d\big(p_n, [\ell(x), u(x) ] \big)= 0\bigg)=1 \Big\},
$$
and
$$
A_n = \Big\{ x\in X: d\big(p_n, [\ell(x), u(x) ] \big)...
24
votes
3
answers
3k
views
The closure-complement-intersection problem
Background
$\DeclareMathOperator\Cl{Cl}$
Let $A$ be a subset of a topological space $X$. An old problem asks, by applying various combinations of closure and complement operations, how many distinct ...
18
votes
3
answers
1k
views
Is there a natural measurable structure on the $\sigma$-algebra of a measurable space?
Let $(X, \Sigma)$ denote a measurable space. Is there a non-trivial $\sigma$-algebra $\Sigma^1$ of subsets of $\Sigma$ so that $(\Sigma, \Sigma^1)$ is also a measurable space?
Here is one natural ...
0
votes
0
answers
35
views
Estimate the gradient (with respect to local coordinates) of a partition of unity on a manifold
Suppose $\{U_\alpha\}$ is an atlas of coordinate patches of a (noncompact) smooth manifold $M$ of dimension $n$, with coordinates $(x_\alpha^1,\dots,x_\alpha^n)$ on $U_\alpha$. Furthermore we assume ...
45
votes
2
answers
5k
views
Continuous bijections vs. Homeomorphisms
This is motivated by an old question of Henno Brandsma.
Two topological spaces $X$ and $Y$ are said to be bijectively related, if there exist continuous bijections $f:X \to Y$ and $g:Y \to X$. Let´s ...
4
votes
0
answers
275
views
Which countable sets don't drastically change the definable topologies on $\mathbb{R}$?
For $\mathcal{M}$ an expansion of $\mathcal{R}=(\mathbb{R};+,\times)$ and $A\subseteq\mathbb{R}$, let $\tau^\mathcal{M}_A$ be the topology on $\mathbb{R}$ generated by the sets definable in $\mathcal{...
65
votes
14
answers
5k
views
Notions of convergence not corresponding to topologies
This question concerns the ramifications of the following interesting problem that
appeared on Ed Nelson's final exam on Functional Analysis some years ago:
Exam question: Is there a metric on the ...
3
votes
1
answer
411
views
Compact subsets and Hausdorffness of topology
We know that all closed subsets of a compact topological space $(X,\tau)$ are compact. If we add the Hausdorff condition on the topology $\tau$ we can see the equivalence of these conditions on a ...
1
vote
2
answers
118
views
Axiomatic definition of Katětov closure operator
In the book "Categorical Structure of Closure Operators with Applications to Topology" by Dikranjan and Tholen a Katětov closure operator is defined in terms of filter covergence:
$k_X(M):=\{...
0
votes
0
answers
56
views
Computing the eta invariant of a rather contrived operator on the circle
For physical reasons, I am interested in computing the eta invariant of the following Hermitian operator acting on complex valued functions on the circle with circumference 1. I define the operator ...
10
votes
2
answers
673
views
Is a Borel image of a Polish space analytic?
A topological space $X$ is called analytic if it is a continuous image of a Polish space, i.e., the image of a Polish space $P$ under a continuous surjective map $f:P\to X$.
We say that a topological ...