Continuous functions in metric spaces

In summary, the conversation discusses the task of proving the continuity of a function between metric spaces using different metrics. The goal is to find a number \psi(\epsilon)>0 that satisfies the given conditions and shows that the function is continuous with respect to both metrics. This can be achieved by choosing \psi(\epsilon) such that \frac{\psi(\epsilon)}{1-\psi(\epsilon)}<\delta(\epsilon).
  • #1
127
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
  • #2
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?
 

Suggested for: Continuous functions in metric spaces

Replies
1
Views
586
Replies
2
Views
1K
Replies
3
Views
5K
Replies
11
Views
6K
Replies
1
Views
2K
Replies
1
Views
1K
Back
Top