All Questions
5,185 questions
0
votes
1
answer
291
views
Tensor product is complete?
Let $(V,\|\cdot\|_V)$ and $(W,\|\cdot\|_W)$ be Banach spaces and let the norm $\|\cdot\|_{V\otimes W}$ on the tensor product space $V\otimes W$ be admissible in the following sense: for $v\in V, w\in ...
- 41.1k
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
3
votes
1
answer
190
views
An extension of Stone duality
First let me recall Stone duality in terms of propositional logic.
Let $L$ and $K$ be propositional signatures (i.e., sets of propositional variables). Let $T$ be a propositional theory over $L$ and $...
- 5,031
12
votes
1
answer
624
views
Stone–Čech compactification as a semigroup
Let $G$ be a topological group (we can assume that $G$ is countable and discrete) and let $\beta(G)$ be the Stone–Čech compactification of $G$. It is known that $\beta(G)$ can be turned into a left ...
- 38.6k
7
votes
4
answers
1k
views
General topological space with closure operation as in Russian translation of Hausdorff's 1914 and 1927 Mengenlehre
In the Russian translation (by P. Alexandroff and A. Kolmogorov) of chapter "Point Sets in General Spaces" Hausdorff (1914), the notion of a general topological space is defined as set $R$ with ...
- 20.5k
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 $...
- 32.5k
0
votes
2
answers
182
views
Show that the set of strictly stationary, mean zero and finite variance stochastic processes is closed (or not)
Let $\mathcal{P}$ be the set of real-valued and strictly stationary processes with expectation zero and finite variance, i.e.:
\begin{equation}
\mathcal{P}:=\left\{ X = (X_t)_{t \in \mathbb{Z}} \, ...
- 128k
1
vote
0
answers
81
views
Morphism in commutative square strict?
Let $G,H$ be topological groups and $f:G\rightarrow H$ a continuous group homomorphism.
Then $f$ is said to be strict if $G/\mathrm{Ker}(f) \cong \mathrm{Im}(f)$ is an isomorphism of topological ...
- 473
3
votes
0
answers
31
views
Compactness of the minimal ideal of a compact Hausdorff polytopological semigroup
A semigroup $X$ endowed with a topology is called
$\bullet$ a topological semigroup if the semigroup operation $X\times X\to X$ is continuous;
$\bullet$ a semitopological semigroup if for every $a,b\...
- 42k
0
votes
1
answer
176
views
What does mean by "$\omega +1$ is convergent sequence"? [closed]
Let $X=\omega +1$ be convergent sequence. Then what does mean by "$X$ is convergent sequence"?
- 48.8k
2
votes
1
answer
134
views
For which continua $X$ does $X^\mathbb{N}$ have the fixed-point property?
A topological space $X$ has the fixed-point property if any continuous map $f : X \to X$ has a fixed point (i.e., an $x$ such that $f(x) = x$). It's well known that certain topological spaces, such as ...
7
votes
0
answers
138
views
The smallest cardinality of a cover of a group by algebraic sets
$\DeclareMathOperator\cov{cov}$A subset $A$ of a semigroup $X$ is called algebraic if $$A=\{x\in X: a_0xa_1x...xa_n=b\}$$ for some $b\in X$ and $a_0,a_1,...,a_n \in X^1=X\cup \{1\}$. The smallest ...
- 42k
4
votes
1
answer
236
views
What is the Freudenthal compactification of a wildly punctured n-sphere?
Let $C$ be a compact and totally-disconnected subspace of the $n$-sphere $\mathbb{S}^n$, where $n\geq 2$.
Question: Must the Freudenthal compactification of $\mathbb{S}^n \setminus C$ be homeomorphic ...
- 1,936
4
votes
1
answer
186
views
Is “factoring through a dendrite loop” preserved under deletion?
Definition 1. A dendrite $X$ is a 1 dimensional retract of the closed unit disk. Equivalently, $X$ is a compact, locally path connected, and uniquely arcwise connected metric space.
Definition 2. The ...
- 1,968
1
vote
1
answer
114
views
Continuous surjection between spectra of commutative von Neumann algebras
Suppose that $V_1,V_2$ are two commutative von Neumann algebras and $V_1 \subset V_2$. Being in particular commutative $C^*$-algebras we have that $V_1 \cong C(X_1), V_2 \cong C(X_2)$ for some ...
- 63.9k
7
votes
2
answers
722
views
Consistency of a strange (choice-wise) set of reals
Consider a set $X\subseteq \mathbb{R}$ such that
$X$ is not separable wrt its subspace topology
For all $r\in\mathbb{R}$ there exists a sequence $(x_n)_{n\in\omega} \subset X$ converging to $r$
In a ...
- 2,286
42
votes
5
answers
4k
views
What are the main structure theorems on finitely generated commutative monoids?
I should read J. C. Rosales and P. A. García-Sánchez's book Finitely Generated Commutative Monoids and L. Redei's book The Theory of Finitely Generated Commutative Semigroups. I haven't. But here's ...
- 10.5k
5
votes
1
answer
163
views
Is the fine uniformity generated by all continuous pseudometrics?
Given any topological space $(X,\tau)$, it seems to me that the uniformity generated by all continuous pseudometrics $d:(X,\tau)\times (X,\tau)\to [0,\infty)$ is the fine uniformity of the associated ...
- 5,596
5
votes
1
answer
718
views
Structure of a profinite group as a condensed set with an action of an open subgroup
Let $G$ be a profinite group and $H$ be an open subgroup. As a continuous $H$-topological space, we have $G=\coprod_{G/H} H$. Does this also hold as condensed sets, i.e. do we have an identification ...
- 21.3k
17
votes
2
answers
2k
views
Foundations of topology
I recently went to a talk of Oleg Viro where he expressed his dissatisfaction with current foundations of differential topology parallel to what has been discussed here.
Also some time ago I read ...
- 82.7k
3
votes
1
answer
669
views
Do Peano curves provide a counterargument to Grothendieck's critique?
This question arose in the context of an earlier question on Grothendieck's critique of the traditional foundations of topology. Can the paper Group Invariant Peano Curves by Cannon and Thurston be ...
- 28.2k
7
votes
2
answers
1k
views
Unusual space-filling curve
Around 1998, I encountered a (forgotten) reference to a particularly strange space-filling curve.
Consider a foliation as a collection of continuous nonintersecting curves that start at $(0,0)$ and ...
- 63.9k
6
votes
1
answer
135
views
Automorphisms of special egg-box diagrams
By a egg-box diagram I will simply mean a (possibly infinite) rectangular array of holes, with some of the holes containing an egg (denoted by a filled-in circle) and the rest of the holes are empty (...
- 18.7k
1
vote
0
answers
48
views
Reference for preimage of boundary of spacefilling curve
Given a continuous map $\gamma$ from $[0,1]$ onto a bounded
contractible subset $S$ of $\mathbb R^2$ such that $S$ contains an open subset of $\mathbb R^2$ which is dense in $S$,
the preimage $\gamma^{...
- 17.9k
0
votes
1
answer
225
views
Does contractible imply homologically locally connected?
Spanier mentions that locally contractible implies homologically locally connected but I'm wondering whether contractible implies homologically locally connected?
Definition of homologically locally ...
- 28.2k
0
votes
1
answer
518
views
Distance between two points using triangulation
Suppose we have two points $p_1$ and $p_2$ in a metric space with unknown dimensionality, with no way to directly compute the distance between them, e.g. no coordinates.
Say we can randomly sample a ...
- 236k
13
votes
2
answers
2k
views
When can we divide continuous functions?
Let $X$ be a compact Hausdorff topological space such that for every continuous $f,g:X\to\mathbb{R}$ with $0\le f\le g$ there is a continuous $h:X\to\mathbb{R}$ such that $f=gh$.
What can be said ...
3
votes
2
answers
172
views
On the Hilbert function of a numerical semigroup
Recall that a numerical semigroup $S$ is a submonoid of the non-negative integers $\mathbb Z_{\geq 0}$ whose relative complement $\mathbb Z_{\geq 0} \setminus S$ is finite. Observe that the collection ...
- 183
8
votes
1
answer
1k
views
Compactness of the unit ball of a Banach space for topologies finer than the weak* topology
Let $(\mathcal{X} , \|\cdot \|_\mathcal{X})$ be a Banach space and $\mathcal{X}'$ its topological dual. We denote by $\| \cdot \|_{\mathcal{X}'}$ the dual norm and define also the topological dual $\...
- 42.8k
1
vote
0
answers
155
views
Study of the class of functions satisfying null-IVP
$\mathcal{N}_u$ : Class of all uncountable Lebesgue-null set i.e all uncountable sets having Lebesgue outer measure $0$.
Let $f:\Bbb{R}\to \Bbb{R}$ be a function with the following property :
$\...
- 307
19
votes
0
answers
563
views
What algebraic properties are preserved by $\mathbb{N}\leadsto\beta\mathbb{N}$?
Given a binary operation $\star$ on $\mathbb{N}$, we can naturally extend $\star$ to a semicontinuous operation $\widehat{\star}$ on the set $\beta\mathbb{N}$ of ultrafilters on $\mathbb{N}$ as ...
- 204
2
votes
0
answers
73
views
Why does normality imply that a countable base $B$ contains at least one set $U$ whose closure is a subset of another set $V \in B$?
I'm reading Aliprantis and Border's excellent text, Infinite Dimensional Analysis: A Hitchhiker's Guide (PDF available at link, assuming I've done this properly), and I've reached an impasse in the ...
- 21
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
1
vote
0
answers
125
views
Translation of an article by Šapirovskiĭ
The AMS has a book, Fourteen Papers Translated from the Russian, containing an article by Šapirovskiĭ, "Cardinal invariants in compact Hausdorff spaces", that I would very much like to ...
- 188k
6
votes
0
answers
144
views
Is there a hereditarily disconnected space which is not the union of countably many totally disconnected subspaces?
A topological space $X$ is called
$\bullet$ totally disconnected if for any distinct points $x,y\in X$ there exists a clopen set $U\subseteq X$ such that $x\in U$ and $y\notin U$;
$\bullet$ ...
- 42k
38
votes
1
answer
1k
views
Sequences with 0's in $\mathbb R ^\omega$
Let $\mathbb R ^\omega$ be the set of all sequences of real numbers in the product topology.
Let $X$ be the set of all sequences in $\mathbb R ^\omega$ which have at least one 0.
Let $Y$ be the set of ...
- 12.9k
20
votes
3
answers
1k
views
How thinly connected can a closed subset of Hilbert space be?
Let H be a separable (and infinite-dimensional) Hilbert space. Is it known whether there exists an infinite
subset C of H with the following properties.? (1) C is connected and closed in H. (2) No ...
- 3,317
5
votes
1
answer
254
views
Boolean algebra of ambiguous Borel class
Suppose $X$, $Y$ are uncountable compact metric spaces and $\Delta^0_\xi(X)$, $\Delta^0_\xi(Y)$ ($2\le\xi\le\omega_1$) are the Boolean algebras of Borel sets of ambiguous class $\xi$. So for $\xi=2$ ...
- 42k
10
votes
0
answers
173
views
Is there a universal totally disconnected Polish space?
A topological space $X$ is called totally disconnected if for any distinct points $x,y\in X$ there exists a clopen set $U\subseteq X$ such that $x\in U$ and $y\notin U$.
In 1973 Roman Pol proved that ...
- 42k
2
votes
1
answer
94
views
What are the n-ary subsemigroups of $\mathbb{N}$?
There is a well-known result about the subsemigroups of $\mathbb{N}$ stating that the additive subsemigroup generated by a (finite) set $A$ of $\mathbb{N}$ is cofinite in $\mathbb{N}$ if and only if $\...
- 63.9k
2
votes
0
answers
76
views
Equilibrium for a game with mixed strategies on a compact ultrametric space
Let $(X,d)$ be a compact ultrametric space. Hartig and de Vink considered the following ultrametric on the set $P(X)$ of probability on $X$:
$$\hat d(\mu,\nu)=\inf\{r>0:\forall x\in X\;\;\mu(B_r(x))...
- 4,535
15
votes
6
answers
3k
views
Giving $\mathit{Top}(X,Y)$ an appropriate topology
$\DeclareMathOperator\Top{\mathit{Top}}$I am not sure if its OK to ask this question here.
Let $\Top$ be the category of topological spaces. Let $X,Y$ be objects in $\Top$.
Let $F:\mathbb{I}\...
- 63.9k
4
votes
3
answers
767
views
A natural embedding of the total space of tautological bundle over $G(2,n)$ in $G(2,n+1)$
I learned from the following post that the total space of the tautological line bundle over $\mathbb{R}P^{n}$ is diffeomorphic to $\mathbb{R}P^{n+1}\setminus \{pt\}$.(There is a natural embedding$([x]...
3
votes
0
answers
75
views
Discreteness of the higher inductive-inductive Cauchy real numbers in real cohesive homotopy type theory
We work in cohesive homotopy type theory with propositional resizing, so that there is only one type of Dedekind real numbers $\mathbb{R}$ up to equivalence, and Mike Shulman's axiom $\mathbb{R}\flat$,...
- 2,624
13
votes
1
answer
766
views
Is Top_4 (normal spaces) a reflective subcategory of Top_3 (regular spaces)?
I’m studying some category theory by reading Mac Lane linearly and solving exercises.
In question 5.9.4 of the second edition, the reader is asked to construct left adjoints for each of the inclusion ...
3
votes
0
answers
105
views
Space of algebraic maps and quotient under finite group action
For a normal (you can assume smooth for this problem) quasi projective complex variety $X$ and a projective complex variety $Y$, we can endow the space of the set of morphisms $\operatorname{Mor}(X,Y)$...
6
votes
2
answers
477
views
How big $|\operatorname{Aut}(M)|$ can be, given $|\partial\operatorname{Aut}(M)|$?
My apologies: There were a couple of typos in the original question. Hope I got them all.
Let $\kappa$ be an uncountable cardinal of cofinality $\omega$ and $M$ a model of size $\kappa$. We equip $\...
- 4,713
5
votes
0
answers
204
views
What are all of the topological (commutative) monoid structures on a closed interval?
Consider a closed real interval $[a,b]$ as a toplogical space. Up to homeomeorphism it doesn't matter, but I like to take $[a,b] = [0,\infty]$.
Question 1: What are all of the topological commutative ...
- 64k
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 $...
- 4,713
1
vote
0
answers
54
views
Closed linear span of compact open subsets of a spectral space
Let $X$ be a spectral space and $KO(X)$ be the set of all compact open subsets of $X$. Identify $KO(X)$ with $\{1_D:D\in KO(X)\}$, where $1_D(u) = 1$ if $u\in D$ and $1_D(u) = 0$ if $u\notin D$.
...
- 2,605