All Questions
5,183 questions
0
votes
1
answer
231
views
Questions on the compactness of $L_1([0,1]^2)$'s unit sphere
Let $U$ denote the set of functions $f\in L_1([0,1]^2)$ such that $\int f=1$ and $f(x,y)\geq 0: a.e. (x,y)\in [0,1]^2$. Recently in my study I need to study the compactness of $U$. By Riesz's theorem ...
- 349
0
votes
1
answer
100
views
Embeddings of pseudo metric spaces into seminormed Spaces
There is a theorem stating that every metric space embeds isometrically into $\ell _{\infty}$.
My question: is there a generalized result for pseudo metric spaces embedding isometrically into semi-...
- 85
0
votes
1
answer
101
views
Limit sequence of regular function in $L_1$‘s unit sphere
Let $U$ denote the set of functions $f\in L_1([0,1]^2)$ such that $\int f=1$. For any $f\in U$, we say it is regular if $\int_{x_0\times [0,1]}f=\int_{[0,1]\times y_0}f=1$ for a.e. every $x_0, y_0\in [...
- 349
4
votes
1
answer
239
views
True or false? Every left or right cancellative, duo semigroup is cancellative
A semigroup $S$ is duo if $aS = Sa$ for all $a \in S$, where $aS := \{ax: x \in S\}$ and similarly for $Sa$; for instance, every commutative semigroup is duo, and so is every group. On the other hand, ...
- 10.5k
0
votes
0
answers
128
views
The smallest dihedral angle of convex polyhedrons
Given a set of points $\{x_{k}\}_{k=0}^{m} \subset \mathbb{R}^n$, is it always possible to find a constant $c=c(m,n)>0$, depending only on the dimension $n$ and the number $m$, such that, after ...
- 705
7
votes
2
answers
297
views
Compactly generated and paracompact $\Rightarrow$ Hausdorff?
In A Concise Course in Algebraic Topology by May, a proposition is stated that any open cover of a paracompact space has a numerable refinement, where the space is assumed to be compactly generated ...
-1
votes
1
answer
168
views
Space of distributions on $[0,1]^2$: weakly compact or not?
Let $X_1,X_2$ be distributions on $[0,1]$ and let $X=(X_1,X_2)$ be the joint distribution of $X_1,X_2$. Let $\mathcal{X}$ be the set of all such joint distribution $X$.
Question 1: Does $\mathcal{X}$ ...
- 349
8
votes
1
answer
322
views
Does every cancellative duo semigroup embed into a group?
Prompted by the comments to a recent answer by YCor to a related question (here), I'd like to ask the following:
Q. Does every cancellative duo semigroup embed into a group?
A (multiplicatively ...
- 10.5k
6
votes
3
answers
551
views
Conjecture about commutative semigroups
Conjecture: given any commutative semigroup $S$ of order $n \ge 4$, there exist $a, b \in S$ with $a \ne b$, an integer $m \ge \lfloor (n-1)/2 \rfloor$, and two $m$-element subsets $X = \{x_1, \ldots, ...
- 1,000
2
votes
0
answers
29
views
When are canonical maps of a filtered colimit open/closed, given that the transition maps are open/closed?
Let $X_i$ be a filtered diagram of topological spaces. I am interested in when the canonical maps $f_i:X_i\rightarrow \text{colim } X_i$ are open/closed. It is pretty easy to show that if the ...
- 41
8
votes
2
answers
596
views
If a semigroup embeds into a group, then is it a subdirect product of groups?
The title has it all:
Q. If a semigroup $S$ embeds into a group, then is $S$ (isomorphic to) a subdirect product of groups?
If yes, then $S$ is a subdirect product of subdirectly irreducible groups,...
- 10.5k
7
votes
2
answers
488
views
Is every cancellative semigroup a subdirect product of subdirectly irreducible cancellative semigroups?
By a classical result of Birkhoff (that is, Theorem 2 in [G. Birkhoff, Subdirect unions in universal algebra, Bull. AMS, 1944]) and the trivial fact that the class of semigroups is closed under the ...
- 10.5k
4
votes
1
answer
136
views
$\bf2$-Stone-Čech compactification of a product of topological spaces
Let $\beta_{\bf2} S$ be a compact, totally-disconnected space containing a dense, discrete subspace $S$ such that any function $f:S\to\bf2$ extends to a continuous map $\hat f:\beta_{\bf2} S\to\bf2$, ...
- 1,644
3
votes
0
answers
250
views
Action (of a graded monoid) required
Reference request: Did the construction below appear anywhere before? Any mentions of it or especially any links to something commonly known would be really helpful. I feel that it might be related to ...
- 321
30
votes
2
answers
2k
views
Is every connected subgroup of a Euclidean space closed?
The question listed above (in the context of the complex numbers, but it is a reasonable question to ask in any dimension) was asked by a student in my complex analysis class, and I did not have an ...
- 114k
3
votes
0
answers
101
views
A problem on the box topology
Let $S$ be a set and let $\mathbb{R}$ be the real number set with the usual topology.
Define
$$\mathbb{R}^{S}_f=\{t\in \mathbb{R}^S\mid t(s)=0 \mbox{ except for finitely many } s\in S\}. $$
Consider ...
- 123
3
votes
1
answer
351
views
How to define relative orientation in terms of (co)homology?
Let $f\colon X\to Y$ be a smooth surjective map of smooth manifolds of dimension $n$ which are not necessarily orientable. A relative orientation of $X$ over $Y$ consists of an isomorphism $\psi\colon ...
- 3,031
3
votes
0
answers
94
views
Pseudocompactness, countable compactness and locally finite open covers
Let $(P_1)$ be the property: Every locally finite open cover of $X$ has finite subcover.
Let $(P_2)$ be the property: Every locally finite open cover of $X$ is finite.
Let $(P_3)$ be the property: ...
- 1,201
0
votes
1
answer
89
views
Monto functions (multiply onto functions)
This is an improvement over Hereditary property of bionto (bi-onto) functions.
Let $\,\ X\,\ Y\ $ be topological spaces. Set $\ A\subseteq X\ $ is said to be clopen in $\ X\ $ iff both $\ A\ $ and $\ ...
- 4,786
1
vote
0
answers
111
views
Unique Hausdorff topology on trivial vector bundle?
Question: Is there a Hausdorff topology other than the product topology on $X\times \mathbb{C}^n$, that turns $(X\times \mathbb{C}^n, \mathrm{pr}_1)$ into a vector bundle, where $\mathrm{pr_1}$ ...
- 11
0
votes
1
answer
60
views
Hereditary property of bionto (bi-onto) functions
Let $\,\ X\,\ Y\ $ be topological spaces. Set $\ A\subseteq X\ $ is said to be clopen in $\ X\ $ iff both $\ A\ $ and $\ X\setminus A\ $ are open. Continuous function $\ f:X\to Y\ $ is said to be ...
- 4,786
7
votes
1
answer
170
views
Topological rigidity of cartesian product with $\mathbb{R}$
It seems that the following is true : if $V$ and $W$ are compact differentiable manifold of the same dimension, and $\mathbb{R} \times V$ is diffeomorphic to $\mathbb{R} \times W$, then $V$ and $W$ ...
4
votes
0
answers
98
views
Let $ G $ be a Lie group and $ H $ a connected subgroup of $ G $. If $ N_G(H)/H $ is finite does that imply $ H $ must be closed in $ G $?
Let $ G $ be a Lie group and $ H $ a connected subgroup of $ G $. If $ N_G(H)/H $ is finite does that imply $ H $ must be closed in $ G $?
The assumption that $ N_G(H)/H $ is finite cannot be weakened ...
- 4,081
0
votes
1
answer
145
views
Can we describe open cover compactness of a space in how the space relates to other spaces?
I've seen two definitions of connectedness of categorical flavour which I present below:
(Maps into two point set): A topological space $X$ is connected iff the only continous functions $f:X \to \{ 0,...
- 1,525
3
votes
0
answers
145
views
What is an example of a non-tight probability measure?
Billingsley (Convergence of Probability Measures, 1968) and van der Vaart and Wellner (Weak Convergence and Empirical Processes, 2023) discuss the concept of tight probability measures and use the ...
- 277
3
votes
0
answers
93
views
Finiteness of non-orientable 3-manifolds with the same orientable two-fold cover
Given a compact, orientable and boundary incompressible 3-manifold $M$. Suppose that either $M$ is closed, or $\partial M$ consists of tori.
For which non-orientable 3-manifolds $N$, the orientable ...
- 605
1
vote
0
answers
262
views
Is every self homeomorphism of the open disk conjugate to a homeomorphism extendable to the boundary?
Let $\mathbb{D}=\{z\in \mathbb{R}^2\mid |z|<1\}$
Is it true to say that every homeomorphism of $\mathbb{D}$ is conjugate to a self homeomrphism of the disk extendable to a homeomorphism of $\bar{\...
- 356
1
vote
0
answers
37
views
Asymptotic growth of twisted alexander polynomials and hyperbolic volume for infinite families of knots
Let $\{K_n\}_{n=1}^\infty$ be an infinite family of hyperbolic knots with increasing crossing number, and let $\rho_n: \pi_1(S^3 \setminus K_n) \to SL_N(\mathbb{C})$ be a sequence of irreducible ...
6
votes
3
answers
264
views
Can a scattered profinite set continuously surject onto a non-scattered profinite set?
A topological space is scattered if every nonempty subset has an isolated point. Are there any continuous surjections from a scattered profinite set to non-scattered profinite set?
- 2,356
3
votes
0
answers
89
views
Ordering the elements of a semigroup by $a \le b$ iff $a=b$ or $b=ab=ba$
Let $S$ be a semigroup, written multiplicatively. The binary relation $\le$ on (the underlying set of) $S$, whose graph consists of all pairs $(a,b) \in S \times S$ such that $a = b$ or $b = ab = ba$, ...
- 10.5k
13
votes
3
answers
670
views
How algebraic can the dual of a topological category be?
(I'm going to try to use definitions from Abstract and Concrete Categories: The Joy of Cats by Adámek, Herrlich, and Strecker, since both of the adjectives in the title of my question seem to have at ...
- 12.5k
6
votes
0
answers
98
views
Rigid plane curves
A curve is a continuous one-to-one image of the real line $\mathbb R$.
A space $X$ is rigid if the only homeomorphism of $X$ onto itself is the identity.
Is there a rigid curve in the plane?
I am ...
- 3,317
3
votes
1
answer
161
views
Stone-Čech compactification of a Boolean subalgebra of $\{0,1\}^S$
Setup: Let $S$ be a set. Let $B$ be a Boolean subalgebra of $\{0,1\}^S$; i.e., just to be clear $B$ contains the constant $0$ and $1$ functions, and is stable under binary pointwise $\land$, $\lor$ ...
- 32.5k
9
votes
1
answer
456
views
Topos notions coming from topology and uniqueness of generalizations
Let's note that the bifunctor $Sh \circ Op : Top \rightarrow Topos$, taking Topos as Grothendieck topoi + geometric morphisms, does not have any adjoints as discussed here on MO before. Yet we call ...
- 1,347
7
votes
1
answer
134
views
Universally closed implies proper for locales
It is well known that:
Theorem.
For a locale (resp. topological space) $X$, the following are equivalent:
$X$ is compact, i.e. every open cover of $X$ has a finite subcover.
For every locale (resp. ...
- 15.9k
3
votes
1
answer
127
views
Perfectly normal but not collectionwise normal space in ZFC
In the article A Perfectly Normal, Locally Compact, Noncollectionwise Normal Space Form $\lozenge^\ast$ by Daniels and Gruenhage (I presume "form" is a typo and it should be "from",...
- 1,201
2
votes
1
answer
49
views
Is any submetrizable linear topology linearly submetrizable?
Let $E$ be a vector space. A topology $\tau$ on $E$ is called (linearly) submetrizable if there is a (linear) metrizable topology $\pi$ on $E$ which is weaker than $\tau$, i.e. $\pi\subset\tau$.
Is ...
- 5,529
2
votes
0
answers
146
views
Two open contractible subset of $\mathbb{R}^3$ which are not homeomorphic but are polynomial preimage of open sets of $\mathbb{R}$
About 2 decades ago I heared from some one that there are infinitely many open contractible subsets of space mutually non homeomorphic to each other. I confess that I do not remember the ...
- 356
5
votes
3
answers
286
views
On a metrized $n$-dimensional manifold $X$, does every $x \in X$ have a small ball $B_\delta(x)$ that is homeomorphic to $\mathbb R^n$?
Suppose that $X$ is an $n$-dimensional topological manifold that is also metrizable, and hence equipped with some metric that induces the topology.
For every point $x \in X$, let $B_\delta(x)$ be the ...
- 5,327
1
vote
0
answers
87
views
Convergence and sequential compactness for nonlinear operators
I have a family of operators $T_n\colon X \to Y$ where $X,Y$ are Hilbert spaces. These operators are nonlinear.
What kind of notions of convergence does one have for such operators? I'm specifically ...
- 251
6
votes
1
answer
99
views
Continuous collections of arcs
Let $X$ be a separable metric space. Suppose there is a mapping $f:X\to C$ of $X$ onto the Cantor set $C$, whose point preimages are arcs (homeomorphic to $[0,1]$), and such that if $c_n\to c$ in $C$ ...
- 3,317
0
votes
0
answers
114
views
Clarifications sought on the paper on the semigroup associated with a free polynomial by Ali Abbas and Abdallah Assi
I have three questions regarding the proof of Proposition 4 on page 4 of this paper here. For those interested in addressing these questions, please refer to some definitions in the first two or three ...
0
votes
0
answers
98
views
Does suspension preserve the inequivalence of knots?
Let $S$ be the suspension operator. Let $K1$ and $K_2$ be two knots in $S^3$ which are not equivalent. Does this imply that their suspensions in 4 sphere are not equivalent in the sense ...
- 356
9
votes
0
answers
221
views
Continuous maps between Peano continua
A Peano continuum is a compact connected metrizable space which is locally connected. It is called nondegenerate if it has more than one point.
Denote by $C(X,Y)$ the space of all continuous maps from ...
- 770
3
votes
1
answer
165
views
Menger and Scheepers subsets of $\mathbb R$
$\Omega$: The collection of all $\omega$-covers of a space $X$. An open cover $\mathcal U$ of $X$ is said to be $\omega$-cover if $X\notin\mathcal U$ and for each finite $F\subseteq X$ there exists a $...
- 505
3
votes
0
answers
161
views
On generators of the multiplicative semigroup $\{r\in\mathbb Q:\ r>1\}$
The set $M=\{r\in\mathbb Q:\ r>1\}$ is a commutative semigroup with respect to the multiplication. For any integers $a>b\ge1$, we clearly have
$$\frac ab=\prod_{n=b}^{a-1}\frac{n+1}n.$$
So the ...
- 15.6k
3
votes
0
answers
92
views
Reference for the monoidal category structure $X \otimes Y = X + Y + X \times Y$ on a distributive category
Given a distributive category $\mathscr C$ (more generally a rig category), we can define a (semicocartesian) monoidal category structure on $\mathscr C$ with tensor product given by $X \otimes Y := X ...
- 10.7k
1
vote
1
answer
130
views
A finite dimensional continuum with a subset $A$ such that both $A$ and $X\setminus A$ are dense and contractible
Inspired by this question we ask the following question.
Note that the comment conversation and answers to the above question imply that
There are two complementary subsets of the unit ...
- 356
1
vote
2
answers
220
views
A question on unit norm elements of $\ell^2 \setminus \bigcup_{0<p<2 }\ell^p$
Let $A\subset \ell^2$ consist of all $x\in \ell^2$ with $|x|_2=1$ which does not belong to any $\ell^p$ for all $0<p<2$.
Note that $A$ is non-empty with a Baire category argument.
I ...
- 356
4
votes
0
answers
154
views
Is there a notion of "locally flat" for CW complexes?
A submanifold $X^n\subset Y^m$ is locally flat if each point $x\in X$ has a neighborhood $U\subset Y$ so that $(U,U\cap X)\simeq (\Bbb R^m, \Bbb R^n)$ with the standard embedding $\Bbb R^n\...
- 13.6k