Thread: Proving a function is continuous in a metric spaces

1. Proving a function is continuous in a metric spaces

Let A be a non-empty set in a metric space (X,d). Define$\displaystyle f : X \rightarrow \mathbb{R}$ by $\displaystyle f(x) = inf \{d(a,x) : a \in A \}$
. Prove that f is continuous.

I dont see how to bound f(x) and f(y)

2. Re: Proving a function is continuous in a metric spaces

Hint The class of subsets of $\displaystyle \mathbb{R}$ in the form $\displaystyle G_{\alpha}=(\alpha,+\infty)$ or $\displaystyle H_{\beta}=(-\infty,\beta)$ is a subbasis of $\displaystyle (\mathbb{R},T_u)$ . Prove that $\displaystyle f^{-1}(G_{\alpha})$ and $\displaystyle f^{-1}(H_{\beta})$ are open sets.

3. Re: Proving a function is continuous in a metric spaces

Originally Posted by FGT12
Let A be a non-empty set in a metric space (X,d). Define$\displaystyle f : X \rightarrow \mathbb{R}$ by $\displaystyle f(x) = \inf \{d(a,x) : a \in A \}$. Prove that f is continuous.
Suppose that $\displaystyle a\in A$.
$\displaystyle f(x)=\inf\{d(x,t):t\in A\}\le d(x,a)$
$\displaystyle d(a,x)\le d(a,y)+d(y,x)$ or $\displaystyle d(a,x)-d(y,x)\le d(a,y)$ for each $\displaystyle a\in A$

Thus $\displaystyle f(x)-d(x,y)\le f(y)$ or $\displaystyle f(x)-f(y)\le d(x,y)$

Can you continue to prove that $\displaystyle |f(x)-f(y)|\le d(x,y)~?$

4. Re: Proving a function is continuous in a metric spaces

Originally Posted by Plato
$\displaystyle d(a,x)-d(y,x)\le d(a,y)$ for each $\displaystyle a\in A$

Thus $\displaystyle f(x)-d(x,y)\le f(y)$
How did you make this step?

I understand that f(x)≤d(a,x), but how did you introduce f(y)?

5. Re: Proving a function is continuous in a metric spaces

Originally Posted by ILikeSerena
How did you make this step?
I understand that f(x)≤d(a,x), but how did you introduce f(y)?
Note that $\displaystyle d(a,x)\le d(a,y)+d(y,x)$ or $\displaystyle d(a,x)-d(y,x)\le d(a,y)$ for each $\displaystyle a\in A$
implies that $\displaystyle f(x)-d(x,y)$ is a lower bound for the set $\displaystyle \{d(y,a):a\in A\}~.$

6. Re: Proving a function is continuous in a metric spaces

Originally Posted by Plato
Note that $\displaystyle d(a,x)\le d(a,y)+d(y,x)$ or $\displaystyle d(a,x)-d(y,x)\le d(a,y)$ for each $\displaystyle a\in A$
implies that $\displaystyle f(x)-d(x,y)$ is a lower bound for the set $\displaystyle \{d(y,a):a\in A\}~.$
Thanks!
I got it now.