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
1answer
27 views

Function that's a metric on one space but not another?

Is there a function which makes sense on two sets and is a metric on one but not the other? I can't seem to come up with an example or a proof a metric on one set implies it is on every other one it ...
1
vote
0answers
31 views

For any countable $ A$ , $B \subseteq A \implies B \cap B\space' \ne B $

In which kind of metric spaces is the following true For any non-empty countable set $A$ of the metric space , $B \subseteq A \implies B \cap B\space' \ne B $
0
votes
1answer
123 views

Hyperspace and connectedness

I'm looking for any theorems and proofs for connectedness for hyperspaces exp(X). I would like to take a look for especially this theorem: $$ X \textit{ is connected } \leftrightarrow exp(X) ...
0
votes
2answers
71 views

Question on two metric spaces properties

Question: Let $X$ be a set and let $d_1$ and $d_2$ be two metrics on $X$. Assume that there exists a constant $C > 0$ such that $d_1(x, y) \le C\, d_2(x, y)\ \ \ \forall x, y \in X$. ...
2
votes
3answers
55 views

Metric Space, Induced topology

I'm trying to show that the metric topology is indeed a topology. To do so, I want to show the following three statements are true: $\emptyset$ and X are in $\tau$ finite intersections of open sets ...
1
vote
1answer
66 views

Is sum of two metrics a metric?

The production of two metrics is a metric also. It's googled easy. But what's about a sum? As I can see sum is metric, as the triangle inequality of metric sum is the consequence of the inequality ...
1
vote
1answer
27 views

Let X be a complete metric space in which every closed ball is uncountable. Prove that X has cardinal number greater or equal than the continuum

Let X be a complete metric space in which every closed ball is uncountable. Prove that X has cardinal number >= c (continuum) (Can you please prove with properties of Separability of a Metric Space? ...
2
votes
1answer
32 views

Cauchy inequality proof

I am studying cauchy inequality proof from notes I have from my class$$(\forall\vec{x},\vec{y}\in\mathbb{R}^n):|\sum_{i=1}^{n}x_iy_i|\le||\vec{x}||\cdot||\vec{y}||$$ We choose $\vec{x},\vec{y}$. And ...
4
votes
1answer
42 views

Compactness and sequential compactness in metric spaces

I got a question: I'm trying to proof that every metric space is compact if and only if the space is sequentially compact. In all the proves I have found, they used the Bolzano-Weierstrass theorem. Is ...
1
vote
1answer
13 views

Gaussian kernels for arbitrary metric spaces

Let $(I,d)$ be an arbitrary (pseudo-)metric space. Define the function $$c(i,i') := \exp\big( - d(i,i')^2 / 2 \big)$$ Is $c$ necessarily nonnegative-definite, hence a kernel function?
1
vote
0answers
30 views

Is this subset of a finite metric space already named?

Given a finite set, $X$, with a metric, $d(x,y)$ defined on it, I am interested in the following subsets: $S_k\subseteq X$ s.t. $\forall x\in X,\exists s\in S_k:d(x,s)\geq k$ Do such constructions ...
0
votes
2answers
54 views

Examples of metric spaces in which every non-empty open set is uncountable

Is every non-empty open set of a complete metric space uncountable ? If not can anyone please provide some examples of metric spaces (other than $\mathbb R$ with usual metric) in which every non-empty ...
0
votes
1answer
30 views

Is the Set of Distances Between a Finite Open Subset and a Closed Subset of a Metric Space Closed?

In order to be as clear as possible, I've taken the liberty of TeXing (Tikzing?) up the sort of image in question. Here, $\gamma$ is some path in the complex plane, the disk ...
8
votes
1answer
80 views

Complete metric subspaces of $\mathbb{Q}$

Is there a nice characterization for the complete metric subspaces of $\mathbb{Q}$ (with the usual metric)? It seems like a such a subspace must have empty interior; if it contained an open interval ...
1
vote
1answer
43 views

Cardinality of all compact metric spaces

I`m looking for cardinal number of all compact metric spaces. I know that: Cardinal number of compact set is at most $\mathfrak{c}$ (it is a continous image of Cantor set) Compact metric space is ...
0
votes
1answer
48 views

Compact set in $(\mathbb R,\rho_1)$

$P = \mathbb R, \rho(x,y):|x|+|y|$ if $x \ne y $ or $0$ if $x=y$. Question: is $[-1,1]$ in $(P,\rho)$ compact set? I think yes: $[-1,1]$ is bound set, all sequences in it also bound, and by ...
0
votes
1answer
21 views

Continuous function in metric spaces

$P = \mathbb R, \rho(x,y):|x|+|y|$ if $x \ne y $ or $0$ if $x=y$. $f(x): (P,\rho) → (\mathbb R,\rho_1): 0$ if $x∈[-1,1]$ or $1$ if $x∈\mathbb R/[-1,1]$. $\rho_1 (x,y) = \sum_{k=1}^\infty |x_k-y_k|$. ...
0
votes
1answer
32 views

Non-constant Cauchy sequence

I need to find an example of non-constant Cauchy sequence in $\mathbb E^2$. The metric in question is $\rho_2$, so Cauchy sequence would be sequence for which following is true: $\sqrt {(x_m - y_m)^2 ...
0
votes
1answer
49 views

Show for $f:A \to Y$ uniformly continuous exists a unique extension to $\overline{A}$, which is uniformly continuous

Working on the following problem from Munkres: Let $(X, d_{X})$ and $(Y, d_Y)$ be metric spaces; let $Y$ be complete. Let $A \subset X$. Show that if $f:A \to Y$ is uniformly continuous, then ...
0
votes
1answer
22 views

Prove that the distance function $d_p(x,y)=\sum_1^n |x_i-y_i|^p$ $0<p<1$ is a metric on R^n

Hi I am trying to prove that for $0<p<1$ the function $d_p(x,y)=\sum_1^n |x_i-y_i|^p$ is a metric on $\mathbb{R}^n$. I am struggling with the triangle inequality part; We have to prove ...
0
votes
1answer
71 views

Continuous Function for 3 points

Let $f : \mathbb{R} → \mathbb{R}$ be a function with all fibres $(\lbrace{x ∈ \mathbb{R}| f(x) = c\rbrace} = f^{−1}(c), c ∈ \mathbb{R})$ either empty or consisting of exactly three points. Find a ...
0
votes
1answer
21 views

Proving that $b \in \overline{A}$ if and only if $\rho(b,A) = 0$

I need some help with this problem: Let be $(X,\rho)$ a metric space, $A \subseteq X$ and $b \in X$. The distance from $A$ to $b$ is defined as $\rho(b,A) = \inf\,\{ \rho(b,a) : a \in A \}$. Prove ...
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
45 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
25 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
80 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
27 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
22 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
98 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
70 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
111 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
26 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
40 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
50 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$ ...
0
votes
1answer
46 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
23 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 ...
1
vote
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 ...
3
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
60 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
30 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
29 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
217 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}$ ...