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

elementary problem on uniform continuity in metric space [on hold]

Let $f \colon \mathbb{R}^n \to \mathbb{R}$ be the function defined by $f(x_1,x_2,\ldots,x_n)=\max\{|x_1|,|x_2|,\ldots,|x_n|\}$. Show that $f$ is uniformly continuous.how can i prove its a lipschitz ...
3
votes
1answer
33 views

If $X$ is compact and $C$ is an open finite cover of $X$ then $C$ has a maximum Lebesgue number.

Prove the following statement. If $X$ is compact and $C = \{U_\alpha : \alpha \in A\}$ is an open finite cover of $X$ then $C$ has a maximum Lebesgue number. Is my proof correct? Proof: Let $E$ be ...
0
votes
0answers
11 views

bijective uniformly continuous function from a subset of the Cantor set $K$ onto $X.$

Suppose $(X, d)$ is a non-empty metric space. Then $X$ is totally bounded if, and only if, there exists a bijective uniformly continuous function from a subset of the Cantor set $K$ onto $X.$ Proof: ...
-5
votes
0answers
27 views

Topology of Metric spaces. [on hold]

I want to be clear about the concept of interior points, boundary points,limit points of a set in metric space. So, I want an explanation with examples on metric spaces. Thank You.
1
vote
2answers
63 views

Generalizing limits of sums, products, and quotients of sequences to abstract topological spaces?

Introductory real analysis books usually state some properties about limits of sequences. Suppose $\lim x_n=x$ and $\lim y_n=y$. Then: $\lim (x_n+y_n) = x+y$ $\lim c x_n = cx$, for $c \in ...
-1
votes
0answers
18 views

Strongly Equivalent metrics [on hold]

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.
1
vote
0answers
47 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, ...
3
votes
2answers
74 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 ...
2
votes
1answer
38 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 ...
3
votes
0answers
51 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$ ...
-1
votes
1answer
20 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 ...
-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
1answer
52 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 ...
2
votes
1answer
46 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 ...
2
votes
3answers
51 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 ...
0
votes
1answer
22 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 ...
0
votes
2answers
53 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 ...
4
votes
1answer
43 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 ...
-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?
4
votes
0answers
61 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: ...
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
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
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 ...
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
3answers
157 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, ...
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 ) [closed]

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 ...
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
47 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 ...
1
vote
1answer
31 views

Closed subspace of a metric space in which distance between any two points is at most $1$

$X$ be a metric space and $Y$ be a closed subspace of $X$ such that distance between any two points is at most $1$. Then $1$. $Y$ is compact $2$. Any continuous function from ...
0
votes
1answer
30 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
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} $$
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 ...
2
votes
2answers
67 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 ...
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 ...
1
vote
1answer
35 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 $ ...
2
votes
1answer
95 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
66 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 ...
0
votes
0answers
32 views

Topology Question in Munkres Analysis on Manifolds

Let X be a metric space with metric d. Let Y $\subset$ X. Give an example where A is open in Y but not open in X. Give an example where A is closed in Y but not closed in X. I'm stuck on question ...
0
votes
2answers
25 views

What is the difference between 1) given any , 2 ) for every 3) for all in definitions?

I have a lot of confusion. Definition: A sequence $\{x_n\}$ of points in a metric space is said to converge if there is a point $p \in S$ with the following property: For every ...
-1
votes
1answer
57 views

Prove $d(x,y)=(x-y)²$ is a metric

How can I prove that $d(x,y)=(x-y)²$ is a metric? I have proven all properties except the triangle inequality, i.e $d(x,y) \le d(x,z)+d(z,y)$ I have tried to prove it using the fact that ...
5
votes
1answer
121 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 ...
6
votes
1answer
32 views

A proper subspace of a normed vector space has empty interior.

In a vector normed space $E$, prove that all vectorial subspace $F\neq E$ has a interior empty. My approach:We consider, the open ball $B\subset F$, with $F$ proper subspace of $E$. If $x\notin F$, ...
5
votes
1answer
57 views

Continuity of a “minimal distance” projection $f:(X,d) \to (K, d_{|K})$ for a compact $K \subset X$. (Hint preferred)

Let $(X,d)$ be a metric space and $K$ be a compact subset of $X$. Show that for every $x \in X$ there exists $k_x \in K$ such that $$d(x,K)=d(x,k_x)$$ Suppose that for every $x\in X$, there exists ...