MHB Continuous Functions on Intervals .... B&S Theorem 5.3.2 ....

Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading "Introduction to Real Analysis" (Fourth Edition) by Robert G Bartle and Donald R Sherbert ...

I am focused on Chapter 5: Continuous Functions ...

I need help in fully understanding an aspect of the proof of Theorem 5.3.2 ...Theorem 5.3.2 and its proof ... ... reads as follows:View attachment 7277In the above text from Bartle and Sherbert we read the following:

" Since $$I$$ is closed and the elements of $$X'$$ belong to $$I$$, it follows from Theorem 3.2.6 that $$x \in I$$. Then $$f$$ is continuous at $$x$$ ... ... "Can someone please explain exactly why/how we can conclude that $$f$$ is continuous at $$x$$ ... ?Peter
 
Physics news on Phys.org
Peter said:
In the above text from Bartle and Sherbert we read the following:

" Since $$I$$ is closed and the elements of $$X'$$ belong to $$I$$, it follows from Theorem 3.2.6 that $$x \in I$$. Then $$f$$ is continuous at $$x$$ ... ... "Can someone please explain exactly why/how we can conclude that $$f$$ is continuous at $$x$$ ... ?
The theorem contains the hypothesis that $f$ is continuous on $I$. By definition, that means that $f$ is continuous at each point of $I$. The proof has already shown that $x\in I$. So it follows that $f$ is continuous at $x$.
 
Opalg said:
The theorem contains the hypothesis that $f$ is continuous on $I$. By definition, that means that $f$ is continuous at each point of $I$. The proof has already shown that $x\in I$. So it follows that $f$ is continuous at $x$.
Oh ... careless of me not to notice that ...!

Thanks Opalg ...

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