Questions tagged [metric-spaces]
A metric space is a pair $(X,d)$, where $X$ is a set and $d:X \times X \to \mathbb{R}$ satisfies the following conditions for all $x,y,z \in X$. (Symmetry) $d(x,y)=d(y,x)$. (Identity of Indiscernibles) $d(x,y)=0$ if and only if $x=y$. (Triangle Inequality) $d(x,y)+d(y,z) \geq d(x,z)$.
442 questions
1
vote
1
answer
160
views
Is the following set closed with respect to the Hausdorff metric? [closed]
Let $(X,d)$ be a non-empty complete metric space, let
M be the set of all non-empty compact subsets equipped
with the Hausdorff metric, and $N$ be a positive integer.
Is
$$
\{A\subset X : 1\le \# A \...
16
votes
1
answer
632
views
Does there exist a ``continuous measure'' on a metric space?
Let $X$ be a separable complete metrizable space. Does there exist a complete metric $d$ and a Borel measure $\mu$ such that
(a)
$\mu(B_r(x))<\infty$ for every open ball $B_r(x)$ of radius $r>...
8
votes
1
answer
575
views
Does the topology induced by the Hausdorff-metric and the quotient topology coincide?
Assume that $X$ is a metric space, and $\sim$ is an equivalence relation on $X$.
Furthermore we assume that the number of elements in each equivalence class
is bounded by a positive constant.
Does ...
3
votes
1
answer
167
views
Does the Chen-Chvátal Conjecture on metric spaces hold for maximal lines?
A conjecture by Chen and Chvátal asks for the minimum number of induced "lines" in a metric space, in the same spirit as the De Bruijn–Erdős theorem.
Though the statement of this problem on Douglas ...
4
votes
2
answers
279
views
Hausdorff dimension of sequence space
Let $\Omega =\{0,1\}^{\mathbb{N}}$ denote the set of infinite sequences with elements $0$ or $1$. Let $d$ be the metric on $\Omega$ given by $d((x_n),(y_n))=1/2^m$, where $m=\min\{i\in\mathbb{N}\,:\,...
4
votes
1
answer
219
views
Is the following product-like space a Polish space?
Let $\mathcal{M}_1(\mathbb R)$ denote the space of Borel probability measures on $\mathbb R$. The space is a Polish space (a space which admits a complete, separable, metric) using, say the Levy-...
4
votes
2
answers
309
views
Finitely isometrically persistent metric spaces
The goal of this question is to develop further the discussion
initiated in Under which conditions is it possible to find points with same distances under bi-Lipschitz map. The mentioned question was ...
12
votes
1
answer
575
views
Is $\ell_p$ $(1<p<\infty)$ finitely isometrically distortable?
Let $Y$ be a Banach space isomorphic to $\ell_p$, $1<p<\infty$. Is it true that any finite subset of $\ell_p$ is isometric to some finite subset of $Y$?
It seems to me that it is an interesting ...
3
votes
1
answer
806
views
Under what conditions can we put a complete norm on a linear subspace of a separable Banach space?
Question 1 Let $X$ a separable Banach Space and $Y\subset X$ linear subspace. When can we put a norm on $Y$ in such a way so that $Y$ is a Banach space?
Clearly if $Y$ is closed in the norm topology ...
7
votes
1
answer
4k
views
The Schwartz space is not normable
The Schwartz space of rapidly decreasing function (as well as their derivatives) on $\mathbb R^n$ is a Fréchet space, whose (metric complete) topology is given by the usual countable family of semi-...
1
vote
1
answer
403
views
Minkowski spacetime in Newman Penrose formalism
I have a rather basic question for which (surprisingly!) I cannot find a short and clear answer anywhere:
I'm currently looking at the Newman Penrose (NP) formalism (I use primarily Chandrasekhar's "...
14
votes
2
answers
1k
views
Baire Category Theorem for complete uniform spaces
The version of the Baire Category Theorem I have in mind is the statement that a countable intersection of dense open subsets of a complete metric space is dense. The question is: is it likewise ...
8
votes
1
answer
2k
views
Is there an $\infty$ version of the Wasserstein distance between two distributions?
If I have two probability distributions $\mu$ and $\nu$ defined on $X$ and $Y$ respectively, then the $p$-th Wasserstein distance between the two of them is defined as $$W_p(\mu,\nu) = \left(\inf_{\pi\...
6
votes
3
answers
432
views
Spaces that can't be embedded in the plane
If $X$ and $Y$ are topological spaces, let us write $X \preceq Y$ whenever $X$ embeds in $Y$.
Earlier today, I asked the question:
Is this a well-quasi-order on the completely metrizable spaces?
...
2
votes
1
answer
96
views
Conditions for a set being closed under taking complement of a ball twice
Given a subset $S$ of a finite metric space $F$ with a distance function $d(,)$ and a number $\delta > 0$ let $N_\delta(S) = \{x \in F| d(x,S)\ge \delta\}$. Is there a characterization of ...
4
votes
1
answer
269
views
Takahashi convex metric spaces
A Takahashi convex metric space is a metric space $(X,d)$ such that $\exists W : X \times X \times [0,1] \rightarrow X$ that satisfies :
$d (u, W(x,y; \lambda)) \leq \lambda d(u,x) + (1- \lambda) d(u,...
2
votes
0
answers
99
views
Equicontinuity of $\{f_{2n}\circ f_{2n-1}\}$
Let $(X,D)$ be a compact metric space and $\{f_n\}_{n\in\mathbb{N}}$ be a sequence of homeomorphisms of $(X,d)$. It is easy to see that if $\{f_n\}$ is uniformly convergent then $\{g_n\}$ defined by $...
4
votes
2
answers
399
views
Terminology for metrics?
For some reason, I'm currently interested in the following relation - let $d,\delta$ be two metrics on some space $X$. We call the metrics _______ if there are some constants $C,E>0$ such that for ...
5
votes
0
answers
205
views
A generalization of SOCA
Roughly speaking, SOCA (Semi Open Coloring Axiom) says that for an open coloring of the unordered pairs over an uncountable separable metric space you can always find an uncountable homogeneous subset ...
5
votes
4
answers
4k
views
Non-separable Banach space
The vector space $C_b(\mathbb R)$ of bounded continuous functions on $\mathbb R$ is non-separable: it is possible to produce a direct proof of this fact, mimicking the standard proof for the non-...
18
votes
3
answers
7k
views
Quotient of metric spaces
Let $(X,d)$ be a compact metric space and $\sim$ an equivalence relation on $X$ such that the quotient space $X/\sim$ is Hausdorff. It is well known that in this case the quotient is metrizable. My ...
1
vote
1
answer
524
views
Convergence in the Wasserstein metric and the square root function
Let $f$ be a smooth probability distribution on the unit square $S$ such that $f(x)>0$ on $S$. Let $\{g_i\}$ be a sequence of smooth probability distributions such that $g_i(x)>0$ on $S$ as ...
2
votes
0
answers
126
views
Nearly injective Banach spaces
There was a problem about nearly injective metric spaces posed by Aronszajn and Panitchpakdi which I actually solved in the past but it still remains open (as long as I know) for the Banach spaces--so ...
5
votes
1
answer
148
views
Continuity of central point operation
Stanisław Mazur and Stanisław Ulam, in their joint paper, characterized the mid-point $\ \frac{a+b}2\ $ in a Banach space in pure metric terms (without algebra). This allowed them to show that any two ...
0
votes
0
answers
68
views
Estimate bounds on Minkowski distance from point to a segment in Lp space
Assumptions
Let
$L_p(x,y)=(\sum_i|x_i - y_i|^p)^{1/p}$ (Minkowski metric),
$a,b$ be arbitrary $n$-dimensional points,
$c$ be a point that satisfies $L_p(a,b) = L_p(a,c) + L_p(c,b)$, i.e., a point ...
8
votes
2
answers
689
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\ \...
2
votes
2
answers
620
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}), f^{-1}(...
8
votes
1
answer
881
views
Gromov-Hausdorff convergence for non-compact metric spaces
Let $(X_i,p_i)$, $(X,p)$ be pointed connected proper metric spaces (i.e. the closures of balls are compact). Are the following two statements equivalent?
$\forall r > 0: \bar{B}_r(p_i) \stackrel{...
16
votes
1
answer
600
views
If all balls around two points are isometric... -- manifold version
This question is a natural follow-up of this other question, asked earlier today by wspin.
Let's say that a metric space $(X,d)$ has two poles if:
there are two distinct points $x$, $y$ such that ...
20
votes
2
answers
1k
views
If all balls at $x$ and $y$ are isometric is there an isometry sending $x$ to $y$?
Let $(X,d)$ be a metric space and $x,y \in X$. Assume that for all $r > 0$ the balls $B_r(x)$ and $B_r(y)$ are isometric.
Is it true that there exists an isometry of $X$ sending $x$ to $y$?
2
votes
1
answer
139
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 ...
22
votes
2
answers
2k
views
Is every elementary absolute geometry Euclidean or hyperbolic?
Absolute geometry is any one that satisfies Hilbert's axioms of plane geometry without the axiom of parallels. It is well-known that it is either the Euclidean or a hyperbolic plane. For an elementary ...
2
votes
0
answers
95
views
Cover a set with balls centered at smooth functions (Ascoli theorem)
Assume $M$ to be a compact $n$-dimensional manifold, endowed with a complete metric.
Let us consider the space $C^\infty(M)$ endowed with the standard $C^\infty$ topology, i.e. generated by the ...
3
votes
3
answers
294
views
What is the most ``diverse'' $k$-subset of $[0, 1]^m$?
Given a non-negative integer $m$, let $\Omega_m$ denote the set of vectors $\omega = (\omega_1, \dots, \omega_m) \in [0, 1]^m$ such that $\sum_i{\omega_i} = 1$.
The set $\Omega_m$ is together with a ...
2
votes
0
answers
122
views
First-countable topological monoids without local absorbing elements whose topology is induced by a semimetric
This is a follow up of Question 163246. For the reader's convenience, let me first copy&paste some basic definitions.
We let a semimetric on a set $X$ be a function $d: X \times X \to [0,\infty]$ ...
2
votes
2
answers
241
views
If $(\mathbb M, \tau)$ is a topological monoid, is $\tau$ always induced by a [left] subinvariant semimetric?
Let me start by recalling some basic definitions (just for the sake of avoiding misunderstandings due to the vocabulary of the post).
Basically following some ideas of W. Lawvere (but not his ...
2
votes
0
answers
73
views
A construction with Hyperspace of continums
Let $X$ be a compact connected metric space. Its hyperspace is denoted by $2^{X}.$ $X$ is considered as a subset of $2^{X}$ via the embedding $x\mapsto \{x\}$. Assume that $f:X\to X$ is a ...
5
votes
2
answers
2k
views
Isometric embeddings of metric spaces in Hilbert spaces
There are plenty of isometric embeddings of metric spaces in Banach spaces. Nevertheless, I have been unable to find any significant result on isometric embeddings into Hilbert spaces. My question is: ...
5
votes
1
answer
982
views
sets without perfect subset in a non-separable completely metrizable space
Suppose $X$ is a completely metrizable (but not separable) space. Suppose $D$ is a Borel (actually $F_{\sigma}$) subset of $X$. Is there any logical relation between the following statements?
[1] $D$...
6
votes
2
answers
3k
views
Locally compact space that is not topologically complete
It is know that for a metric space, it is locally compact and separable iff exist an equivalent metric where a set is compact iff it is closed and limited. So, locally compact and seperable metric ...
11
votes
1
answer
823
views
Completely Metrizable Space and Baire Theorem
Is well know that completely metrizable spaces are Baire's spaces. Reciprocally, if $X$ is a Baire's metric space, then $X$ is completely metrizable?
-1
votes
3
answers
502
views
Metric-space with a ball inside a smaller ball [closed]
Could you tell me an example to an $(X,\varrho)$ metric-space with balls $B(x_1,r_1)$ and $B(x_2,r_2)$ where $r_1<r_2$ but also $B(x_2,r_2)\subset B(x_1,r_1)$?
5
votes
1
answer
3k
views
How is the notion of a Lipschitz structure on a manifold defined?
According to wikipedia, there is such a definition. $\:$ The candidate that I can come up with is
"an equivalence class of metrics that induce the topology and make the space locally bi-Lipschitz
to ...
1
vote
1
answer
217
views
Open set of geodesics implies the set of starting points is open
Let $X$ be a complete and separable metric space, let $G(X) \subset C([0,1],X)$ be the space of continuous curves from $[0,1]$ to $X$ with constant speed, i.e.
$$ d(f(t),f(s)) = |t-s| d(f(0), f(1)). $$...
3
votes
0
answers
150
views
Metric space has a basis countably locally finite
it is know that all metric space has a basis countably locally finite and this result is proved by using axiom of choice. Then, the natural question is: is possible to prove this result without using ...
3
votes
2
answers
936
views
Metrization of spaces of functions
Let $M$ and $N$ be topological spaces. Are there necessary and sufficient conditions on the topological properties of the spaces such that $C(M,N)$ is metrizable?
For $M$ compact and $N$ a metric ...
4
votes
1
answer
370
views
Inducing metric spaces
Let $f\colon \mathbb{R}_{\geq0} \to \mathbb{R}_{\geq0}$ be a function. We say that $f$ has the property of inducing metric spaces, whenever for all metric space $(X,d)$, $(X, f \circ d)$ is also a ...
1
vote
1
answer
276
views
A measure of closeness to a discrete set in a metric space
Consider a metric space $(M,d)$ and consider a collection of points $X_n := \{x_1,\dots,x_n\} \subset M$. Let
$$
N_\epsilon(y;X_n) := | \{ x \in X_n: d(x,y) \le \epsilon \}|
$$
where the RHS is ...
13
votes
1
answer
3k
views
Does this metric have an official name? Lévy metric? Ky Fan metric?
Let $X$ and $Y$ be random variables taking values in a separable metric space $(S,d)$. The metric I have in mind is
$$\rho(X,Y) = \mathbb{E}[\min\{d(X,Y),1\}]$$
if $X$ and $Y$ take values in the a ...
17
votes
4
answers
2k
views
Metrics for lines in $\mathbb{R}^3$?
I seek a metric $d(\cdot,\cdot)$ between pairs of (infinite) lines in $\mathbb{R}^3$.
Let $s$ be the minimum distance between a pair of lines $L_1$ and $L_2$.
Ideally, I would like these properties:
...