Skip to main content

All Questions

Filter by
Sorted by
Tagged with
7 votes
1 answer
331 views

A metric characterization of Hilbert spaces

In the Wikipedia paper on Hadamard spaces, it is written that every flat Hadamard space is isometric to a closed convex subset of a Hilbert space. Looking through references provided by this Wikipedia ...
2 votes
0 answers
159 views

Are there hereditarily square-boxed plane continua?

A plane continuum is a bounded, closed and connected subset of the plane. A bounding box $B$ for a plane continuum $C$ is a rectangle $B=[a,b]\times[c,d]$ (including sides and interior) such that $C$ ...
6 votes
1 answer
500 views

A characterization of metric spaces, isometric to subspaces of Euclidean spaces

I am looking for the reference to the following (surely known) characterization of metric spaces that embed into $\mathbb R^n$: Theorem. Let $n$ be positive integer number. A metric space $X$ is ...
4 votes
0 answers
182 views

Symmetric line spaces are homeomorphic to Euclidean spaces

For points $x,y,z$ of a metric space $(X,d)$ we write $\mathbf Mxyz$ and say that $y$ is a midpoint between $x$ and $z$ if $d(x,z)=d(x,y)+d(y,z)$ and $d(x,y)=d(y,z)$. Definition: A metric space $(X,d)$...
7 votes
0 answers
493 views

A locally compact, complete metric space in which the closure of open balls coincide with the closed ball is Heine-Borel

I saw the following result stated without a proof in a paper about the isometry group of metric measure spaces: Let $X$ be a locally compact, complete metric space such that for all $x \in X$ and $R &...
0 votes
0 answers
177 views

On connectedness of the complement

In the application of Runge type theorems on the approximation of functions with some regularity on a neighborhood of a compact, it is interesting to know whether the complement of a compact has ...
5 votes
1 answer
206 views

If a subspace $F$ is contained in a subspace $G$, and $H$ is close to $G$, can we choose a subspace of $H$ close to $F$?

Let $E$ be a Banach space. Recall that the collection of all closed linear subspaces of $E$ can be turned into a metric space in a number of ways. In particular, consider the notion of a gap: if $G$ ...
2 votes
1 answer
142 views

Explicit construction of a convex metric

Let $(X,d)$ be a compact, connected, locally connected, locally compact metric space. A result of Bing and Moise (independently) states that $(X,d)$ admits a topology preserving convex metric i.e., ...
7 votes
1 answer
399 views

Objects whose morphisms are Lipschitz maps

I recently wondered what are the spaces whose morphisms are Lipschitz maps (by which I mean: "locally Lipschitz"). The answer seems pretty clear, and proceeds like the definition of manifolds: 1) If $...
7 votes
2 answers
608 views

What is the name for a set endowed with a Lipschitz structure?

I am interested in the standard (or widely accepted) name for a mathematical structure, which is intermediate between the structures of a metric space and a topological space. I have in mind the ...
7 votes
0 answers
305 views

Generalizing Gromov Hausdorff distance using Vietoris topology

There are two notions of convergence of a sequence of metric space. One is by the Gromov Hausdorff distance for compact metric spaces, another one is the pointed Gromov Hausdorff convergence for ...
10 votes
0 answers
441 views

A new $\ell_p$-metric on the hyperspace of finite sets?

Let $(X,d)$ be a metric space and $Fin(X)$ be the family of all non-empty finite subsets of $X$. For every $n\in\mathbb N$ the elements of the power $X^n$ are thought as functions $f:n\to X$ where $n:=...
5 votes
2 answers
448 views

Space of curves

I am reading Burago, Burago & Ivanov's book where they distinguish the notion of a curve and a path in the following way: a path in a topological space $X$ is simply a (continuous) map from a ...
5 votes
1 answer
247 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 ...
18 votes
1 answer
4k views

reference for "X compact <=> C_b(X) separable" (X metric space)

I know (and am able to prove via Stone-Čech compactification) that the following is correct: Theorem: A metric space is compact if and only if its space of bounded, continuous, real-valued ...
9 votes
1 answer
1k views

When completion of locally compact length space is locally compact?

As far as I know the answer to the question: "Is it true that a completion of a locally compact length space is locally compact?" - Negative. Does anybody know some metric and/or topological ...
1 vote
1 answer
908 views

What are the topological properties of the metric space retained (inherited) for its completion

Let $(X,d)$ be a metric space and $(\bar{X},\bar{d})$ its completion. There is a list of topological properties Wikipedia - Topological property Does anybody know list which of them are retained (...