Prove directly that sqrt defined on [0,1] is uniformly continuous

[imurme8]

This is not a homework problem, but it may as well be, so I thought I'd post it here.

Homework Statement

The function f:[0,1] \to \mathbb{R} given by f(x)=\sqrt{x} is continuous on a compact domain, so it is uniformly continuous. Prove that f is uniformly continuous directly (with a \delta-\epsilon proof).

Homework Equations

Show \forall \epsilon >0\quad \exists \delta >0 s.t. \forall x,y \in [0,1]\quad |x-y|< \delta \Rightarrow |f(x)-f(y)|< \epsilon

The Attempt at a Solution

I believe we have to use that |x-y|=|\sqrt{x}-\sqrt{y}||\sqrt{x}+\sqrt{y}|. \quad |x-y|<\delta \Rightarrow |\sqrt{x}-\sqrt{y}||\sqrt{x}+\sqrt{y}|< \delta, but from here I'm kind of lost. It seems |\sqrt{x}+\sqrt{y}| may be arbitrarily small, which gets in our way when we try to bound |\sqrt{x}-\sqrt{y}|.

Intuitively the problem makes perfect sense, just trying to work out the algebra.
Thanks

 

[The1337gamer]

abs(x+y) <= abs(x) + abs(y) by triangle inequality, now use the fact that your domain is bounded.

 

[imurme8]

abs(x+y) <= abs(x) + abs(y) by triangle inequality, now use the fact that your domain is bounded.

Sorry, I'm still not seeing it. I know that |\sqrt{x}+\sqrt{y}| is bounded. To me it seems like the problem is that it may be arbitrarily small. Remember I'm trying to bound |\sqrt{x}-\sqrt{y}| by epsilon.

 

[The1337gamer]

My mistake.

Use this inequality:
abs(sqrt(x)-sqrt(y)) <= sqrt(abs(x-y))

 

[Hurkyl]

It seems |\sqrt{x}+\sqrt{y}| may be arbitrarily small/QUOTE]
How is that a problem?

 

[DavidAlan]

You shouldn't do it this way. Remember, you specify epsilon and try to find some conditions to put on delta to guarantee continuity.

Start with |f(x)-f(y)| is less than epsilon. Multiplying by |f(x)+f(y)| is the right thing to do, but the fact that |f(x)+f(y)| is arbitrarily small not a defect in any respect. The thing that is important is that |f(x)+f(y)| is very easily bounded by a number (Why? Because your domain is also bounded!). So you should get that when you multiply |f(x)-f(y)||f(x)+f(y)| this thing is bounded by an expression in epsilon that you define to be delta. Incidentally, |f(x)-f(y)||f(x)+f(y)| is precisely |x-y| in this case.

You might think it is a problem that it is arbitrarily small because you think of epsilon as being constant, and therefore some tinkering with |f(x)+f(y)| increases or decreases |f(x)-f(y)|. By choosing x,y you specify closeness of the two values of the function. That is epsilon. If you change x,y after that, you are actually changing epsilon.

Also, if you don't like epsilons and deltas you can do this by a topological argument. Show that the pre-image f^(-1)[(a,b)] for any (a,b) an open interval of R is an open set of your domain. Be careful though, you then need to consider the subset that f maps to in R.

^^^ I don't encourage you to learn topology without knowing about metric spaces though. Just saying.

 

[imurme8]

It seems |\sqrt{x}+\sqrt{y}| may be arbitrarily small/QUOTE]
How is that a problem?

Since if we could bound it below by B, then we'd have |\sqrt{x}+\sqrt{y}||\sqrt{x}-\sqrt{y}|&lt; \delta \Rightarrow |\sqrt{x}-\sqrt{y}| &lt; \frac{\delta}{|\sqrt{x}+\sqrt{y}|} &lt; \frac{\delta}{B} and set \delta=\varepsilon B, and we'd be done.

 

[DavidAlan]

What's the largest that |f(x)+f(y)| can possibly be?

Think about this for a second. If your expression |f(x)+f(y)| was bounded below, that would mean that |f(x)-f(y)||f(x)+f(y)| would always be LARGER than B\epsilon[\itex]. Once you have chosen epsilon, you are guaranteed that the smallest possible case for |f(x)-f(y)||f(x)+f(y)| is when |f(x)+f(y)| has value B. Incidentally, inf|f(x)+f(y)| = 0. So what you end up showing there is epsilon is greater than zero. Of course it is.<br /> <br /> Think bigger, not smaller.

 

[imurme8]

Start with |f(x)-f(y)| is less than epsilon.

But this is what I want to show! So if we assume this, our steps from now on must be a chain of equivalencies, not just implications.

Multiplying by |f(x)+f(y)| is the right thing to do, but the fact that |f(x)+f(y)| is arbitrarily small not a defect in any respect. The thing that is important is that |f(x)+f(y)| is very easily bounded by a number (Why? Because your domain is also bounded!). So you should get that when you multiply |f(x)-f(y)||f(x)+f(y)| this thing is bounded by an expression in epsilon that you define to be delta. Incidentally, |f(x)-f(y)||f(x)+f(y)| is precisely |x-y| in this case.

Aren't you taking the implication the wrong direction? We certainly have that |\sqrt{x}-\sqrt{y}|&lt; \varepsilon \,\Leftrightarrow \,|\sqrt{x}-\sqrt{y}||\sqrt{x}+\sqrt{y}|&lt;\, \varepsilon \,|\sqrt{x}+\sqrt{y}|, but this is an expression in x and y, and epsilon is not allowed to depend on x or y.

The reason I brought up |\sqrt{x}+\sqrt{y}| being arbitrarily small is that if we had |\sqrt{x}+\sqrt{y}| bounded below by B, then we'd have |\sqrt{x}+\sqrt{y}||\sqrt{x}-\sqrt{y}|&lt; \delta \Rightarrow |\sqrt{x}-\sqrt{y}| &lt; \frac{\delta}{|\sqrt{x}+\sqrt{y}|} &lt; \frac{\delta}{B} and set \delta=\varepsilon B, and we'd be done.

Also, if you don't like epsilons and deltas you can do this by a topological argument.

Right, there is a simple argument by compactness and continuity, but the problem is to do it the hard way. :)

Thanks for your help, sorry if I'm not understanding what you're saying.

 

[imurme8]

What's the largest that |f(x)+f(y)| can possibly be?

2, but I don't see how bounding it above helps in this case. Thanks

 

[imurme8]

We certainly have that |\sqrt{x}-\sqrt{y}|&lt; \varepsilon \,\Leftrightarrow \,|\sqrt{x}-\sqrt{y}||\sqrt{x}+\sqrt{y}|&lt;\, \varepsilon \,|\sqrt{x}+\sqrt{y}|, but this is an expression in x and y, and epsilon is not allowed to depend on x or y.

Whoops, meant to mention that setting \delta=2\varepsilon does not work in this case, since the equality goes the wrong way. So the leftward implication doesn't hold.

 

[imurme8]

Whoops, meant to mention that setting \delta=2\varepsilon does not work in this case, since the equality goes the wrong way. So the leftward implication doesn't hold.

Whoops, the "inequality" goes the wrong way

 

[imurme8]

Use this inequality:
abs(sqrt(x)-sqrt(y)) <= sqrt(abs(x-y))

Thanks, I'm working on trying to prove this inequality. Do you have a reference?

 

[DavidAlan]

2, but I don't see how bounding it above helps in this case. Thanks

You get |f(x)-f(y)||f(x)+f(y)| is always less than or equal to 2 epsilon. That is the condition you put on delta. You're trying to show that a delta exists that gives you continuity, not that there is an immutable value of delta that is special.

 

[imurme8]

You get |f(x)-f(y)||f(x)+f(y)| is always less than or equal to 2 epsilon. That is the condition you put on delta. You're trying to show that a delta exists that gives you continuity, not that there is an immutable value of delta that is special.

I'm trying to show uniform continuity.

|\sqrt{x}-\sqrt{y}||\sqrt{x}+\sqrt{y}|&lt;2\varepsilon \not\Rightarrow |\sqrt{x}-\sqrt{y}|&lt;\varepsilon

 

[DavidAlan]

NVM. I suck. Google agrees. :(

 

[imurme8]

NVM. I suck. Google agrees. :(

No prob, still trying to figure it out.

 

[The1337gamer]

Thanks, I'm working on trying to prove this inequality. Do you have a reference?

Well i just googled the question to see if there were any epsilon delta proofs, people had suggested using that inequality.

As for proving the inequality, we only need to consider the case for x, y >= 0. I'm not sure if it works for negative x,y.

But to prove, just consider each case separately:
x=0, y=0
x>y=0
y>x=0
x>y>0
y>x>0

 

[SammyS]

Well i just googled the question to see if there were any epsilon delta proofs, people had suggested using that inequality.

As for proving the inequality, we only need to consider the case for x, y >= 0. I'm not sure if it works for negative x,y.

But to prove, just consider each case separately:
x=0, y=0
x>y=0
y>x=0
x>y>0
y>x>0

You don't have to do all of these cases. Without Loss Of Generality, assume x ≥ y .

And of course the case x=y works for x=0, y=0, and is trivial.