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)

1
vote
1answer
55 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
161 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
84 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
187 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
503 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
46 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? ...
3
votes
1answer
57 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
107 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
28 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
35 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
102 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 ...
1
vote
1answer
173 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
134 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
166 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
33 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
58 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 ...
2
votes
1answer
502 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
92 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
123 views

A continuous function on the real line such that the preimage of every point is either empty of has exactly 3 points [duplicate]

Let $f : \mathbb{R} \to \mathbb{R}$ be a function with all fibres $(\lbrace{x \in \mathbb{R}| f(x) = c\rbrace} = f^{−1}(c)$, $c \in \mathbb{R})$ either empty or consisting of exactly three points. ...
0
votes
1answer
29 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
1answer
218 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
95 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
49 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
110 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
82 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
38 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
138 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
208 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 ...
2
votes
2answers
148 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
132 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
46 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
45 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
37 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
62 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
88 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
364 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
212 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
70 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
110 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
62 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 ...
3
votes
1answer
71 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 ...
5
votes
1answer
99 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
38 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
49 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
119 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 ...
22
votes
1answer
519 views

If $d$ is a metric, is $d(x,y)/(1+d(x,0)+d(y,0))$ 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
310 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
85 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 ...