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

Filter by
Sorted by
Tagged with
21
votes
2answers
877 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$?
7
votes
1answer
400 views

Hausdorff distance and Cauchy sequences

This is a generalization of an older question. Let $(X,d)$ be a metric space and let $(A_n)_{n\in\mathbb{N}}\subseteq X$ be a sequence of non-empty closed subsets such that for all $\varepsilon > ...
11
votes
1answer
480 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 ...
0
votes
1answer
152 views

does there always exists a path $g:[0,1] \rightarrow X$ from $f(0)$ to $f(1)$ that has the same image as $f$ and ..?

Suppose $(X,d)$ is a metric space and $f:[0,1] \rightarrow X$ is a path in $X$ with no-zero finite length $L$. Then, does there always exists a path $g:[0,1] \rightarrow X$ from $f(0)$ to $f(1)$ that ...
12
votes
3answers
4k views

A metric for Grassmannians

I'm reading an article by Ricardo Mañé, Hausdorff dimension is diffeomorphism. I'm having a technical problem. Sorry for my ignorance, but I would like a reference which explains how to equip the ...
30
votes
5answers
1k views

Trigonometry / Euclidean Geometry for natural numbers?

Let $d(a,b) = 1 - \frac{2\gcd(a,b)^3}{ab(a+b)}$ be a metric on natural numbers without $0$. The metric space $X = \{x_0,x_1,\cdots,x_n\},n>2$ is isometric embeddable in $\mathbb{R}^n$ if and only ...
22
votes
4answers
1k views

A reinterpretation of the $abc$ - conjecture in terms of metric spaces?

I hope it is appropriate to ask this question here: One formulation of the abc-conjecture is $$ c < \text{rad}(abc)^2$$ where $\gcd(a,b)=1$ and $c=a+b$. This is equivalent to ($a,b$ being ...
21
votes
8answers
2k views

When does a metric space have “infinite metric dimension”? (Definition of metric dimension)

Definition 1 A subset $B$ of a metric space $(M,d)$ is called a metric basis for $M$ if and only if $$[\forall b \in B,\,d(x,b)=d(y,b)] \implies x = y \,.$$ Definition 2 A metric space $(M,d)$ ...
15
votes
1answer
499 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 ...
10
votes
3answers
3k 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 ...
11
votes
1answer
374 views

Euclidean tangent cone implies Riemannian manifold

It is known that given a Riemannian manifold, then the tangent cone (as a metric space) at any point $p$ is isometric to the tangent space at $p$, with the metric given by the metric tensor. Is ...
10
votes
2answers
738 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
2answers
1k views

End point compactification for metric spaces

Freundenthal introduced ends of topological spaces and the end point compactification of locally compact topological spaces adding one point for each end of the topological space (see here). For ...
10
votes
0answers
597 views

Two questions around the $abc$-conjecture

Let $d(a,b) = 1-\frac{2 \gcd(a,b)}{a+b}$, $d_{ABC}(a,b) = 1-\frac{2\gcd(a,b)^3}{ab(a+b)}$ be two metrics on natural numbers. The abc-conjecture can be formulated using these two metrics as: For ...
6
votes
1answer
475 views

Differentiability of Distance to a Closed Convex Set [closed]

Let $( \mathbb{R}^d, \| \mathbf{x}\|_2 )$ be a Euclidean Space. For any closed convex set $A\subseteq \mathbb{R}^d$, we define \begin{align} d(\mathbf{x}, A) = \inf \{ \| \mathbf{x} - \mathbf{y} \|_2, ...
12
votes
1answer
762 views

Converse to Banach’s fixed point theorem for ordered fields?

Suppose $R$ is an ordered field. Call a continuous map $f: R \rightarrow R$ a contraction if there exists $r < 1$ (in $R$) such that $|f(x)-f(y)| \leq r |x-y|$ for all $x,y \in R$ (where $|x| := \...
10
votes
1answer
420 views

Probability that a random distance function is metric

Take a random $n \times n$ nonnegative symmetric matrix $D$ with zero diagonal. What is the probability that it is an abstract distance matrix, i.e. satisfies $D_{xy}+D_{yz} \geq D_{xz}$ for all index ...
5
votes
2answers
2k 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 ...
4
votes
1answer
1k 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 ...
3
votes
2answers
998 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: ...
9
votes
3answers
505 views

When is “metric dimension” well defined?

A subset $B$ of a metric space $(M,d)$ is called a metric generating set if and only if $$[\forall b \in B, d(x,b)=d(y,b)] \implies x = y \,. $$ A metric generating set $B$ is called a metric basis ...
5
votes
2answers
752 views

Is the hyperspace of the Hilbert cube homeomorphic to the Hilbert cube

Question: Is the hyperspace of the Hilbert cube $H=[0,1]^\mathbb {N}$ homeomorphic to $H$? Remarks and definitions: 1) The Hilbert cube $H$ is a compact metric space, where the metric is given by ...
4
votes
2answers
311 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 ...
4
votes
2answers
255 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 ...
2
votes
2answers
217 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
0answers
113 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
1answer
75 views

Spatial dimension of a finite graph

If $(X,d)$ is a metric space, we associate with it a simple, undirected graph, called its proximity graph $G(X,d)$ given by $V(G(X,d)) = X$ and $$E(G(X,d)) = \big\{\{x,y\}:x\neq y\in X \text{ and } d(...
1
vote
1answer
184 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)). $$...
1
vote
1answer
92 views

Continuous inclusion of metric spaces of smaller capacity

If $(X,d_X)$ is a compact metric space, and $(Y,d)$ is another metric space. Moreover, suppose that the metric capacity of $(Y,d)$ is at-least that of $(X,d_X)$, that is $$ \kappa_X(\epsilon)\leq \...
1
vote
0answers
48 views

Continuous injection of metric ball into Euclidean ball

This is a follow-up to this post. Suppose that $(X,d_X)$ is a compact metric space with (finite) metric-capacity, defined by $$ \kappa_X(\epsilon)\triangleq\sup\left\{ k : \exists x_0,\dots,x_k \...
1
vote
1answer
110 views

Does there exist a class of real-valued upper semicontinuos functions on $X$ such that $\mathcal{F}$ is countable?

Ian Morris quoted the following: For any upper semi-continuous function $f \colon X \to [-\infty,+\infty)$ defined on a nonempty topological space $X$ there exists a nonempty set $\mathcal{F}\...