- Thread starter
- #1

- Jun 22, 2012

- 2,918

I am reading Tom M Apostol's book "Mathematical Analysis" (Second Edition) ...

I am focused on Chapter 4: Limits and Continuity ... ...

I need help in order to fully understand the example given after Theorem 4.29 ... ...

Theorem 4.29 (including its proof) and the following example read as follows:

In the Example above we read the following:

" ... ... However, \(\displaystyle f^{ -1 }\) is not continuous at the point \(\displaystyle f(0)\). For example, if \(\displaystyle x_n = 1 - 1/n\), the sequence \(\displaystyle \{ f(x_n) \}\) converges to \(\displaystyle f(0)\) but \(\displaystyle \{ x_n \}\) does not converge in \(\displaystyle S\). ... ... "

My question is as follows:

Can someone please explain exactly how/why ... the sequence \(\displaystyle \{ f(x_n) \}\) converges to \(\displaystyle f(0)\) but \(\displaystyle \{ x_n \}\) does not converge in \(\displaystyle S\) ... ... implies that \(\displaystyle f^{ -1 }\) is not continuous at the point \(\displaystyle f(0)\) ... ... ?

-----------------------------------------------------------------------------------------------------------------------------------------------

My thoughts ...

I think that the relevant theorem regarding answering my question is Apostol, Theorem 4.16 which reads as follows:

If we let \(\displaystyle t_n \in f(S)\) be such that \(\displaystyle t_n = f(x_n)\) ... so the sequence \(\displaystyle \{ t_n \} = \{ f(x_n) \}\) is in the domain of \(\displaystyle f^{ -1 }\) ...

Then ... sequence \(\displaystyle \{ t_n \} = \[ f(x_n) \}\) converges to \(\displaystyle f(0) = t_0\) say ...

Then following Theorem 4.16 above ... for \(\displaystyle f^{ -1 }\) to be continuous we need \(\displaystyle \{ f^{ -1 } (t_n) \} = \{ f^{ -1 } ( f(x_n) ) \} = \{ x_n \}\) to converge in \(\displaystyle S\) ... but it does not do so ...

(mind you ... I'm not sure how to prove it doesn't converge in \(\displaystyle S\) ...)

Is that correct?

-------------------------------------------------------------------------------------------------------------------------------------------------------------------

Hope that someone can help ...

Peter

I am focused on Chapter 4: Limits and Continuity ... ...

I need help in order to fully understand the example given after Theorem 4.29 ... ...

Theorem 4.29 (including its proof) and the following example read as follows:

In the Example above we read the following:

" ... ... However, \(\displaystyle f^{ -1 }\) is not continuous at the point \(\displaystyle f(0)\). For example, if \(\displaystyle x_n = 1 - 1/n\), the sequence \(\displaystyle \{ f(x_n) \}\) converges to \(\displaystyle f(0)\) but \(\displaystyle \{ x_n \}\) does not converge in \(\displaystyle S\). ... ... "

My question is as follows:

Can someone please explain exactly how/why ... the sequence \(\displaystyle \{ f(x_n) \}\) converges to \(\displaystyle f(0)\) but \(\displaystyle \{ x_n \}\) does not converge in \(\displaystyle S\) ... ... implies that \(\displaystyle f^{ -1 }\) is not continuous at the point \(\displaystyle f(0)\) ... ... ?

-----------------------------------------------------------------------------------------------------------------------------------------------

My thoughts ...

I think that the relevant theorem regarding answering my question is Apostol, Theorem 4.16 which reads as follows:

If we let \(\displaystyle t_n \in f(S)\) be such that \(\displaystyle t_n = f(x_n)\) ... so the sequence \(\displaystyle \{ t_n \} = \{ f(x_n) \}\) is in the domain of \(\displaystyle f^{ -1 }\) ...

Then ... sequence \(\displaystyle \{ t_n \} = \[ f(x_n) \}\) converges to \(\displaystyle f(0) = t_0\) say ...

Then following Theorem 4.16 above ... for \(\displaystyle f^{ -1 }\) to be continuous we need \(\displaystyle \{ f^{ -1 } (t_n) \} = \{ f^{ -1 } ( f(x_n) ) \} = \{ x_n \}\) to converge in \(\displaystyle S\) ... but it does not do so ...

(mind you ... I'm not sure how to prove it doesn't converge in \(\displaystyle S\) ...)

Is that correct?

-------------------------------------------------------------------------------------------------------------------------------------------------------------------

Hope that someone can help ...

Peter

Last edited: