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)

2
votes
1answer
29 views

Non-convergent Cauchy sequence in $\ell^1$ with respect to the $\ell^2$ norm

Let $X = \ell^1$, the set of absolutely convergent real valued sequences and let $d_2(\mathbf{x},\mathbf{y}) = \left(\sum_{k=1}^\infty |x_k - y_k|^2\right)^{1/2}.$ This is the $2$-norm on the $1$ ...
1
vote
0answers
22 views

Showing two norms is not equivalent

Define the norms as $||f||_u=sup_{x\in[a,b]}\{|f(x)|\}\ \ \ \ \ \ \ ||f||=||f||_u+||f'||_u$ Show that $||\cdot||$ and $||\cdot||_u$ is not equivalent I've found a sequence for which $||\cdot||_u$ ...
1
vote
0answers
22 views

Metric on the profinite completion of the integers?

The p-adic integers come with a metric and associated topology, both of which can be restricted down to the integers. Does this also apply to the profinite completion of the integers? Do they have ...
2
votes
1answer
31 views

Metric equivalent same topology

Let $d_1=|x-y|$ and $d_2=|φ(x)-φ(y)|$ where $φ(x)=\frac{x}{(1+|x|)}$ I must proof $d_1$ and $d_2$ define the same topology over $R^2$ I want some hint. just some indication or méthodes .
0
votes
0answers
24 views

Does $f_n(x)=\sqrt{x-a+1/n} $ converge in $C^1$?

Define $f_n(x)=\sqrt{x-a+1/n} $ on $[a,b]\in\mathbb{R}$. Correct me if I'm wrong, but I worked out that: 1) Since $x\geq a$, then $x-a$ is positive (or $0$), and the function is defined for every $...
0
votes
0answers
14 views

All small enough subsets of a compact metric spaces are covered by one element of its open cover [duplicate]

$(X,d)$ is a compact metric space, $\{U_i | i \in I\}$ is an open cover of $X$. I need to show that there is a number $\delta > 0$, such that if $A \subset X$ and diameter of $A \le \delta$, then ...
1
vote
1answer
128 views

$f_n(x) = \cos \left( \sqrt{x^2 + \frac{1}{n} }\right)$ is uniformly convergent

I need to prove that this sequence of functions: $$f_n(x) = \cos \left( \sqrt{x^2 + \frac{1}{n} }\right)$$ converges uniformly on $[0,1]$. This is a question regarding this one. There's an answer ...
0
votes
1answer
36 views

Find all limit points in metric space

Find all limit point in $(\mathbb{R}^3,d_2)$ ($d_2$ denotes the distance by the eucledian norm) of $\{x_n=(x_n^1,x_n^2,x_n^3)\}_{n\in\mathbb{N}}$ defined by ${x_n^1}=0,1,2,0,1,2,0,1,2...$ ${x_n^2}=...
1
vote
2answers
26 views

Show that $U \subset S$ open in S $\iff$ there exists an open set $U'$ in $X$ such that $U=U' \cap S $

Let X be a metric space and let $S\subset X$ I want to show that $U \subset S$ open in S $\iff$ there exists an open set $U'$ in $X$ such that $U=U' \cap S $ Here is a little bit of my reasonning: ...
1
vote
1answer
40 views

Prove that a metrizable space is countably compact iff it is compact.

Prove that a metrizable space is countably compact iff it is compact. ($\Rightarrow$) I let $\{O_i\}$ be a countable open cover for $(X,T)$ with a finite subcover. Let $\{U_i\}$ be an uncountable ...
1
vote
1answer
108 views

Every 1-Lipschitz function in the closed unit ball has a fixed point

I'm currently trying to solve the following exercise: Let B be the closed unit ball in $\mathbb R^n$ together with the euclidean metric. Show that every 1-Lipschitz function $f:B\to B$ has a ...
0
votes
1answer
51 views

Completeness of a metric space

I need help solving the following exercise: Show that a metric space $(X, d_X)$ is complete if, and only if, for every isometric embedding $f:X \to Y$ in another metric space $(Y,d_Y)$, it holds ...
1
vote
0answers
40 views

Geodesic of metric space

The define of geodesic is in below picture which is from Wiki. I don't know why it is generalize of geodesic for Riemannian manifolds. In fact , I can't see it is the shortest when two point are ...
0
votes
0answers
14 views

$f:x\to N$, $N$ complete, $a\in \overline{X}$. $\lim_{x\to a}f(x)$ exists $\iff$ $d((f(x),f(y))<\epsilon$

Suppose $M$ and $N$ metric spaces, where $N$ is complete. Suppose $f:X\to N$, with $X$ being a subspace of $M$ and $a\in \overline{X}$. I need to show that $$\lim_{x\to a}f(x)$$ exists $$\iff$$ $$\...
3
votes
1answer
31 views

Can a metric space with a finite number of holes be homeomorphic to its completion?

Let $(X,d)$ be a non-complete metric space. Let $\tilde X$ be its completion. Assume $\tilde X \setminus X$ is a finite set. (That is, $X$ has a finite number of "holes"). Is it possible for $X,\...
2
votes
1answer
31 views

$N$ complete metric space, if a sequence of continuous functions $f_n:M\to N$ conv. unif. in a subset $X$, then $f_n$ conv. unif. in $\overline {X}$

I need to prove the following: Suppose $M$ a metric space and $N$ a complete metric space. Show that if a sequence of continuous functions $f_n:M\to N$ converges uniformly in a subset $X$, then $f_n$ ...
0
votes
1answer
33 views

Does the following function define a distance metric?

For real numeric vectors of length $N$, let $a_n \succ b_n$ be one if true and zero if false. The distance between $A$ and $B$ is $$\sum_1^N a_n \succ b_n$$ Note that this is very similar to the ...
1
vote
2answers
66 views

Any uncountable not-compact topological space has uncountable number of compact and noncompact subsets

Question: Prove that every uncountable topological space which is not compact has an uncountable number of subsets which are compact and an uncountable number which are not compact. Since any finite ...
2
votes
2answers
47 views

What does $\psi \in \mathscr{L}^2(\mathbb{R}^2)^7$ mean?

I'm aware that $\mathscr{L}^2(S)$ usually means the $L^p$-norm over some set in the context of metric spaces. So I guess that the first part "$\mathscr{L}^2(\mathbb{R}^2)$" means a set of $L^2$-norms ...
0
votes
0answers
20 views

How to find the Hausdorff distance between the following two sets?

$A = \{(x,y) \in \mathbb{R}^2: 1 \le x,y \le 3 \}$ and $B=\{(x,y) \in \mathbb{R}^2: (x-4)^2+(x-1)^2 \le 1\}$. I've calculated/guessed that $H(A,B)=\sqrt{8}=\max \{2, \sqrt{8}\}$. Is this right?
3
votes
1answer
65 views

Can a non complete metric space be homeomorphic to its completion?

Suppose we have a non complete metric space. Can it be homeomorphic to its metric completion?
0
votes
1answer
16 views

Does being Cauchy in $M$ imply being Cauchy in a subspace?

I've just seen an example about the sequence $x_n = \frac{1}{n}$ being Cauchy in $(0,1]$ because "Cauchy in $\mathbb{R}$ $\implies$ Cauchy in $(0,1]$". Is this true for a general metric space $M$ and ...
3
votes
1answer
45 views

Cardinality of a closed uncountable set.

I am aware that every closed uncountable subset of reals has cardinality of the continuum. It's easy to use this result to prove that the same is true in $\mathbb R ^n$, for each $n\in\omega$. ...
3
votes
1answer
41 views

Confusion about open and closed sets in metric spaces.

Let $(X,d)$ be a metric space and $(X,T)$ be the induced topology. I understand that $$B_r(a) = \{x: x \in X \land d(a,x) < r\}$$ is open in $(X,d)$ because it is open in $(X,T)$. I'm trying to ...
0
votes
1answer
20 views

Prove that a closed ball $B$ is closed and bounded in $(C[0,1], d^*)$

Let $C[0,1]$ be the set of all continuous functions from $[0,1]$ into $\Bbb R$ and let $(C[0,1], d^*)$ be the metric space defined as $$d^*=sup\{|f(x) - g(x)|: x \in [0,1]\}$$ Let $$B = \{f: f \in C[...
1
vote
1answer
42 views

$\inf_{x\in A}{\limsup_nd(x_n, x)} = \limsup_n[\inf_{x\in A}d(x_n, x)] $ for compact subset $A$.

let $ (X, d) $ be a complete metric space, $ A\subset X $ be compact and take a sequence $ (x_n) \subset X $\ $ A $ as a bounded sequence. Since infimum is independent from n , does the following ...
0
votes
1answer
29 views

If $\ d(x_n,x) $ exist then $\ (x_n) $ must be converge a point in $ X $ ?

Let $\ (X,d) $ be complete metric space, $\ x \in X $ and $\ (x_n) \subset X $ bounded sequence. If the real valued sequence {$\ d(x_n,x) $} convgergent then $\ (x_n) $ must be converge a point in ...
1
vote
1answer
30 views

Bounded in $\Bbb R^n$

Let $n$ be a positive integer, $d$ the Euclidean metric on $\Bbb R^n$, and $X$ any subset of $\Bbb R^n$. Prove that $X$ is bounded in $(\Bbb R^n, d)$ iff there exists an $M > 0$ such that for all $...
0
votes
1answer
26 views

Convergence in metric space and show cauchy sequence in metric space

I consider a metric space ($C^1(\mathbb{R}), \mathbb{R}$), $\Vert \cdot \Vert_u$) where $\Vert \cdot \Vert_u$ is the uniform norm, and I want to show that for $f_n \in C^1$, that is the continous ...
2
votes
1answer
32 views

Slicker way to prove $\rho$ is a metric

Let $d$ be a metric on $X$, and define $\rho: X^{2} \to \mathbb{R}$ as $$\rho(x,y)=\frac{d(x,y)}{1+d(x,y)}$$ The difficulty is in checking the triangle inequality. So, I can prove this by writing $f(t)...
4
votes
1answer
57 views

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 V_\...
1
vote
2answers
32 views

Show that exist a unique $x \in \bigcap_{n \in \mathbb{N}}{A_{n}}$.

Show that if $A_{n}$ is a sequence of closed, not empty and bounded sets of a complete metric space $M$ and $\operatorname{diam}(A_{n})$ vanishes, then exist a unique $x \in \bigcap_{n \in \mathbb{N}}{...
0
votes
0answers
67 views

Ball in $\mathbb{R}$ and limits

Let $q \in \mathbb{R}^2$, $D \subset \mathbb{R}^2$ such that there exists $r > 0$ with $B(q,r) \setminus \{q\} \subset D$. Let $f$ be a real-valued function defined on $D$ which satisfies: $\lim_{...
0
votes
1answer
27 views

Proving that a sequence is Cauchy 5

We want to prove that the sequence $a_n = n^2$ is Cauchy in the metric space $(E, d)$, with $E = [0, \infty[$ and $d(x, y) = |\arctan(x) - \arctan(y)|$. I proceed in the following way: $a_n$ is ...
0
votes
0answers
6 views

Unique projection onto nonconvex sets [duplicate]

If $C \subseteq \mathbb R^n$ is closed and convex, then for every $x \in \mathbb R^n$, there is a unique $y \in C$ minimizing $d(x,y)$. For what other subsets $C$ does this property hold? Would ...
0
votes
1answer
28 views

Question about the proof of compact subsets of metric spaces are closed and bounded.

If $A$ is a compact subset of a metric space $(X,d)$ then A is closed and bounded. What I'm confused about is this part of the proof: Let $x_0$ be fixed and define the mapping $f:(A,T) \rightarrow \...
2
votes
0answers
25 views

$\ell^p$-spaces for $p<1$

It is well known that whenever $p\in (0,1)$, the mapping $$ d_p(x,y):=\|x-y\|_{\ell^p}:=\left(\sum_{n=1}^\infty |x_n-y_n|^p\right)^\frac{1}{p} $$ turns $$\ell^p:=\{(x_n)_{n\in \mathbb N}:\|x\|_{\ell^...
0
votes
1answer
36 views

prove $||A_n^{-1}||$ is bounded

Let $(A_n)_{n=1}^\infty{} \in GL_{n\times n}(\mathbb{R}) $. $\lim_{n\rightarrow\infty} A_n = A$; $A\neq0$ is invertible. I have a notion that for any norm $$||\cdot||:GL_{n\times n}(\mathbb{R}) \...
-1
votes
1answer
24 views

An elementary question about real plane metrics

Given the metric $d_p$ on the real plane, i.e., $ d_p(x,y)=[|x_1-y_1|^p+|x_2-y_2|^p]^{1/p}$ For which values of $p \geq 1$ is it true that the following set is the usual line segment in the real ...
1
vote
0answers
26 views

Hausdorff distance on power sets

Consider a general metric space $(S,d)$, with $d$ a $1$-bounded metric, and let $X,Y \subset S$ be two closed subsets of $S$. Notice that $X$ and $Y$ are not compact. Let $\mathcal{P}(X)$ denote the ...
1
vote
1answer
37 views

When are the distance between points and sets well-defined?

Let $G$ be an open subset of $\mathbb C$. I would like to prove that this set $\{z\in G; d(z,\mathbb C-G)\ge 1/n\}$, where $n\in \mathbb R$, is well-defined. In another words, I would like to know if ...
0
votes
2answers
28 views

$\overline{X\cap Y}\subset \overline{X}\cap\overline{Y}$ for real numbers, case when $\overline{X\cap Y}\neq \overline{X}\cap\overline{Y}$

My proof for this is similar to this one, but I can't find an example such that $\overline{X\cap Y}\neq \overline{X}\cap\overline{Y}$ for the real numbers.
1
vote
0answers
28 views

Together with the algebra of cardinal numbers, is there analysis of cardinal numbers? [closed]

Let $C$ be the collection of all cardinal numbers. Is there any norm, inner-product, metric (other than discrete metric), topology(other than discrete, co-finite topology) on $C$, which is very useful?...
1
vote
2answers
28 views

for $X\subset \mathbb{R}$, $\mathbb{R} = int X\cup Int(\mathbb{R}-X)\cup \partial X$

I need to prove: for $X\subset \mathbb{R}$, $$\mathbb{R} = int X\cup Int(\mathbb{R}-X)\cup \partial X$$ The problem is that all the proofs I've found are for metric spaces, not $\mathbb{R}$ itself, ...
0
votes
1answer
45 views

Banach fixed-point theorem for a recursive functional equation

I was asked to prove that the functional equation $$ x(t) = \begin{cases} \frac{1}{2} x(3t) + \frac{1}{2},& 0 \leq t \leq \frac{1}{3}\\\ f(t), & \frac{1}{3} < t\leq \frac{2}{3}\\\ \frac{1}{...
1
vote
2answers
74 views

Does the function $d(x,y)= \frac{\lvert x-y\rvert} {1+{\lvert x-y\rvert}}$ define a metric on $\mathbb{R}^n?$

Does the function $d: \mathbb{R}^n \times \mathbb{R}^n \to \mathbb{R}$ given by: $$d(x,y)= \frac{\lvert x-y\rvert} {1+{\lvert x-y\rvert}}$$ define a metric on $\mathbb{R}^n?$ How do you go about ...
0
votes
1answer
17 views

Equivalence of precompactness and completely boundedness.

Definitions: The set $A\subset X$ is called completely bounded if $\forall \epsilon >0 \ \exists x_1,...,x_k \in A$ s.t. $A \subset \bigcup_{i=1}^k B(x_i,\epsilon)$. The set $A$ is called ...
0
votes
2answers
18 views

Question regarding metric spaces and union of balls

If $X$ is a compact space and $\epsilon > 0$, I want to show that there exists $n$ point $x_1, x_2, ... x_n$ such that $\bigcup_{i=1}^n B(x_i, \epsilon) = X$ I am not sure how to do that. ...
0
votes
1answer
17 views

Distances in a metric space

If $X$ is a metric space and $x_0\in X$. Let $x$ and $x'$ be any points of $X$. I want to unerstand why the following inequality is correct: $d(x,x_0)-d(x',x_0) \leq d(x,x')$ I understand that if we ...
0
votes
0answers
29 views

If $S \subset X$ does a subsequence of $S$ converge in $S$ or in $X$?

Let $X$ be a metric space and let $S\subset X$ be a compact space. By definition, $S$ is compact implies that for all sequences $(x_n)$ of $S$, there exists a subsequence $(x_{n_{\alpha}})$ that ...