All Questions
5,184 questions
1
vote
2
answers
132
views
Description of atomless complete Boolean algebras with a countable $\pi$-base
Recall that a subset $A$ of a Boolean algebra $B$ is a $\pi$-base if for every $b>0$ there is $a\in A$ with $0<a\le b$. For example, the definition of atomicity says that atoms constitute a $\pi$...
- 5,529
4
votes
0
answers
157
views
Existence of space $Z$ such that $\text{Cont}(X,Z) \cong X$
If $X, Y$ are topological spaces, let $\newcommand{\Cont}{\text{Cont}}\Cont(X,Y)$ denote the collection of continous maps $f:X\to Y$, and we endow $\Cont(X,Y)$ with the product topology inherited from ...
- 48.9k
6
votes
0
answers
151
views
On dual notions of morphisms of algebraic structures obtained by replacing equaliser with coequalisers
This question is based on this discussion from the Category Theory Zulip. See also the earlier question Natural cotransformations and "dual" co/limits.
Let $G$ and $H$ be groups. We define ...
- 11.8k
3
votes
1
answer
621
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 ...
- 612
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, ...
- 30.3k
1
vote
1
answer
104
views
Generalizations of Michael theorem
In [1] Michael proved the following:
Theorem. Let $f\colon X \to Y$ be continuous, closed, and onto, where $X$ is $T_1$. If $y \in Y$ is a q-point, then every continuous, real-valued function on $X$ ...
- 115
1
vote
2
answers
498
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)...
- 108
5
votes
1
answer
311
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) ...
- 16.4k
8
votes
3
answers
1k
views
Are all free monoids residually finite?
I cannot manage to prove that a free monoid with operation concatenation, and with at least two generators is residually finite. If there is just one generator, the free monoid $\{a\}^*$ is isomorphic ...
- 81
6
votes
0
answers
197
views
Prokhorov's theorem for countably many random measures on a Polish space
I am looking for help to show the following lemma:
Lemma Let $(\Omega,\mathcal A,\mathbb P)$ be a complete, standard Borel probability space and $\mathcal X$ a Polish space. Let $\mathcal P(\mathcal ...
5
votes
1
answer
270
views
Are Euclidean spaces $\Delta$-generated?
From the definition of $\Delta$-generated it seems like $\mathbb R$ should be $\Delta$-generated, as $\mathbb R$ is final with respect to all continuous maps $\mathbb R^n \to \mathbb R$.
However, the ...
- 53
3
votes
1
answer
177
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\...
- 1,101
70
votes
28
answers
7k
views
Examples where it's useful to know that a mathematical object belongs to some family of objects
For an expository piece I'm writing, it would be useful to have good examples of the following phenomenon:
(1) ${\cal X}$ is a parameterized family of somethings. (Varieties, schemes, manifolds, ...
2
votes
0
answers
156
views
Testing for weak homotopy equivalences with compact Hausdorff spaces
Let $f \colon X \to Y$ be a weak homotopy equivalence between topological spaces. If I am not mistaken, then one can rephrase this by stating that the induced map $[K,X] \to [K,Y]$ between homotopy ...
- 2,998
11
votes
1
answer
309
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 ...
- 60.5k
-4
votes
1
answer
328
views
Does a coarser topology lead to a non-Hausdorff topological manifold? [closed]
Take a topological manifold $M$. Suppose one considers a strictly coarser topology than the manifold topology. Can such topology result in a non-Hausdorff topological manifold?
NOTE: PLEASE avoid the ...
- 612
5
votes
0
answers
187
views
Isbell duality for monoids and groups
Isbell Duality
$\newcommand{\IsbellSpec}{\mathsf{Spec}}\newcommand{\IsbellO}{\mathsf{O}}\newcommand{\Sets}{\mathsf{Sets}}\newcommand{\rmL}{\mathrm{L}}\newcommand{\rmR}{\mathrm{R}}\newcommand{\B}{\...
- 11.8k
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
0
votes
1
answer
135
views
Local embedding and disk in domain perturbation
Consider say $M=(\mathbb{S}^1\times\dotsb\times \mathbb{S}^1)-q$ ($n$-times). Assume that $B$ is an $n$ disk in $M$ (for instance, thinking of $\mathbb{S}^1$ as gluing $-1$ and $1$, the cube $B=[-\...
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
4
votes
1
answer
223
views
Is every compact, sober, second-countable space the image of $2^\omega$?
As a bonus, is every compact, $T_0$, second-countable space the image of $2^\omega \times \omega$?
As a further bonus, can we strengthen "image" to "quotient"?
My motivation for ...
- 3,612
4
votes
3
answers
723
views
Does there exist a topological space $X$ such that $X^2$ and $[0,1]$ are homeomorphic?
I have proved that if $X$ is not connected then $X^2$ is not connected either. So my idea was to prove that if $X$ is connected then $X^2$ blown up any point is also connected. But I don't know ...
- 505
91
votes
19
answers
20k
views
Injectivity implies surjectivity
In some circumstances, an injective (one-to-one) map is automatically surjective (onto). For example,
Set theory
An injective map between two finite sets with the same cardinality is surjective.
...
1
vote
0
answers
177
views
If $X$ is a strong deformation retract of $\mathbb{R}^n$, then is $X$ simply connected at infinity?
Let $X \subseteq \mathbb{R}^n$, and assume there is a strong deformation retract from $\mathbb{R}^n$ to $X$. Is $X$ necessarily simply connected at infinity?
(Edit) Follow up question: if there is a ...
- 637
0
votes
1
answer
127
views
Continuous extensions of tangent vector fields
Let $\Omega$ be an open subset of $S^2$ with $\bar{\Omega}\neq S^2$. Suppose a continuous tangent vector field $G$ is given on $\partial \Omega$ with $|G(y)|=1$ for all $y\in \partial \Omega$. Does ...
- 434
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
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 \...
- 434
3
votes
0
answers
135
views
What is the universal/fine uniformity on a topological group?
Cross posted from https://math.stackexchange.com/questions/4889335
I'm aware that every topological group is uniformizable: given a neighborhood $U\in\mathcal N(e)$ of the identity, the set $D_U=\{\...
- 1,382
2
votes
0
answers
414
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(...
- 705
2
votes
2
answers
356
views
Is a Hausdorff separable topological space that is uniform and complete necessarily a Polish space?
Is an Hausdorff separable topological space that is uniform and complete necessarily a Polish space ?
- 2,655
2
votes
1
answer
79
views
Hausdorff-Lipschitz continuity of cone correspondence
Let $\mathbb{R}_+$ denote the strictly positive real numbers, let $\mathcal{X} \subset \mathbb{R}^n$ and $\mathcal{P} \subset \mathbb{R}^m$ be compact and convex subsets, let
\begin{equation}
f: \...
- 55
10
votes
1
answer
572
views
Are “most” bounded derivatives not Riemann integrable?
Given $a,b\in\mathbb R$ with $a<b$. Let
$$X=\{f\in C([a,b]): f \text{ is differentiable on } [a,b] \text{ with }f' \text{ bounded }\},$$
and
$$A=\{f\in X: f' \text{ is Riemann integrable}\}. $$
It ...
- 299
7
votes
2
answers
529
views
What is the name for a point that is periodic to within $\varepsilon$?
Let $X$ be a set and $f: X \to X$ a function. A point $x \in X$ is, of course, said to be periodic for $f$ if $x \in \{f(x), f^2(x), \ldots\}$.
Now suppose that $X$ is a topological space and $f$ is ...
- 27.7k
4
votes
0
answers
108
views
Larger possible chain of closed subspaces in the dual of a Banach space
In this question, is demonstrated that a separable space can have a chain (ordered by inclusion) of closed subspaces with uncountable many subspaces.
My question is the following. If $X$ is an ...
- 153
2
votes
1
answer
179
views
Factorization systems for vector bundles
Are there any well-known factorization systems for the category of vector bundles defined over topological spaces?
- 615
1
vote
1
answer
152
views
Points in the Stone Cech compactification are intersection of open sets
Let $\beta \mathbb{N}$ be the Stone Cech compactification of the natural numbers and let $ x\in \beta \mathbb{N}$. Is it true that there exists a sequence of open sets $\{U_n\}_{n=1}^\infty$ in $\beta ...
0
votes
0
answers
95
views
Which algebraic structure characterizes the set of non-trivial qudratic residues in a finite field?
I understand this question may be too naive to ask, but I am unable to figure it out.
Suppose, $\mathbb{QR^*}$ denotes the set of all quadratic residues in a finite field except the identity element $...
4
votes
1
answer
252
views
Does every (Abelian) Polish group have a nontrivial locally compact subgroup?
The question is pretty much in the title, suppose that $G$ is an (Abelian) nontrivial Polish group, must $G$ have a nontrivial locally compact (in the induced topology, hence necessarily closed) ...
- 3,011
0
votes
1
answer
80
views
Continuous modification of tangent vector fields
Let $\Omega$ be an open subset of $S^2$, and assume that there exists a continuous tangent vector field $F(x)$ defined on $\bar{\Omega}\neq S^2$ with $|F(x)|=1$ for all $x\in \bar{\Omega}$. Suppose a ...
- 434
2
votes
1
answer
300
views
If $\mathcal{H}^{n-1}(E)=0$ then $\mathbb{R}^n\setminus E$ is connected
Let $E\subset \mathbb{R}^n$ be a (measurable) subset with $\mathcal{H}^{n-1}(E)=0$, where $\mathcal H^{n - 1}$ is the ($n - 1$)-dimensional Hausdorff measure. I want to know if $\mathbb{R}^n\setminus ...
- 1,149
0
votes
1
answer
192
views
A continuous injection from the Hilbert cube to the real line?
Continuing an earlier "too good to be true" question that I posted recently, the same holds for the present question:
Is there a continuous injection from the Hilbert cube $[0,1]^{\Bbb N}$ ...
- 3,104
14
votes
3
answers
2k
views
Is there a universal property characterizing the category of compact Hausdorff spaces?
This is in some sense a follow up to the question asked here Properties of the category of compact Hausdorff spaces
To clarify: The category $\text{Prof}$ of profinite sets sits inside the category $\...
- 2,303
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 ...
- 612
1
vote
0
answers
127
views
Extremally disconnected sets as building blocks for compact Hausdorff spaces
Is every compact Hausdorff space the filtered colimit of compact extremally disconnected spaces?
- 1,638
7
votes
1
answer
185
views
Existence of Borel uniformization for coanalytic set with non-$K_\sigma$ sections
Suppose that $X$ is a Polish (or standard Borel) space and $\omega^\omega$ is the Baire space of all natural number sequences. My question is: If $A\subseteq X\times \omega^\omega$ is a coanalytic set ...
- 3,115
1
vote
1
answer
89
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 ...
- 1,211
36
votes
3
answers
6k
views
In a topological space if there exists a loop that cannot be contracted to a point does there exist a simple loop that cannot be contracted also?
I'm interested in whether one only needs to consider simple loops when proving results about simply connected spaces.
If it is true that:
In a Topological Space, if there exists a loop that cannot ...
- 4,862
11
votes
1
answer
341
views
Density of linear subspaces in $C(K)$
Let $K$ be a compact Hausdorff space and denote by $C(K)$ the space of all real valued and continuous functions on $K$. We endow $C(K)$ with the supremum norm topology, making it a Banach space.
...
- 467
4
votes
0
answers
290
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{...
- 20.5k
7
votes
0
answers
148
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 $\...
- 775