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
2answers
13 views

Strongly Equivalent metrics

How to show any two metrics to be strongly equivalent? Please suggest me the proper way to show this. Also i want to know how to find the constants in the respective definition.
4
votes
0answers
56 views

A discontinuous function $f: X \rightarrow Y$ satisfying: for each closed ball $B$ of $Y, f^{-1}(B)$ is closed in $X$

Find a function $f: X \rightarrow Y$ between metric spaces $X$ and $Y$ that is not continuous but has the property that for each closed ball $B$ of $Y, f^{-1}(B)$ is closed in $X$ Solution Attempt: ...
2
votes
2answers
64 views

For $l^2 (\mathbb{N})$ is $(l^2, d_2)= (l^2, d)$ topologically, where $d$ forms the usual product topology on $\mathbb{R}^{\mathbb{N}}$?

If we define $d(x,y)= \max_{n \in \mathbb{N}}( \min \{2^{-n}, |x_n - y_n| \})$ then does this distance form the same topology on $l^2 ( \mathbb{N})$ (the set of all square-summable real sequences) as ...
3
votes
2answers
65 views

10 points outside a unit circle

Let $P_1$, $P_2$,... $P_{10}$ be ten points outside the unit circle centered at the origin $O$. Given that $\|P_iP_j\|\ge 1/\sqrt{2}$ for all $1\le 1<j\le 10$, find the minimum of the sum of the ...
1
vote
0answers
45 views

Determining the interior of $([-1, 1]\times[-1, 1])\setminus \{ y \in \mathbb{R}^2 : d((0, 0), y) < 0.25 \} \subseteq \mathbb{R}^2$

Let $M = (\mathbb{R}^2, d_e)$ be the metric space, with $d_e$ the Euclidean metric. Let $C \subseteq \mathbb{R}^2$ be defined by $$C = ([-1, 1]\times[-1, 1]) \setminus \{ y \in \mathbb{R}^2 : d((0, ...
1
vote
1answer
32 views

Prove that $1 / \min \{n\in\Bbb N :x_n\ne y_n \}$ is a metric on the set of all sequences of real numbers

Consider the set of all sequences of real numbers.For $x={(x_n)_n}$ and $y={(y_n)_n}$ we define $N(x,y)=\inf \{n\in\Bbb N :x_n\ne y_n,\text{if $x\ne y$} \}$. Now, $$d(x,y)= \begin{cases} 0, ...
1
vote
2answers
14 views

Bounded sequence in a metric space

I have a small question when we have a bouded sequence in a metric space; we say that there exists a closed ball $B'$ such that $(x_n)\subset B'$ or just there exist a ball $B$ such that $(x_n)\subset ...
-1
votes
1answer
19 views

If $X$ is a polish space, how do we find an equivalent metric under wich $X$ is a totally bounded?

According to Stroock and Varadhan, If $X$ is a polish space, then one can choose an equivalent metric under which the space is totally bounded (see Stroock and Varadhan - Multidimensional diffusion ...
3
votes
0answers
50 views

$f$ is continuous, $f : X \to X$, $X$ compact, and $f$ has an $\epsilon$-fixed point for each $\epsilon > 0$. Show $f$ has a fixed point.

Problem: Let $f : X \to X$ be a map from a metric space to itself. A point $z \in X$ is a fixed point of $f$ if $f(z) = z$. Let $\epsilon > 0$. A point $w \in X$ is an $\epsilon$-fixed point of $f$ ...
0
votes
1answer
33 views

Book recomendation for function sequences.

I wanted to study about sequences of functions defined in metric spaces. What book/books do you recommend? Thanks!
-1
votes
0answers
35 views

Show that $y_n=x_{\phi(n)}$, defines a Cauchy sequence. [on hold]

Let $\phi:\mathbb{N}\to\mathbb{N}$, such that $\displaystyle\lim_{n\to\infty}{\phi(n)}=\infty$. If $(x_n)$, is a Cauchy sequence in the metric space $M$, then $y_n=x_{\phi(n)}$, defines a Cauchy ...
0
votes
3answers
41 views

In a normed vector space, if $O $ is an open set then $ O+a $ is open?

In a normed vector space, if $O $ is an open set then $ O+a $ is open? Here $ a$ is an element of some other set $ A $ . This feels intuitively obvious, as we just have "moved" the entire set, but I ...
0
votes
1answer
50 views

Example of Heine-Borel Theorem

For a subset $S$ of Euclidean space $\mathbb R^n$, S is closed and bounded if and only if S is compact (that is, every open cover of $S$ has a finite subcover). I need an example or ...
4
votes
2answers
171 views

Trying to show that $C([0,1])$ is a complete metric space, using the norm $\|f|| = \max_{x\in [0,1]} |f(x)|$.

I think I have this problem almost done. I am taking $C([0,1])$ to be the set of all continuous function $f\colon[0,1] \to \mathbb{R}$. I have already shown that $\displaystyle\|f\| = \max_{x\in ...
4
votes
1answer
42 views

What has “$\delta$ Gromov hyperbolic space” got to do with $\mathbb{H}_n$?

The start of section $2$ of this paper, http://homes.cs.washington.edu/~jrl/papers/kl06-neg.pdf defines something called a ``$\delta$ Gromov hyperbolic space". Can someone explain what has this at ...
2
votes
3answers
50 views

Proving that a set is open using epsilons.

I'm trying to prove that the set $$A=\{x=(x_{1},x_{2})\in\mathbb{R}^2:x_{1}^{2}+x_{2}^{2}>1\}$$ is open in $\mathbb{R}^2$ with the usual norm is open with the definition of "epsilons". My attempt ...
2
votes
1answer
45 views

subspace of a metric space

Let $(S,d)$ be a metric space, $\mathcal{S}$ the induced topology. $A\subset S$ a subset. It is easy to see that $A\cap\mathcal{S}=\mathcal{A}$, i.e., the topological subspace on $A$ is the ...
0
votes
1answer
36 views

How to determinate whether superset will be open or closed?

Let $M = (X, d)$ and A is closed subset of X, i.e. $A \subseteq X$. $A$ is told to be closed, iff it's complement $X\setminus A$ is open in $M$. But how can we determine, whether superset is open or ...
0
votes
1answer
20 views

Find a surjective closed mapping that not an open mapping and a surjective open mapping that is not a closed mapping

Find a surjective closed mapping that not an open mapping and a surjective open mapping that is not a closed mapping Attempt: Suppose $X$ and $Y$ are metric spaces and $f : X \rightarrow Y$. We call ...
1
vote
1answer
27 views

What can we say about open unit balls of sup-norm and integral-norm

Consider the normed linear spaces $X_1=(C[0,1], ||.||_1)$ and $X_{\infty}=(C[0,1],||.||_{\infty})$ , where $C[0,1]$ denotes the vector space of all continuous real valued functions on $[0,1]$ and ...
0
votes
2answers
52 views

Show that the mapping $f → f~'$ from $C^1([0 , 1])$ to $C([0 , 1])$ is not continuous.

Let $C^1([0 , 1])$ be the subspace of $C([0 , 1])$ consisting of the functions that have a continuous derivative throughout $[0 , 1]$. Show that the mapping $\Psi:f → f~'$ from $C^1([0 , 1])$ to $C([0 ...
-3
votes
0answers
49 views

about cauchy sequence in metric space [on hold]

Let $f$ be a function from a metric space $(X,d_1)$ to a metric space $(Y,d_2)$. If the image of every Cauchy sequence in $X$ is a Cauchy sequence in $Y$, how can I prove that $f$ is continuous?
2
votes
2answers
115 views

What is the “topology induced by a metric”?

My book gives the following definition: Let $(M,d)$ be a metric space, and let $\mathcal{T}$ be the collection of all subsets of $M$ that are open in the metric space sense... $\mathcal{T}$ is ...
2
votes
1answer
536 views

Pearson correlation and metric properties

Assuming that the data set was $z$-standardized to zero mean and unit variance (also assuming that it does not contain constant vectors). Then Pearson's r reduces to Covariance: $$\rho(X,Y) := ...
0
votes
0answers
27 views

Banach contraction mapping to find unique solution of $y(x) = \int_0^1 G(x,s) f(s,y(s)) ds$

Problem statement: Use the Banach contraction mapping theorem to show that $$y(x) = \int_0^1 G(x,s)\ f(s,y(s))\ ds$$ has a unique, continuous solution $y = y(x)$ if (1) $G(x,s) \ge 0$ for $0 \le x, ...
2
votes
3answers
154 views

Are strongly equivalent metrics mutually complete?

Maybe I'm missing something, but I can't seem to find any references to my exact question. If two metrics, $d_1(x,y)$ and $d_2(x,y)$ are strongly equivalent, then there exists two positive constants, ...
0
votes
0answers
49 views

Hilbert Cube and Metric Space

Given that $d(x,y)=\sum_{n=1}^{\infty}2^{-n}|x_{n}-y_{n}|$ defines a metric on $H^{\infty}$ where $H^{\infty}$ is the Hilbert Cube, a collection of all real sequence $x=(x_{n})$ with $|x_{n}|\leq 1$ ...
2
votes
2answers
51 views

Show that the following mapping is a contraction.

I have the following problem from a past paper: "Show that the mapping, $$T(x_1,x_2)=\left(\frac{x_1+2x_2}5-1,\frac{x_1-2x_2}7+1\right)$$ is a contraction on $(\mathbb R^2,d_\infty)$." I ...
1
vote
2answers
67 views

How to determine whether those sets are open or closed?

Given those three sets below, A (left), B (center) and C (right), with A, B, C $\subseteq \mathbb{R^2}$, how can I determine, whether they are open or closed in metric space terminology via simplest ...
-3
votes
1answer
22 views

how to find the locus when distance from the origin is defined as d(x,y) = max { |x|,|y|},d(x,y) =a (where 'a ' is a non zero constant ) [on hold]

How to find the locus when distance of any point from the origin is defined as d(x,y) = max {|x| |y|} where d(x,y) = a ( where is a non zero constant) I have a very long list of questions like these ...
1
vote
1answer
335 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
8 views

A point $a=(a_1,…,a_n)$ is isolated point in the cartesian product

Let be $M$ a metric space. A point $a=(a_1,...,a_n)$ is isolated point in the cartesian product $M=M_1\times...\times M_n$, if and only if, each coordinates $a_i$ is a isolated point in $M_i$ My ...
1
vote
1answer
17 views

Intersection of a dense set with an open set is dense in the open set

Let $A\subset M$ ann open subset, of the metric space M. If $X\subset M$ is dense in M, then $X\cap A$ is dense in A. My approach: If $X\subset M$, and $A\subset M$ is a open subset. Let be ...
2
votes
3answers
45 views

When the set of $r$-far interior points from a set is open

Let $E$ be a subset of a metric space $X$ and for $r > 0$ let $$ E_r = \lbrace x \in E : d(x,E^c) > r \rbrace .$$ Is the set $E_r$ always open? Equivalently, is the function $ x \mapsto ...
3
votes
2answers
76 views

Showing that a rectangle is equal to the closure of its interior

I'm trying to show that if Q is a rectangle, then Q equals the closure of Int Q. I have that the closure of Int Q is a subset of Q and I'm now working to show that Q is a subset of the closure of Int ...
3
votes
0answers
74 views
+50

Is the inverse of a bijective connectedness preserving map , on a complete real inner product space , also connectedness preserving?

Let $X$ be a complete real inner-product space and $f:X \to X$ be a bijection which maps connected sets to connected sets ; then is it necessarily true that $f^{-1}$ also maps connected sets to ...
4
votes
1answer
138 views

Proving a metric space $\mathbb N^{\mathbb N}$ with $d(x,y)=1/\min\{j:x_j\neq y_j\}$ is complete

Let $X$ be the collection of all sequences of positive integers. If $x=(n_j)_{j=1}^\infty$ and $y=(m_j)_{j=1}^\infty$ are two elements of $X$, set $$k(x,y)=\inf\{j:n_j\neq m_j\}$$ and $$d(x,y)= ...
0
votes
1answer
29 views

Prove complete metric space for $I=]0,\infty[$ with $d(x,y)=\lvert\ln(x)-\ln(y)\rvert$ [duplicate]

Let $I=]0,\infty[$ equipped with the metric $d(x,y)=\lvert\ln(x)-\ln(y)\rvert$, $\forall x,y \in I$. Prove that $(I,d)$ is complete. Any help, and thanks in advance.
1
vote
3answers
55 views

Proving that given metric space is complete: $X := (0,\infty)$ and $d:=|\ln(x)-\ln(y)|$

Given the metric space $(X,d)$ with $X := (0,\infty)$ and $d:=|\ln(x)-\ln(y)|$, how can I show that $(X,d)$ is complete? I need to prove that any Cauchy sequence converges, so: If $(x_n)$ is a ...
1
vote
2answers
589 views

Sequence has a convergent subsequence in R^n

Suppose A is a closed and bounded subset of R^n. Let {ak} be a sequence in A. Thus, the elements of {ak} are: (a11,a12,...,a1n), (a21,a22,...,a2n), ... ... (ak1,ak2,...,akn), ... We are not sure if ...
-1
votes
1answer
32 views

Topology induced by discrete metrics and topology induced by singleton [closed]

Show that the topology generated by singleton sets is topology induced by discrete metric. $$d(x,y)= \begin{cases} 0,&\text{if } x=y\\ 1,&\text{if } x \ne y\\ \end{cases} $$
2
votes
5answers
138 views

A-noncompact, Does there **always** exist a continuous function $f: A \to \mathbb R$ which is bounded but does not assume extreme values?

It's well known that if $ A \subset \mathbb R$ is compact then every continuous function $f:A \to \mathbb R$ is bounded and assume extreme values .So the obvious question is: Given any non compact ...
4
votes
2answers
63 views

Is every metric space quasi-isometric to a graph?

I've proved that if $(X, d)$ is a geodesic metric space then there exists a graph which is quasi-isometric to $X$. During this proof I've precisely used the fact that given two point in $X$ there ...
5
votes
1answer
118 views

Metric limit and limit in category

Is it possible to construct a category $\mathcal{C}$ with $\mathrm{Ob}\,\mathcal{C}=\mathbb{R}$ and for every diagram of the from $$a_0\leftarrow a_1\leftarrow\cdots a_n\leftarrow\cdots$$ the inverse ...
1
vote
1answer
34 views

Example of a separable, locally-compact metric space which is not $\sigma$-compact

I am looking for an example of a separable, locally-compact metric space which is not $\sigma$-compact. At first I thought I could show that if a metric space is separable and locally-compact, then ...
1
vote
2answers
40 views

Given any non compact set $A \subset \mathbb R^n$ does there exist a continuous function $f: A \to \mathbb R$ which is not uniformly continuous?

It's well known that if $ A \subset \mathbb R^n$ is compact then every continuous function $f:A \to \mathbb R$ is uniformly continuous.So the obvious question is: Given a non compact set $A \subset ...
1
vote
0answers
31 views

Sufficient condition for a infinite countable or non-countable intersection of open sets is equal to an open set.

Let $(X,\tau)$ a no discrete topological space. If necessary for an affirmative answer consider a metric space $(X, d )$ or a Banach space $(X, \|\,\cdot\, \|)$. In these cases, the topology $\tau $ ...
4
votes
2answers
88 views

Surjection of norms

Let $V$ be an infinite dimensional $\mathbb{C}$ (or $\mathbb{R}$) vector space. Suppose there exists two norms on $V$ such that \begin{equation*} \| \cdot\|_1 \leq \| \cdot \|_2. \end{equation*} Is ...
2
votes
1answer
93 views

Let $f:M\to N$ be continuous, then $f(U)\subset V$.

Let $f:M\to N$ be continuous, with $M$ and $N$ metric spaces. Given an arbitrary subset $X \subset M$ and an open set $V \subset N$, with $f(X) \subset V$, prove that there exists an open subset $U$, ...
8
votes
0answers
65 views

Question on complete metric spaces and whether the following is a complete metric space:

Let $ S \subset C^2([0,1])$(set of all two-times differentiable functions on $[0,1]$), which satisfy $$f(0)+f(\frac{1}{2})+f(1)=0.$$ Question :Is $ (S,d)$ is a complete metric space, where $d$ is ...