Continuous functions in metric spaces

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 4K views
boneill3
Messages
126
Reaction score
0
Hi guy's I know this is more of a homework question, I posted a similar thread earlier on but I think I ended up confusing myself.

I need to show that a function is continuous between metric spaces. I'll post the question and what I've done any tips on moving forward would be great.

I have any metric spaces
[itex](X,\rho)[/itex]
and
[itex](Y, \theta)[/itex]

And a metric space
[itex](X,\bar\rho)[/itex]
where
[itex] \bar\rho:X \times X \Rightarrow R_{0}^{+}, (x,y) \Rightarrow \frac{\rho(x,y)}{1+\rho(x,y)}.[/itex]

I have got to show the following

Let [itex](Y, \theta)[/itex]
be a metric space.
Prove that.
[itex]f : X \rightarrow Y[/itex]
is continuous with respect to [itex]\bar\rho[/itex] if and only if it is continuous with respect to [itex]\rho[/itex]


I have been given that [itex]f : X \rightarrow Y[/itex]
is continuous with respect to [itex](X,\rho)[/itex]

So I know that for some [itex]\delta[/itex] and [itex]\epsilon > 0[/itex]

that
[itex]{\rho}(z,b) < \delta \rightarrow \theta(f(z),f(b)) < \epsilon[/itex]

I need to show that for some[itex]\psi > 0[/itex] that

[itex]{\bar\rho}(x,a)<\psi \rightarrow \theta(f(x),f(a)) <\epsilon[/itex]

Can some one please show me how to go about finding [itex]\psi[/itex] ?
 
Physics news on Phys.org
Fix a in X. To show continuity at a, given [itex]\epsilon>0[/itex], you need to find a number [itex]\psi(\epsilon)>0[/itex] such that

[itex]{\bar\rho}(x,a)=\frac{\rho(x,a)}{1+\rho(x,a)}<\psi(\epsilon) \Rightarrow \theta(f(x),f(a)) <\epsilon[/itex]

knowing that there exists a number [itex]\delta(\epsilon)>0[/itex] such that

[itex]{\rho}(x,a) < \delta(\epsilon) \Rightarrow \theta(f(x),f(a)) < \epsilon[/itex]

Notice that, just by algebra, we have that

[tex]\frac{\rho(x,a)}{1+\rho(x,a)}<\psi (\epsilon)\Leftrightarrow \rho(x,a)<\frac{\psi(\epsilon)}{1-\psi (\epsilon)}[/tex]

So, surely, if you can chose [tex]\psi(\epsilon)[/tex] such that

[tex]\frac{\psi(\epsilon)}{1-\psi (\epsilon)}<\delta(\epsilon)[/tex]

then you will have won, yes?