Wednesday, 1 November 2017

real analysis - Extending f:EtomathbbR continuous to g:mathbbRtomathbbR continuous



The following is from Carothers' Real Analysis:





Let ER be closed and let f:ER be continuous. Prove that f extends to a continuous function on all of R. That is, prove that there exists a continuous function g:RR such that f(x)=g(x) for xE.




Thoughts regarding the proof:



Let ER be closed and suppose f:ER is continuous. Since E is closed is given, I suspect I will need to use a sequence of continuous functions which converges but I'm not sure how to incorporate this if this is indeed the case.



A hint to get me started on the proof would be appreciated. Thanks.



Answer



hints since E is closed in R so Ec is open in R...now we know that every open set in R is countable union of disjoint open intervals...let {(ai,bi)} s.t iN is the set of all disjoint open interval...then for some kN we know the value of f(ak) and f(bk)...so we can define a function gk in the interval [ak,bk] s.t f(ak)=g(ak) and f(bk)=g(bk)...and then then gluing up all such gks and f we can continuously extend the funtion...I think this much hint is enough..you can fill up all the details


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find lim without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...