All Questions
5,184 questions
7
votes
1
answer
384
views
Compact Hausdorff spaces as a cocompletion of profinite sets
It is well-known that the category CH of compact Hausdorff spaces has a strong categorical flavor (e.g. Properties of the category of compact Hausdorff spaces, which includes Manes' theorem asserting ...
- 12.9k
8
votes
1
answer
470
views
Finite domination and compact ENRs
Edit: In the comments, Tyrone points out that West's positive answer to Borsuk's conjecture implies that every compact ENR is homotopy equivalent to a finite CW complex. It follows that the only ...
- 5,596
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 ...
- 5,407
8
votes
1
answer
198
views
Topological property of the space of probability measures
Suppose that $\mathbb{P}$ is the metric space of Borel probability measures on the interval $[0,1]$ equipped with the topology of $w^*$ convergence.
Consider also $\mathbb{P}_{ac}, \mathbb{P}_{s}$ the ...
- 24.2k
4
votes
0
answers
47
views
Are W-spaces with countable pseudocharacter first countable?
Cross-post of a question originally asked by Almanzoris on Mathematics Stack Exchange.
A topological space $X$ is called W-space if P1 has a winning strategy at each point $x \in X$ for the following ...
- 1,402
2
votes
1
answer
103
views
LCH spaces $X$ such that if $Y$ is a perfect image of $X$, then $Y$ is zero-dimensional
I am looking for locally compact Hausdorff spaces $X$ with the following property:
If $f:X\to Y$ is a perfect map onto locally compact Hausdorff space $Y$, then $Y$ is zero-dimensional.
One can see ...
- 11.4k
7
votes
0
answers
272
views
Generalizing uniform structures as Grothendieck topologies
Recently, I was reading a classical book "Sheaves in Geometry and Logic" by S. MacLane and I. Moerdijk, and then it stroke me that, that the definition of Grothendieck Topology bears some ...
- 519
0
votes
1
answer
86
views
Lattice of functions and their minimal separating set upto topological equivalence
There is a very wide series of questions I have been thinking about and I am wondering if there is any literature on this type of structures.
Let's start with the set of all functions $F: \mathbb{R} \...
- 39
9
votes
1
answer
425
views
Delta-generated spaces vs CW complexes
$\newcommand\Top{\mathrm{Top}}\newcommand\CW{\mathrm{CW}}\newcommand\Deltagenerated{\text{$\Delta$-generated}}\newcommand\Spaces{\mathrm{Spaces}}\newcommand\DeltaSpaces{\text{$\Delta$-Spaces}}$I am ...
- 7,193
2
votes
0
answers
406
views
Complete topological groups in which all subgroups are closed
My previous question has been answered by YCor; so I am asking a new one with a reasonable additional assumption. See the previous question for the background and motivation.
General question: does ...
- 361
21
votes
1
answer
2k
views
Characterization of Fréchet-Urysohn spaces using sequential continuity at a point
A map $f \colon X \to Y$ is called sequentially continuous at the point $a$ if for every sequence $(x_n)$ such that $x_n\to a$, we also have $f(x_n)\to f(a)$.
$$x_n\to a \qquad \Rightarrow \qquad f(...
- 21
7
votes
2
answers
383
views
Connectivity of fibers under fibration replacement
Assume all the spaces mentioned below are simply connected CW complexes. Let $ f: X \to Y $ be a continuous surjctive map between CW complexes, where $ f $ is not necessarily a fibration. Assume that ...
- 64k
1
vote
0
answers
104
views
Commutative Banach $\mathbb{R}$-algebras without complex structure, but with path-connected group of units
For a finite-dimensional commutative (associative, unital) $\mathbb{R}$-algebra $A$, the condition $\pi_0(A^\times) = 1$ (i.e. the group of units of $A$ being path-connected) is equivalent to $A$ ...
- 7,127
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
2
votes
1
answer
404
views
Reference request: a cousin to the log semiring
Let $f$ be strictly increasing on $\mathbb{R}$. Then $x \oplus y := f^{-1}(f(x)+f(y))$ gives rise to a strict symmetric monoidal ($\Rightarrow$ commutative monoid) structure on $(\mathbb{R},\ge)$ with ...
CommunityBot
- 1
0
votes
1
answer
79
views
Dimension of a manifold derived from a dense $G_{\delta}$ subspace
Let $X,Y$ be (compact connected) topological manifolds of dimensions $n,m$, respectively. Assume that a dense $G_{\delta}$ subspace $A$ of $X$ is homeomorphic to a dense $G_{\delta}$ subspace $B$ of $...
- 12.5k
61
votes
1
answer
5k
views
Every real function has a dense set on which its restriction is continuous
The title says it all: if $f\colon \mathbb{R} \to \mathbb{R}$ is any real function, there exists a dense subset $D$ of $\mathbb{R}$ such that $f|_D$ is continuous.
Or so I'm told, but this leaves me ...
- 12.9k
4
votes
0
answers
97
views
Is there a concept of a map of Grothendieck sites having dense image?
Someone recently asked if one can talk about a map being etale dense just like one can talk about it being Zariski dense. My main question is: has anyone discussed such a notion?
On a simple ...
- 15.4k
1
vote
1
answer
91
views
When is a 2-bridge knot hyperbolic?
It is known that 2-bridge knots in $S^3$ can be classified by the Schubert form. My question is: which 2-bridge knots are hyperbolic? (Do we have a complete classification for hyperbolicity in 2-...
- 28.2k
7
votes
1
answer
339
views
Is $C(X, \{0,1\})$ locally compact?
Let $X$ be a locally compact Hausdorff space. Let $C(X, \{0,1\})$ be the space of continuous functions $X \to \{0,1\}$ with the compact-open topology, that is, the topology generated by the following ...
- 42.4k
3
votes
0
answers
77
views
Can we generalize the Kuratowski Extension Theorem to Souslin spaces?
The Kuratowski Extension Theorem says: Let $(X,\mathcal{A})$ be a measurable space, $Y$ be a polish space, $A\subseteq X$, and $f:A\to Y$ be a measurable map. Then there is a measurable function $F:X\...
- 647
2
votes
2
answers
154
views
Closure of $C([0,1]^2)$ via weak*-topology [closed]
Let $C([0,1]^2)$ denote the set of continuous functions on $[0,1]^2$. Let $L^1([0,1]^2)$ be the set of all Lebesgue integrable functions on $[0,1]^2$.
The dual space of $C([0,1]^2)$, denoted by $C^*([...
- 60.5k
9
votes
1
answer
625
views
The reals: a topological lattice in more than the obvious way?
Define a topological lattice as a (not necessarily bounded) lattice in $\textbf{Top}$, i.e. meet and join are continuous maps $X^2 \rightarrow X$. There are two obvious topological lattice structures ...
- 28.7k
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 ...
- 5,596
28
votes
2
answers
5k
views
Is Furstenberg's topology useful?
It's hard not to be amused and perhaps even amazed when first encountering Furstenberg's clever "topological" proof that there are infinitely many primes. Closer inspection, however, reveals ...
- 12.9k
53
votes
4
answers
24k
views
When is $L^2(X)$ separable?
I have never studied any measure theory, so apologise in advance, if my question is easy:
Let $X$ be a measure space. How can I decide whether $L^2(X)$ is separable?
In reality, I am interested in ...
- 37.8k
0
votes
1
answer
232
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 ...
- 60.5k
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 [...
- 359
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-...
- 11.4k
10
votes
2
answers
396
views
Analogue of Urysohn metrization for Lawvere metric spaces?
Urysohn proved that any regular, Hausdorff, second-countable space $X$ is metrizable, i.e. there exists a metric space whose underlying topological space is $X$. But what if we ask the same question ...
- 12.5k
4
votes
1
answer
182
views
Given $f$ from the cylinder $C$ to the interval constant on one boundary, is there a $r:C\to C$ constant on a boundary with $f\circ r = f$?
My question might be trivial, but my lack of knowledge of this particular subject has not enabled me to find the answer. What I want to know is the following. Let $I=[0,1]$ and $C=S^1\times I$ be the ...
CommunityBot
- 1
4
votes
1
answer
322
views
Fiber-bundle : continuity of transition maps and inverse in general
Let $(E,\pi,B)$ be a locally trivial fibration, with fiber a topological space $F$, $\Phi_i$ and $\Phi_j$ two trivializations over $U_i$ and $U_j$. The transition map from $i$ to $j$ is the ...
CommunityBot
- 1
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, ...
- 38.6k
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
-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}$ ...
- 6,223
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
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
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,...
- 38.6k
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
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$, ...
- 11.4k
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 ...
- 41.9k
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 ...
- 18.6k
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
8
votes
2
answers
724
views
Could there be any homotopy group without "Lebesgue Number Lemma"?
This is about a comment that I have made in my general topology class while I was proving the abovementioned lemma as a consequence of compactness!
As far as I know, essentially, there is only one ...
- 20k
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
6
votes
3
answers
1k
views
Disjoint union of measures
This is a sort of follow-up question to this old post I came across.
Setup:
Let $\{X_n\}_{n \in \mathbb{N}}$ be a collection of Hausdorff topological spaces and let $\{\Sigma_n\}_{n \in \mathbb{N}}$ ...
- 12.9k
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,948
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,211