# Tagged Questions

**6**

votes

**1**answer

124 views

+50

### 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 ...

**0**

votes

**0**answers

27 views

### Baire sets in locally compact Hausdorff spaces

I posed this on 14 Dec. at http://math.stackexchange.com/questions/1067751/baire-sets-in-locally-compact-hausdorff-spaces, but there has been no response:
(This is a follow-up to ...

**5**

votes

**2**answers

300 views

### Gorelic's Forcing for large Lindelöf spaces with points $G_\delta$

I am trying to understand a step for proving that there exists large Hausdorff Lindelöf Spaces with points $G_\delta$ using forcing. I am following Isaac Gorelic's "The Baire Category And Forcing ...

**-2**

votes

**0**answers

142 views

### Why the definition of continuity is not reversed? [on hold]

I am wondering why continuity is not defined in the reverse order. Take the definition of continuity in topology for example, its definition is defined as:
mapping of a topological space $(X, T_X)$ ...

**2**

votes

**0**answers

43 views

### Remainders in compactifications of completely metrizable spaces

Given a Tychonoff (topological) space $X$, we know that $X$ admits a Hausdorff compactification $cX$. We say the remainder of $X$ in this compactification is $rX=cX\setminus X$. One natural question, ...

**10**

votes

**1**answer

851 views

### Reference request for TQFT, functoriality

I am reading Turaev's blue book Quantum Invariants of Knots and 3-manifolds.
It is difficult for me to understand the proof of Theorem 1.9 in chapter 4, which says;
The function $(M, \partial_{-}M, ...

**8**

votes

**5**answers

3k views

### totally disconnected and zero-dimensional spaces

When do the notions of totally disconnected space and zero-dimensional space coincide? From what I gather, there are at least three common notions of topological dimension: covering dimension, small ...

**2**

votes

**0**answers

108 views

### Classify spaces that make extension theorems hold

Recall a Polish space is a completely metrizable separable space.
Say a Polish space $Y$ is a terminal space if for any Polish space $X$ and any closed $C \subseteq X$, one can extend a continuous ...

**-3**

votes

**3**answers

143 views

### Riemann Mapping Theorem in Higher Dimensions for Continuous funcions [closed]

Is there any analogue for Riemann Mapping Theorem(!) in higher dimensions?
Or a much simpler question, is it true that every open subset of $\mathbb{R}^3$ with zero homology in dimensions 1 and 2 is ...

**4**

votes

**0**answers

41 views

### topological spaces admitting CAT(1) metrics

Suppose that $X$ is a locally contractible completely metrizable topological space. Is it true that $X$ can be metrized as a (complete) CAT(1) metric space?
The only result in this direction I know ...

**5**

votes

**1**answer

80 views

### Continuity of taking collapse maps

Let $U$ and $V$ be open subsets of $\mathbb R^n$ and let $\mathrm{OEmb}(U,V)$ denote the space of open embeddings of $U$ into $V$ with the compact-opent topology. Let $\bar{U},\bar{V}$ denote their ...

**1**

vote

**0**answers

115 views

### Topological characterisation of loop spaces

Let $\Omega\colon \mathrm{Top}_*\to\mathrm{Top}_*$ be the loop space functor assigning to each pointed topological space $X$ the pointed space consisting of all based continuous maps $S^1\to X$ ...

**0**

votes

**0**answers

113 views

### $Ax=b$ in a function space (again)

Let
$X$ be compact Hausdorff topological space,
$C(X)$ denote the algebra of complex-valued continuous functions on $X$,
$b\in \mathbb{C}^m$,
$\mathbf{A}\in C(X)^{m\times n}$,
Let ${\mathbb{C}}^n$ ...

**2**

votes

**1**answer

114 views

### Hausdorff spaces such that every subset is a retract

Let $(X,\tau)$ be a Hausdorff space such that for every non-empty $A\subseteq X$ there is a continuous map $r:X\to A$ such that $r(a) = a$ for all $a\in A$. Does $\tau$ have to be discrete?

**2**

votes

**1**answer

74 views

### Name for this topological property similar to “second countable”

let alpha be a cardinal.
I want to look at topological spaces with the property that their topology has a basis with cardinality at most alpha. This property of a topological space certainly has a ...

**4**

votes

**1**answer

96 views

### Maps between spaces of non-empty compact subsets with the Hausdorff distance (reference request)

Let $X, Y$ be metric spaces, and let $PX$ (resp. $PY$) be the set of all non-empty compact subsets of $X$ (resp. $Y$) with the Hausdorff metric. A continuous map $f\colon X\to Y$ induces a continuous ...

**2**

votes

**1**answer

196 views

### A commutative Banach algebra with an abundance of discountinuous functions

Let $A$ be the algebra of all bounded functions from $[0,\;1]$ to $\mathbb{C}$.
For $f\in A,\;$ $\omega_{f}$ is the standard oscillation function.. Each of the following two (equivalent) norms ...

**3**

votes

**0**answers

23 views

### Unique representability of bounded distributive lattices

Priestley Duality assigns to every bounded distributive lattice $L$ a compact totally order-disconnected topological space $P(L)$, also called a Priestley space.
A poset $(P,\leq)$ is called ...

**2**

votes

**2**answers

293 views

### Topological retraction vs categorical retraction

Let $(X,\tau)$ be a topological space. We say that $A\subseteq X$ is a
topological retract if there is a continuous map $r:X\to A$ onto a subspace $A \subseteq X$ such that for all $a\in A$ we have ...

**5**

votes

**0**answers

272 views

### Sequences and pseudocharacter in compact spaces

Is there a consistent example of a compact Hausdorff space $X$ on which the following holds?
i) there is a $Y \in {[X]}^{\aleph_1}$ such that $\psi (Y) = \aleph_1$; and
ii) there is no non-trivial ...

**3**

votes

**1**answer

118 views

### CCC Forcing and $\omega_1$ conditions

I have a question about the proof of the Lemma 7.2 in the paper
I. Juhász, P. Koszmider and L. Soukup,
A first countable, initially $\omega_{1}$-compact but non-compact space,
Topology and its ...

**0**

votes

**0**answers

67 views

### Almost locally stable properties of spaces [closed]

Assume that we are looking whether a Property $P$ holds for members $s$ from a space $X$.
Call a member $s$ of $X$, almost $\delta-$stable with respect to $P$ if property $P$ holds (or fails) for ...

**8**

votes

**1**answer

398 views

### A question concerning separate and joint continuity of bilinear maps

Suppose that $V$ is a locally convex topological vector space and $f:V^2 \to V$ is a bilinear map. Suppose that $C \subseteq V$ is compact and convex, $f$ maps $C^2$ into $C$ and
$f \restriction C^2$ ...

**0**

votes

**1**answer

144 views

### $Ax=b$ in a function space

Let
$X$ be compact Hausdorff topological space,
$C(X)$ denote the algebra of complex-valued continuous functions on $X$,
$b\in \mathbb{C}^m$,
$\mathbf{A}\in C(X)^{m\times n}$,
for all $x\in X$, ...

**3**

votes

**2**answers

217 views

### Is the defining bijection for a pullback of topological spaces a homeomorphism?

I work in the category of CGWH spaces enriched over themselves. If a space $P$ is the pullback of $A \rightarrow B \leftarrow C$, then for every space $T$ the canonical map
$$Top(T,P) \rightarrow Top ...

**11**

votes

**2**answers

540 views

### Hausdorff spaces with trivial automorphism group

Is the singleton space the only Hausdorff space $X$ such that the set of automorphisms $\varphi: X\to X$ equals $\{\textrm{id}_X\}$?

**8**

votes

**1**answer

200 views

### Strongly rigid Hausdorff spaces

A space $(X,\tau)$ is called rigid if $\textrm{Aut}(X)=\{\textrm{id}_X\}$. We say $(X,\tau)$ is strongly rigid if for every continuous map $f:X\to X$ we have that $f = \textrm{id}_X$ or $f$ is ...

**7**

votes

**1**answer

150 views

### Face poset of a subcomplex complement

Let $P$ denote the face poset of a simplicial complex, $\Delta$ the order complex of a poset, and $\sim$ homotopy equivalence. It's known that for any finite simplicial complex $\mathcal{K}$ that ...

**3**

votes

**0**answers

49 views

### Paracompact and countably compactly generated spaces

A space X is countably compactly generated if it can be written as countable direct limit of compact Hausdorff spaces.
Are countably compactly generated spaces paracompact spaces? Do we have ...

**1**

vote

**0**answers

153 views

### Separability of the space $C(C[0, 1], \mathbb{R})$

Let $E=C([0, 1])$ be the space of all real-valued continuous functions on $[0, 1]$, equipped with the uniform norm. $C(E)$ stand for the continuous real-valued functions on $E$.
I am wondering that ...

**21**

votes

**1**answer

358 views

### Which ordered fields are homeomorphic to their power?

It is well known that $\mathbb{R}^2\ncong \mathbb{R}$. It is also known that $\mathbb{Q}^2\cong \mathbb{Q}$. It is a corollary to Sierpiński's theorem which states that every countable metric space ...

**0**

votes

**1**answer

179 views

### Dimension of Inverse image

Suppose we have a smooth map between two smooth manifolds $f:M→N$ such that $\dim M>\dim N$, and let $p∈N$ be a critical value. Suppose we know that $X:=f^{-1}(p)$ is a differentiable manifold (or ...

**7**

votes

**0**answers

195 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 ...

**1**

vote

**1**answer

98 views

### subspace in pseudotopological space

Every topological space gives rise to a pseudotopological space. Conversely, if $X$ is a pseudotopological space then we can define a topology on $X$ such that every filter converging to $x$ in the ...

**2**

votes

**0**answers

87 views

### Generalization of Jordan Curve Theorem

Jordan Curve Theorem says that any plane continuum homeomorphic to $\mathbb{S}^1$ separates the plane into exactly two components.
Now
"Let $\alpha$ and $\beta$ be two homeomorphic plane continua. ...

**1**

vote

**0**answers

84 views

### Selecting dense diagonals in $\Bbb T^2$

Let $p$ be a prime number and let $G=\bigcup_{n\in \Bbb N}\{\exp(k\frac{2\pi i}{p^n})\mid k\in \Bbb Z\}$ be a Prüfer group. For homomorphisms $f,g:G\to G$ let $H_{f,g}=\{(f(x),g(x))\mid x\in G\}$. ...

**3**

votes

**1**answer

118 views

### How many pairwise non-homeomorphic compact, zero-dimensional topologies are there on $\mathbb{N}$?

To make the question more precise:
We call a topological space $(X,\tau)$ zero-dimensional if for $x\neq y \in X$ there is a clopen set $U\subseteq X$ with $x\in U, y\notin U$.
Let $\mathcal{C}$ be ...

**5**

votes

**2**answers

154 views

### another question about connected open sets in $R^2$

Before posting this question,I just asked a similar question:a question about connected open sets in $R^2$.
I got several nice answers.Now I want to ask:
Let $U$ be a nonempty connected open set in ...

**10**

votes

**2**answers

255 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 ...

**0**

votes

**1**answer

120 views

### Homotopy with non piece-wise linear boundary

in the middle of a long proof I encounter the following problem.
Let $E$ be a closed and convex set in $\mathbb R^n$ such that for all $\vec x\in E$ it holds that $\sum_ix_i=1$. (We can understand ...

**3**

votes

**1**answer

101 views

### Characterizing space that preserves positive-definiteness property

Given a symmetric positive-definite matrix $\Sigma$, consider the space $\mathcal{D}$ of diagonal matrices such that $\forall D\in\mathcal{D}$, the matrix $\Sigma-D\Sigma^{-1}D$ is positive definite. ...

**4**

votes

**1**answer

284 views

### Free action of $\mathbb{Z}(2^{\infty})$ on a compact space

Assume that $X$ is a Hausdorff compact space such that $\forall n\in \mathbb{N}$, we have a free action of $\mathbb{Z/{2^{n}}\mathbb{Z}}$ on $X$. Must $\mathbb{Z}(2^{\infty})$ act freely on ...

**2**

votes

**2**answers

161 views

### Is there an (almost) dense set of quadratic polynomials which is not in the interior of the Mandelbrot set?

For the parameter plane of complex quadratic polynomials, $(z\mapsto z^2+c)_{c\in\mathbb{C}}$ :
Is it possible to find a part of the parameter plane, scanned with a given limited precision ...

**6**

votes

**1**answer

518 views

### A good book on adeles and ideles

Many results in number theory are stated either in a classical language or in an adelic one. I am often impressed of the efficiency and the satisfactory computational properties of the adelic setting, ...

**9**

votes

**5**answers

898 views

### Defining a topology in the Power Set

I have the following question:
Given a topological space $T$ is possible in general to give a topology to $2^T$ (the power set of $T$) such that this topology in $2^T$ is related to $T$.
If the ...

**4**

votes

**1**answer

158 views

### When does $\mathbf{Top}/X$ embedd fully faithfully into $\mathbf{Top}$?

Under what conditions on the topological space $X$ is the overcategory $\mathbf{Top}/X$ of topological spaces over $X$ equivalent to a full subcategory of $\mathbf{Top}$? Surely if $X$ terminal i.e. a ...

**2**

votes

**1**answer

61 views

### Constructivity of zeros demanded by topological degree

Let $f : S^{n - 1} \to S^{n - 1}$ be a smooth map from the unit vectors of $\mathbb{R}^n$ to themselves. If $f$ has nonzero degree, then we know that any smooth map $g : D^n \to \mathbb{R}^n$ ...

**10**

votes

**1**answer

699 views

### Is every continuous function measurable?

This question has already been asked on Math StackExchange here, but was too old to be migrated, and I think will be more appropriate to MathOverflow.
In non-Hausdorff topology it is standard to ...

**6**

votes

**1**answer

191 views

### “Productively normal” space

If a set $S$ is endowed with the discrete topology $\mathcal{P}(S)$, then for every normal space $N$ the product $S\times N$ is normal.
Question: can we endow a set $S$ with another Hausdorff ...

**12**

votes

**1**answer

221 views

### Universal maps between topological spaces

Let $X,Y$ be topological spaces. We call a continuous map $u:X\to Y$ universal if for every continous map $f:X\to Y$ there is $x\in X$ such that $f(x) = u(x)$.
If $u:X\to Y$ and $v:Y\to Z$ are ...