All Questions
1,339 questions with no upvoted or accepted answers
9
votes
0
answers
198
views
Is each Peano continuum a topological fractal?
Problem. Is each Peano continuum a topological fractal?
A compact Hausdorff space $X$ is a topological fractal if $X=\bigcup_{i=1}^n f_i(X)$ for some continuous maps $f_1,\dots,f_n:X\to X$ such that ...
- 4,535
9
votes
0
answers
569
views
A standard name for a function satisfying the intermediate value theorem?
Do you know any (standard) name for a function $f:\mathbb R\to\mathbb R$ having the following weak intermediate value property:
$(*)$ for any connected subset $C\subset \mathbb R$ and points $a,b\...
- 41.9k
9
votes
0
answers
953
views
Topologies on compactly supported functions
Let M be a (non-compact) smooth manifold and consider the set $C^\infty_c(M)$ of smooth real-valued functions with compact support. We can give this function space several topologies. Here are four:
...
- 27.5k
9
votes
0
answers
296
views
Which nice subcategories of $\mathsf{Top}$ are locally cartesian closed?
For a class $\mathcal{J}$ of topological spaces, let $\mathsf{Top}_\mathcal{J}$ denote the category of $\mathcal{J}$-generated spaces, i.e. those spaces $X$ such that $U\subseteq X$ is open iff $f^{-1}...
- 64k
9
votes
0
answers
373
views
Embedding $\beta\mathbb{N}$ into a product of Cantor sets
Let us consider $\beta\mathbb{N}$, the Stone-Čech compactification of the natural numbers (where we do not take $0$ to be a natural number, so the only idempotent elements are nonprincipal ...
- 297
9
votes
0
answers
754
views
Standard model structures on $Top$
Call a model structure on $Top$ (the category of topological spaces) standard, if the weak equivalences are the weak homotopy equivalences. In this nLab page, two standard model structures on $Top$ ...
- 1,344
9
votes
0
answers
375
views
A compact T1 topological space has a proper dense subset to which it is homeomorphic. What can be said about the space?
Let $X$ be a compact T1 (so singleton subsets are closed) topological space. Suppose that there is a proper subset $D \subset X$ such that:
$D$ is dense in $X$;
$D$ is homeomorphic to $X$.
Note that ...
9
votes
0
answers
102
views
A 2 dimensional Sharkovskii type Theorem
Does there exist a homeomorphism of $\mathbb{R}^2$ with a periodic point of period three and no fixed points? Note that according to a theorem from Brouwer such homeomorphism must be orientation ...
- 615
9
votes
0
answers
624
views
Two questions about universally measurable sets
I have two questions about universally measurable sets:
(1) Is there a universally measurable set of reals which does not have the Baire property?
(2) Is there a universally measurable set of reals ...
- 9,641
9
votes
0
answers
369
views
Is there Ultracoproduct-like construction for topological spaces in general?
In
http://arxiv.org/pdf/math/9704205.pdf
they define the ultracoproduct of a sequence of compact Hausdorff spaces, $\sum_\mathcal{U}X_i$ along an ultrafilter $\mathcal{U}$ as the Wallman-Frink ...
- 241
9
votes
0
answers
361
views
Well-founded families of sets and topological convergence
Background/Motivation
A space is scattered if every non-empty subset has an isolated point. A space is pseudoradial if every non-closed set contains a transfinite sequence (a well-ordered net) ...
- 4,413
9
votes
0
answers
236
views
H-spaces without rational homology
Does there exist a simply connected, non-contractible manifold $M$, which is an $H$-space,
and whose rational homology groups vanish in positive degrees?
My space $M$ is in fact homotopy equivalent ...
9
votes
0
answers
741
views
Pseudocycle definition of open Gromov-Witten invariants
I decided my original question was unnecessarily long, and have edited to simply ask the desired question directly (the below is much more direct than my original post, though it may seem just as long!...
- 1,129
9
votes
0
answers
685
views
Name for a topological space where every closed set contains a closed point
A coauthor and I have stumbled upon a useful topological property -- namely, we are interested in the property that every nonempty closed set contains a closed point. However, neither of us are ...
- 1,802
9
votes
0
answers
760
views
Characterization of Unusual Topologies of $\mathbb R$
Following some argument over a question on math.SE, I began to wonder:
We all know that in the standard topology there are no continuous bijections from $[0,1]$ to $(0,1)$ (for example by arguments ...
- 39.8k
8
votes
0
answers
251
views
+300
Maps with small fibers between manifolds of equal dimension
The following question is an attempt to revise this one into what I intended.
Important revisions are shown in bold.
Are there any known examples of a compact Riemannian manifold $M$ with (possibly ...
- 501
8
votes
0
answers
226
views
A variation of necklace splitting
Our problem is the following:
Let $n$ and $k$ be integers.
We are given two (unclasped) necklaces, each with $n$ colored stones: a top necklace which has $k$ colors and a bottom necklace which has 2 ...
- 81
8
votes
0
answers
192
views
Is $L^2(I,\mathbb Z)$ homeomorphic to the Hilbert space?
I am somehow puzzled by the subset $G:=L^2(I,\mathbb Z)$ of $H:=L^2(I,\mathbb R)$ of all integer valued functions on $I=[0,1]$ (in fact I mentioned as an example in this old MO question).
Some simple ...
- 60.5k
8
votes
0
answers
172
views
The pro-discrete space of quasicomponents of a topological space
Let $X$ be a topological space.
Consider the functor $P^X : \textbf{Set} \to \textbf{Set}$ that sends each set $Y$ to the set of continuous maps $X \to Y$.
It is not hard to check that $P^X : \textbf{...
- 15.9k
8
votes
0
answers
244
views
First order formula describing connected components
I ask this question here after no answer came up in the original MathSE question.
Let $\mathcal{L}$ be the language $\{+,-,\cdot,0,1,P\}$ where $P$ is some $n$-ary relation symbol. Is there a formula $...
- 478
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
8
votes
0
answers
198
views
A modified version of the converse to the Sard's Theorem
When I learned Sard's Theorem in differential topology by myself, I was thinking whether it would be possible to prove a converse version of the theorem. That is to say, can we somehow show that each (...
- 349
8
votes
0
answers
285
views
Matrix decompositions as monoid isomorphisms. Ever considered before?
I've noticed some correspondences between some matrix decompositions and monoid isomorphisms (always to some free commutative monoid), in addition to the one I asked about in a previous question:
...
- 4,943
8
votes
0
answers
183
views
On "linearly independent" metric spaces
Urysohn's universal metric space $\Bbb U$ satisfies the following surprising property:
Whenever $i\colon\Bbb U\to E$ is an isometric embedding into a normed vector space such that $0\not\in i(\Bbb U)$...
- 3,011
8
votes
0
answers
610
views
When is a constructible set locally closed?
Let $X$ be a topological space (or more specifically, $\mathbb{C}^N$ endowed with the Zariski topology), and let $S \subseteq X$ be a constructible set, i.e. $S=\cup_{i=1}^n C_i \cap U_i$, where the $...
- 980
8
votes
0
answers
181
views
Continuous functions on a compact $T_1$ space
Let $X$ be a compact $T_1$ topological space consisting of more than one point, and suppose that $X$ is locally compact (i.e. every point has a local base of compact neighbourhoods), second countable, ...
- 573
8
votes
0
answers
419
views
Are most semigroups nilpotent of degree 3?
A semigroup is nilpotent of degree 3 if every product of 3 elements gives the same result. In 2012, Andreas Distler and James D. Mitchell wrote that:
It is part of the folklore of semigroup theory ...
- 22.3k
8
votes
0
answers
308
views
Topology and infinite number of primes
One of the strange proofs (among the other beautiful proof) in the book "Proofs from the book" is the fifth one, which uses a special topology on the set of integer numbers, to prove there are ...
- 4,784
8
votes
0
answers
241
views
Topological applications of $\mathfrak{p}=\mathfrak{t}$
I'm working on the Malliaris-Shelah's recent result of $\mathfrak{p}=\mathfrak{t}$, but I'm more interested in what possible topological applications can derivate from this equality.
Searching in ...
- 181
8
votes
0
answers
240
views
Universally meager spaces and large cardinals
Definition: (Todorcevic) A subset $A$ of a topological space $X$ is called universally meager if for every Baire space $Y$ and every continuous $f : Y \to X$ which is nowhere constant (not constant on ...
- 18.6k
8
votes
0
answers
110
views
Connected component optimization
For an open set $A\subset[0,1]^d$, denote the connected components of $A$ by $cc(A)$. Given a smooth symmetric function $f\colon[-1,1]^d\to\mathbb R$ with $f(0)>0$, I am interested in the ...
- 623
8
votes
0
answers
117
views
"Generic properties" of open neighborhood boundaries in compact metric spaces
Suppose we have a compact metric space $X$ with some designated point $a$ and closed set $B$ such that $a\notin B$. Let $A_0=\{a\}$ and $B_0 = B$. We'll play a game where on each player's turn they ...
- 12.5k
8
votes
0
answers
455
views
Is the property of being a connected component local?
More precisely, my question is as follows: Let $X$ be a qcqs scheme, $Z \subset X$ a closed subscheme and assume that there exists an open affine subscheme $U \subset X$ containing $Z$ such that $Z$ ...
- 166
8
votes
0
answers
506
views
How should I try to imagine exotic smoothness in R4?
I am trying to wrap my mind around the concept of exotic smoothness in (and only in) $\mathbb{R}^4$.
I have some mathematical literature, but can anyone point to a semi-intuitive, semi-visual example?...
- 181
8
votes
0
answers
226
views
When can we force two frames to be homeomorphic?
Recall that if $M,N$ are two structures of the same type, then
$M$ is $\mathcal{L}_{\infty,\omega}$ elementarily equivalent to $N$ precisely when $M$ and $N$ are isomorphic in some forcing extension. ...
8
votes
0
answers
132
views
Local vs global homogeneity of topological spaces
I am interested in the relation between global and local homogeneity of topological spaces. On one extreme we have rigid spaces, i.e., topological spaces with trivial homeomorphism group.
Question. ...
- 41.9k
8
votes
0
answers
306
views
Has the Roelcke completion of a topological group any reasonable algebraic structure?
It is well-known that each topological group $G$ carries (at least) four natural uniformities:
the left uniformity $\mathcal L$, generated by the base $\{\{(x,y)\in G\times G:y\in xU\}:U\in\mathcal ...
- 41.9k
8
votes
0
answers
292
views
Loop space functor and sequential colimits of inclusions
The question is about a fact that is mentioned as "evident" everywhere in the literature, so my guess is that some small detail is passing over my head. Here it is:
Let $X_0\hookrightarrow X_1 \...
- 91
8
votes
0
answers
463
views
When is the sigma-algebra generated by closed convex sets the same as the Borel sigma-algebra
For which topological vector spaces $E$ do we have the equality between the sigma algebra generated by the closed convex subsets of $E$ and the Borel sigma algebra of $E$ ?
More precisely, do we have ...
- 506
8
votes
0
answers
571
views
example of an n-transitive but not infinitely transitive group action on a space
Definition. An action of a group $G$ on a set $X$ is strongly $n$-transitive if $G$ acts transitively on $n$-tuples of distinct elements in $X$ (via the diagonal action), and is $n$-transitive if $G$ ...
- 4,588
8
votes
0
answers
122
views
Is there a normal non-collectionwise Hausdorff manifold?
In a 1990 paper*, M.E. Rudin writes (p.137),
So far as is known, normal manifolds may have to be collectionwise Hausdorff [cwH].
Since it holds whenever $V=L$, I understand that at that time, no ...
- 1,855
8
votes
0
answers
148
views
Is each Lindelof closed $\bar G_\delta$-set of a Tychonoff space functionally closed?
A subset $F$ if a topological space $X$ is called functionally closed if $F=f^{-1}(0)$ for some continuous map $f:X\to[0,1]$.
It is clear that each functionally closed set $F$ in $X$ is a closed $G_\...
- 41.9k
8
votes
0
answers
231
views
Topology of family of complex varieties
It seems to be an oft-cited fact (which comes up, for instance, in describing vanishing/nearby cycles) that:
For a proper flat map $f \colon X \rightarrow \Delta$, where
$X$ is a complex algebraic ...
- 2,809
8
votes
0
answers
103
views
Locales satisfying DC?
Is there a nice (topological) characterization of the locales such that the axiom of dependant choices holds in the internal logic of the topos of sheaves ? I would also be interested in the case of ...
- 42.4k
8
votes
0
answers
266
views
The Klee Trick for subsets of $\mathbb{R}^3$
Update: The lead paragraph has been changed to reflect the solution to a related question.
I asked the question Is dimension given by the Klee trick ever sharp?
and it has been answered in the ...
- 5,259
8
votes
0
answers
838
views
Intersections of open sets and $\alpha$-favorable spaces
I would like to ask about some classes of topological spaces whether they have been studied, what are they called (if they have a name) and whether they have some interesting properties. For the ...
- 4,713
8
votes
0
answers
6k
views
Convex hulls of compact sets
Let $A$ be a compact set in a separable Hilbert space $H$, and let $\bar A$ denote its convex hull. Is $\bar A$ compact?
- 8,512
8
votes
0
answers
299
views
Spaces that never separate the Hilbert cube
I am interested in topological spaces such that whenever the space embeds into the Hilbert cube, the image of the embedding has a path-connected complement.
Any finite dimensional space has this ...
- 29.1k
8
votes
0
answers
508
views
Is there in ZFC a topological space which is normal, ccc, countably compact, first countable and non-compact?
I am looking for a space as in the title and since many very similar spaces do exist in the literature, I wonder whether someone has a reference (different from the ones I cite below) or just some ...
- 1,855
8
votes
0
answers
247
views
Construct a topologically $\infty$-dimensional separable metric space.
But don't assume knowledge of any topological dimension theory. Here is a specific approach (an open problem):
Does there exist a separable metric space $X$ such that the following two conditions ...
- 7,500