All Questions
5,184 questions
2
votes
0
answers
174
views
Concrete description of “DeMorganian” open sets
Let me begin with a few definitions. My question will be basically how to simplify them to something more manageable. The motivation for these definitions is given at the end.
Let $X$ be a ...
- 32.5k
5
votes
0
answers
231
views
Does Tychonov's theorem directly imply Zorn's lemma?
This question was formerly posted on MSE https://math.stackexchange.com/questions/4578923/ without getting an answer.
I know that Tychonov's theorem, Zorn's lemma, the axiom of choice, the well-...
- 16.5k
2
votes
1
answer
72
views
Why are the selection principle $S_\text{fin}(\Lambda, \Omega)$ and $S_\text{fin}(\mathcal{O},\Lambda)$ impossible for nontrivial spaces?
Recall that an open cover $\mathcal{U}$ of $X$ is a $\gamma$-cover if it is infinite and each $x\in X$ belongs to all but finitely many elements of $\mathcal{U}$ and an open open cover $\mathcal{V}$ ...
- 3,104
6
votes
0
answers
112
views
Classification of contractible open n-manifolds which embed in a compact n-manifold
Does there exist a classification of contractible open $n$-manifolds ($n\geq 3$) which embed in a compact $n$-manifold? More general, does there exist a classification of contractible open $n$-...
- 2,083
4
votes
1
answer
500
views
Cubic skein relations
please note that this question deals with undirected knots/links!
The most generic cubic skein relation for a knot polynome would be
$$S^2=wvS+w/S+w^2(u-v)I-u\cdot\infty$$
where $w^3$ is one ...
- 2,821
5
votes
1
answer
217
views
How many pairwise non-homeomorphic non-empty closed subsets of the Cantor set are there? [duplicate]
My question is more or less related to basic set theory. But I don't know even that. Apologies if I added the wrong tags.
Motivation: How many non-compact (planar) surfaces are there upto ...
- 10.6k
3
votes
0
answers
76
views
The existence of an idempotent in some special semigroups
Problem. Does a semigroup $S$ have an idempotent, if there exist elements $b\in S$ and $a_1,\dots,a_n\in S$ such that $b\in \bigcup_{i=1}^na_ixSxa_i$ for every $x\in S$?
What is the answer to this ...
- 63.9k
6
votes
1
answer
186
views
Classification of Polish spaces up to a $\sigma$-homeomorphism
A function $f:X\to Y$ between topological spaces is called
$\bullet$ $\sigma$-continuous if there exists a countable cover $\mathcal C$ of $X$ such that for every $C\in\mathcal C$ the restriction $f{\...
- 128
10
votes
5
answers
1k
views
On the notion of partial semigroup
A partial binary operation on a set $X$ is just a (partial) function $\varphi: X \times X \rightharpoonup X$ (I'm using \rightharpoonup for partial maps), and a partial magma is a pair $\mathbb M = (M,...
- 305
3
votes
1
answer
171
views
Spaces satisfying a strong Cartan-Hadamard theorem
Let $(X,d)$ be a connected geodesic metric space. When does there there exists a covering map $\pi:H\rightarrow X$ which is a local-isometry where $H$ is either a Hilbert space or a Euclidean space?
...
- 45k
0
votes
2
answers
263
views
Finite sheeted covering of the complement of a finite set in $\mathbb{C}$
For figure "eight" there is a list of finite sheeted covering discussed in Hatcher's book "Algebraic topology". I was thinking about the following question:
Let $S$ be a finite ...
CommunityBot
- 1
6
votes
0
answers
309
views
Have we discovered constructions for natural fractional dimensional spheres?
I have been thinking about a couple different problems in fractal geometry (including I one deleted because it was ill posed) and realize they all depend in a fundamental way on the problem of: Can we ...
- 2,689
3
votes
1
answer
229
views
A pexiderization of the sine addition law on semigroups
Can we solve the follwing functional equation
$$f(xy)=g(x)h(y)+g(y)h(x)$$
on semigroups for unknown complex valued functions $f,g,h$ ?
- 12.9k
10
votes
1
answer
2k
views
Is a space with no covering spaces simply connected?
Suppose $X$ is a path connected space such that every connected covering space of $X$ is trivial (1-fold.) Must $X$ be simply connected?
Intuitively, the answer seems to be no (imagine taking a disk,...
- 4,713
6
votes
1
answer
284
views
Extending a partially defined metric on a metrizable space
Let $X$ be a metrizable topological space, $A\subseteq X\times X$ a nonempty closed subset which is reflexive, symmetric and transitive, $d:A\to \mathbb{R}_+$ a continuous function that satisfies the ...
- 278
1
vote
0
answers
70
views
Another matrices for a semigroup with intermediate growth
Nathanson showed that the Okninski's semigroup $S$ of $2×2$ matrices which is generated by the set $H=\{A,B\}$, where
$
A=\begin{bmatrix}
1&1\\
0&1\\
\end{bmatrix}
,
B=\begin{bmatrix}
1&0\\...
- 883
2
votes
1
answer
198
views
A stronger version of paracompactness
Given a topological space $(X,\tau)$, recall that a cover $\mathcal{U}$ of $X$ is locally finite if for every point $x\in \mathcal{U}$ has a neighborhood $U$ that intersects finitely many elements of $...
12
votes
4
answers
3k
views
compact quotient
Let X be a topological space that is not too bad (let's say "not too bad" = "compactly generated Hausdorff"), and let ∼ be an equivalence relation such that X /∼ is compact Hausdorff.
Does there ...
- 4,713
6
votes
1
answer
200
views
Subobject classifier in $\mathsf{Top}^{D^{\text{op}}}$?
Let $D$ be a small category. Does the category of diagrams $\mathsf{Top}^{D^{\text{op}}}$ have a classifier of (strong?) subobjects? I tried following the "sieve construction" for the ...
- 3,411
4
votes
2
answers
251
views
Curves in the plane and their number of holes
Suppose that the closed, piecewise $C^1$-curve $f(\mathbb T)$ has exactly $n$ points that are run through twice, all other points are run through once. Is it true that the compact set $f(\mathbb T)$...
- 687
1
vote
0
answers
114
views
Moore space over a group with infinite generator
I am not an expert on this topic. I am trying to learn about Moore spaces of type $(G,n)$. where $G$ is abelian and $n\geq 2$.
Let $M$ be a simply connected non-compact $4$-manifold with $H_2(M;\...
- 179
2
votes
0
answers
73
views
What should I call a log scheme with free reduced monoids?
This is a terminology question about a class of log varieties.
Given an fs (fine and saturated) log variety $(X, M)$ (for $M$ the defining sheaf of monoids), any geometric point $x\in X$ has a ...
- 7,962
4
votes
1
answer
525
views
On the definition of a continuous function
I remember once reading that "a continuous function can be loosely described as a function whose graph can be drawn without lifting the pen from the paper". We all know that this is not true....
- 113
11
votes
2
answers
538
views
When is a k-space locally compact?
We're looking at the possible cardinal sequences of LCS (locally compact, Hausdorff, scattered) spaces, which has led us to think about taking a quotient of a locally compact, scattered space.
A k-...
- 63.9k
3
votes
1
answer
327
views
Is there a linearly Lindelof space which is not weakly Lindelof?
Recall that a space is:
"Lindelof", if every open cover has a countable subcover.
"Linearly Lindelof", if every open cover which is linearly ordered by $\subseteq$ has a countable subcover.
"weakly ...
- 308
7
votes
1
answer
429
views
$\Sigma_*$-product is not $\sigma$-countably compact
In Arhangel'skii's book "Topological function spaces" there is a part where the author uses that, if $\kappa>\omega$ is a cardinal number, then the space $$\Sigma_*(\kappa):=\left\{x\in \...
- 1,364
7
votes
1
answer
268
views
Are closed embeddings characterized by a left lifting property in the category of topological spaces?
It is well-known and easy to check that a continuous map between topological spaces is an embedding if and only if it has the LLP with respect to $A \to *$ and $B \to *$ where $A$ is the two-point ...
- 7,656
2
votes
1
answer
337
views
A characterization of continuity in terms of preservation of connected sets. Where to find the result?
There is a result that if $X$ is a locally connected space and $Y$ is a locally compact Hausdorff space, then a function $f \colon X \to Y$ is continuous if and only if $f$ has a closed graph and for ...
- 60.6k
3
votes
2
answers
223
views
Continuous projective geometry on the interval
Put $P=[0,1]$. Is there a compact subset $L$ of the hyper space of $P$ such that the pair $(P, L)$ satisfies the following axioms of projective geometry. Furthermore the obvious maps from the ...
- 4,786
3
votes
1
answer
229
views
Is it possible to characterize the contractible subsets of $\mathbb{R}^n$?
It is similar to "trees" of sets homeomorphic to star-shaped sets tangent to each other by a point (the edges correspond to tangency). Is that all, or are there contractible sets that don't ...
- 4,786
6
votes
0
answers
131
views
A theorem by R.L. Moore
The following result is due to R.L. Moore.
Let $K\subseteq\mathbb C$ be compact. Suppose that
$K$ is connected,
and that $\mathbb C\setminus K$ is connected.
Then $\partial K$ is connected.
Does ...
- 687
3
votes
0
answers
175
views
Any reference on Jensen inequality for measurable convex functions on a Hausdorff space?
I asked this question on math.stackexchange and I was suggested that asking it may be more appropriate. This is part of my research which tries to extend some of Choquet's theory to some non-compact ...
- 204
3
votes
2
answers
1k
views
Nonpathological nonnormal covering space
A topological covering $p : \tilde{X} \to X$ is normal when the group of deck transformations acts transitively on the fibers of $p$. This is equivalent to the fact that $p_* (\pi (\tilde{X}, \tilde{x}...
- 71
3
votes
0
answers
227
views
How rigorously can we apply the data supplied by this nonstandard attack on Kuratowski's closure-complement problem?
Suppose a student assigned an advanced version of Kuratowski’s closure-complement problem to solve—one that leaves out the standard hint about the finite upper bound of $14$—decides to look for the ...
- 12.9k
6
votes
0
answers
177
views
Is the monoid of all cancellative finitely generated commutative monoids cancellative?
$\DeclareMathOperator\Mon{Mon}\DeclareMathOperator\Grp{Grp}$Let $\Mon'$ be the set of isomorphism classes of (small) commutative, unital, cancellative ($a + t = b + t$ implies $a = b$) monoids. It is ...
- 63.9k
2
votes
1
answer
369
views
$4$-manifold with simply connected boundary
This may be a very silly question but I could not get any counter-example.
Let $M$ be a compact differential $4$-manifold with boundary $dM$.
Suppose that the inclusion map induced map $\pi_1(dM) \to \...
- 9,580
5
votes
3
answers
718
views
Subsets of $\mathbb{R}^+$ closed under addition
No one's answered the question cumulant problem so here's a simpler question: Has anyone described or catalogued all sets of non-negative real numbers that are closed under addition? In particular, ...
- 12.9k
15
votes
1
answer
562
views
Can ($X^I$, product topology) and ($X^I$, box topology) be homeomorphic for some nontrivial $X$ and infinite $I$?
This is a verbatim repost of this question by Jianing Song. A few months ago I placed a bounty on the question but there were no answers, so I am reposting it here.
Let $X$ be a nontrivial ...
- 10.6k
4
votes
1
answer
339
views
Is there any example of a Lindelöf space that has no Menger dense subspaces?
A space $X$ is said to be Menger if for each sequence $(\mathcal{U}_n)$ of open covers of $X$, there is a sequence $(\mathcal{V}_n)$ such that $\mathcal{V}_n$ is a finite subcollection of $\mathcal{U}...
- 4,413
9
votes
4
answers
2k
views
Triangulating hypercubes
Motivation: I'm working on a computational problem at the moment, and have some very good routines for natively working with simplicial complexes and calculating homology, but the structures I'm ...
- 4,713
15
votes
5
answers
2k
views
Between Tietze's and Dugundji's extension theorems
The celebrated Tietze extension theorem asserts that any continuous real-valued function defined on a closed subset of a normal space, can be extended to a continuous function on the whole space. Seen ...
- 63.9k
2
votes
0
answers
218
views
Presentation complex and arbitrary $2$-dimensional CW-complex with same fundamental group
Given a finite group $G$, consider a presentation $P$ of $G$ and consider $X_P$, the presentation complex. Now let $Y$ be any $2$-dimensional CW-complex with $\pi_1(Y)=G$. Is there any relation ...
- 179
3
votes
1
answer
355
views
Extremely disconnected or extremally disconnected?
In the context of Banach space theory, what is the correct terminology: extremally disconnected or extremely disconnected. Looking through the internet I have met using both extremely and extremally ...
- 63.9k
4
votes
1
answer
148
views
When does the refinement of a paracompact topology remain paracompact?
Let $(X,\tau)$ be a Hausdorff paracompact space. Let $\tau'$ be the smallest $P$-topology refining $(X,\tau)$, i.e. the topology which has for base the $G_\delta$-subsets of $(X,\tau)$.
Is it true ...
- 775
1
vote
0
answers
192
views
Is the domain space in Lusin's theorem required to be Hausdorff?
I'm reading a general version of Lusin's theorem, i.e.,
If $\mu$ is a finite Radon measure on $X$, and $Y$ is a second countable topological spaces, then for any Borel-measurable function $f:X\to Y$ ...
- 12.9k
7
votes
1
answer
444
views
Which monoids have a faithful irreducible representation?
Let $*$ be a binary operation on a set $M$, with an identity element $e\in M$.
A monoid representation of $(M,*,e)$ is a map $\delta:M\to (S\to S)$ for some set $S$, such that $\delta(e)=\mathrm{id}_S$...
- 24.8k
1
vote
0
answers
274
views
Functional equation $f(x*y) = f(f(x)*f(y))$
Find all endo-functions $f$ on a commutative semigroup $(\mathbb{S},*)$ such that
$f(x*y) = f(f(x)*f(y))$.
Typical case of interest are $(\mathbb{N},+)$ or $(\mathbb{Z}/k\mathbb{Z},+)$ or $(\mathbb{Z}/...
- 1,306
8
votes
0
answers
411
views
Semigroups of matrices closed under conjugate transposition
An involution semigroup or $\star$-semigroup is a unary semigroup $\langle S,{\cdot}\,,{}^\star\rangle$ that satisfies the equations $$ (x^\star)^\star = x \quad \text{and} \quad (xy)^\star = y^\star ...
- 563
1
vote
1
answer
195
views
Can one explore a surface along ‘piecewise planar’ curves?
Suppose $d\in \{3,4,\dotsc\}$ and $A\subseteq \mathbb{R}^d$ is non-empty, open and connected with its complement $A^c$ connected too and $\text{int}(A^c)\neq \emptyset$. Its boundary $S:=\partial A$ ...
- 45k
4
votes
1
answer
216
views
Topologically embed Klein bottle into $\mathbb{R}^4$ projecting to usual "beer-bottle" surface in $\mathbb{R}^3$
(Originally asked in 2018 at https://math.stackexchange.com/questions/2946505/topological-embedding-of-klein-bottle-into-mathbbr4-that-projects-to-usual?noredirect=1#comment9514257_2946505;cross-...
- 56.9k