**2**

votes

**0**answers

104 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

64 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

109 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

129 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

91 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

109 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

85 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

381 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

70 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

212 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

46 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

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

**3**

votes

**0**answers

107 views

### Order dimension vs topological dimension of a poset

Let $(P,\leq)$ be a partially ordered set (poset). We define the ordering dimension $\textrm{dim}_\textrm{ord}(P)$ of $(P,\leq)$ to be the smallest cardinal $\kappa$ such that there exist a set of ...

**-1**

votes

**1**answer

58 views

### extension of a continuous function [closed]

Please is it true that if $f:K\to \mathbb{R}$ is a continuous function of a comact set $K\subset\mathbb{R}^m$ then $f$ can be extended to a continuous function of some open neighbourhood of $K$?
...

**4**

votes

**1**answer

212 views

### If $S\subset\mathbb R$ is a $G_\delta$ there is a function $\mathbb R\to\mathbb R$ continuous exactly on $S$. Reference?

Let $S\subset\mathbb R$ be a $G_\delta$ set. A variation on the construction of the Thomae function (which is discontinuous on the rationals and continuous elsewhere) shows that there is a function ...

**5**

votes

**0**answers

134 views

### Examples of topologies compatible with a given dual pair

Let $\langle X, Y \rangle$ be a pair of vector spaces put in duality by a non-degenerate bilinear form $\langle \cdot, \cdot \rangle: X \times Y \to \mathbb{R}$. A topology $\tau$ on $X$ is called ...

**7**

votes

**0**answers

131 views

### A forked plane continuum

I came up with this question while trying to solve the following MO one:
Does every connected set that is not a line segment cross some dyadic square?
Suppose $C$ is a plane continuum (i.e. a ...

**0**

votes

**1**answer

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

**4**

votes

**2**answers

293 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

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

**2**

votes

**1**answer

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

**7**

votes

**1**answer

101 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

213 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}(y_{1},y_{2})=Hd(f^{-1}(y_{1}), ...

**4**

votes

**0**answers

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

**7**

votes

**1**answer

231 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

157 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

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

**6**

votes

**1**answer

597 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

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

**3**

votes

**0**answers

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

**7**

votes

**1**answer

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

**12**

votes

**1**answer

268 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

103 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

252 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

233 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

60 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

104 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

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

**6**

votes

**2**answers

102 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

134 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

117 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

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

**16**

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

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