# Tagged Questions

**8**

votes

**0**answers

231 views

### When is the one-point compactification well-pointed?

This is a follow up to my previous
question.
Question:
Is there a reasonably natural set of conditions which guarantee that the one-point
compactification $X^+$ of a locally compact Hausdorff ...

**2**

votes

**1**answer

165 views

### Properties of the weak-$*$ topology

Let $X$ be a topological affine space over a complete base field $\mathbb S := \mathbb C$, $\mathbb R$ or $\mathbb Q_p$. Let $X^*$ be the dual space of continuous affine functionals equipped with the ...

**4**

votes

**4**answers

442 views

### Non-trivial convergent sequence in Stone-Čech compactification of $\mathbb{N}$

Why are there only trivial convergent sequences in the Stone-Čech compactification of $\mathbb{N}$?

**1**

vote

**1**answer

207 views

### T2 ⇒ KC ⇒ US ⇒ T1

In a topological KC-space, every compact space is closed.
In a US-space, each convergent sequence has a unique limit.
So, T2 ⇒ KC ⇒ US ⇒ T1, but the converse implications do not hold.
(a): Can ...

**2**

votes

**1**answer

221 views

### A fixed point problem

Let $A = \lbrace (tr,1-t)\; | \; t \in [0,1], r \in \Bbb{Q}\rbrace$. Is it true that any continuous function from $A$ into $A$ has a fixed point?

**6**

votes

**1**answer

223 views

### Does a metric refine the weak-* topology on a dual space?

Let $X$ be a topological affine space over $\mathbb C$, with no additional assumptions. Let $X^*$ denote its dual space of continuous affine functionals $X \to \mathbb C$, equipped with the weak-$*$ ...

**0**

votes

**0**answers

82 views

### minimal (strongly) KC

If P is a topological property, then a space (X, τ) is said to be minimal P (respectively, maximal) if (X,τ) has property P but no topology on X which is strictly smaller (respectively, strictly ...

**0**

votes

**1**answer

114 views

### Katetov - KC and sequental spaces

A space is said to be KC – space if compact subsets are closed.
A KC space (X,τ) is said to be Katetov – KC if there is a minimal KC – topology σ ⊆ τ.
is every sequential KC - space Katetov - KC?
I ...

**4**

votes

**2**answers

282 views

### von neumann algebras and measurable spaces

I've read some pages on links between von neumann (VN) algebras and measurable spaces (Spectra of $C^*$ algebras and Non-commutative geometry from von Neumann algebras?), but I can't get the ...

**16**

votes

**0**answers

442 views

### Can closed compacts in a topological group behave “paradoxically” with respect to unions, intersections, and one-sided translations?

Consider two closed compacts $A$ and $B$ in a topological group $\Gamma$. Let $A'$ be a left translation of $A$ and $B'$ a left translation of $B$:
$A' = aA$,
$B' = bB$.
Suppose it is known that ...

**7**

votes

**1**answer

244 views

### Constructing Metrics for specific Topological Spaces, and Refinements of the Cantor-Space in particular

I have a Problem in general, given some some Topological Space $(X, \tau)$ from which I know it is metrisable, how can I find a metric (that is at best in some sence constructive and easy, at the very ...

**5**

votes

**2**answers

149 views

### A few standard results (on metrizability and relative separation strength) without Choice?

I've been going back over some results from Munkres's Topology, and I'm curious about some things. (I originally posted this on M.SE, but I think it is probably a better fit here.)
I know that Choice ...

**2**

votes

**2**answers

154 views

### Finite non-Hausdorff models of CW-complexes

Years ago, my advisor showed me a construction where you take a CW complex and quotient each open cell to a single point. He said that under certain conditions (I believe always satisfied by the ...

**10**

votes

**0**answers

301 views

### Characterization of Fréchet-Urysohn spaces using sequential continuity at a point

A map $f \colon X \to Y$ is called sequentially continuous at the point $a$ if for every sequence $(x_n)$ such that $x_n\to a$, we also have $f(x_n)\to f(a)$.
$$x_n\to a \qquad \Rightarrow \qquad ...

**6**

votes

**0**answers

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

**31**

votes

**1**answer

556 views

### A Topology such that the continuous functions are exactly the polynomials

(I originally asked this question on Math.SE, where it received a lot of attention, but no solution.)
Which fields $K$ can be equipped with a topology such that a function $f:K \to K$ is continuous ...

**9**

votes

**1**answer

577 views

### Generalizations of the Tietze extension theorem (and Lusin's theorem)

I am reasking a year-old math.stackexchange.com question asked by someone else.
(For my needs every space $X$ and $Y$ will be Polish---that is a completely separably metrizable space.)
The Tietze ...

**23**

votes

**2**answers

790 views

### Can the Lawvere fixed point theorem be used to prove the Brouwer fixed point theorem?

The Lawvere fixed point theorem asserts that if $X, Y$ are objects in a category with finite products such that the exponential $Y^X$ exists, and if $f : X \to Y^X$ is a morphism which is surjective ...

**7**

votes

**1**answer

289 views

### What should the morphisms in the Category of Directed Sets be?

Directed sets are defined to be sets equipped with a preorder that admit (finitary) upper bounds e.g. pairs $(D, \preceq)$ such that $\forall p,q \in D$ there exists $r \in D$ such that $p \preceq r$ ...

**5**

votes

**0**answers

90 views

### Equivariant zero dimensional extension recovering a given measure

Let $X$ be a compact metrizable space and $\alpha: \mathbb{Z}^d\curvearrowright X$ a continuous group action. Then it is well known that there exists a zero dimensional compact space $Y$, an action ...

**5**

votes

**0**answers

107 views

### Is the dimension given by Klee trick ever sharp?

The Klee Trick allows one to find an $\mathbb{R}^m$ where two embeddings of same compact metric space have homeomorphic complements. More precisely, given two embeddings of a compact metric space $K$ ...

**11**

votes

**1**answer

272 views

### Does a self map from the wedge sum of two spheres have either a fixed point or a point of period 2?

Let $X$ be the wedge sum of two $2$-dimensional spheres and $f$ a continuous function from $X$ into $X$. Does $f$ have either a fixed point or a periodic point of order 2?
Thanks

**22**

votes

**3**answers

442 views

### What sets of self-maps are the continuous self-maps under some topology?

An open question on MSE, http://math.stackexchange.com/questions/427634/a-topology-such-that-the-continuous-functions-are-exactly-the-polynomials , asks whether there is an infinite field and a ...

**1**

vote

**1**answer

70 views

### Non-compact structure group and compactly supported gauge transformations

Let $\pi\colon P\to X$ be a locally trivial principal $G$-bundle over a Hausdorff paracompact space $X$, where $G$ is a topological group (we work in the category of topological spaces, as I do not ...

**4**

votes

**1**answer

241 views

### Isomorphisms between topological vector spaces [closed]

Let $f : X \to Y$ be a continuous map of complete topological vector spaces. Suppose that $A \subseteq X$ and $B \subseteq Y$ are proper, dense linear subspaces, and that the restriction map $f : A ...

**6**

votes

**0**answers

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

**4**

votes

**2**answers

261 views

### Is it impossible for the dimension of a topological space to increase under a smooth map?

First let me make a definition. Let $M$ be a smooth manifold and
$S \subset M $ a topological subspace of $M$. We say that $S$ has
"dimenion" at most $k$ if $S$ is a subset of
$$ X_1 \cup X_2 \ldots ...

**10**

votes

**3**answers

350 views

### Is there a monad on Set whose algebras are Tychonoff spaces?

Compact Hausdorff spaces are algebras of the ultrafilter monad on Set.
Is the category of Tychonoff spaces also monadic over Set?

**15**

votes

**1**answer

440 views

### Question about product topology

Suppose $S\subset\mathbb{R}$ is dense without interior point, and for every open interval $I,J\subset\mathbb{R}$, $I\cap S$ is homeomorphic to $J\cap S$.
Is $S\times S$ homeomorphic to $S$?
By Luzin ...

**1**

vote

**1**answer

194 views

### Agreement of two topologies on a linear space

I'm dealing with the formalism of an abstract Wiener space, and I'm not sure if two relevant topologies coincide.
Let $X$ be a topological vector space, and let $X^*$ be its dual space of continuous ...

**4**

votes

**1**answer

261 views

### Is every soft sheaf of countable $\mathbb Q$-vector spaces a direct sum of skyscraper sheaves?

Let $X$ be a finite-dimensional compact metrizable space (these properties might partially be irrelevant; on the other hand, the case $X=[0,1]$ is already interesting to me).
Let $\mathcal F$ be a ...

**2**

votes

**1**answer

143 views

### Extend Homeomorphism to Uniformly Continuous Function

I have a space $A$ which is homeomorphic to the open $n$-ball $B_n$.
I'm trying to build a CW-complex with it, so
I want a continuous function from the closed ball $\overline{B}_n$
to the closure ...

**15**

votes

**0**answers

332 views

### Are there “chain complexes” and “homology groups” taking values in pairs of topological spaces?

Throughout this question, notation of the form $(X,A)$ denotes a sufficiently nice pair of topological spaces. I think for most of what I'm saying here, it is enough to assume that the inclusion $A ...

**1**

vote

**1**answer

134 views

### Precompact reflection in diagonal uniform spaces

Each diagonal uniform space $(X,\mathcal D)$ can be derived from the covering uniform space $(X,\Sigma_{\mathcal D})$ and each covering uniform space $(X,\Sigma)$ can be derived from the diagonal ...

**6**

votes

**1**answer

336 views

### Topological Generalization of Whitney's Extension Theorem

From Wikipedia:
In mathematics, in particular in mathematical analysis, the Whitney extension theorem is a partial converse to Taylor's theorem. Roughly speaking, the theorem asserts that if $A$ ...

**0**

votes

**0**answers

67 views

### Extending coverings over dense subsets

Let $X$ be a metric space with $D⊆X$ a dense subset.
If there is a covering for $D$, under which conditions on the covering is it possible to guarantee that the covering also covers $X$?
For a ...

**1**

vote

**0**answers

38 views

### Orbit spaces of involutions on spheres

I'm studying the following problem: Let
$({\mathbb S}^N,\theta)$ be the $n$-sphere (in ${\mathbb R}^{N+1}$) endowed with the antipodal action $\theta:(x_0,\ldots,x_N)\to (-x_0,\ldots,-x_N)$;
...

**7**

votes

**0**answers

143 views

### Is it possible to prove in ZF that a non-trivial compact connected Hausdorff space is uncountable?

Let $X$ be a compact, connected Hausdorff space with at least two points.
In $\mathrm{ZF}+\mathrm{AC}_\omega(\mathbb R)$, any countable compact Hausdorff space is metrizable, and from this it can be ...

**3**

votes

**3**answers

254 views

### Complete uniform spaces require complete metrics?

Hey all,
It is well-known that any uniformity is generated by the family of pseudometrics which are uniformly continuous from the product uniformity to $\mathbb{R}$. Further, the uniformity is ...

**32**

votes

**1**answer

634 views

### Homeomorphisms and disjoint unions

Let $X$ and $Y$ be compact subsets of $\mathbb{R}^n$. Assume that $X \sqcup X \cong Y \sqcup Y$ (here $X \sqcup X$ is the disjoint union of two copies of $X$, considered as a topological space, and ...

**9**

votes

**0**answers

277 views

### 3 manifolds with diffeomorphic unit tangent bundles

What can one say about two closed oriented 3-manifolds $M_1$ and $M_2$ such that $S^2 \times M_1$ is diffeomorphic to $S^2 \times M_2$?

**2**

votes

**2**answers

318 views

### Defining a topology in the Power Set

I have the follwing 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 ...

**0**

votes

**1**answer

355 views

### Property of Mrowka

A topological space $X$ satisfies Property $K_1$ (Property of Mrowka) if the closure of the union of arbitrarily many $G_\delta$ sets of $X$ coincides with its sequential closure (the sequential ...

**2**

votes

**1**answer

332 views

### Is $C^\nu(X,Y)$ a Banach manifold and a Lindelöf space?

Suppose that $X$ is a compact, finite dimensional manifold and $Y$ is an infinite dimensional, second countable ($C^\infty$-)Banach manifold. Let $\nu \in \mathbb{N}$.
Question: Is the space ...

**1**

vote

**1**answer

87 views

### ball in universal cover belongs to the union of actions on a section?

M is an n-dim manifold. $\pi :\tilde M \to M$ the universal cover of M. $\tilde p \in \tilde M$ a lift of p. We choose a measurable section $j:{B_1}\left( p \right) \to {B_1}\left( {\tilde p} ...

**0**

votes

**2**answers

140 views

### Uniformities generated by metrics.

Any uniformity on a set $X$ is generated by a family of pseudometrics on $X$. So if $(X,\mathcal D)$ is a uniform space there's a set $P$ of pseudometrics on $X$ with
$$\mathcal D=\left< ...

**2**

votes

**1**answer

274 views

### When is the support of a Radon measure separable?

Let $X$ be a topological space, equipped with its Borel $\sigma$-algebra $\mathcal B(X)$, and let $\mathbb P$ be a Radon probability measure on $(X, \mathcal B(X))$. Recall that the support of the ...

**2**

votes

**0**answers

115 views

### A question on semi-stratifiable space

This question is also posted here.
A space $X$ is callled semi-stratifiable space if it has a $g$-function such that: for any point $x$ of $X$ and a sequence $\{x_n\}$ of $X$ if $x \in g(n,x_n)$, ...

**11**

votes

**2**answers

399 views

### How many subsets of $\mathbb{R}$ are order isomorphic to $\mathbb{Q}$?

How many subsets of $\mathbb{R}$ are order isomorphic to $\mathbb{Q}$?
How many subsets of the long line $\omega_1\times[0,1)$ are order isomorphic to $\mathbb{Q}$?
I can see that results in ...

**3**

votes

**3**answers

286 views

### Embedding Theorem for topological spaces, and in general

There are many examples throughout mathematics of abstracting the formal properties of a "familiar" structure, but then having a theorem stating that all models of the abstract axioms embed into one ...