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)

0
votes
0answers
15 views

Sufficient conditions for RTree

What is the sufficient screening criteria of a space for the possibility to use R-Tree spatial index on it? I cannot apply it to a space with just Jaccard distance as the metric. As I suppose the ...
0
votes
1answer
46 views

Finitely many connected components, prove interiors are also connected

Show that in a space with finitely many connected components $C_i, i = 1, ..., n$ their interiors $Int(C_i)$ are also connected. Is it true in general that the interior of a connected component is ...
1
vote
1answer
28 views

Showing a metric space is complete.

On the space of continuous functions on $[0,1]$, I have a metric $$d(f,g) = \sup | \alpha(x) (f(x) -g(x))|,$$ where $\alpha(x)$ is a continuous function and $\alpha(x) \ne 0$. I'm trying to find ...
0
votes
1answer
45 views

Group of distances

How to prove that $$g:\Bbb R^3 \to \Bbb R^3 \in G = \{g \, | \, \text{ for each } g \text{ exists } n\in\mathbb{Z} : r(g(x),g(y)=2^n r(x,y) \}$$ for each $x,y\in \Bbb R^3, r$ is an euclidean ...
5
votes
1answer
82 views

Equivalent of $\ln\ln(N(\epsilon))$ where $N(\varepsilon)$ is the minimum of balls for covering $A$.

Let $E=\mathcal{C}^0([0,1],\mathbb{R})$ with the uniform convergence and $$A=\{f\in E\ |\ f(0) = 0\text{ and } \forall x,y\in[0,1]\ |f(x) - f(y)| \leqslant |x-y|\} $$ For $\varepsilon >0$ ...
0
votes
1answer
33 views

Counterexample $||S+T||_{\mathbb{B}(E)}<||S||_{\mathbb{B}(E)}+||T||_{\mathbb{B}(E)}$

Let $S,T\in \mathbb{B}(E),\ \mathbb{B}(E)=\left\{T:E\to E:T\ linear\ bounded\right\}$ Give a countraexamples such that: (a) $||S+T||_{\mathbb{B}(E)}<||S||_{\mathbb{B}(E)}+||T||_{\mathbb{B}(E)}$ ...
1
vote
1answer
29 views

About interior of the frontier (proof-checking)

Let $M$ be a metric space, and $A \subset M$ an open set. Show that $\stackrel{o}{\widehat{\partial A}} = \emptyset$. ($\stackrel{o}{\widehat{\partial A}}$ is the interior of the frontier) I ...
1
vote
1answer
26 views

Compatible maps

Definition Let $M$ be a subset of a metric space $X$ and $T, I :M\to M$ be $M$-invariant maps. Then the pair $(T,I)$ is called compatible if $$\lim_{n\to\infty}d(ITx_n, TIx_n)=0$$ whenever ${x_n}$ is ...
0
votes
1answer
26 views

Examples of decreasing sequences of closed sets with constant diameter and empty intersection in complete metric spaces

Looking through older exams from the topology class I'm taking, I found an interesting problem. Give an example: $ (X, d) $ - a complete metric space $ F_1 \subset F_2 \subset F_3 \subset ... $ - a ...
5
votes
3answers
99 views

Why must an interior point of $E$ be an element of $E$?

This question takes place in a general metric space $X$. Let $x$ be an interior* point of $E \subset X$ iff there exists a deleted neighborhood of $x$ that is contained in $E$. This is like the ...
1
vote
2answers
78 views

Closed Sets and Open Sets

I have a few questions regarding open and closed sets. I am given a set: $$A = \left\{ \frac{1}{x}: x \in \mathbb{Z}^+ \right\},$$ I was asked to find the interior, closure, and boundary points. This ...
0
votes
0answers
113 views

Is it group or not? [closed]

$r$ is a metric of space $L = R^3$. Does G - multiplicity of transformations of $L$ ( for each $g\in G$ exist $n\in\mathbb Z$ $: r(g(x),g(y))=2^n r(x,y)$ for each $x,y\in L$) form a group? How to ...
0
votes
1answer
36 views

In a metric space, prove there is an invertible function $\Bbb R^n\to\Bbb R^n$ such that $f(a)=b$

I would like to prove the following theorem from Mendelson's Introduction to Topology: For each $a,b\in\Bbb R^n$, prove that there is a topological equivalence between $(\Bbb R^{n},d)$ and ...
0
votes
0answers
37 views

All metrics on finite spaces are equiv - I'm happy with this, except for that annoying point metric.

Okay for $\mathbb{R}^2$ say, I'm quite happy that $d_1(x,y)=\sqrt{(x_1-y_1)^2+(x_2-y_2)^2}$ and $d_2(x,y)=\max(\{|x_1-y_1|,|x_2-y_2|\})$ that the unit ball is a circle in one and a square in the other ...
0
votes
1answer
28 views

Simple openness/closedness question

I read on another thread here that the set $\{0\}$ is open in $\{0,1\}$, with $\{0, 1\}$ a subset of $\textbf{R}$. This makes sense to me b/c $\exists$ an open set in $\textbf{R}$, say, $(-1,1)$ s.t. ...
0
votes
2answers
43 views

$x_n=\frac{1}{n}$ Cauchy sequence with a metric

Can you help me, please? Let $(\Bbb{R},d)$ be a metric space where $d(x,y)=\left\vert\arctan x−\arctan y\right\vert$. Is the sequence $x_n=\frac{1}{n}$ a Cauchy sequence with this metric?
0
votes
3answers
83 views

Is d(0,a) = d(b,a+b) true in general?

As an exercise, I was trying to prove, given a distance metric $d$ on a metric space $X$, that if $a,b\in X$ then $d(0, a) = d(b, a+b)$ but I'm not seeing a way to do it. Is this necessarily true in ...
0
votes
1answer
69 views

Can a sequence of functions converge to a discontinuous limit under norm?

I'm a bit confused about how to take the distance between two functions where one function is discontinuous. Supposing we have the $L^1$ metric $d_1$ and $f_n(x) = x^n$ defined over $[0, 1]$. $x^n$ ...
1
vote
1answer
87 views

What is meant by gluing two metric spaces together?

"Gluing" constructions are common in topology: by gluing two disks along their boundaries we get a sphere; by gluing a cylindical "handle" to a sphere we get a torus, and so forth. If the original ...
0
votes
1answer
48 views

Metric on a finite set

If $X$ is a finite set and d is an arbitrary metric. Prove that $(X, d)$ is complete. My solution: Let $X =$ {$x_1, x_2, ... , x_n|n \in \mathbb{N}$} $\exists N\in \mathbb{N}$ s.t. $x_n = x$ for ...
0
votes
2answers
24 views

When does a descending sequence of nonempty sets have a non empty intersection?

Let $\langle F_n\rangle_{n\in\Bbb{N}}$ be a descending sequence of nonempty sets in a Metric Space - $F_1\supset F_2\supset\cdots$. What are the conditions on the underlying space so that ...
2
votes
1answer
54 views

Can I define a ball using a distance which is not metric?

I define X as a set with say 50 elements. I manually assign distance between any to elements using numbers from the irrational number pi. So 50*(50-1)/2 distance values are assigned. Now for each ...
0
votes
0answers
36 views

Prove that an isometry of a compact metric space is necessarily surjective. [duplicate]

An isometry of a metric space X is a map $h : X \rightarrow X$ so that $d(h(x),h( y)) = d(x, y)$ for all $x, y \in X$. Prove that an isometry of a compact metric space is necessarily ...
2
votes
1answer
34 views

Existence of fixed point

I will copy the definition I am using just to make things clearer. Def. Let $(X,d)$ be a metric space and let $F:A(\subset X)\rightarrow X$. We say F is a contraction if there exists $\lambda$ where ...
4
votes
1answer
66 views

Hyperbolic metric spaces

I'm trying to prove a simple proposition wich is in Burago's "A Course in Metric Spaces" (Exercise $8.4.5$, p.$287$). Before exposing my problem, let me give some definitions. A metric space $(X,d)$ ...
1
vote
1answer
31 views

Limits in cofinite topology/why is the limit of x_n = n equal to 1 in the cofinite topology.

Just reading about topological spaces for my exam, and I was wondering if anybody could explain exactly how limits work in the cofinite topology. So I am aware of the topological definition of a ...
1
vote
1answer
43 views

Metric space and closed sets (book misprint?)

I am not sure if there is a misprint in this corollary or if I am not getting the idea right. Corollary. Let $X$ be a metric space and let $A\subset X$. Then A is closed in $X$ iff: $$ ...
0
votes
1answer
30 views

proving that closed subspace of complete metric space is complete

$4.9$ Let $A$ be a subset of a metric space $S$. If $A$ is complete, prove that $A$ is closed. Prove that converse also holds if $S$ is complete. For the first part, I assumed $\{ a_n\}$ to a ...
10
votes
1answer
218 views

Is this a metric?

I now that one can show that if $d$ is a metric on a vectorspace $X$ then so is $$\varrho(x,y):=\frac{d(x,y)}{1+d(x,y)}.$$ This easily follows from the fact that the function $s \mapsto \frac{s}{1+s}$ ...
1
vote
1answer
49 views

Distance between any two points in a compact metric space

I am given the following problem: Show that if a metric space (X,d) is compact (meaning X is compact with respect to the metric d), then there exist points a,b ∈ X such that d(a,b) = ...
1
vote
0answers
63 views

Proving that there is no norm for the space of real-valued sequences making it a complete metric space.

Suppose I have a vector space $K$ which consists of real-valued sequences with only finitely many non-zero terms. I would like to show that there doesn't exist a norm on $K$ that would make it become ...
-1
votes
4answers
67 views

A subspace of a separable metric space is separable [closed]

Prove that a subspace of a separable metric space is separable my attempt to solution is Let $X$ be a separable metric space take $A \subset X$ i need to show that A is separable i.e show that $A$ ...
0
votes
0answers
9 views

set similarity metric

Suppose I've two sets: $S_1 = \{a, b, c\}$ and $S_2 = \{b, c, d\}$. Each element in the set is associated with a real number between 0 and 1 (could be seen as its probability of presence). Example: ...
3
votes
1answer
66 views

Simple examples of proper metric spaces?

I've encountered the term of a "proper" metric space(a metric space is called proper if every closed, bounded subspace is compact), which struck as quite an interesting one, but I can't find any good ...
0
votes
0answers
35 views

How to prove that a sub-space of the functions $f: X \to Y$ is equicontinuous?

Let $X$ and $Y$ be two metric and compact spaces, and $C(X,Y)$ - the metric space of the continuous functions $f:X\rightarrow Y$. Denote by $Y^X$ the space of all functions (not just continuous) ...
2
votes
1answer
70 views

Conditions for Metricization of Cartesian Product of Metric Spaces

Let $M_1$ and $M_2$ be metric spaces with metrics $\rho_1$ and $\rho_2$ respectively. What are some necessary and sufficient conditions on $f:\mathbb{R}_{+}^2\to\mathbb{R}_{+}$ that make ...
2
votes
1answer
56 views

What makes metric spaces special?

This is not a question about what is special about a metric space in itself; instead, I'm wondering what sets metric spaces apart from uniform spaces? An explanation is in order. As a parallel, when ...
6
votes
1answer
84 views

If two metric spaces are homeomorphic, do their completions have to be homeomorphic?

Let $ (X_1, d_1) $ and $ (X_2, d_2) $ be metric spaces and $ (X_1^*,d_1^*), (X_2^*,d_2^*) $, respectively, their completions. If $ X_1 $ and $ X_2 $ are homeomorphic, then so are $ X_1^* $ and $ ...
3
votes
1answer
110 views

About equivalent norms

Consider $E$ the space of the functions $f: [0,1] \to \mathbb{R}$ such that $f(0) = 0$ and $f$ satisfies a Lipschitz condition. We define two norms: $$\|f\| = \sup_{x \in [0,1]} |f(x)|$$ and ...
0
votes
1answer
25 views

Distance in metric space p_{1}

I need to evaluate distance of point [6,6] and circle $x^2 + y^2 = 25$ in metric space $p_{1}(x,y) = ∑|x_k-y_k|$ (sum metric). I know that I need to count $inf(p_{1}([6,6],X), X $ are points from ...
1
vote
3answers
46 views

Proving a metric with absolute value [duplicate]

I need to prove that function $\mathbb R × \mathbb R → \mathbb R $ : $f(x,y) = \frac{|x-y|}{1 + |x-y|}$ is a metric on $\mathbb R$. First two axioms are trivial; it's the triangle inequality which is ...
1
vote
2answers
33 views

Write an open set in terms of a closed set

$(X,d)$ is a metric space. We fix a point, $a \in X$, and we let $A = \bigcap_{n\in\mathbb{N}} \left\{x: d(x,a) < r + \frac{1}{n} \right\} \in X$. Is $A$ open or closed? If it is closed. What is ...
-1
votes
2answers
43 views

A Fundamental Property of Metric Spaces …

Let $(X,d)$ be a metric space and $A\subset X$ and also suppose that $G$ is open in $X$ prove the identity: $$ \overline {G\cap A}=\overline {G\cap \overline A} $$ Proposition: The intersection of ...
2
votes
3answers
387 views

Open ball of radius, r = 0 is empty?

Is $B(a;0) = \{x : d(a, x) < 0\} = \varnothing$? And if so, is it always the case? The reason I ask is because I want to know if the open interval $(a,a) = \varnothing$ when $a \in \mathbb{R}$. ...
2
votes
3answers
85 views

Coupling methods

Distance between probability measures Let $(X,d)$ be a compact metric space, and let $\mu$ and $\nu$ be two probability measures on $X$. We can define the Wasserstein distance between $\mu$ and $\nu$ ...
4
votes
2answers
140 views

Natural example where $\ell_\infty$ distance appears.

The $\ell_2$ distance has a natural connotation: the straight line distance between two points "as the crow flies". Similarly, the $\ell_1$ distance has a natural connotation: the length of a path ...
3
votes
1answer
43 views

What does it means that sequences characterize closed sets and functions?

A text book I'm reading says at one point the following: "In metric spaces are sequences the ones which chacterize closed sets and continuous functions". What is exactly the meaning of that ...
7
votes
2answers
178 views

What is the completion of this space?

This question asks us to show that $\Bbb R$ with the following metric is not complete: Fix a strictly positive function $f \in L^1(\Bbb R)$, and let $d(x,y)=\left|\int_x^y f(t)dt\right|$. It's easy ...
2
votes
4answers
99 views

Prove that $\{n\}$ is a Cauchy sequence that doesn't converge.

Consider the distance function given by $d:\mathbb{R}\times\mathbb{R}\to\mathbb{R},\;d(x,y)=|\int_x^yf(t)dt|$ where $f$ is a continuous and positive function such that $\int_{-\infty}^{+\infty}f$ ...
0
votes
0answers
24 views

Closest distance metric to cosine similarity

I have a model of data that produces vectors that are similar in terms of their cosine similarity. Because this is the output of a complex process, I don't have much insight into why the cosine ...