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
0answers
15 views

Hausdorff dimension of Sierpinski triangle

https://en.wikipedia.org/wiki/Hausdorff_dimension#Behaviour_under_unions_and_products Wikipedia page says that if $ \underset{i \in I}{\cup} X_i = X$ and $I$ is countable then $dim_{Haus}(X) = ...
1
vote
1answer
29 views
+100

Preservation of completeness through a continous onto mapping

Let $(X_{1},d_{1})$ and $(X_{2},d_{2})$ be metric spaces and $f: X_{1} \to X_{2}$ be a continuous onto map such that $$ d_{1}(x,y) \leq d_{2}(f(x),f(y)) \hspace{2mm} \forall\phantom{i}x,y \in ...
0
votes
3answers
106 views

I know the basic definition of continuity. But here, the definition is applied for a ball.

I am studying the topology of $\Bbb R^n$ from W. R . Wade's Introduction to analysis book. I know the basic definition of continuity. But here, the definition is applied for a "ball". I dont ...
1
vote
1answer
26 views

Does computing distance in $N$ dimensions have any application beyond $N=3$?

So I had to implement the distance formula earlier in programming, and had a thought that I should make it work for $N$ dimensions. I then smacked myself and realized that I'm programming for a ...
0
votes
1answer
13 views

$X$ is a normed linear space such that for some compact $K\subseteq X$ , $\operatorname{span} K$ is dense in $X$ then is $X$ separable?

Let $X$ be a normed linear space which is separable. Then I know that there exists a compact subset $K$ of $X$ such that $\operatorname{span} K$ is dense in $X$ (in fact we can also find compact and ...
2
votes
5answers
65 views

How limiting/ heavy is the “triangle inequality” assumption?

Suppose a theorem proves something about a family of distance measures, with this the triangle inequality assumption. How limiting this assumption is in reality? What are some real-world examples of ...
0
votes
2answers
39 views

If $X$ is a compact metric space and $E_n$ is closed nonempty subset, show that $\cap_{n=1}^\infty E_n$ is nonempty.

Suppose that $(X,d)$ is a compact metric space and $(E_n)$ is any sequence of nonempty closed subsets of $X$ with $E_{n+1}\subset E_n$ for all $n\in\mathbb{N}$. Show that $\cap_{n=1}^\infty E_n$ is ...
0
votes
1answer
36 views

Proving $\mathbb{R}/\sim$ is homeomorphic to unit circle

Let $S$ be the unit circle in $\mathbb{C}$, standard topology. Define the equiv. rel. $\sim$ on $\mathbb{R}$ as $x\sim y\iff x - y\in\mathbb{Z}$. I would like to prove that $\mathbb{R}/\sim$ is ...
0
votes
2answers
40 views

Continuity of a function between metric spaces

I want to show: Let $(X,d)$ be a metric space and $A \subset X$ be a closed subset. Define $f: X \to \mathbb{R}$ by $$ f(x) = d(x,A) := \inf_{y\in A}d(x,y), \phantom{.} \forall x \in X.$$ Show ...
0
votes
1answer
43 views

Why is $U ⊂ \mathbb{R}^n$ open with respect to metric $d_p$ iff it is open with respect to metric $d_q$ for $q ∈ [1, ∞)$?

Let's say that for any $p ∈ [1, ∞)$ we have a distance function on $\mathbb{R}^n$ given by $$d_p(x, y) := \left(\sum^n_{j=1}|x_i - y_i|^p\right)^{\frac{1}{p}}$$ How would I show that a set $U ⊂ ...
1
vote
4answers
23 views

Euclidean metric in $\mathbb{R}^n$; the singleton is not open in such a metric space

I am trying to prove this but just don't see it. We are talking about openness in the metric sense, yes? So, my attempt is Let $x \in \mathbb{R}^n$ and $d$ represent the Euclidean metric, ...
0
votes
2answers
34 views

Interior of a set in a metric space

if $E$ is a metric space nd $B\neq E$ how to prove that: $$\overset{\circ}{B}=\bigcup_{n=1}^{\infty} (\{x\in E, d(x, E\setminus B)\geq \frac1n\})$$ i don't know how to start
2
votes
1answer
65 views

Prove that the following statements are equivalent characterizations of continuity

Let $f: (X,d) \rightarrow (Y, d')$ be a function. Prove that the following are equivalent: $f$ is continuous . For every $A \subset X$, $f(cl(A)) \subset cl(f(A))$. For every closed set $B$ in ...
13
votes
3answers
13k views

Show that in a discrete metric space, every subset is both open and closed.

I need to prove that in a discrete metric space, every subset is both open and closed. Now, I find it difficult to imagine what this space looks like. I think it consists of all sequences containing ...
2
votes
4answers
45 views

Is $\{\frac{m}{10^n}\mid m,n\in\mathbb Z,\quad n\geq 0\}$ dense in $\mathbb R$?

The set $S$ of real numbers of the form $m/(10^n)$, $m,n$ integers and $n$ greater than equal to $0$, is dense sunset of $\mathbb R$ or not?? I know dense means closure of $S$ in $\mathbb R$ is ...
0
votes
1answer
136 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 ...
1
vote
1answer
31 views

An example in Cantor's intersection theorem if the hypothesis $\text{diam}(D_n)\to0$ as $n\to\infty$ is omitted

Cantor's intersection Theorem: If $(D_n)_{n=1}^\infty$ is a sequence of nonempty closed sets in a complete metric space $(X,d)$ such that $D_{n+1}\subset D_n$ for all $n\in\mathbb{N}$ and ...
2
votes
2answers
61 views

If two nested open sets have the same nonempty boundary, are they the same set?

Let $(X,d)$ be a metric space. Let $B_\epsilon(x)$ be the open ball of radius $\epsilon$ centered at $x$. For $x\in X$ and $\epsilon>0$, suppose that $V$ is an open set in $X$ with $V\subseteq ...
1
vote
1answer
73 views

Property of Nowhere Dense Sets

I am trying to prove the following statement regarding nowhere dense sets: "In a metric space X, the frontier of an open set is the set of accumulation points of a discrete set." As far as my ...
1
vote
1answer
181 views

In a standard metric space…what does | | mean (is it the absolute value or something more)?

We have a standard metric space defined as: ($\mathbb{R}$,d)= ($\mathbb{R}$, | |) $d(x,y)=|x-y|$ Does | | in first sentence always mean that we must do $|x-y|$; so that we look only at the distance ...
3
votes
2answers
55 views

If $d(x,A)=0\forall x\in X$ for some subset $A$ of $X$, does it follow that $A$ is dense?

If $d(x,A)=0 \:\:\forall x\in X$ for some subset $A$ of $X$ then $A$ is dense in $X$, right? Once I did one problem which says $d(x,A)=0\Leftrightarrow x\in \bar{A}$ so by the condition here we get ...
1
vote
0answers
51 views
+100

Interpolation and mapping between scattered vectors in two unequally dimensioned spaces

Imagine two spaces: An ‘input’ space with dimension $m$. An ‘output’ space with dimension $n$. $m \geq n$ There are points in each of these spaces defined such that some characteristic is ...
0
votes
1answer
37 views

If $(X,d_1)$ and $(X,d_2)$ two connected metric spaces if only if $X\times Y$ is connected metric space

$(X,d_1)$ and $(X,d_2)$ are two connected metric spaces if and only if $X\times Y$ is a connected metric space with metric $$ D((x_1,y_2), (x_2,y_2)) = \max(d_1(x_1,x_2),d_2(y_1,y_2)).$$ I know that ...
1
vote
0answers
32 views

What simple topological properties of conic sections can be explored?

In the framework of my science fair project I am working on conic sections in different metric spaces. What simple topological properties/operations and so can I explore on them? Edit: To clarify, ...
4
votes
4answers
480 views

How to show that continuous functions between metric spaces agree on a closed set

Let $(X,d)$ and $(Y,d')$ be metric spaces, and let $D$ be a dense subset of $X$. Show that: If $f:X\to Y$ and $g:X\to Y$ be continuous, then the set $\{x\in X\mid f(x)=g(x)\}$ is closed.
0
votes
3answers
59 views

Give a “constructive” proof of the fact that in a metric space the intersection of two open balls is open

Main Question Can someone give a "constructive" proof of the fact that, Let $(X,d)$ be a metric space and $x,y\in X$. Let $B_d(x,r_x)$ and $B_d(y,r_y)$ be two open balls centered respectively at ...
1
vote
1answer
49 views

Open or closed set in $\mathbb{R}$

I have this set $A=\left\{\frac{1}{n}|n\in\mathbb{N}\right\}$ I need to show that it is neither open or closed in $\mathbb{R}$. And that the union ...
1
vote
2answers
43 views

Functions between metric spaces (and how they relate to closures of sets)

Let $(X,d)$ and $(Y , p)$ be metric spaces. Prove that if $f : X \to Y$ is continuous, then for any set $A\subset X$ with closure $\overline{A}$ we have $f(\overline{A})\subset \overline{ f(A) }$ ...
3
votes
1answer
26 views

$A \in SO(3,\mathbb R)\setminus\{I\}$ , then there are exactly two points in $S^2:=\{(x,y,z)\in \mathbb R^3:x^2+y^2+z^2=1\}$ which are fixed by $A$?

Let $A \in SO(3,\mathbb R)\setminus\{I\}$ , then is it true that there exist exactly two points in $$S^2:=\{(x,y,z)\in \mathbb R^3:x^2+y^2+z^2=1\}$$ which are fixed by $A$? Or equivalently we ...
2
votes
1answer
38 views

Topological spaces that remain non-metrizable, if the definition of metric space allows $d(x,y) = 0$ where not necessarily $x = y$?

In the definition of metric space, only one thing strikes me as unnatural: the requirement that $d(x,y) = 0$ implies $x = y$. As a programmer, I don't find it uncommon to deal with equivalence ...
0
votes
2answers
29 views

Proof that a subset of metric space with euclidian norm is open iff the same subset is open in metric space with Manhattan norm

For $\mathbb{R}^2$ we have the euclidian norm $$(x_1,x_2)\mapsto\sqrt{x_1^2+x_2^2},$$ and the Manhattan norm $$(x_1,x_2)\mapsto|x_1|+|x_2|.$$ Let $d_E$ and $d_M$ be the metrics defined by these norms, ...
4
votes
0answers
114 views
+100

Gromov-Hausdorff distance between a line segment and a cylinder

I want to prove the following statement, where $d_{GH}$ denotes the Gromov-Hausdorff distance: For $X= S^1 \times [0,1]$ and $Y= [0,1]$ with the intrinsic metrics one has $d_{GH}(X,Y) = ...
4
votes
0answers
39 views
+100

Point set where each point has unity distance to all other points ($L_1$ metric)

I want to construct a point set where each point has the same (w.l.o.g., unit) distance to all other points in the $L_1$ metric. Example: The points $\left(\frac{1}{2},0\right)$, ...
0
votes
1answer
18 views

Proving that a set infers a norm given certain conditions

Let $\bar{B}$ be a set in a vector space $E$. Then $\bar{B}$ is the closed unitary ball for a norm iff $\mathbb{N} . \bar{B} = E$ $\lambda x + (1-\lambda)y \in \bar{B}$ for all $x \, ,y \, \in ...
1
vote
1answer
11 views

Function Inequality

Let $E$ and $F$ be normed vector spaces and $\mathscr{L}(E,F) = \{f:E \rightarrow F \mid f$ is linear and continuous$\}$ be a normed vector space with the norm $\lVert f \rVert = \sup_{|x|=1} \{|f(x)| ...
6
votes
4answers
141 views

Show that every compact metrizable space has a countable basis

Show that every compact metrizable space has a countable basis. My try: Let $X$ be a compact space and metrizable. Now for each $n\in \Bbb N$; I can consider the open cover $\{B(x,\frac{1}{n}):x\in ...
0
votes
1answer
22 views

For $U\subseteq Y\subseteq X$, prove that $U$ is open in $Y$ iff there is a $V\subseteq X$ such that $U=Y\cap V$

Let $(X,d)$ be a metric space, with $Y$ a subset of $X$. How do I prove that a subset $U\subseteq Y$ is open in the metric space $(Y,d|_{Y\times Y})$ iff there exists an open subset $V$ of $X$ ...
0
votes
1answer
40 views

If $\sum_{n=1}^{\infty}x_n^2<\infty$ and $\sum_{m=1}^{\infty}x_n^2<\infty$, is $\sum_{k=1}^{\infty}(x_n)_k^2(x_m)_k^2<\infty$? [duplicate]

Let $$l^2=\left\{(x_n):\sum_{n=1}^{\infty}x_n^2<\infty\right\}$$ equipped with the norm $$\|(x_n)\|=\left(\sum_{n=1}^{\infty}x_n^2\right)^{1/2}.$$ Prove that $l^2$ is complete with ...
2
votes
1answer
385 views

Completeness of $\ell^2$ space

I was reading up and it says that $(\ell^2,\|.\|_2)$ is complete. I know that a metric space $X$ in which every Cauchy sequence converges to an element of $X$ is called complete. And I know that a ...
0
votes
2answers
26 views

Prove that all three metrics induces the same topology on $X_1\times X_2$

Prove that if $(X_1,d_1)$ and $(X_2,d_2)$ are metric spaces on $X_1\times X_2$ and metric $d:(X_1\times X_2)\times (X_1\times X_2)\rightarrow R$ is defined in following way: ...
1
vote
2answers
32 views

A Compact Hausdorff space which is locally metrizable is metrizable.

This is exercise 7 from section 34 in Munkres. The hint given is to show that the space is a union of finitely many subspaces which are second countable. This question has been asked before A ...
1
vote
2answers
55 views

How to resolve the apparent paradox resulting from two different proofs?

Definition of Open Ball Let $(X, d)$ be a metric space and let $r\in\mathbb{R}^+$. Then the set, $B_d(x, r) := \{y \in X : d(x, y) < r\}$ will be said to be the open ball of radius $r$ ...
1
vote
1answer
32 views

Function between two metric spaces?

I need to come up with: two metric spaces ( X , d ) and ( Y , p ) A continuous function f: X → Y A Cauchy sequence {xn} in X that isn't mapped to a Cauchy sequence in Y My idea was to make ...
0
votes
1answer
362 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
67 views

Complete metric on the space of sequences

Let $S$ be the set of all real sequences $x=\{x_n\}$, $d: S\times S \rightarrow \mathbb R$ be defined by: $$d(x,y)=\sum_{n=1}^{\infty} \frac{|x_n-y_n|}{2^{n}[1+|x_n-y_n|]}.$$ Show that $(S,d)$ is a ...
2
votes
2answers
37 views

Any necessary and sufficient condition(s) for closure of an open ball to be the corresponding closed ball?

Let $(X,d)$ be a metric space, $a \in X$, and $\delta$ be a positive real number. Then the open ball $B(a;\delta)$ is defined as $$B(a;\delta) \colon= \left\{ \ x \in X \ \colon \ d(x,a) < \delta ...
3
votes
2answers
38 views

Map from circle to real line

I am asked to show that, for any continuous $\phi:\;S^1\to\mathbb{R}$ where $S^1=\{ \|\mathbf{x}\|=1,\;\mathbf{x}\in\mathbb{R}^2\}$, there exists $\mathbf{z}\neq 0$ such that: ...
0
votes
2answers
57 views

A sequence of functions converges in $C[0,1]$ iff it is Cauchy? Is it pointwise or uniform convergence?

In my notes, there is this theorem: A sequence in $R^n$ converges (to a limit in $R^n$) iff it is Cauchy. I understand that this theorem applies to all complete metric spaces, not just to $R^n$. ...
0
votes
0answers
28 views

Can we define the derivative of a function in arbitrary metric space in the following way?

Let us first define some terms. Definition of Pre-pseudometric Let $X\ne\emptyset$ and a function $\varphi:X\times X\to\mathbb{R}$ will be called a pre-pseudometric on $X$ if, ...
0
votes
0answers
34 views

subset of a complete space has a relatively compact $\varepsilon$-net.

Trying to prove that, a subset $A \subset X$ of a complete space $X$ is relatively compact iff $\forall \epsilon > 0$ $A$ has a relatively compact $\epsilon$- net. I have proved the following ...