Metric spaces are sets on which you can measure the "distance" between any two points. The distance measurement is generally required to be symmetric (so distance from $A$ to $B$ is the same as distance from $B$ to $A$), positive for two distinct points, and obeying the triangle inequality.

learn more… | top users | synonyms (1)

5
votes
2answers
146 views

Two distinct geodesics joining two points on a compact manifold

This is a problem from the book Gallot, Hulin, Lafontaine: Riemannian geometry (3rd edition). Exercise 2.118: For a compact Riemannian manifold, let $p,q$ two points such that $d(p,q) = ...
0
votes
2answers
69 views

If a property holds for arbitrary compact set in a metric space, does it also holds for the metric space?

Suppose a metric space $(X, d).$ Further suppose that a property $A$ holds for arbitrary compact subset of $X.$ Does the property $A$ also hold for $X$? Context I hoped for some general theorems of ...
0
votes
1answer
34 views

Definition of a metric-nonnegativity condition

There is a question in my mind which seems to be silly but I am desperately wanting the answer. Why a metric is defined from $X\times X$ to $\mathbb R$ and not to the set of nonnegative reals? I ...
3
votes
2answers
51 views

Why the continuity of a function on a metric space doesn't depend on metrics?

In the definition of the continuous function on a metric space, it seems to me that a continuous function depends on the metric of the given metric space. Could somebody explain Why the continuity of ...
0
votes
3answers
36 views

What does it mean by that two different metrics may define the same collection of open sets?

What does it mean that two different metrics may define the same collection of open sets? The assumption is that a given set is equipped with two different metrics to form two different metric ...
0
votes
1answer
27 views

Differentiability of rectifiable curves

I have the following question. Let $\gamma:[a,b]\rightarrow X$ be a rectifiable curve in a metric space $(X,d)$. If we consider the length function of $\gamma$, $L:[a,b]\rightarrow [0,L(\gamma)]$, we ...
1
vote
0answers
32 views

$p$-adic metric proof

I need to prove this, Let $p$ be an odd number. It is defined the function $v_p:\mathbb{Q}\to \mathbb{Z}$ as $$v_p\left(p^n\frac{a}{b}\right)=n, \hbox{ if } \mathrm{mcd}(a,p)=\mathrm{mcd}(b,p)=1.$$ ...
1
vote
2answers
47 views

Existence of a metric space M with no continuous map from M to any other metric space

Is it possible to have a metric space M such that there is no continuous map from M to any other metric space?
1
vote
1answer
32 views

Unit ball of continuous functions is a closed set - Proof with neighborhood argument

This question is trivial if one uses sequence definition, but I want to use the usual topological definition of closed set. That is , a set is closed if its complement is open. Let $U=\{f\in ...
1
vote
2answers
51 views

Looking for a proof that the diameter of the smallest bounding circle is less than or equal to $\frac{2}{\sqrt{3}}$ times the diameter of the set

This came up while I was attempting to solve an old journal problem. It's not the easiest result to search for so I figured I would ask. Let $E$ be a subset of $\mathbb{R}^2$, then the diameter of ...
1
vote
1answer
47 views

Choice of Metric Gives Nice Topological Properties

I am looking for examples where choosing one possibility out of many for a metric gives nice topological properties compared to the other choices. Nice is defined as compact, Hausdorff, or whatever ...
5
votes
1answer
113 views

What is an ultrametric normed vector space?

Wikipedia's article on ultrametric spaces seems to suggest that an ultrametic space can also be a normed vector space. It seems to be impossible for an ultrametric to be induced by a vector space ...
0
votes
1answer
27 views

Metric for vector sets

I am currently working on a classification algorithm. Each class is represented by a set of 3D vectors. The cardinality differs for each class. The order of the vectors in a set is completly random. ...
0
votes
1answer
18 views

Definition of a metric space with bounded growth

Does anyone know the definition of a metric space with bounded growth? I was reading a paper by Roe titled Hyperbolic groups have finite asymptotic dimension, where he writes a definition, but I ...
1
vote
0answers
30 views

In regards to metric spaces, does $d^\star$ have an accepted name, or notation? Do any authors use it?

(I write $\omega$ for the set $\{0,1,2,\ldots\}$.) Let $X$ denote a metric space with metric $d$. Define a function $d^{\star} : X^\omega \times X^\omega \rightarrow [0,\infty]^\omega$ by writing ...
0
votes
0answers
17 views

Lebesgue prolongation of a measure and metric spaces

Anyone knows the connection between these two things. Tha books talks about the measure $m^*$ in a ring $\mathcal{R(G_m)}$; $m^*(A \triangle B)$ can be seen like a distance between two sets of the ...
1
vote
3answers
157 views

Let $X$ be a metric space with metric $d$. Show that $d:X \times X \longrightarrow \mathbb{R}$ is continuous.

Can someone please verify my proof or offer suggestions for improvement? I am aware that there is a similar question elsewhere, but I want help with my proof in particular. Let $X$ be a metric ...
3
votes
1answer
97 views

Cauchy sequence in compact metric space

Suppose $f:X\rightarrow X$ continuous function, $X$ is compact metric space with $\rho(f(x),f(y))<\rho(x,y)$ for any $x\neq y$. Let $x_n=f(x_{n-1})$, with $x_0\in X$ arbitrary. I want to show that ...
0
votes
1answer
15 views

Does “uniformly isolated” imply closed?

Let $X$ denote a complete metric space and consider a subset $A \subseteq X$. Call $A$ uniformly isolated iff there exists $r > 0$ such that for all $a \in A$, we have that $B_r(a) \cap A = \{a\}$. ...
1
vote
0answers
38 views

amazing boundedness problem from maximal function

Let $n\geq 2$. For any $M>1$, prove that there exists a constant $C_M>1$ such that for any ball $B$ in $\mathbb{R}^n$, if we denote $MB$ as the concentric ball of $B$ with $M$ times radius of ...
1
vote
1answer
34 views

Homeomorphism of Interior of Convex Polygon to Open Unit Disk

Show that the interior of a non-degenerate convex polygon in $\mathbb{R}^2$ is homeomorphic to the open unit disk in $\mathbb{R}^2$. My attempt: Let $P$ be the set of points in the polygon, let ...
0
votes
0answers
22 views

Two forms of application of metric tensor to get differential length

I'm reading the monograph "Foundations of Tensor Analysis for Students of Physics and Engineering With an Introduction to the Theory of Relativity" by Joseph Kolecki, now retired, of NASA. I have a ...
2
votes
1answer
72 views

Is there any proof for this simple observation? [duplicate]

If we consider the Euclidean space $R^3$, it is simply the space where we live. Here we can find only four point such that distance between any two points is a constant. If we consider the Euclidean ...
3
votes
1answer
66 views

Is a Riemannian metric a $2$-form?

In Lee's Riemannian Manifolds; An introduction to Curvature, he defines a Riemannian metric as an element of $\Gamma(T^2_0M)$, a $(2,0)$-tensor. Is this the same thing as a $2$-form? Is there a ...
1
vote
2answers
34 views

Compact sets and Kuratowski limit

I have been struggling with the following claim: Let $A_n$ be a sequence of compact sets and $A$ a compact set. $A=\lim\sup_n A_n=\lim\inf_n A_n$ iff $d_H(A_n,A)\to 0$ where $d_H(.,.)$ is the ...
2
votes
1answer
42 views

Discontinuous function whose restriction on closed sets is continuous

Let $X$ a metric space, $\{U_i\}$ a collection of non-empty closed sets whose union is all of $X$. Give an example of a function $f:X\rightarrow \mathbb{R}$ such that the restriction $f|_{U_i}$ is ...
2
votes
0answers
31 views

Isomorphism isometries between finite subsets , implies isomorphism isometry between compact metric spaces

Let's $(X_1,d_1), (X_2,d_2)$ be compact metric spaces such that for every finite subset of $X_1$ like $A$ (respectively any finite subset of $X_2$ like $B$ ) there exists a finite subset of $X_2$ ...
2
votes
3answers
104 views

Compactness under different metric?

Consider the metric $\rho(x,y)=\frac{|x-y|}{1+|x-y|}$ on $\mathbb{R}$. Is $(\mathbb{R},\rho)$ compact? In order to show that is not, I wanted to find a sequence such that any subsequence is ...
2
votes
2answers
65 views

If $S \subseteq X$ is closed, is $f(S,r)$ necessarily closed?

Let $X$ denote a metric space. Whenever $S \subseteq X$ and $r \in \mathbb{R}_{\geq 0}$, write $f(S,r)$ for the following set. $$\{x \in X \mid \exists s \in S : d(x,s) \leq r\}$$ Question. ...
1
vote
1answer
46 views

Gromov hyperbolic metric spaces are quasi-convex

I'm aware about the fact stated above, but I'm not able to find some references or proofs besides Gromov's Hyperbolic Groups - Essays in Group Theory. I'll state things precisely. I will consider a ...
2
votes
1answer
24 views

Find continuous $f$ s.t. $f(x,y)^2 = x^2$ ($f: H \to \mathbb{R}$, H connected)

(i) Show that a metric space M is connected if and only if every continuous integer-valued function on M is constant. (ii) Show that $H = \{(x, y) \in R^2 : x > 0\}$ is connected. By ...
2
votes
1answer
60 views

Proving there exist convergent subsequences for bounded sequence of real numbers

I'm trying to teach myself some basic topology by self-studying from Intro to topology by Mendelson. I'm stuck on one of the exercises and can't figure out how to proceed with the proof. The question ...
1
vote
1answer
45 views

Prove that square metric on $\mathbb{R}$ is in fact a metric.

In Munkres's topology, he proves that square metric on $\mathbb{R}^n$ is in fact a metric. By the square metric, I mean this function: $P:\mathbb{R}^n\times \mathbb{R}^n \rightarrow \mathbb{R}$ ...
1
vote
0answers
19 views

Easier proof of “countable hypocompactness”

I am interested in the following result, which appears as an old qual problem: Let $X$ be a metric space and $\{U_i\}$ a countable open cover. Prove that there exists a countable open refinement ...
3
votes
2answers
51 views

Geometry of Metric Spaces

I'm reading a book on Metric Spaces and the author is always talking about the "geometry" of some metric spaces, but he doesn't say what he means by geometry. For example: Despite the fact that ...
0
votes
1answer
30 views

Why is this set closed?[metric-spaces]

I am reading a note, where part of it is this: Why is S' closed? I have tried to argument like this, but I am not able to finish the argument: Let $\{x_n\}$ be a convergent sequence in S', then ...
2
votes
3answers
49 views

Prove the equation $\vert d(x,z)-d(y,t)\vert\leq d(x,y)+d(z,t)$

I know how it verified the following equation: $$\vert d(x,y)-d(x,z)\vert\leq d(y,z)$$ where $x,y,z$ is arbitrary points of metric space $(X, d)$ But I didn't now how to prove the follow equation: ...
1
vote
2answers
101 views

Why in open balls is radius $r>0$?

the usual definition is the following: Def.1: given $(a,f)$ a metric space, $c \in a$ and $r \in \Bbb{R}_{>0}$, the open ball of radius $r$ about $c$ is the set $$\mathcal{B}_f(c,r)=\{x \in a| ...
4
votes
3answers
45 views

Does continuity of $f$ imply $f^{-1}(\bar A)\subset\overline{f^{-1}(A)}$?

I'm struggling to prove or disprove that the continuity of $f$ implies $f^{-1}(\bar A)\subset\overline{f^{-1}(A)}$. $f:X\to Y$ is a map between metric spaces $(X,d),(Y,d')$ while $\bar M$ denotes the ...
0
votes
0answers
32 views

Question about Boundary points of the sets in metric space

Let A be a metric spaces. Prove the following properties: The boundary of $A$ equals $A'-A$ The boundary of $A$ is the closed set. $A$ is closed if and only if it contains its boundary. Where ...
1
vote
0answers
50 views

Gromov-Hausdorff distance between a “Line segment” and a “Zylinder”

I want to prove the following statement: For $X= S^1 \times [0,1]$ and $Y= [0,1]$ with the intrinsic metrics one has $d_{GH}(X,Y) = \frac{\pi}{2} $ where $d_{GH}$ denotes the Gromov-Hausdorff ...
3
votes
2answers
85 views

Riemannian manifolds are metrizable?

I've seen lots of casual claims that Riemannian manifolds (even without assuming second-countability) are metrizable. In the path-connected case, we can use arc-length to create a distance function. ...
6
votes
3answers
305 views

Given an example of a metric space in which every sphere has two centers

This is a question from Wilansky "Topology for analysis", P.15 Prob. 103 Maybe I was thinking too Euclidean, I can't come up some other "centers" of the sphere :(
2
votes
4answers
204 views

The set of points where two continuous functions agree is closed.

I want to prove that if $f,g$ are continuous functions from a topological space $(X,\tau)$ to a metric space $(Y,d)$ then the set $$ A = \{ x \in X : f(x) = g(x) \} $$ is closed. I found a very ...
0
votes
0answers
10 views

Discrete Fréchet distance vs Dynamic Time Warping

Is Dynamic Time Warping the same as using the Discrete Fréchet Distance with a reparameterization so that the sum of point-to-point distances is minimized (instead of the maximum as usual)?
0
votes
1answer
45 views

Sketching the unit ball centered at the origin of the metric $d(x,y)=\vert x_1 -y_1 \vert + \vert x_2-y_2 \vert$ in $\mathbb{R}^2$

I am having some diffucilty sketching the unit ball centered at $(0,0)$ for the metric given by $$d(x,y)=\sum_{i=1}^n \vert x_i -y_i \vert$$ in $\mathbb{R}^n$ for $n=2$. If $n=2,$ the unit ball is the ...
1
vote
2answers
215 views

How do I turn my verbal argument into something formal in [Real Analysis]? (proving every compact set is bounded)

So one of the exercises I am doing is to prove (or disprove) that 'Every compact set on a metric space is bounded'. Verbally, I can 'prove' this by simply stating: "If the every compact set on a ...
3
votes
0answers
23 views

Ultrametric space of stochastic filtration

Let $\Omega$ be an arbitrary set and $(\mathscr F_t)_{t\in \Bbb R_+}$ be a non-decresing sequence of $\sigma$-algebras on $\Omega$ such that any subset of $\Omega$ is contained is some of them, that ...
3
votes
1answer
52 views

Can all null-homotopy be made differentiable on arbitrary metric space?

Let $M$ be a metric, and assume that it is simply connected. For a closed curve $f$, we define it to be differentiable iff for any $x$ then $\lim\limits_{h\rightarrow 0}\frac{d(f(x),f(x+h))}{h}$ ...
1
vote
2answers
41 views

Does a bounded continuous function map Cauchy sequences to Cauchy sequences?

I only ever see the example of $f:(0,1]\rightarrow \mathbb{R}$ where $f(x)=\frac{1}{x}$as that of a continuous function that does not map Cauchy sequences to Cauchy sequences. Are there examples of ...