# Tagged Questions

**-3**

votes

**0**answers

58 views

### Cylinder in a topological space? [on hold]

There is a notion of path in a topological space $X$, namely a continuous function f with domain X and codomain the interval $[0, 1]$.
Given that, in a Quillen model category, the dual of a path ...

**4**

votes

**2**answers

148 views

### “All retracts are closed” as separation axiom

The starting point of this question is the fact that any retract of a $T_2$-space is closed.
Let's say a topological space $(X,\tau)$ is $T_{\textrm{rc}}$ if all retracts of $X$ are closed.
All ...

**0**

votes

**0**answers

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

**-2**

votes

**0**answers

144 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

46 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, ...

**2**

votes

**0**answers

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

**4**

votes

**0**answers

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

**7**

votes

**1**answer

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

**1**

vote

**0**answers

117 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

114 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$ ...

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

**2**

votes

**1**answer

116 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

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

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

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

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

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

**0**

votes

**1**answer

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

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

**11**

votes

**2**answers

541 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\}$?

**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

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

**7**

votes

**0**answers

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

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

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

**21**

votes

**1**answer

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

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

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

**5**

votes

**2**answers

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

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

**4**

votes

**1**answer

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

**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

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

**2**

votes

**0**answers

87 views

### continuity with respect to weak-${\ast}$ topology

Let $V:=V([0,1],R)$ be the space of all cadlag functions defined on $[0,1]$ of bounded variation. Thus any element $v\in V$ determines a signed measure $\nu$ on $[0, 1]$ given by the formula $\nu([0, ...

**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$ ...

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

**3**

votes

**1**answer

110 views

### A question about Skorokhod metric

I have a question related to the Skorokhod distance.
Let $\Omega:=D([0,1],R)$ be the space of cadlag functions $x$ defined on $[0,1]$. Let $\Lambda$ be the collection of non-decreasing continuous ...

**3**

votes

**1**answer

77 views

### Skorokhod distance between $\omega, \omega\circ f_{\varepsilon}$ and $\omega, \omega\circ b_{\varepsilon}$

Let $\Omega:=D([0,1],R)$ be the space of cadlag functions $x$ defined on $[0,1]$. Let $\rho$ be the Skorokhod metric on $\Omega$, see e.g.
http://en.wikipedia.org/wiki/C%C3%A0dl%C3%A0g
Now define ...

**1**

vote

**0**answers

104 views

### (The Homotopy type of the) lifting of homeomorphism of Grassmanian

For $k<n$ put $FM_{k\times n}$ for the space of all $k\times n$ full rank matrices with real or complex entries. Note that the permutation group $S_{n}$ has an obvious action on this space ...

**4**

votes

**1**answer

82 views

### Approximation of sets by sets with regular border

What kind of conditions on a (bounded) set $E \subset \mathbb{R}^{n}$ ensure that it can be approximated from outside/inside by sets with regular border (say Lipshitz or $C^{k}$ conditions) in the ...

**5**

votes

**2**answers

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

**5**

votes

**0**answers

67 views

### Large discrete subspaces in spaces of separately continuous functions

For topological spaces $X,Y,Z$ let $SC_p(X\times Y,Z)$ be the space of separately continuous functions $f:X\times Y\to Z$ endowed with the topology of pointwise convergence.
It is easy to see that ...

**-1**

votes

**1**answer

203 views

### Creating topological spaces with portals [closed]

I'm trying to rigorously describe an object that I'm calling a "portal". The situation is easiest to describe in two dimension.
I start with a line segment $pq$ in $\mathbb{R}^2$. I want to remove ...

**0**

votes

**0**answers

41 views

### Characterization of global sections (which are not products) of a sheaf which is locally a product

In order to compute certain group cohomology sets I have come upon a construction which seems rather general concerning sheaves which are locally products. So I will state the problem here in a ...

**5**

votes

**1**answer

153 views

### When is the topology generated by countable subsets?

Let $X$ be a topological (Hausdorff) space and let $(X_\alpha)_\alpha$ be a directed family of subsets. We say that $(X_\alpha)_\alpha$ generates the topology of $X$ if a subset $U \subseteq X$ is ...