**0**

votes

**1**answer

16 views

### Existence of half-planes with respect to regular open sets of the Euclidean plane

I initially asked this question at math.stackexchange.com but there was no reaction, so I thought this may be a good idea to transfer it to mathoverflow.net
Let ...

**2**

votes

**0**answers

35 views

### Topological characterization of injective metric spaces

Let $\ (X\ d)\ \,(Y\ \delta)\ $ be arbitrary metric spaces. A function $\ f:X\rightarrow Y\ $ is called a metric map (with respect to the given metrics $\ d\ \delta$) $\ \Leftarrow:\Rightarrow\ ...

**1**

vote

**1**answer

57 views

### Name for (function, set) pairs?

Right now I'm working on a topological graph theory problem. To prove a theorem I introduced some objects. Has anyone heard of something similar before? I would like to call them by the right name.
...

**0**

votes

**1**answer

45 views

### Special retraction from a metric space onto an arc

Suppose $X$ is a metric space and $A$ is a subspace of $X$ homeomorphic to $[0,1]$ with its usual topology. Let $v$ an end point of $A$, that is $v$ does not disconnect $A$. Is there a retraction $r$ ...

**5**

votes

**0**answers

56 views

### Universality with respect to quotients

Is there an infinite cardinal $\kappa$ for which the following statement (S) true?
(S) : There is a topology $\tau_\kappa$ on $\kappa$ such that for all topological spaces $(X,\tau)$ with $|X|\leq ...

**2**

votes

**2**answers

164 views

### A metric associated with a continuous surjective map $f:X\to Y$

Assume that $f:(X,d_{1})\to (Y,d_{2})$ is a continuous surjective map between compact metric spaces. We define another
metric $d_{f}$ on $Y$ With $$ d_{f}(a,b)=Hd(f^{-1}(x), f^{-1}(y))$$ ...

**4**

votes

**0**answers

59 views

### The name for the quotient property

I asked this question on math@stackoverflow and was suggested to ask it here as well.
We call a surjective $f:X\rightarrow Y$ a quotient mapping if it satisfies, for every $U\subset Y$
...

**-1**

votes

**1**answer

42 views

### differential Proper Maps [on hold]

If $K$ is a subset of $M$ we write $M_{K}(M,M)$ for the set of diffferential maps of $M$ into $M$ with support in $K$.If $K$ is compact,then $M_{K}(M,M)$ consists of maps for which the preimages of ...

**6**

votes

**1**answer

142 views

### cohomology of classifying space of permutation groups

Let $\Sigma_k$ be the permutation group of order $k$.
Let $r: \Sigma_k\to GL(k)$ be the regular representation by permuting the order of the standard basis of $\mathbb{R}^n$.
Let $\rho: ...

**2**

votes

**0**answers

137 views

### A possible generalization of the Borsuk Ulam theorem via action of symmetric groups

The symmetric group $S_{m}$ is equiped with the counting Har measure $\mu$ and the obvious sgn character. Assume that $S_{m}$ acts on $S^{n}$, $n\geq m-1$ and $f:S^{n}\to \mathbb{R}^{n}$ ...

**2**

votes

**1**answer

65 views

### Unbounded convex not containing a ray - example without using a basis

I prove here that an unbounded convex in a finite dimensional space contains a ray. At the same place, I give an example of an unbounded convex not containing a ray in the case of an infinite ...

**3**

votes

**1**answer

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

**3**

votes

**2**answers

134 views

### Is every Montel locally convex vector space compactly generated?

Let $X$ be a Hausdorff locally convex vector space. Recall (my reference is the book of H. Jarchow, Locally Convex Spaces. B.G. Teubner, 1981) that we say that $X$ is a semi-Montel space if every ...

**2**

votes

**0**answers

88 views

### A topological space extracting from a group action

Let $G$ be a compact abelian topological group with invariant measure $\mu$ which acts on a compact Hausdorff space $X$. A $G$-odd function is a continuous function $f:X\to ...

**6**

votes

**0**answers

103 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 $\simeq$ homotopy equivalence. It's known that for any finite simplicial complex $\mathcal{K}$ that ...

**12**

votes

**1**answer

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

**-1**

votes

**0**answers

107 views

### The shape of certain (commutative) topological space

Edit: According to the comment of Simon, I revise the question as follows:
Let $A=C_{0}(\mathbb{R}^{2})$. Let $B$ be the Banach subalgebra of $A$ generated by all $f\in ...

**0**

votes

**0**answers

15 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

71 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

215 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

199 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

51 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

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

**1**

vote

**0**answers

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

**2**

votes

**0**answers

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

**4**

votes

**2**answers

78 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

114 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

93 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

34 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

77 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

106 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

148 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

68 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 ?
...

**9**

votes

**1**answer

543 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

232 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

79 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

331 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

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

**39**

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

227 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

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

**4**

votes

**2**answers

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

**4**

votes

**1**answer

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

**0**

votes

**1**answer

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

**8**

votes

**0**answers

673 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?
$$~$$
...

**3**

votes

**1**answer

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

**0**

votes

**1**answer

68 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

37 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

62 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

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