Thursday, 20 October 2016

real analysis - Continuous Function and Open Subsets in mathbbR



Let E be a subset in R, f a real-value function on E.
Prove that f is continuous on E for every open subset V of R, f1(V) in open relative to E.



My question is about the () direction only.
Let f be a continuous function on E and V a open subset on R.
If f1(V)={}, then it is open. Suppose that f1(V){}. Let pf1(V).
Then f(p)V. Select ϵ such that Nϵ(f(p))V.



My question is this. At this point, we do not know if p is an element of E.
If pE, since f is continuous on E, δ such that f(x)Nϵ(f(p)) for all xNδ(p)E.
Thus Nδ(p)Ef1(V).



But, suppose that pE. How do I know that the above statement is still true?
I tried the following:
Let qE be a point such that f(q)Nϵ(f(p))
Select α such that Nα(f(q))Nϵ(f(p)).
Then δ such that f(x)Nα(f(q)) for all xNδ(q)E.
But this only shows that Nδ(q)Ef1(V), not Nδ(p)....
I also thought about showing that if pE, then Nδ(p)E={},
but I have no idea about how to do it.


Answer




You must change only one step in your proof:



When you say:



"If f1(V)={} then it is open"



reeplace by



"If f1(V)E={}" then f1(V) is open relative to E".




Then the following line must be



"suppose now f1(V)E{} then exists pf1(V)E"



and your problem was solved since pE.


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

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