All Questions
826 questions
11
votes
2
answers
2k
views
Hausdorff dimension of the boundary of an open set in the Euclidean space - lower bound
I consider a bounded open set $A$ in ${\mathbb R}^d$. Is the Hausdorff dimension of the boundary of $A$ at least $d-1$ ? I thought I would have found a result on this problem in any textbook about ...
- 631
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 ...
- 60.5k
11
votes
9
answers
1k
views
Proving the impossibility of an embedding of categories
A number of topological invariants take the form of functors $\mathscr{T}\to\mathscr{G}$, where $\mathscr{T}$ is the category of all topological spaces and continuous functions, and $\mathscr{G}$ is ...
- 5,759
11
votes
1
answer
823
views
Completely Metrizable Space and Baire Theorem
Is well know that completely metrizable spaces are Baire's spaces. Reciprocally, if $X$ is a Baire's metric space, then $X$ is completely metrizable?
11
votes
3
answers
1k
views
Is the reals the smallest connected ordered topological ring?
The real numbers is a locally compact Tychonoff connected complete ordered topological field. I am looking at minimal collections of adjectives that can characterize the reals. The one often used to ...
user2529
11
votes
2
answers
2k
views
When is the connected sum of manifolds orientation-independent?
Given $M$ and $N$, two connected orientable manifolds of the same dimension, when is $M$ # $N$ diffeomorphic to $M$ # $\overline{N}$, where $\overline{N}$ is $N$ with the orientation reversed?
If $N$ ...
- 931
11
votes
3
answers
942
views
What is the smallest variety of algebras containing all fields?
A field is a ring whose nonzero elements form a commutative group under multiplication. A field is also a commutative inverse semigroup with respect to multiplication. The unique multiplicative ...
- 2,464
11
votes
2
answers
574
views
Identifying a group without 2-torsion
Suppose we have a finitely presented group $G$ with solvable word problem. (For instance, the command RWSGroup in Magma terminates giving us a finite [but possibly gigantic] rewrite system.) Is there ...
- 18.7k
11
votes
2
answers
605
views
Example of an uncountable scattered space with some properties
This might be an easy question, maybe the example I'm looking for is common knowledge. As always, recall that a topological space $X$ is scattered if and only if every non-empty subset $Y$ of $X$ ...
- 674
11
votes
1
answer
910
views
Colimits, limits, and mapping spaces
It is true that in the category of topological spaces
$ \mathrm{Map}(\underset{i\in I}{\mathrm{colim}}\, X_i, Y)\cong
\underset{i\in I}{\mathrm{lim}}\,\mathrm{Map}(X_i,Y)$ ? Here mapping spaces are ...
- 1,875
11
votes
1
answer
351
views
Nonperiodic points of piecewise-linear homeomorphisms
Suppose $K$ is a compact polytope and $T$ is a piecewise-linear homeomorphism from $K$ to itself. Suppose also that $T$ is not of finite order (that is, for no $n \geq 1$ is it the case that $T^n(x)=x$...
- 19.7k
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
1
answer
704
views
Examples of Baire Class $\xi+1$ but not $\xi$ functions for each countable ordinal $\xi.$
We say that $f:\mathbb{R}\to\mathbb{R}$ is of Baire Class $1$ if it is a pointwise limit of a sequence of continuous functions.
One can generalize the definition above by taking pointwise limit of ...
- 623
11
votes
1
answer
536
views
Can dividing out a group action can increase the Lebesgue dimension ?
Given any space $X$ of Lebesgue dimension at most $n$. Suppose a group $G$ acts on $X$ continuously. Can the dimension of the quotient $G\backslash X$ exceed the dimension of $X$?
I know examples, ...
- 11.1k
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
10
votes
1
answer
350
views
What is the smallest density of a metrizable space without countable separation?
A Tychonoff space $X$ is defined to have countable separation if some (equivalently, any) compactification $bX$ of $X$ contains a countable family $\mathcal U$ of open sets such that for any points $x\...
- 42k
10
votes
1
answer
673
views
Given any finite relation $R$ what is the cardinality of $\langle R\rangle=\{\underbrace{R\circ R\cdots \circ R}_{n\text{ times}}:n\in\mathbb{N}\}$?
Given any finite relation $R$ if we let $\circ$ denote relation composition and define $R^n=\underbrace{R\circ R\cdots \circ R}_{n\text{ times}}$ then does there exist an explicit formula for the ...
- 2,506
10
votes
2
answers
750
views
Is there a compact space with no countably generated dense subspace?
This is a reformulation of this MO question which recieved little or no attention due to the fact that the OP gave no motivation whatsoever. I found the question quite interesting and decided to give ...
- 11.5k
10
votes
1
answer
440
views
Reference for a generalization of Γ-spaces to monoidal model categories
Γ-spaces were introduced by Segal in 1969 as models for what can be now described
as commutative ∞-monoids and ∞-groups in cartesian symmetric monoidal ∞-categories, e.g., E_∞-spaces and connective ...
- 37.8k
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:=...
- 42k
10
votes
2
answers
711
views
Mapping space from a quotient space
For $X/{\sim}$ a quotient space,
$$
Map(X/{\sim},Y)\subset Map(X,Y).
$$
But is this inclusion always a homeomorphism on its image? (Assuming compact-open topology on the mapping spaces.) If not what ...
- 1,875
10
votes
1
answer
514
views
Cofinal monotone maps from $\omega^\omega$ to $\kappa^\kappa$
Given a cardinal $\kappa$ consider the set $\kappa^\kappa$ of all functions from $\kappa$ to $\kappa$, endowed with the partial order $f\le g$ iff $f(\alpha)\le g(\alpha)$ for all $\alpha\in\kappa$.
...
- 42k
10
votes
1
answer
274
views
A flatness result of Fiedorwicz for amalgamated free products of monoids in connection with classifying spaces of monoids
In Lemma 5.2(a) of Z. Fiedorowicz, Classifying Spaces of Topological Monoids and Categories American Journal of Mathematics Vol. 106, No. 2 (Apr., 1984), pp. 301-350 the author proves the following.
...
- 38.6k
10
votes
2
answers
244
views
Minimal refinements of open covers of $T_2$-spaces
Let $(X,\tau)$ be a topological space. We say ${\cal U}\subseteq \tau$ is an open cover if
$\bigcup {\cal U} = X$, and
$X\notin {\cal U}$.
${\cal U}$ is minimal if for all $U_0\in {\cal U}$ we have ...
- 48.9k
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,...
- 10.5k
10
votes
1
answer
546
views
Is every metric continuum almost path-connected?
The question was motivated by this question of Anton Petrunin.
By a metric continuum we understand a connected compact metric space.
Let $p$ be a positive real number. A metric continuum $X$ is ...
- 42k
10
votes
3
answers
2k
views
Where can I find a proof of the de Rham-Weil theorem?
Where can I find a proof of the de Rham-Weil theorem?
Does anyone know?
- 360
10
votes
1
answer
477
views
Is $\mathbb{R}^\omega \cong (\mathbb{R}^\omega \setminus \{x\})$?
Is $\mathbb{R}^\omega \cong (\mathbb{R}^\omega \setminus \{x\})$, where $\mathbb{R}^\omega$ is given the product topology, and $x\in\mathbb{R}^\omega $?
- 48.9k
10
votes
2
answers
716
views
On functors preserving monoid objects
If $C$ is a monoidal category, we can define the category $Mon(C)$ of monoids in $C$; call $U_C : Mon(C) \to C$ the forgetful functor. I'm interested in functors between categories of monoids:
...
- 613
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
1
answer
417
views
A variant of the Moore-Mrowka problem
A space $X$ is said to be sequential if whenever $A \subset X$ is not closed then $A$ contains a sequence converging to a point outside of $A$.
A space $X$ is said to have countable tightness if for ...
- 4,413
10
votes
1
answer
2k
views
Who invented Monoid?
I was trying to find (and failed) the original author of either
the concept of Monoid (set with binary associative operation and identity)
the name (which sounds french ? and also Dioid (for what ...
- 203
10
votes
1
answer
695
views
Topology from the viewpoint of the filter endofunctor
Question. Are there any references that develop general topology from the viewpoint of a functor $$\Phi : \mathbf{Rel} \rightarrow \mathbf{Rel}$$ that assigns to every set $X$ the set $\Phi(X)$ of ...
- 3,793
10
votes
2
answers
363
views
Source on smooth equivalence relations under continuous reducibility?
This question was asked and bountied at MSE, but received no answer.
In the context of Borel reducibility, smooth equivalence relations (see the introduction of this paper) are rather boring since ...
- 20.5k
10
votes
2
answers
423
views
a question about connected open sets in $R^2$
Let $U,V$ be two nonempty connected open sets in $\mathbb{R}^2$ and $U\subsetneqq V$.I want to ask if there must exist an open ball $B\subset V$ such that $B\not\subset U$ and $B\cap U$ is a nonempty ...
- 1,997
10
votes
1
answer
409
views
Does every set have a rigid self-map?
The question was asked on Mathematics Stackexchange
but has remained unanswered so far.
A self-map is a map $f:X\to X$ from a set $X$ to itself. There is an obvious notion of morphism, and thus of ...
- 4,416
10
votes
1
answer
381
views
Why is this space contractible?
Is the following space, obtained by glueing a Cantor set worth of "hairs" to a closed disk in $\Bbb R^2$ contractible?
The obvious attempt of contracting the hairs to the root and then ...
10
votes
1
answer
183
views
Do any two closed, countable, homeomorphic subsets of $\mathbb{R}^3$ have homeomorphic complements?
Let $A,B$ be two closed, countable, topological subspaces of $\mathbb{R}^3$ homeomorphic to each other. Must their complements $\mathbb{R}^3 - A, \mathbb{R}^3 - B$ be homeomorphic to each other?
(The ...
- 1,926
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,...
- 713
10
votes
2
answers
270
views
Which compact metrizable spaces have continuous choice functions for non-empty closed sets?
Let $X$ be a compact metrizable space and let $\mathcal{K}_{ne}(X)$ be the collection of non-empty closed subsets of $X$ with the Vietoris topology (i.e. the topology induced by the Hausdorff metric ...
- 12.6k
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
1
answer
326
views
What is known about topological groups of countable spread in ZFC?
A topological space has countable spread if every discrete subspace is at most countable.
By Theorem 8.10 in Todorcevic's book "Partition Problems in Topology", PFA implies that each regular space $X$...
- 42k
10
votes
2
answers
452
views
Quotient of $S^3$ by Montgomery and Zippin's "wild involution"
In 1952, Bing showed the existence of a topological involution of $S^3$ with fixed point set the Alexander horned sphere, demonstrating that $S^3$ has finite-order homeomorphisms not conjugate to ...
- 2,851
10
votes
1
answer
2k
views
Counting norms on an infinite dimensional vector space
It is known that whenever E is a finite dimensional real vector space, there is only one norm on E up to equivalence (actually one non discrete vector space topology).
Is it known what happens when E ...
- 101
9
votes
1
answer
602
views
On the cardinality of perfect spaces with the countable chain condition
QUESTION: Does every regular perfect space with the countable chain condition have cardinality bounded above by the continuum? Is this at least true for perfectly normal ccc spaces?
Recall that a ...
- 4,413
9
votes
1
answer
582
views
Is there a linearly Lindelöf non-Lindelöf $P$-space?
A completely regular topological space $(X,\tau)$ is a $P$-space, if every $G_\delta$-subset of $X$ is open (i.e $\tau$ is closed under countable intersections).
A topological space $X$ is linearly ...
9
votes
1
answer
726
views
Uniform Embedding into Euclidean Space
Given a locally compact, separable, metric space $X$.
When does $X$ uniformly embed into some Euclidean space?
This means, when does there exist some integer $n$ and a closed subset $Y\subset\...
- 3,497
9
votes
3
answers
1k
views
Structure Theorem for finitely generated commutative cancellative monoids?
Is there a Structure Theorem for finitely generated commutative cancellative monoids?
Of course they can be densely embedded into a finitely generated abelian group, whose structure is known. Also, ...
- 63.1k
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
3
answers
1k
views
Relatively countably compact subsets without countably compact closure.
I am looking for a (Hausdorff or better) space $X$ and a subset $A$ of $X$ that is relatively countably compact (every sequence from $A$ has an accumulation point in $X$) such that the closure of $A$ ...
- 5,407