**12**

votes

**1**answer

266 views

### Discrete subsets in the topology of pointwise convergence vs. metrisability

While reading Arkhangel'skii's Topological function spaces, I encountered an unexpected application of Martin's Axiom. This is Theorem II.5.20:
Assume $\mathsf{MA}+\neg \mathsf{CH}$. Let $X$ be a ...

**0**

votes

**0**answers

19 views

### Locally finite refinement with restricted class of covering sets

Let $X$ be a topological space, and let $U \subset X$ be paracompact.
This means that any open cover $(U_i)_{i \in I}$ of $U$ has a locally finite refinement.
In this refinement $(V_i)_{i \in I}$ of ...

**0**

votes

**1**answer

100 views

### Questions about the dimension-and other properties-of a non-separable topological space

Let the topological space X be the so-called "long line" — which is an uncountable linearly ordered set containing all the countable ordinal numbers as well as a copy of the open unit interval ...

**7**

votes

**2**answers

244 views

### Must a map on a compact space be surjective on $\cap_{n=1}^\infty f^n(X)$?

Maybe I'm just being a bit dense here, but this has me stumped right now.
A fairly well-know thm is the following: Let $X_0$ be a compact metric space and $f:X_0\to X_0$ be continuous. For each ...

**6**

votes

**2**answers

226 views

### Homeo-Fixed point property

Edit: According to comment of Michał Kukieła I revised the question
A topological space $X$ satisfies "Homeo-fixed point" property if every homeomorphism $f$ on $X$ possess a fixed point.
...

**1**

vote

**0**answers

59 views

### Does real analytic imply locally contractible?

The statement is true for complex analytic spaces. I am not sure who proved this result.
I ask the same question in the real case.

**2**

votes

**1**answer

101 views

### Totally bounded group topologies on $\Bbb Q$ with trivial intersection of two neighborhoods

Are there totally bounded group topologies $\mathcal S$ and $\mathcal T$ on $\Bbb Q$ such that for some open sets $A\in\mathcal S$ and $B\in \mathcal T$ we have $A\cap B=\{0\}$?

**2**

votes

**0**answers

58 views

### question about a genralized Skorokhod topology

Let $D:=D([0,1], R)$ be the space of all cadlag functions defined on $[0,1]$. Now we have the known Skorokhod topology defined by: $\forall f, g\in D$
...

**3**

votes

**0**answers

126 views

### Group topologies on $\Bbb Z$ with dense open sets in $\Bbb T$

Let $\Bbb Z$ be embedded in the circle group $\Bbb T$ by an irrational rotation and regard $\Bbb Z$ as a subgroup/subspace of the topological group $\Bbb T$.
Are there group topologies $\mathcal A$ ...

**5**

votes

**2**answers

95 views

### scott continuity, sub additivity

Let $(X, \sqsubseteq_x)$ and $(Y, \sqsubseteq_y)$ be two posets and let $\delta_x:X \to X$ and $\delta_y:Y \to Y$ be two closure operators (monotone, inflationary, idempotent). Then, a monotone ...

**0**

votes

**0**answers

133 views

### extension of function in an abstract metric space

my question is the following.(Maybe my title is not quite proper for this question):
Let $(E,d)$ be a Polish space (or a separable metric space), let $\xi: E\to R_+$ be a Lipschitz function. Now set ...

**2**

votes

**1**answer

104 views

### Characterization of a subset of [0,1] $III$

I have a question related to the previous one.
Characterization of a subset of [0,1] $II$
Let $T\subseteq [0,1]$ be some subset closed under lower limit topology, i.e.
$t_n$ is said to converge to ...

**2**

votes

**0**answers

43 views

### Removable sets for simply connectedness of a differentiable manifold

I am sorry that my question might be stupid for experts, but I really do not know the answer.
Let $M$ be a smooth $n$-manifold. We assume that there exists a distance $d$ on $M$ such that $(M,d)$ is ...

**3**

votes

**1**answer

83 views

### cartesian product rigidity for the punctured open disc

Q1: Let $D^n$ ($n\geq 1$) be the n-dimensional open disk. If $D^n-\{0\}$ is homeomorphic to $X\times (0,1)$, for some topological space $X$, does it necessarily follow that $X$ is homeomorphic to ...

**1**

vote

**1**answer

115 views

### Is there any standard procedure to properly define a composite metric?

For example, space $A$ has a metric $\rho$, and its subspace $B\subset A$ has a metric $d$, which happens to have much better properties than $\rho$.
So if $x_{1},x_{2}\in A\setminus B$, but they are ...

**1**

vote

**1**answer

175 views

### Relative Compactness vs Way Below in Locally Compact Hausdorff Spaces

Let $Y$ be a subset of a locally compact Hausdorff topological space $X$ and consider the following properties.
$\overline{Y}$ is compact.
Every open cover of $X$ has a finite subcover of $Y$.
...

**4**

votes

**1**answer

80 views

### metrizable neighborhoods of compact subsets

This is a question about general topology:
Assume we are given a first countable Hausdorff space and a compact subset K.
Is it possible to find a countable basis of open neighborhoods of K ?
...

**13**

votes

**1**answer

1k 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 ...

**7**

votes

**1**answer

354 views

### Counting norms on an infinite dimensional vector space

It is known that whenever E is a finite dimensional real vector space, there is only one norm on E up to equivalence (actually one non discrete vector space topology).
Is it known what happens when E ...

**1**

vote

**0**answers

91 views

### question about the tightness of probability measures for a general topological space

Let $(E,\mathcal{X})$ be a topological space and denote by $\mathcal{F}$ its collection of Borel subsets referred to $\mathcal{X}$. Now let $\mathcal{P}$ be the set of all probabilities on ...

**5**

votes

**2**answers

361 views

### If every nonseparable metric space contains a sequence of subsets with no convergent subsequence, does the Continuum Hypothesis hold?

If every nonseparable metric space contains a sequence of subsets with no convergent subsequence, does the Continuum Hypothesis hold?
The answer is negative, and in the interests of self-contained ...

**3**

votes

**0**answers

141 views

### Continuous extension of Riemann maps and the Caratheodory-Torhorst Theorem

If $G\subsetneq\mathbb{C}$ is a simply-connected plane domain, then by the Riemann mapping theorem there is a conformal isomorphism $\newcommand{\D}{\mathbb{D}}\varphi:\D\to G$, where $\D$ is the unit ...

**41**

votes

**3**answers

2k views

### If any open set is a countable union of balls, does it imply separability?

If a metric space is separable, then any open set is a countable union of balls. Is the converse statement true?
UPDATE1. It is a duplicate of the question here
...

**6**

votes

**1**answer

251 views

### Immersion of $S^1$ in $\mathbb{R}^2$ that can be extended to $\mathbb{D}$

I was wondering about $\mathcal{C}^{\infty}$ immersions $S^1 \longrightarrow \mathbb{R}^2$ which are the restriction to $\partial \mathbb{D}$ of an immersion $\overline{\mathbb{D}} \longrightarrow ...

**3**

votes

**0**answers

103 views

### The Klee Trick for subsets of $\mathbb{R}^3$

I asked the question Is dimension given by the Klee trick ever sharp?
That question remains unanswered, so I thought I might ask a slightly more concrete question along those lines.
Given a metric ...

**5**

votes

**3**answers

127 views

### Measure on hyperspace of compact subsets

For a Polish space $X$, let $K(X)$ be the set of compact subsets of $X$. Given the topology with basis $\{K\in K(X):K\subset U_0, K\cap U_1\neq\emptyset,\ldots,K\cap U_n\neq\emptyset\}$ for open sets ...

**8**

votes

**2**answers

317 views

### Totally disconnected subspaces

This question is motivated by this one, where no simple solution within ZFC seems to exist. Let me ask a weaker question then.
Suppose that $K$ is a compact, Hausdorff, non-metrizable space. Does it ...

**1**

vote

**1**answer

83 views

### Which Hyperspace Topologies Yield Topological Lattices?

At least on a continuum, the binary operations of intersection and union are Vietoris-continuous. But the Vietoris topology only applies the the collection of NONEMPTY closed subsets, and this means ...

**11**

votes

**1**answer

1k views

### Distributivity of group topologies on $\Bbb Z$

Let $\mathcal L$ be the set of all group topologies on $\Bbb Z$.
It is known that $(\mathcal L,\subseteq)$ is a modular complete lattice [1].
Is $(\mathcal L,\subseteq)$ distributive?
$$~$$
[1] ...

**3**

votes

**1**answer

268 views

### Decomposition vs filtration vs stratification

Are there accepted/standard definitions of "decomposition", "filtration", and "stratification" of a topological space (or of a manifold, or of an algebraic variety) $X$?
I tend to understand ...

**1**

vote

**1**answer

86 views

### Can we build a continuous function from “fibers”/preimages defined over a topological base?

I am looking for some proof insight or literature references for a statement which, if it's actually true, is probably a pretty trivial thing. I hope the question has not been asked here before, and ...

**2**

votes

**0**answers

38 views

### Local cross sections in infinite dimensional groups

Let $G$ be an (infinite dimensional) compact connected abelian group and $H$ be a closed subgroup of $G$. The quotient morphism $G\to G/H$ may not possess a local cross section, there are examples ...

**1**

vote

**0**answers

64 views

### Branch point and alexandrov embeddedness

This is a question I have asked on mathstackexchange with a bounty but without any answer; it is probably more adapted to mathoverflow:
Let us assume that $\Sigma_n$ is a sequence of topological ...

**3**

votes

**1**answer

115 views

### Lipschitz function with somewhere dense image

Let $Q=[-1,1]^2$ denote the unit square and let $f:Q\to Q$ be a Lipschitz function such that for any ball $B(a,r)\subset Q$ with radius $r$, the width of the image $f(B(a,r))$ is at least $cr$ for ...

**7**

votes

**3**answers

383 views

### Binary relations as the topological closure of the diagonal

If $(X,\tau)$ is a topological space, we can consider the product topology on $X\times X$ and take the closure of the diagonal $\Delta_X = \{(x,x): x\in X\}$, which we denote by ...

**7**

votes

**1**answer

430 views

### Group structure on an arbitrary completely regular topological space that makes $(x,y)\mapsto xy^{-1}$ continuous at $(1,1)$

Let $(G,\mathcal T)$ be a completely regular topological space. Is there a group structure on $G$ such that the function
$$f:G\times G\to G$$
$$f(x,y)=xy^{-1}$$
is continuous at $(1,1)$?

**6**

votes

**0**answers

160 views

### A compactification of the non-negative rationals with the discrete topology

Let $S$ be the set of non-negative rational numbers. (If it makes any difference, feel free to take the non-negative dyadic rationals instead.) Let $B=\ell_\infty(S)$; as a ${\rm C}^*$-algebra this is ...

**10**

votes

**1**answer

733 views

### Reference request: Book of topology from “Topos” point of view

Question: Is there any book of topology in the modern language of topos theory?
Motivation:
In "Sheaves in Geometry and Logic" Mac Lane and Moerdijk say: "For Grothendieck, topology became the ...

**1**

vote

**0**answers

34 views

### The topology of complete minimal surfaces of finite total Gaussian curvature [closed]

Suppose that M is
a complete minimal surface with finite total curvature. If M is embedded in $\mathbf{R}^3$, then
we observe that M viewed from infinity looks like a plane passing through the ...

**11**

votes

**1**answer

260 views

### Maximum length of a chain of topologies on $\Bbb R$

Let $\frak T$ be a totally ordered set of topologies on $\Bbb R$.
Is $|\frak T|\le |\Bbb R|$?

**3**

votes

**0**answers

138 views

### $S^{3}$-valued harmonic analysis

Edit:
Note that $S^{3}$ with the quaternion operation is a group. For a locally compact Abelian group $\Gamma$ we consider
$$\tilde{\tilde{\Gamma}}=\{\phi:\Gamma \to S^{3} \mid ...

**2**

votes

**1**answer

71 views

### Separating Differences of Open Sets

Has anyone ever considered something like the following separation axiom?
$(*)$ For any pair of open sets $O$ and $N$, there exist disjoint open sets containing $O\setminus N$ and $N\setminus O$.
...

**21**

votes

**2**answers

1k views

### A question about “Zariski dense” arguments

This question is a little basic, but I think it is consistent with the goals of MO.
My question is about a certain type of argument in algebraic geometry which exploits the abundance of dense sets ...

**4**

votes

**1**answer

174 views

### Are infinite groups “locally topologizable”?

Does every infinite group admit a Hausdorff topology such that the multiplication and inverse are continuous at $1$ but $1$ is not an isolated point?
The question is inspired by and related to ...

**25**

votes

**9**answers

1k views

### Continuous relations?

What might it mean for a relation $R\subset X\times Y$ to be continuous? In topology, category theory or in analysis? Is it possible, canonical, useful?
I have a vague idea of the possibility of ...

**2**

votes

**0**answers

85 views

### Ostaszewski space's construction Lemma

I'm studying the Ostaszewski's article "On Countably Compact, Perfectly Normal Spaces". I'll add some context. Lemma 1.2 says the following:
Let $X$ be a locally compact, zero-dimensional and ...

**1**

vote

**0**answers

169 views

### Continuous dependence of the roots of a polynomial on its coefficients

In their article "The roots of a polynomial vary continuously as a function of the coefficients" Gary Harris and Clyde Martin give a topological proof of the well-known theorem that the roots of a ...

**4**

votes

**1**answer

145 views

### Is the absolute of a compact space the projective limit of the Stone-Čech compactifications of its open dense subsets?

Is the following statement true, and if it is, does someone have a reference?
Let $X$ be a compact (i.e., compact and Hausdorff) topological space. Then the Gleason space (=Iliadis absolute, ...

**9**

votes

**0**answers

425 views

### A group allowing exactly 7 group topologies

Is there a group $G$ allowing exactly 7 group topologies on $G$: $\mathcal T_{trivial}, \mathcal T_{discrete}, \mathcal T_1, \mathcal T_2,\mathcal T_3,\mathcal T_4, \mathcal T_5$ with
$$\mathcal ...

**8**

votes

**2**answers

341 views

### Ultracoproducts and Cartesian products

Let $X$ be a metrizable compact topological space, let $\mathcal U$ be an ultrafilter, and denote by $X^{\mathcal U}$ the ultracopower of $X$ with respect to $\mathcal U$.
As a C$^*$-algebraist, I ...