All Questions
5,183 questions
6
votes
1
answer
185
views
A name for semigroups in which left and right principal ideals coincide
Is there any standard name for semigroups $S$ in which $xS=Sx$ for all $x\in S$?
Examples of such semigroups are commutative semigroups and Clifford inverse semigroups.
- 10.5k
2
votes
0
answers
80
views
An alternative definition for finitely generated (and principal) ideals in a semigroup
Let $S$ be a semigroup. An ideal (of $S$) is a subset $I$ of $S$ such that $SI$ and $IS$ are both contained in $I$. The non-empty ideals constitute a subsemigroup, $\mathfrak I(S)$, of the power ...
- 10.5k
3
votes
2
answers
774
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 ...
- 1,446
0
votes
0
answers
150
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 ...
- 10.9k
1
vote
1
answer
132
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 ...
- 5,409
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
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?
- 30.3k
6
votes
1
answer
149
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 ?
- 18.6k
2
votes
0
answers
35
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 ...
- 161
1
vote
0
answers
81
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 ...
- 3,065
0
votes
1
answer
78
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? [closed]
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,599
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\...
- 11.4k
2
votes
2
answers
343
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?
- 4,713
17
votes
5
answers
830
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,446
1
vote
1
answer
110
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 ...
- 60.5k
3
votes
1
answer
263
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 ...
CommunityBot
- 1
0
votes
0
answers
101
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) ...
0
votes
0
answers
51
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 ...
- 1
6
votes
1
answer
284
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 ...
CommunityBot
- 1
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
3
votes
0
answers
105
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, \, \...
- 63.9k
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 ...
- 5,596
5
votes
0
answers
94
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\...
- 60.5k
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
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 ...
- 63.9k
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 ...
- 4,713
0
votes
0
answers
52
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 ...
- 21
5
votes
0
answers
160
views
$S$ and $T$ globally isomorphic semigroups, with $S$ (commutative and) cancellative, iff $S$ is isomorphic to $T$?
Denote by $\mathcal P(S)$ the semigroup obtained by equipping the non-empty subsets of a "ground semigroup" $S$ (written multiplicatively) with the operation of setwise multiplication ...
- 10.5k
46
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 ...
- 11.5k
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{...
- 1
3
votes
1
answer
418
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 ...
- 30.3k
1
vote
2
answers
131
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):=\{...
- 5,596
0
votes
0
answers
63
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 ...
- 111
11
votes
2
answers
725
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 ...
- 4,713
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 ...
- 11.4k
2
votes
0
answers
91
views
A recursive description of the smallest divisor-closed subsemigroup containing a set
Let $S$ be a semigroup and $\widehat{S}$ be its unitization, i.e., the monoid obtained from $S$ by adjoining an identity element if necessary (so that $\widehat{S} = S$ when $S$ is already a monoid).
...
- 10.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 ...
- 39.1k
15
votes
1
answer
796
views
What is this equivalence relation on topological spaces: there are bijective continuous maps in both directions
Consider the following equivalence relation on topological spaces:
$X\sim Y$ $:\Longleftrightarrow$ there are bijective continuous maps $\phi:X\to Y$ and $\psi:Y\to X$.
Note that there are no ...
- 24.2k
9
votes
9
answers
4k
views
Help me with this proof: Drop a printed map of the land on the land and there must be some common point.
Hi, I have a minor in math and this is not a homework problem - my prof mentioned it 5 years ago and I could not even begin to tackle it until I took a good intro to linear algebra (after work). ...
- 1,446
13
votes
3
answers
978
views
Model Structure/Homotopy Pushouts in topological monoids?
Let $\mathsf C$ be the category of topological monoids, that is, the category of monoids in $(\textsf{Top}, \times)$.
Can the model category structure on $\textsf{Top}$ (Serre fibrations, ...
- 4,713
3
votes
1
answer
171
views
Every homomorphism between (rational) Puiseux monoids is multiplication by a non-negative rational
Let a (rational) Puiseux monoid be a non-trivial submonoid of the non-negative rational numbers under (the usual operation of) addition. It is not difficult to show that, if $f \colon H \to K$ is a (...
- 38.6k
11
votes
1
answer
755
views
On the classification of second-countable Stone spaces
Let $X$ be a Stone space (i.e. totally disconnected compact Hausdorff). Then the following are equivalent:
$X$ is second countable
$X$ is metrizable
$X$ has countably many clopen subsets
$X$ is an ...
- 35.5k
2
votes
1
answer
132
views
The separability of superextensions
The superextension $\lambda X$ of a compact Hausdorff space $X$ is the space of maximal linked systems of closed subsets of $X$, endowed with the Vietoris topology inherited from the double hyperspace ...
- 11.4k
10
votes
1
answer
354
views
Elementary equivalence between $n\mapsto n+1$ and its inverse on the Stone-Čech remainder?
Consider structures $(A,f)$ encoding a Boolean algebra $A$ endowed with an automorphism $f$. There is an obvious notion of isomorphism between such structures.
Consider the endomorphism $\hat{\Phi}$ ...
- 18.6k
14
votes
2
answers
502
views
Near permutation $n\mapsto n+1$ not conjugate to its inverse on the Stone-Čech remainder?
Let $\beta\omega$ be the Stone-Čech compactification of the discrete infinite countable space $\omega$, and $\beta^*\omega=\beta\omega\smallsetminus \omega$ is the Stone-Čech remainder.
The map $j:n\...
- 18.6k
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 ...
11
votes
4
answers
2k
views
Non-trivial convergent sequence in Stone-Čech compactification of $\mathbb{N}$
Why are there only trivial convergent sequences in the Stone-Čech compactification of $\mathbb{N}$?
- 4,713
1
vote
1
answer
162
views
Is there a uniformly continuous injective image of $(0,1)\setminus\Bbb Q$ in the Cantor space?
It seems too good to be possible, but:
Is there a uniformly continuous injective image of $(0,1)\setminus\Bbb Q$ in the Cantor space?
Here, the Cantor space $\{0,1\}^{\Bbb N}$ is equipped with the ...
- 3,669
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}$ ...
- 48.8k
11
votes
1
answer
428
views
Is the Mandelbrot set Suslinian?
The Mandelbrot set is known to be (path-)connected and compact. A non-degenerate space with these properties is called a continuum.
A continuum $X$ is Suslinian if every collection of non-degenerate ...
- 6,548