All Questions
31 questions from the last 30 days
13
votes
1
answer
858
views
Mistake on article about Bohr compactification?
$\DeclareMathOperator\b{b}\newcommand\B{{\operatorname B}}$I wish to get help understanding the content of two theorems of [Iva] that seem mutually contradictory. First some context. Let $\b(\mathbb{R}...
- 193
12
votes
1
answer
395
views
Is $X\times X$ homeomorphic to $X$ for a space of probability measures?
Let $\mathcal M_1(S)$ be the (compact, metrizable) space of probability Borel measures on the circle $S=\{z\in\mathbb C: |z|=1\}$ with its weak $*$ topology, so $\mu_n\to\mu$ if and only if
$$
\int_S ...
- 24.2k
10
votes
1
answer
660
views
Are there any tests for knowing whether a topological space admits a CW structure?
We know that for n $\ge$ 5, a manifold admits a piecewise linear structure if and only if its Kirby-Siebenmann class vanish and Galewski and Stern showed the existence of a similar invariant to test ...
- 168
8
votes
2
answers
497
views
Topology on topological spaces
The Gromov-Hausdorff metric makes the set of compact metric spaces into a metric space itself. I am wondering what some natural generalizations there are for arbitrary topological spaces. Namely, is ...
- 601
3
votes
2
answers
341
views
Cohomology version of Moore space
I asked this question on MSE a few days back but could not get any helpful response. So I am rewriting the post.
It is known to me that given a simply connected finite dimensional (which is also level-...
- 1,177
14
votes
1
answer
500
views
Is there an 'unnatural' topological construction of an algebraically closed field of positive characteristic?
It's well known that while there is a natural topological construction of a nearly algebraically closed field of characteristic $0$, algebraically closed fields of positive characteristic seemingly ...
- 12.5k
7
votes
1
answer
294
views
Lower bound on dimension required to disconnect manifold?
This question seems quite classical, but I don't quite know what subarea of topology it falls into.
Suppose that removing the set $S$ disconnects the 2-torus $\mathbb{T}^2 = \mathbb{R}^2\diagup\mathbb{...
- 2,621
3
votes
3
answers
255
views
Continuum-distanced complete, ultrametric space
Our professor asked us to find a complete metric space where the intersection of nested closed balls can be empty.
The following space is such an example, and I would like to learn more on it (since ...
- 637
8
votes
1
answer
437
views
Function $\phi$ such that $f(\phi(x,y)) = f(x) + f(y)$
I have a continuous function $f:\mathbb{R}^n\to\mathbb{R}$, and I am looking for a continuous (or at least measurable) function $\phi:\mathbb{R}^{2n}\to\mathbb{R}^n$ such that $f(\phi(x,y))=f(x)+f(y)$....
- 3,065
3
votes
1
answer
343
views
Fundamental group of the grid on $\mathbb{R}^\mathbb{N}$
The grid on $\mathbb{R}^2$ is defined by the set of points such that at most one coordinate is not an integer. With this in mind, e endow $\mathbb{R}^\mathbb{N}$ with the product topology, where $\...
- 48.9k
9
votes
1
answer
295
views
Connected open sets in the topology generated by the collection of connected open sets
Let $(X,\mathcal{T})$ be a connected topological space. Let $\mathcal{T}'$ be the topology on $X$ that is generated by the collection of connected open sets in $(X,\mathcal{T})$. That is, the ...
5
votes
1
answer
284
views
Codimension zero embeddings and maps with small fibers
Edit: as explained in my comment on alesia's answer, I mistakenly did not ask below the question I intended (due to my misguided efforts to simplify it). Thus, I revised and reposted my question here.
...
- 501
3
votes
1
answer
249
views
Relation between $\mathbb{R}$ and the metric space of bounded functions $f:\mathbb{N}\to\mathbb{N}$
Let $\newcommand{\N}{\mathbb{N}}\newcommand{\B}{\mathbf{B}}\B(\N)$ be the collection of all bounded functions $f:\N\to\N$. (A function $f:\N\to\N$ is bounded if there is $M\in\N$ such that $f(k) < ...
- 48.9k
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
3
votes
1
answer
132
views
Is the interval topology on ${\cal P}(\omega)/(\text{fin})$ connected?
If $(P,\leq)$ is a poset and $x\in X$, we let $\downarrow x = \{p\in P: p \leq x\}$, and $\uparrow x$ is defined dually. The collection $$\Big\{P\setminus (\downarrow x): x\in P\Big\} \cup \Big\{P\...
- 48.9k
3
votes
1
answer
144
views
Jordan plane curve such that $\frac{d(g(x),g(y))}{d(x,y)}\to0$?
Write $g$ as the inverse of $f$.
Is there a continuous injective $f:S^1\to C\subset\mathbb{R}^2$ such that
$$
\displaystyle\sup_{d(x,y)<r}\dfrac{d(g(x),g(y))}{d(x,y)}\to0
$$ as $r\to0$?
If you like,...
- 211
2
votes
1
answer
131
views
Strong ultralimits?
I was going through the book Ultrafilters Throughout Mathematics and I came across the notion of ultralimits, defined below.
Ultralimit. Let $(X,\tau)$ be a topological space, $(x_i)_{i\in I}$ be a ...
- 23
5
votes
1
answer
96
views
Preimage of a sublocale by a morphism of locales: description by nucleus?
For completeness of MathOverflow, and to avoid any possible misunderstanding, let me recall the following terminology and facts, which should be standard (experts skip the following 2–3 paragraphs ...
- 32.5k
8
votes
0
answers
246
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
3
votes
1
answer
90
views
Even covers and collectionwise normal spaces
We call $X$ strongly collectionwise normal if the set $\mathcal{U}_\Delta$ of all neighbourhoods of the diagonal $\Delta_X$ of $X\times X$ is a uniformity. This is equivalent to the property that for ...
- 1,201
1
vote
2
answers
127
views
Homeomorphism and boundary of a complementary component
Let $X\subset \mathbb R^2$ be compact and connected. My question is whether homeomorphisms of $X$ preserve boundaries of complementary components.
More precisely, let $h:X\to X$ be a homeomorphism.
...
- 3,317
0
votes
1
answer
99
views
A question about G-Hewitt spaces
In the paper linked below, S. A. Antonyan gives the following proposition without proof (in fact all results are given without proof). I need a proof of this theorem. If anyone has information on this ...
- 1,367
0
votes
1
answer
61
views
Is there a characterization of monoids that distribute over each other?
Let $(M, e_1, \times_1, e_2, \times_2)$ be an algebraic structure such that
$(M, e_1, \times_1)$ and $(M, e_2, \times_2)$ are monoids
$x \times_1 (y \times_2 z) = (x \times_1 y) \times_2 (x \times_1 ...
- 631
2
votes
1
answer
116
views
"Bad" valid edge contractions
In this paper, an edge contraction of a simplicial complex $\Gamma$ is defined as the operation of removing the neighborhood $N_e\Gamma$ of the edge $e=\{0,1\}$ and identifying $N_0\partial N_e\Gamma$ ...
- 21
2
votes
0
answers
157
views
About the 7.3.5. Corollary of the book "Measure Theory" by V.I. Bogachev
According to the 7.3.5. Corollary of the book "Measure Theory" by V.I. Bogachev we have the following result:
Let $(X,\tau)$ be a completely regular space and let $\Gamma$ be a
family of ...
- 647
1
vote
0
answers
87
views
Measurability of a map involving probability measures
Let $X$ be a metrizable topological space and $\mathscr B_X$ the Borel $\sigma$-algebra on it. Let $\Delta X$ denote the set of probability measures on $(X,\mathscr B_X)$, and let $\mathscr B_{\Delta ...
- 405
2
votes
0
answers
92
views
Geometric interpretation of flags and the role of the rook monoid and Kazhdan–Lusztig theory in $M_n(\mathbb{C})$
Let $G = GL_n(\mathbb{C})$, $B$ be its Borel subgroup, and $P$ a parabolic subgroup. The space $G/B$ corresponds to complete flags in $ \mathbb{C}^n$, and $G/P$ corresponds to partial flags. The ...
- 141
0
votes
0
answers
43
views
Equivalent conditions for $z$-embeddability
I am looking for where this specific theorem of Blair is originally located:
Theorem. Let $S\subseteq X$, the following are equivalent:
$S$ is $z$-embedded
If $A, B\subseteq S$ are disjoint zero-...
- 1,201
1
vote
0
answers
41
views
Why does the Kieboom characterization of shape is restricted only to paracompact spaces?
Borsuk founded shape theory as an extension of homotopy theory, appropriate for spaces with bad local properties. Borsuks definition was applied only to compact metric spaces. Later, this was ...
- 111
3
votes
0
answers
52
views
Does there exist a multi-valued "monotone" and "compact" map from a Boolean algebra to the "free" part of $\mathcal{P}(\kappa)$?
This is a follow-up to my previous question, which has a negative answer. Here is the most general version that I'm interested:
Does there exist a Boolean algebra $A$, an infinite cardinal $\kappa$, ...
- 2,830
0
votes
0
answers
62
views
Order-convergence and interval topology on ${\cal P}(\omega)/(\text{fin})$
On any poset $(P, \leq)$ we can consider two different topologies that arise directly from the ordering relation.
1) Order convergence topolog $\tau_o(P)$ : By a set filter $\mathcal{F}$ on $P$ we ...
- 48.9k