MHB How Does Theorem 4.29 Illustrate Continuity Issues in Inverse Functions?

Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
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:

View attachment 9237
View attachment 9238
In the Example above we read the following:

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

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

-----------------------------------------------------------------------------------------------------------------------------------------------My thoughts ...

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

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

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

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

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

Is that correct?

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

Hope that someone can help ...

Peter
 

Attachments

  • Apostol - 1- Theorem 4.29 & Example  ... PART 1 ...  .png
    Apostol - 1- Theorem 4.29 & Example ... PART 1 ... .png
    10.4 KB · Views: 146
  • Apostol - 2 - Theorem 4.29 & Example  ... PART 2 ... .png
    Apostol - 2 - Theorem 4.29 & Example ... PART 2 ... .png
    15.7 KB · Views: 134
  • Apostol - Theorem 4.16 ... .png
    Apostol - Theorem 4.16 ... .png
    7.5 KB · Views: 151
Last edited:
Physics news on Phys.org
Hi Peter,

Your idea is correct. Now, the sequence $\{x_n\}$ converges to $1$ in $\mathbb{R}$, but, as $S$ does not contain $1$, that sequence does not converge in $S$.

Intuitively, what happens is that, when a point $P$ travels counterclockwise in circles in $f(S)$, the image $f^{-1}(P)$ jumps discontinuously from $(1-\varepsilon)$ to $0$ in $S$ whenever $P$ passes through $f(0)=1$.
 
Last edited:
castor28 said:
Hi Peter,

Your idea is correct. Now, the sequence $\{x_n\}$ converges to $1$ in $\mathbb{R}$, but, as $S$ does not contain $1$, that sequence does not converge in $S$.

Intuitively, what happens is that, when a point $P$ travels counterclockwise in circles in $f(S)$, the image $f^{-1}(P)$ jumps discontinuously from $(1-\varepsilon)$ to $0$ in $S$ whenever $P$ passes through $f(0)=1$.
Thanks castor28

Appreciate your help ...

Peter
 
A sphere as topological manifold can be defined by gluing together the boundary of two disk. Basically one starts assigning each disk the subspace topology from ##\mathbb R^2## and then taking the quotient topology obtained by gluing their boundaries. Starting from the above definition of 2-sphere as topological manifold, shows that it is homeomorphic to the "embedded" sphere understood as subset of ##\mathbb R^3## in the subspace topology.
Back
Top