All Questions
1,339 questions with no upvoted or accepted answers
12
votes
0
answers
219
views
Do the Laver tables converge to the Sierpinski triangle with a line segment sticking out in the hyperspace topology?
Let $(\{1,...,2^{n}\},*_{n})$ denote the $n$-th Laver table.
Let
$$C_{n}=\{(\frac{x}{2^{n}},\frac{x*_{n}y}{2^{n}})|x,y\in\{1,2,3,...,2^{n}\}\}$$
for all $n\in\mathbb{N}$.
Then since $C_{n}$ is a ...
12
votes
0
answers
1k
views
Continuous extension of Riemann maps and the Caratheodory-Torhorst Theorem
If $G\subsetneq\mathbb{C}$ is a simply-connected plane domain, then by the Riemann mapping theorem there is a conformal isomorphism $\newcommand{\D}{\mathbb{D}}\varphi:\D\to G$, where $\D$ is the unit ...
- 6,548
12
votes
0
answers
461
views
3 manifolds with diffeomorphic unit tangent bundles
What can one say about two closed oriented 3-manifolds $M_1$ and $M_2$ such that $S^2 \times M_1$ is diffeomorphic to $S^2 \times M_2$?
- 131
11
votes
0
answers
427
views
Is there a theory of completions of semirings similar to $I$-adic completions of rings?
Let $L = \text{Con } (\mathbb{N}, 0, +) \setminus \Delta$ be the lattice of monoid congruences on the naturals, excluding the trivial congruence. As it happens, every $\theta \in L$ is the meet of ...
- 631
11
votes
0
answers
172
views
Can the nowhere dense sets be more complicated than the meager sets?
Suppose $X$ is a completely metrizable space with no isolated points. Let $\mathcal{ND}_X$ denote the ideal of nowhere dense subsets of $X$, and let $\mathcal{M}_X$ denote the ideal of meager subsets ...
- 18.6k
11
votes
0
answers
286
views
Does every finite poset have a rigid endomorphism?
Crossposted on Mathematics.
In this post, an order-preserving self-map of a poset $X$ will be called an endomorphism of $X$, and such an endomorphism $f$ will be called rigid if the only automorphism ...
- 4,416
11
votes
0
answers
616
views
Is every Baire metric space a complete metric space in disguise?
I am currently giving lectures in real analysis and a student asked an interesting question I couldn't answer, so I'm posting it here:
Let's say that a metric space $X$ is Baire if every countable ...
- 61.9k
11
votes
0
answers
322
views
Does any real function have a Lipschitzian restriction on $D$?
Does any real function have a Lipschitzian restriction on $D$, where $D$ is an infinite subset of $\Bbb R$ with an accumulation point?
- 4,074
11
votes
0
answers
160
views
Embedding of regular spaces in countably compact Hausdorff spaces
It is well-known that each completely regular space embeds into a compact Hausdorff space.
Problem. Is it true that each regular space embeds into a countably compact Hausdorff space?
The problem ...
- 4,535
11
votes
0
answers
331
views
If an additive group of $\Bbb R^2$ contains a smoothly deformed circle, is it necessarily all of $\Bbb R^2$?
It can be shown that if an additive subgroup of $\Bbb R^2$ contains the unit circle, then it is necessarily all of $\Bbb R^2$. Does this also hold for a suitably smoothly deformed unit circle?
...
- 2,069
11
votes
0
answers
273
views
A ZFC-example of a countably compact paratopological group which is not a topological group
Problem. Does there exist a ZFC-example of a countably compact Hausdorff paratopological group which is not a topological group?
(The problem posed 27 May 2015 by Alexander Ravsky on page 9 of Volume ...
- 4,535
11
votes
0
answers
144
views
Characterizing compact Hausdorff spaces whose all subsets are Borel
I am interested in characterizing compact topological spaces all of whose subsets are Borel. In this respect I have the following
Conjecture. For a compact Hausdorff space $X$ the following ...
- 41.9k
11
votes
0
answers
214
views
Is it decidable if a tree-presented semigroup contains an idempotent?
A semigroup presentation $\langle A | R\rangle$ is called tree-like if every relation has the form $ab=c$, $a,b,c$ are in $A$ and if two relations $ab=c, a'b'=c'$ belong to $R$, then $c=c'$ if and ...
user6976
11
votes
0
answers
215
views
Shift invariant measurable selection theorem
Let $(X,\mathcal{F})$ be some measure space and endow $\mathbb{R}^\mathbb{Z}$ with the product topology and borel $\sigma$-field. Let $F$ be a point to set mapping $X^\mathbb{Z}\rightarrow \mathcal{P}(...
- 479
11
votes
0
answers
422
views
Topology of marked groups for different number of generators
A $k$-marked groups is a pair $(G,S)$ where $G$ is a group and $S$ is an ordered set of $k$ generators of $G$. Each such pair can be identified with a normal subgroup of the free group $F_k$ of rank $...
- 1,378
11
votes
0
answers
404
views
Linearly Lindelöf spaces with Lindelöf degree of uncountable cofinality
A space is linearly Lindelöf iff every open cover $C$ has a subcover $S$ with $\operatorname{cf} (|S|)= \aleph_{0}$.
Question. Is there a linearly Lindelöf space $X$ with
$\operatorname{cf} (L(X))...
- 627
11
votes
0
answers
584
views
A proof of the gluing axiom of a TQFT
I posted the following question on math stackexchange but I have not received any answer.
So I hope people here can help me.
In the book Lectures on tensor categories and modular functors by Bakalov ...
user22741
11
votes
0
answers
758
views
A basic question on Stone-Cech compactification of $\mathbb{Z}$
Can the identity isomorphism on the additive group $\mathbb{Z}$ be extended to a non-identity semigroup isomorphism on $\beta\mathbb{Z}$, and still preserves $\beta\mathbb{Z}\setminus\mathbb{Z}$? ...
- 895
10
votes
0
answers
159
views
Closed sets versus closed sublocales in general topology in constructive math
This question is set in constructive mathematics (without Choice), such as in the internal logic of a topos with natural numbers object, or in IZF.
Short version of the question: if $X$ is a sober ...
- 32.5k
10
votes
0
answers
242
views
Arhangel'skii's problem revisited
One of the most well-known problems in set-theoretic topology is Arhangel'skii's question of whether there exists a Lindelöf Hausdorff space with "points $G_\delta$" (meaning, every point is ...
- 4,413
10
votes
0
answers
248
views
What is the tiling semigroup for an einstein "hat" tiling?
My undergraduate dissertation was on inverse semigroups and the key text I used for it was Lawson's, "Inverse Semigroups: The Theory of Partial Symmetries". In said book, Lawson describes ...
- 379
10
votes
0
answers
323
views
Determinacy coincidence at $\omega_1$: is CH needed?
This is a follow-up to the last part of an old MSE answer of mine. Briefly, an analogue at $\omega_1$ of Steel's equivalence between clopen and open determinacy can be proved assuming $\mathsf{CH}$, ...
- 20.5k
10
votes
0
answers
265
views
Let $X$ be a finite set of $n$ ($>1$) elements and $\tau$ be a topology on $X$ having exactly $m$ elements. Can we give any description of $m$?
Let $X$ be a finite set of $n$ ($>1$) elements and $\tau$ be a topology on $X$ having exactly $m$ elements.
Can we give any description of $m$ as it relates to $n$?
Obviously $2\le m\le 2^n$ and ...
- 307
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 ...
- 41.9k
10
votes
0
answers
272
views
What is the smallest $\sigma$-algebra of reals that is closed under addition of sets?
What is the smallest $\sigma$-algebra $\Sigma\subseteq\mathcal P(\Bbb R)$ containing the open sets and such that if $A,B\in\Sigma$, then $$A+B=\{a+b\mid a\in A,b\in B\}\in\Sigma?$$
I know that neither ...
- 3,011
10
votes
0
answers
293
views
Undetermined Banach-Mazur games: beyond DC
This question is a follow-up to this one; see that question for the definition of Banach-Mazur games. There James Hanson showed that ZF+DC proves that there is an undetermined Banach-Mazur game; ...
- 20.5k
10
votes
0
answers
498
views
Is there a model of set theory in which $\mathfrak p< \mathfrak b < \mathfrak q$?
Is there a model of set theory in which $\mathfrak p< \mathfrak b < \mathfrak q$?
Here $\mathfrak p$, $\mathfrak b$, $\mathfrak q$ are small uncountable cardinals:
$\mathfrak p$ is the ...
- 1,101
10
votes
0
answers
367
views
A formula for Frobenius number of certain numerical semigroups
The old formula for the Frobenius number of a numerical semigroup generated by two elements can be stated as follows: assume $\gcd\{a+1,b+1\}=1$, then the Frobenius number of $S= \left<a+1,b+1\...
- 30.5k
10
votes
0
answers
354
views
Cellular-Lindelöf: a common generalization of the Lindelöf property and the CCC
All spaces are assumed to be Hausdorff. Recall that a cellular family in the space $X$ is a family of pairwise disjoint non-empty open subspaces of $X$. The cellularity of $X$ ($c(X)$) is defined as ...
- 4,413
10
votes
0
answers
441
views
A new $\ell_p$-metric on the hyperspace of finite sets?
Let $(X,d)$ be a metric space and $Fin(X)$ be the family of all non-empty finite subsets of $X$. For every $n\in\mathbb N$ the elements of the power $X^n$ are thought as functions $f:n\to X$ where $n:=...
- 41.9k
10
votes
0
answers
350
views
The space of all compact metric spaces with Gromov-Hausdorff distance
Given two metric spaces $(X_1,d_1),(X_2,d_2)$ one can define $d_{GH}(X_1,X_2)$---the Gromov Hausdorff distance between them. It appears to be $0$ iff $X_1$ and $X_2$ are isometric. One can therefore ...
- 9,330
10
votes
0
answers
363
views
Krull dimension and Morley rank
Definition : A Topological space $\mathcal{D}$ is called noetherian if it satisfies the descending chain condition for closed subsets. We define the dimension of $\mathcal{D}$ to be the supremum of ...
- 1,872
10
votes
0
answers
545
views
When is the one-point compactification well-pointed?
This is a follow up to my previous
question.
Question:
Is there a reasonably natural set of conditions which guarantee that the one-point
compactification $X^+$ of a locally compact Hausdorff ...
- 18.8k
10
votes
0
answers
314
views
How much do idempotent ultrafilters generate in terms of semigroups?
It is known that the set of ultrafilters on, say, the natural numbers $\mathbb{N}$, can naturally be endowed with the structure of a compact topological left semigroup (which fails to be anything ...
- 1,914
10
votes
0
answers
744
views
Is the set of real-valued lower semi-continuous functions measurable in epigraph topology (= topology of Gamma convergence)?
Let LSC = LSC([0,1]) be the set of non-negative, lower semi-continuous functions on the unit interval which take values in $\mathbb{R}_+ \cup \{\infty\}$. We use epigraph topology on LSC, i.e. a ...
- 888
10
votes
0
answers
455
views
Quotients of topological groupoids
The issues that arise when moving from topological groups to topological groupoids are (at least to me) both subtle and interesting. Recently, I was reading a paper of R. Brown and J.P.L. Hardy from ...
- 7,193
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
9
votes
0
answers
181
views
How should we picture the set of monomial orders (= positive monoid orders on $\mathbb{N}^k$)?
Motivation: So apparently there's some sort of sport competition currently going on where I live, which leads to countries being given an element of $\mathbb{N}^3$ called a “medal count”, and not ...
- 32.5k
9
votes
0
answers
258
views
Sheaf cohomology of non-paracompact manifolds (e.g. the long line)
I have long heard that manifolds are "affine". If we allow non-paracompact manifolds, then this seems to fail, since as explained in Dmitri Pavlov's answer, the Serre–Swan theorem fails. I ...
- 2,836
9
votes
0
answers
160
views
Irreducible subcontinuum without Zorn's lemma
In continuum theory we frequently use the fact that two points in a continuum are contained in an irreducible subcontinuum.
A continuum $X$ is a compact connected metric space. A subcontinuum $K\...
- 3,317
9
votes
0
answers
164
views
Parallelizability of Lie monoids
A Lie monoid is a monoid, together with a structure of a smooth manifold (possibly with a boundary), such that the monoid multiplication is smooth.
If all left (or right) translations in a Lie monoid $...
- 61
9
votes
0
answers
267
views
Can "$\exists\mathcal{X}(R\cong C(\mathcal{X}))$" be expressed in "large" infinitary second-order logic?
Originally asked and bountied at MSE without success:
Say that a ring $R$ is spatial iff there is some topological space $\mathcal{X}$ such that $R\cong C(\mathcal{X})$, where $C(\mathcal{X})$ is the ...
- 20.5k
9
votes
0
answers
211
views
Is the category of all topological spaces, including the bad ones, simplicially tensored and cotensored?
Let $\textbf{Top}$ be the category of all topological spaces, including the bad ones.
We can make $\textbf{Top}$ into a simplicially enriched category as follows:
Given topological spaces $X$ and $Y$,...
- 15.9k
9
votes
0
answers
347
views
What is the precise connection between logarithmic algebraic geometry and the field with one element?
Monoid schemes (a.k.a. $\frak M$-schemes) have been introduced by Deitmar as a possible approach to geometry over the field with one element. These build upon monoids as the basic building blocks for ...
- 11.8k
9
votes
0
answers
308
views
Refinement of hypercovers by ordinary covers
I am asking for references and discussions of statements of the form
Every bounded hypercover can be refined by an ordinary cover
By "bounded" I mean "finite height". E.g., are ...
- 4,519
9
votes
0
answers
333
views
Homotopical characterization of CW complexes
Let $X$ be a compact metrizable topological space of covering dimension $n\leq 3$.
Is it possible to give a necessary and sufficient condition for $X$ to be a CW complex in terms of the homotopy types ...
- 117
9
votes
0
answers
200
views
Homotopical characterization of manifolds
Let $X$ be a compact metrizable topological space of covering dimension $4$.
Assume that for any point $x\in X$ any neighbourhood of $x$ contains a contractible open neighbourhood $U$ such that $U\...
- 117
9
votes
0
answers
274
views
Does a generalization of Tietze's extension theorem hold for set-valued functions?
Let $X$ be a normal topological space. Tietze's extension theorem says that if $A \subset X$ is closed, then a continuous function $f: A \to \mathbb R^n$ can be extended to a continuous function whose ...
- 869
9
votes
0
answers
367
views
A $\mathsf{ZF}$ example of two Baire spaces whose product is not Baire?
Motivated by this question I'm looking for a pair of Baire topological spaces whose product is not Baire and whose construction does not need the axiom of choice.
The example of such spaces I'm ...
- 3,011
9
votes
0
answers
217
views
Point-free topology, but with $\sigma$-algebras instead of spaces
I have a question about $\sigma$-algebras in relation to point-free topology. The question was inspired by a comment on a similar question I had:
If abstract $\sigma$-algebras (i.e. certain boolean ...
user30211