All Questions
17 questions
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 ...
- 888
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:=...
- 41.9k
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 ...
- 141
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 ...
- 41.9k
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 $...
- 250
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 ...
- 41.9k
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 &...
- 99
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 ...
- 1,630
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 ...
- 41.9k
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$ ...
- 5,529
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,529
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 ...
- 666
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)$...
- 41.9k
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., ...
- 998
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$ ...
- 1,375
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 (...
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 ...
- 411