• Support PF! Buy your school textbooks, materials and every day products Here!

Proof about continuous function related to balls and sets

  • Thread starter Hernaner28
  • Start date
  • #1
263
0

Homework Statement


Let [tex] \displaystyle f:{{\mathbb{R}}^{n}}\to \mathbb{R}[/tex] a continuous function. Proove that:

If [tex] \displaystyle f\left( p \right)>0[/tex] then there's a ball [tex] \displaystyle {{B}_{p}}[/tex] centered at p such that [tex] \displaystyle \forall x\in {{B}_{p}}[/tex] we have [tex] \displaystyle f\left( x \right)>0[/tex].



Homework Equations





The Attempt at a Solution



f is continuous, that is:

[tex] \displaystyle \forall \varepsilon >0[/tex] [tex] \displaystyle \exists \delta >0[/tex] such that [tex] \displaystyle f\left( B\left( p,\delta \right) \right)\subset B\left( f\left( p \right),\varepsilon \right)[/tex].

Let f(p)>0, then I cannot conclude anthing with the above hypothesis. What's missing?

Thank you!
 

Answers and Replies

  • #2
LCKurtz
Science Advisor
Homework Helper
Insights Author
Gold Member
9,535
751
Let's talk for a moment about a continuous f(x) on the real line. If f(p) > 0 do you see how to find an interval about p where f(x) > 0? What happens if ##\epsilon = \frac {f(p)}{2}##?
 
  • #3
263
0
I don't understand why you ask that and why you say that at the end. Is there seomthing wrong with my attempt?

Thank you!
 
  • #4
HallsofIvy
Science Advisor
Homework Helper
41,833
955
He is making a specific choice for [itex]\epsilon[/itex]. While there are many possible, f(p)/2 is one choice that will help here. Do you see why?
 
  • #5
LCKurtz
Science Advisor
Homework Helper
Insights Author
Gold Member
9,535
751
Let's talk for a moment about a continuous f(x) on the real line. If f(p) > 0 do you see how to find an interval about p where f(x) > 0? What happens if ##\epsilon = \frac {f(p)}{2}##?
I don't understand why you ask that and why you say that at the end. Is there seomthing wrong with my attempt?

Thank you!
Because I am trying to help you see how to work your problem by working a simpler one. How about addressing my questions? You might learn something in the process.
 
  • #6
263
0
Hmm.. alright. Answering your question I honestly don't remember exactly how to find an interval about p where f(x) > 0. Could you please remind me?

Thank you both!
 
  • #7
LCKurtz
Science Advisor
Homework Helper
Insights Author
Gold Member
9,535
751
Hmm.. alright. Answering your question I honestly don't remember exactly how to find an interval about p where f(x) > 0. Could you please remind me?

Thank you both!
If ##\epsilon = \frac {f(p)}{2}##, write out carefully what the ##\delta,\epsilon## definition of continuity of ##f## at ##p## tells you.
 
  • #8
263
0
Yes. It would be:

[tex] \displaystyle \forall \varepsilon >0[/tex] [tex] \displaystyle \exists \delta >0[/tex] such that if: [tex] \displaystyle |x-p|<\delta [/tex] then [tex] \displaystyle |f\left( x \right)-f\left( p \right)|<\frac{f\left( p \right)}{2}[/tex].

But what is this for? Just setting [tex] \displaystyle \varepsilon =\frac{f\left( p \right)}{2}[/tex] it's not enough to find an interval about p such that f(x)>0. It also depends on delta... doesn't it?

Thank you
 
  • #9
263
0
Ahhh I see it now!. If you choose that epsilon you get forced to choose a delta such that the interval about p of radious delta has positive image. Is it right?
 
  • #10
LCKurtz
Science Advisor
Homework Helper
Insights Author
Gold Member
9,535
751
Yes. It would be:

[tex] \displaystyle \forall \varepsilon >0[/tex]
In particular for ##\epsilon = \frac{f(p)}{2}##

[tex] \displaystyle \exists \delta >0[/tex] such that if: [tex] \displaystyle |x-p|<\delta [/tex]
So you have a ##\delta## that works for this value of ##\epsilon##. And doesn't ##|x-p|<\delta## describe an interval about ##p## that goes from ##p-\delta## to ##p+\delta##?
then [tex] \displaystyle |f\left( x \right)-f\left( p \right)|<\frac{f\left( p \right)}{2}[/tex].
What does that last inequality tell you about ##f(x)##? Unscramble it without the absolute value signs.
 
  • #11
263
0
Yeah, now I get it. It implies that:

[tex] \displaystyle \frac{f\left( p \right)}{2}<f\left( x \right)<\frac{3}{2}f\left( p \right)[/tex]

That is: f(x)>0 . So the interval about p exists and it's the one of radious delta for that epsilon. Now it's almost the same but for balls, isn't it?

Thank you very much!!

Edit. I think the definition of continuity I used in my attempt is not useful in this demonstration. I think I should use the equivalent definition with distances, shouln't I?
 
  • #12
LCKurtz
Science Advisor
Homework Helper
Insights Author
Gold Member
9,535
751
Yeah, now I get it. It implies that:

[tex] \displaystyle \frac{f\left( p \right)}{2}<f\left( x \right)<\frac{3}{2}f\left( p \right)[/tex]

That is: f(x)>0 . So the interval about p exists and it's the one of radious delta for that epsilon. Now it's almost the same but for balls, isn't it?

Thank you very much!!
Yes, it's almost the same proof. It is frequently a good idea, when trying to prove something for ##R^n## to make sure you understand it first for ##R^1## or ##R^2##.

You're welcome.
 
  • #13
263
0
Yeah, I think the problem was that we were given three equivalent definitions and in my attempt I used the definition of continuityn (for several variables) involving balls but I think in this case I should have used the definition involving distances or norm, those are closer to the one for one variable.
 

Related Threads on Proof about continuous function related to balls and sets

Replies
1
Views
960
Replies
5
Views
3K
Replies
2
Views
2K
  • Last Post
Replies
2
Views
782
  • Last Post
Replies
8
Views
2K
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
2
Views
6K
Replies
4
Views
2K
  • Last Post
Replies
5
Views
2K
  • Last Post
Replies
5
Views
1K
Top