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)

41
votes
0answers
799 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 ...
23
votes
0answers
312 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$ ...
13
votes
0answers
227 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 ...
8
votes
0answers
103 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 ...
7
votes
0answers
97 views

Is every connected subset of the Sierpiński triangle arcwise connected?

I think this should be true. If it's indeed the case, it seems like this should be a known result, so references are welcome. I managed to prove that (assuming $S$ is the connected subset) $S$ ...
7
votes
0answers
112 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
290 views

compact-open metrizability

Given topological spaces $X$ and $Y$ the set $C(X,Y)$ of all continuous functions $f:X\to Y$ becomes a topological space with the compact-open topology (that is the topology generated by the sets ...
6
votes
0answers
131 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
150 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
160 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
242 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$ ...
5
votes
0answers
242 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 ...
5
votes
0answers
277 views

Are these sets in $\mathbb{R}$ open and/or closed?

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 > ...
5
votes
0answers
316 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 ...
4
votes
0answers
44 views

Empty metric space, complete?

I have two questions. Can the empty set be formed into a metric space? If it exists, is it complete? I have thought that the empty set is a complete metric space, since we can let ...
4
votes
0answers
50 views

Closed or open subsets of $C[a,b]$?

$C[a,b]$ denotes the space of continuous real-valued functions on $[a,b]$. The metric associated with $C[a,b]$ here is $d(f,g)=sup[|f(x)-g(x)|]$ where the supremum is taken over $[a,b]$. $C^1[a,b]$ ...
4
votes
0answers
52 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
58 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
120 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 ...
4
votes
0answers
72 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. ...
4
votes
0answers
65 views

Connected open proper subsets of a connected complete metric space

Suppose $X$ is a connected complete metric space with more than one point. Must $X$ contain a non-singleton non-empty connected proper open subset?
4
votes
0answers
522 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
216 views

Prove that $\mathbb{R}^k$ is separable

I'd like to show that $\mathbb{R}^k$ is separable. (A metric space is called separable if it contains a countable dense subset.) Here's what I have and I'd like to confirm with everyone to see if ...
4
votes
0answers
48 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
138 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
117 views

What are norms used for?

These two questions are quite similar to this one, so I apologise if this irritates anyone. Also, I suspect that a lot can be said in the answer, so I am really just looking for some main points ...
4
votes
0answers
92 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
93 views

Problem 1, Chapter 3 - A Comprehensive Introduction to Differential Geometry - Spivak

There seems to be an error in item (d) of Problem 1, Chapter 3 of Spivak's A Comprehensive Introduction to Differential Geometry, 3rd Edition, which I transcribed below. There is something wrong with ...
3
votes
0answers
21 views

$\epsilon$-isometry of a compact metric space is $\epsilon$-surjective

The question whether an isometric map $f : X \to X$ of a compact metric space is surjective has been asked (and answered positively) frequently. Assume more generally that $\vert d(f(x),f(y)) - ...
3
votes
0answers
41 views

Showing equality of sets in $C[a,b]$

The exercise states: Let $a,b\in\mathbb{R}$, $a<b$ and let $(C[a,b],\Vert\cdot\Vert)$ denote the vector space of continuous real functions on $[a,b]$ endowed with the uniform norm. Let ...
3
votes
0answers
84 views

Condition on Equality of closure of open ball and closed ball, suppose I have a counterexample

Let $(X, d)$ be a metric space. Also for $x \in X$ and $r \ge 0$ define: $$ B(x,r) = \{ y \in X : d(x,y) < r \} \quad \mbox{ and } \quad K(x,r) = \{ y \in X : d(x,y) \le r \}. $$ Denote by ...
3
votes
0answers
28 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
0answers
60 views

Interesting Metrics

To preface, this question might come off as a bit silly, but it would serve me well to understand the concepts, and to actually get a good answer for this. How can I design an ideal metric for ...
3
votes
0answers
26 views

Is there a name for this partial order between metrics?

Suppose we have a set $X$ and two metrics $d_1,d_2$ on it (which may or may not attain $\infty$). Assume furthermore that $d_1,d_2$ have the same metric components (where a metric comoponent is a ...
3
votes
0answers
70 views

Conditions to make a function a metric on $\mathbb{R}$?

Let $f:\mathbb{R}\rightarrow \mathbb{R}$. What conditions ensure that $d(x,y)=|f(x)-f(y)|$ defines a metric on $\mathbb{R}$ Let $g:[0,\infty) \to \mathbb{R}$. What conditions on $g$ ensure that ...
3
votes
0answers
63 views

Topological interpretation of the following equivalence.

We assume $\{X_n\}_{n\in\mathbb{N}}$ and $X$ are random variables from $\{\Omega,\mathcal{F},\mathbb{P}\}$ to $(S,d_s)$, wehre $S$ a separable metric space. One can establish the following ...
3
votes
0answers
94 views

how is this proof about distance in metric spaces is wrong?

Let $A,B \subseteq \mathbb{R}^d$ be non-empty sets. Define their distance to be $$ d(A,B) = \inf \{ ||x-y|| : x \in A, \; \; y \in B \} $$ For any $A,B$, do we have that $d(A,B) = d( \overline{A}, ...
3
votes
0answers
54 views

Sufficient conditions for existence of injection from a metric space $M$ to $\mathbb{R}$

Let $M$ be any metric space. What conditions are required of $M$ for there to exist an injective, continuous function $$\varphi \colon M \longrightarrow \mathbb{R}$$ I would like to believe that ...
3
votes
0answers
86 views

Can we have an isometric embedding of this metric space into an Hilbert space?

A metric space (from this Q&A), is defined below. I'd like to know if its possible to have an isometric embedding of this metric space into an hilbert space? As per Schoenberg theorem $-d^2(x,y)$ ...
3
votes
0answers
154 views

Is such an infinite dimensional metric space, weakly contractible?

We counteract this answer by adding the rigidity assumption: Is there still a counterexample? Let $(X_{n},d_{n})_{n \in \mathbb{N}}$ be a sequence of complete geodesic metric spaces such that: ...
3
votes
0answers
126 views

Is there a category such that if $\mathbb{R}$ is viewed as an object, we have that $\mathbb{R}^2$ is equipped with the Euclidean distance function?

Viewing $\mathbb{R}$ as an object of the category of metric spaces and metric maps, we have that $\mathbb{R}^2$ is equipped with the distance function $$d(x,y) = ...
3
votes
0answers
64 views

Metric of space of plane curve

I am looking for a metric $d$ for smooth 2D curves. Hence $d(x,y)$ is the distance between the curves x and y. For the moment, we may assume that $x$ and $y$ are just directed line segments. Do you ...
3
votes
0answers
150 views

Moscow space-Examples

A space $X$ is called $Moscow$, if for each open subset $U$ of $X$, the closure of $U$ in $X$ is the union of a family of $G‎_{δ}$‎‎‎ ‎-subsets of $X$ . For example, Every first countable $T_1$ ...
3
votes
0answers
46 views

Generalizations of derivatives using distance measures

Let $d(x,y)$ be a distance metric for two points $x,y\in \mathbb{R}^p$. Further, suppose that there are two real or complex sequences $X_n(x)$ and $X_n(y)$, $n=1,2,\ldots$ that depend on $x$ and $y$ ...
3
votes
0answers
432 views

Translation invariant metric

Under what conditions can a metric vector space be given an equivalent metric that is translation invariant? I was wondering if the probability measures on real line can be embedded in vector space ...
3
votes
0answers
135 views

Sequences of Metric Spaces of Compact Subsets

Consider a complete metric space $(M, d)$ and let $F(M)$ denote the non-empty compact subsets of $M$. Then $F(M)$ is also a complete metric space under the Hausdorff distance $d_H$. Given some ...
3
votes
0answers
93 views

Consequence of metrizability proof - disregard, the question is an error

In Marian Fabian et al's Functional Analysis and Infinite-Dimensional Geometry, Proposition 3.22 states/proves that if $X$ is a separable Banach space, then the (closed) unit ball, $B_{X^{*}}$ of ...
3
votes
0answers
83 views

Lipschitz continuity for an iterated function system

Let $(M,d_M)$ and $(N,d_N)$ be metric and $$ CB(M)=\{\mbox{all closed bounded subsets of }M\}. $$ Let $f: M\to N$ be a Lipschitz map with Lipschitz constant $L$. Define a map $$ F:(CB(M),\rho)\to ...
3
votes
0answers
209 views

Is the Hausdorff semi-distance Lipschitz?

Let $X$ be Banach (with metric $d$) and let $H(X)$ be the set of closed bounded subsets of $X$. Define for $A,B\in H(X)$ $$\delta(A,B)=\sup_{a\in A}\inf_{b\in B}d(a,b)$$ be the Hausdorff semi-distance ...
3
votes
0answers
394 views

Understanding examples - metric spaces, Minkowski functionals and topologies

I'm teaching myself a course on functional analysis but having trouble understanding the notes I've been using. I was hoping I could write out a section of the content and you might be able to help me ...