Questions tagged [metric-spaces]
Metric spaces are sets on which a metric is defined. A metric is a generalization of the concept of "distance" in the Euclidean sense. Metric spaces arise as a special case of the more general notion of a topological space. For questions about Riemannian metrics use the tag (riemannian-geometry) instead.
15,915
questions
1
vote
0
answers
20
views
The existence of $f$ $k$-lipschitz in the subset $Y\subset \mathbb{R}$ implies the existence of a real $k$-lipschitz function $g$ such that $g|_Y=f$.
Here is the problem from a book for metric spaces I'm trying to solve:
Let $f:Y\rightarrow\mathbb{R}$ $k$-lipschitz in the subset $Y\subset \mathbb{R}$. Prove that there is a $k$-lipschitz function $...
- 31
0
votes
0
answers
22
views
when do we say a metric space is quasi-invariant under a function?
A measure of a space that is equivalent to itself under "translations" of this space. More precisely: Let $(X,B)$
be a measurable space (that is, a set $X$
with a distinguished $ σ$
-algebra ...
- 1
-2
votes
0
answers
17
views
Hyperbolic metric space and Cayley graph of a group [closed]
The following definition is given in the book "Group Theory from a Geometrical Viewpoint"
Proposition 2.1. The following are equivalent for a geodesic metric space X.
(1) Triangles are slim....
- 11
7
votes
1
answer
203
views
Problem about fixed points in a complete metric space
Let $(X,d)$ be a non-empty complete metric space and let $ f:X \rightarrow X$ be a function such that for each positive integer $n$ we have
(i) if $ d(x,y)<n+1$ then $d(f(x),f(y))<n$
(ii) if $d(...
0
votes
0
answers
53
views
Prove that the usual metric and other metric induce the same topology
I am working on A course on Borel sets, by S.M. Srivastava. There is this problem I am working on that states the following:
Show that both the metrics $d_1$ and $d_2$ on $\mathbb{R^n}$ defined in 2.1....
- 329
0
votes
0
answers
16
views
Can a finite Wasserstein metric on Euclidean support be embedded in a Euclidean space?
Thanks for everyone's help with understanding finite metric embeddings in Euclidean space. I have a follow-up question.
Say we have the Wasserstein distance between $n$ distributions in Euclidean ...
0
votes
1
answer
55
views
Conditions on a finite metric that guarantees embedding in Euclidean space? [duplicate]
If we have $n$ points in some metric space, do there exist coordinates for the $n$ points in an $n-1$ dimensional Euclidean space with exactly the same pairwise distances as in the original space?
...
0
votes
0
answers
25
views
Proving a the distance between Cauchy sequences converges [duplicate]
Assume we have two Cauchy sequences { $x_n$ } and {$y_n$} in the metric space $(X,d)$. Is it true that the sequence {$a_n$}$=d(x_n,y_n)$ is convergent in $\mathbb{R}$? Here is my try: $$$$
Since those ...
- 379
1
vote
2
answers
71
views
Real Analysis Question about Limit points and ε-neighborhoods
The question says "Prove that a point $x$ is a limit point of a set $A$ iff every ε-neighborhood of $x$ intersects $A$ at some point other than $x$."
I am having trouble proving the reverse ...
- 81
0
votes
1
answer
46
views
What, if anything, is this metric on $\mathbb{R}^2$ named? And, what do the open balls in this metric space geometrically look like?
For each $\mathbf{x} := \left( \xi_1, \xi_2 \right) \in \mathbf{R}^2$, let
$$
\lVert \mathbf{x} \rVert := \sqrt{ \xi_1^2 + \xi_2^2 }.
$$
And, for any pair of points $\mathbf{x} := \left( \xi_1, \xi_2 \...
- 26.9k
0
votes
0
answers
56
views
If $\forall n,\sum_ka_{n,k}^2<\infty$ and $\forall k,a_{n,k}\to b_k$, how to show that $\sum_kb_k^2<\infty$? [closed]
Let $\ell^2$ denote the metric space of all the square-summable sequences of real numbers. Let $p_n = \left( a_{n1}, a_{n2}, a_{n3}, \ldots \right)$ for $n = 1, 2, 3, \ldots$ be a sequence of points ...
- 26.9k
0
votes
0
answers
34
views
There is at least one point of every non-empty open subset of the $\ell^2$ space whose first coordinate is nonzero [duplicate]
Here we take
$$
\mathbb{N} := \{ 1, 2, 3, \ldots \}.
$$
Let $\ell^2$ denote the set of all the real (or complex) sequences $\left( \xi_i \right)_{i \in \mathbb{N} }$ such that the series $\sum \left\...
- 26.9k
0
votes
0
answers
69
views
The function $d \colon \mathbb{R}^2 \longrightarrow \mathbb{R}$ defined by $d\big((a,b)\big)=\lvert x-y\rvert$ is continuous [duplicate]
Let the function $d \colon \mathbb{R}^2 \longrightarrow \mathbb{R}$ be defined by
$$
d\big( (x, y) \big) := \lvert x-y \rvert \qquad \mbox{ for all } (x, y) \in \mathbb{R}^2.
$$
Let $\mathbb{R}$ and $...
- 26.9k
0
votes
0
answers
42
views
The diameter of the union of two sets in a metric space cannot exceed the sum of the diameters of the two sets and the distance between them
Let $A$ and $B$ be any two (nonempty) sets in a metric space $(X, d)$. Then how to show that
$$
d (A \cup B) \leq d(A) + d(B) + d(A, B)? \tag{0}
$$
Here we have the following definitions:
For any (...
- 26.9k
0
votes
0
answers
53
views
Given a metric $d$, is continuity of $f$ absolutely essential for the composite function $f \circ d$ to be a metric (equivalent to $d$)? [closed]
Let $d$ be a metric on a nonempty set $X$, and let $f \colon [0, +\infty) \longrightarrow [0, +\infty)$ be a function such that (i) $f(0) = 0$, (ii) $f(r+s)\leq f(r) + f(s)$ for all $r, s \in [0, +\...
- 26.9k