Metric spaces are sets on which a metric is defined. A metric is a generalisation of the concept of "distance". Metric spaces should not be confused with topological spaces.

learn more… | top users | synonyms (1)

142
votes
0answers
3k views

Does there exist a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?

Let $(X,\tau), (Y,\sigma)$ be two topological spaces. We say that a map $f: \mathcal{P}(X)\to \mathcal{P}(Y)$ between their power sets is connected if for every $S\subset X$ connected, $f(S)\subset Y$ ...
66
votes
0answers
1k views

Is there a categorical definition of submetry?

(Updated to include effective epimorphism.) This question is prompted by the recent discussion of why analysts don't use category theory. It demonstrates what happens when an analyst tries to use ...
14
votes
0answers
259 views

$f\colon I\rightarrow G$ and Gromov $\delta$-hyperbolicity

Please recall that $\left|\int_0^1 f(t)\,dt -w\right|\leq \int_0^1|f(t)-w|\,dt$. In general, let $(X,d)$ be a metric space. Given a function $f:I\to X$ let $m_f\in X$ be such that $d(m_f,w)\leq ...
9
votes
0answers
108 views

Point set where each point has unity distance to all other points ($L_1$ metric)

I want to construct a point set where each point has the same (w.l.o.g., unit) distance to all other points in the $L_1$ metric. Example: The points $\left(\frac{1}{2},0\right)$, ...
9
votes
0answers
108 views

Contracting subsets

Let $X$ be a (locally finite) metric graph (all of whose edges are length 1). A subset $A \subset X$ is contracting if there exists a constant $C \geq 0$ such that the nearest point projection on $A$ ...
9
votes
0answers
124 views

Can you build metric space theory without the real numbers?

Every metric space $M$ has a completion $\widehat M$, that is, it can be embedded as a dense subset in a complete metric space. When I first came across this theorem, I thought "well, that's amazing, ...
9
votes
0answers
159 views

Uniform Spaces: Completeness

Attention This thread has been generalized to uniform spaces as general metric spaces. Context The context was the equivalence: $$K\text{ compact}\iff K\text{ totally bounded, complete}$$ That is a ...
8
votes
0answers
46 views

Non empty set with zero diameter

Let $A \subset X$ where $X$ is a metric space. by definition diam$(A) = \sup\{ d(x,y), x,y \in A\}$. if $A$ is non empty and has zero diameter, can I conclude that $A$ is a singleton? i reason as ...
7
votes
0answers
161 views

Gromov-Hausdorff distance between a line segment and a cylinder

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

Knight's metric: ellipse and parabola.

Knight's metric is a metric on $\mathbb{Z}^2$ as the minimum number of moves a chess knight would take to travel from $x$ to $y\in\mathbb{Z}^2$. What does a parabola (or an ellipse) became with this ...
7
votes
0answers
272 views

Combinatorial total space for finitely generated torsion-free groups?

Motivation: I'm an operator algebraist and I'm looking for an answer to the main question in order to build non-trivial spectral triples for a class (as large as possible) of discrete groups. $\to$ ...
6
votes
0answers
109 views

Find distance to a set (subspace) without computing closest point

General setup: we have a finite-dimensional normed linear space $(V, \| \cdot \|)$, a subspace $U \subset V$, and a fixed vector $v_0 \in V$. We want to find the distance between $v_0$ and $U$. (No ...
6
votes
0answers
287 views

determinant of the Fubini-Study metric

Is there any easy way to compute the determinant of the Fubini-Study metric, given by: $g_{\alpha\bar{\beta}}=\frac{1}{1+\bar{z}z}\left(\delta_{\alpha\bar{\beta}}-\frac{\bar{z}_\alpha ...
6
votes
0answers
169 views

Selecting a subset from a set such that a given quantity is minimized

Let $A$ be is a set of some $p$-dimensional points $x \in \mathbb{R}^p$. Let $d_x^A$ denote the mean Euclidean distance from the point $x$ to its $k$ nearest points in $A$ (others than $x$). Let $C ...
6
votes
0answers
384 views

Are these sets in $\mathbb{R}$ open and/or closed: $\{\frac{1}{n} : n \in \mathbb{N}\}$, $\{0\}\cup \{\frac{1}{n} : n \in \mathbb{N}\}$ and $[0,1)$.

In $\mathbb{R}$, are these sets open? Are they closed? $A = \{\frac{1}{n} : n \in \mathbb{N}\}$ $B = A \cup \{0\} $ $[0, 1)$ My thoughts: $A$ is not open as if we have an open ball with $r > ...
6
votes
0answers
646 views

Topological necessary and sufficient condition for tightness

Recall the definition of tightness for a probability measure $\mathbb P$ on the Borel $\sigma$-algebra of a metric space $(S,d)$: For each $\varepsilon>0$, we can find a compact subset $K$ of ...
6
votes
0answers
181 views

Virtually cyclic groups

Let $G$ be a group with finite generating set $A$, define the distance $$d(g,h)=\mathrm{min}\{n:gh^{-1}=a_1^{\varepsilon_1}\dots a_n^{\varepsilon_n}, a_i\in A,\varepsilon_i=\pm1\}.$$ Define the ball ...
5
votes
0answers
47 views

Can every compact subset of $\Bbb R^n$ be written as a disjoint union of compact subsets, where each of them are path-connected?

I was wondering if every compact subset of $\Bbb R^n$ could be written as a disjoint union of compact subsets, where each of them are path-connected, i.e. : If $X \subset \Bbb R^n$, $n \ge 1$, $X$ is ...
5
votes
0answers
64 views

An open ball in $C[0, + \infty)$

Consider the space $C[0, +\infty)$ of all continuous, real-valued functions on $[0, + \infty)$ with metric $$ d( \omega_1, \omega_2 ) = \sum_{n=1}^{\infty} \frac{1}{2^n} \max_{t \in [0,n]} ( \min ...
5
votes
0answers
66 views

Defining a metric in the tangent spaces $ T_xM $

I'm working with a metric $D$ over the manifold of grassman $G_n(\mathbb{R}^{d})$ and have difficulties to extend $D$. Let me explain: If $M$ is a submanifold of dimension $n$ in $\mathbb{R}^{d}$ ...
5
votes
0answers
56 views

Which complete weighted graphs are obtained from finite metric spaces?

Let $(X, d)$ be a finite metric space with $X = \{x_1, \dots, x_n\}$. We can associate to this metric space a complete weighted graph with vertices labelled by the points of $X$, and edges weighted by ...
5
votes
0answers
160 views

Category of metric spaces versus category of non-empty spaces

Denote by $\mathbf{Met}$ the category of metric spaces with metric maps as morphisms. A function $(X,d)\xrightarrow{\ f\ }(X',d')$ is called metric if for every pair of points $x,y\in X$ we have ...
5
votes
0answers
188 views

Sufficient conditions for closed infinite pasting lemma

It's well known that the pasting lemma for infinitely many closed sets is false. It's reasonably easy to cook up examples such that for $X = \bigcup X_i$ with $X_i$ closed in $X$ such that $\left. ...
5
votes
0answers
2k views

Prove that every compact metric space $K$ has a countable base, and that $K$ is therefore separable.

Prove that every compact metric space $K$ has a countable base, and that $K$ is therefore separable. How does the following look? Proof: For each $n \in \mathbb{N}$, make an open cover of $K$ by ...
5
votes
0answers
447 views

Dual and completion of metric spaces

Say we have a metric space $(M,d)$, and we want to complete it in the following sense: Definition: A completion of $(M,d)$ is a complete metric space $(\widetilde{M},d')$ together with a Lipschitz ...
4
votes
0answers
55 views

Theorem 3.7 in Baby Rudin: The subsequential limits of a sequence in a metric space form a closed set

Here's Theorem 3.7 in the book Principles of Mathematical Analysis by Walter Rudin, 3rd edition. The subsequential limits of a sequence $(p_n)$ in a metric space $X$ form a closed subset of $X$. ...
4
votes
0answers
31 views

A specific embedding of semisphere on $R^2$.

I was playing with piece of paper which has the form of semisphere, to be more precise we may assume that it satisfies $x^2+y^2+z^2=1$ for nonnegative $z$. I tried to make it flat without stretching ...
4
votes
0answers
37 views

a weak notion of flow in a metric space

I am seeing the definition of flow in a metric space : $f:M\times \mathbb{R}\rightarrow M$ is one flow if $M$ is metric space, $f$ is continuous and $f(x,t+s)=f(f(x,t),s)$ Note that the condition is ...
4
votes
0answers
61 views

Is $D$ a metric on $X/G$ and does it induce the quotient topology?

Let $(X,d)$ be a compact metric space and $G$ be a finite group of homeomorphisms of $X$. Let $p:X\rightarrow X/G$ be the orbit map. Then we can define a (psuedo) metric on $X/G$ as follows - ...
4
votes
0answers
50 views

Spaces of continuous functions

I have currently been studying space of continuous functions from J.B. Conway's textbook of complex variable. In Chapter VII of the textbook, it uses the notation $C(G,S)$ to denote the space of all ...
4
votes
0answers
81 views

A discontinuous function $f: X \rightarrow Y$ satisfying: for each closed ball $B$ of $Y, f^{-1}(B)$ is closed in $X$

Find a function $f: X \rightarrow Y$ between metric spaces $X$ and $Y$ that is not continuous but has the property that for each closed ball $B$ of $Y, f^{-1}(B)$ is closed in $X$ Solution Attempt: ...
4
votes
0answers
53 views

$E$ compact, real-valued $f : E \to \mathbb{R}$ continuous iff graph is compact - is real valued necessary?

Problem The graph $G$ of $f$ is defined as the points $(x, f(x))$ for $x \in E$. Suppose $E \subset \mathbb{R}$ is compact, then $f : E \to \mathbb{R}$ is continuous iff its graph is compact. ...
4
votes
0answers
128 views

What do the eigenvalues/vectors of a metric describe?

Given a finite metric space $(X = \{ x_i \}_{i=1}^n,d)$, one can form the matrix $A$ of pairwise distances $a_{ij} = d(x_i, x_j)$. What does the eigenspectrum of this matrix say about the metric $d$? ...
4
votes
0answers
84 views

Compactness of a set of bounded functions in the uniform norm

Let $T$ be a non-degenerate compact interval in $\mathbb R$ and $f:\mathbb R^2\to\mathbb R$ a strictly concave function such that (a) $f(0,0)=0$, (b) $f$ strictly increases in the first argument, and ...
4
votes
0answers
120 views

Metric spaces not isometric to any of their proper subsets

Let's say a metric space $X$ has property $P$ if $X$ is not isometric to any of its proper subsets. I'd like to know what this property is called in the literature and whether there's a nice ...
4
votes
0answers
1k views

Prove that every separable metric space has a countable base.

A collection $\{V_\alpha \}$ of open subsets of $X$ is said to be a base for $X$ if the following is true: For every $x \in X$ and every open set $G \subset X$ such that $x \in G$, we have $x \in ...
4
votes
0answers
53 views

Metric-like families of relations

Let $X$ be an arbitrary set and to start with, let us consider a relation $\leq$ on $X$ (that is $\leq$ is a subset of $X^2$) which is reflexive and transitive. such a relation is called a preorder. ...
4
votes
0answers
348 views

Completeness of a metric space with the Hausdorff metric

Let $(Y,d)$ be a metric space and let $K(Y)$ denote the set of all non-empty compact subsets of $Y$. This collection is a metric space when equipped with the Hausdorff distance $h$. I want to prove ...
4
votes
0answers
543 views

Is this proof that every convergent sequence is bounded correct?

I've tried the following proof that a convergent sequence is bounded but I'm not sure if it is correct or not. Let $(M,d)$ be a metric space and suppose $(x_k)$ is a sequence of points of $M$ that ...
4
votes
0answers
99 views

lattice of metric structures on a fixed set

Let $X$ be a set. Write $M(X)$ for the set of all functions $d:X\times X\to [0,\infty]$ that endow $X$ with the structure of a generalized metric space (i.e., $d(x,x)=0 $ and the triangle inequality). ...
3
votes
0answers
37 views

$\alpha$ exists so that for any points $x_n$ there is a point at average distance $\alpha$ from the $x_n$.

Let $X$ be a connected and compact metric space. Prove a real number $\alpha$ exists so that for every finite set of points $x_1,x_2,\dots, x_n\in X$ (not necessarily distinct) there exists $x\in X$ ...
3
votes
0answers
38 views

Infinite Cartesian Product, Metric Triangle Inequality

For $\{X_j : j\in \mathbb{Z}^+\},$ each compact metric spaces, the infinite Cartesian product metric space is defined as $$X = \prod_{j=1}^{\infty} X_j$$ We make X a metric space by setting $$d(x,y) ...
3
votes
0answers
68 views

Continuity of maps between metric spaces

I want to determine for the following maps $A\rightarrow B$, for which points of $A$ the map is continuous: $(\mathbb{C},d_E)\rightarrow(\mathbb{C},d_E)$, $z\mapsto \left\{ ...
3
votes
0answers
35 views

Is there an explicit left invariant metric on the general linear group?

Consider $GL_n^+$, the group of (real) invertible matrices with positive determinant. Is it possible to find an explicit formula for a metric on $GL_n^+$ which is left-invariant, i.e ...
3
votes
0answers
37 views

basis of neighborhoods of zero in Schwartz Space

I have the following question: In $S(\mathbb{R}^n)$, and for $\alpha, \beta\in \mathbb{N}^n $, we defined \begin{align} ρ_{\alpha,\beta}(\phi) = ...
3
votes
0answers
23 views

Clarification about a metric

This is rather an easy question but I am a bit confused about the following metric $\rho(\mathcal{G},\mathcal{H}) := \sup_{A\in \mathcal{G}} \inf_{B\in \mathcal{H}} \mu(A \triangle B) + \sup_{B\in ...
3
votes
0answers
46 views

Verify proof to show this is a $\sigma$ - locally finite basis.

Can someone tell me if what I have done is correct? Proposition : Let $X$ be a compact metric space and $G$ a finite group acting on it. Let $p : X \rightarrow X/G$ be the orbit map. Let $B = \{ ...
3
votes
0answers
75 views

$f$ is continuous, $f : X \to X$, $X$ compact, and $f$ has an $\epsilon$-fixed point for each $\epsilon > 0$. Show $f$ has a fixed point.

Problem: Let $f : X \to X$ be a map from a metric space to itself. A point $z \in X$ is a fixed point of $f$ if $f(z) = z$. Let $\epsilon > 0$. A point $w \in X$ is an $\epsilon$-fixed point of $f$ ...
3
votes
0answers
81 views

Question on complete metric spaces and whether the following is a complete metric space:

Let $ S \subset C^2([0,1])$(set of all two-times differentiable functions on $[0,1]$), which satisfy $$f(0)+f(\frac{1}{2})+f(1)=0.$$ Question :Is $ (S,d)$ is a complete metric space, where $d$ is ...
3
votes
0answers
119 views

Are local quasi-geodesics already quasi-geodesics in hyperbolic spaces?

Recall the following definitions 1) A $(\lambda, \varepsilon)$-quasi-isometric embedding $f$ between metric spaces $X$ and $Y$ is a map $X \to Y$ such that $\frac{1}{\lambda} d_X(x,y) - \varepsilon ...