Proving a function is continuous

In summary: I think for metric spaces (not just R^n? Need to check). Anyway, I think the delta epsilon approach is easier when used with the triangle inequality. As for the one step you need, I think you can just replace 2ab by 2a^2b in the third line.Halls of Ivy, it's not just continuity in general that the sequential criterion agrees with the epsilon-delta definition. A function is differentiable at a point if and only if it's Frechet differentiable at that point, and if and only if it's Gateaux differentiable at that point. The Frechet derivative is the limit of the difference quotients as h approaches 0. The Gateaux derivative is the
  • #1
asif zaidi
56
0
Problem statement
Given f:[1,2]->R defined by f(x) = x^2. Show that this function is continuous

Problem Solution (my version at least)
1- It is known sequence {a[n]b[n]} converges to {ab}
2- Definition of continuous: if every sequence {cn} in f we have f(cn) -> f(c)

3- Given our domain of 1<= f <=2 assume our sequence an-> a=1 and bn-> b=2
4- Therefore f(anbn) = f(1*2) = f(a*b) = f(1*2) = 4

5- Therefore this function is continuous.

My concern is am I taking a leap of faith in 3,4 which is the essence of my proof.
Is there a better way to prove this or is this mathematically sufficient.

Thanks

Asif
 
Physics news on Phys.org
  • #2
Have you tried or thought about a delta/epsilon proof?
 
  • #3
Yes... and I couldn't get anywhere with that.
Infact, I am currently trying to work that out right now -still struggling.

Is my above reasoning completely off the track?
 
  • #4
It's not the most obvious method.

Where did you stumble in the delta/epsilon proof?
 
  • #5
This is where I got stuck

1- problem is to prove that f(x) = x^2 is continuous
2- Definition of continuous: if every sequence {cn} in f we have f(cn) -> f(c)
3- Assuming x->a, definition of limit |x^2 - a^2 | < epsilon
4- x = a + b (b is very small)
5- Substituting 4 into 3, I get |b^2 + 2ab| < epsilon
6- I can choose b to be either epsilon/4a or square_root (epsilon/2)

This is where I crash

- My problem is what is the next step
- And how do I go from step 6 to proving the actual problem that x^2 is continuous in [1,2]. Thats why I went to the other proof which I had.

I agree if I can prove like this it would be more mathematically sound.

Any pointers on my issues would be appreciated.

Thanks

Asif
 
  • #6
asif zaidi said:
This is where I got stuck

1- problem is to prove that f(x) = x^2 is continuous
2- Definition of continuous: if every sequence {cn} in f we have f(cn) -> f(c)
3- Assuming x->a, definition of limit |x^2 - a^2 | < epsilon
4- x = a + b (b is very small)
5- Substituting 4 into 3, I get |b^2 + 2ab| < epsilon]
6- I can choose b to be either epsilon/4a or square_root (epsilon/2)

This is where I crash

- My problem is what is the next step
- And how do I go from step 6 to proving the actual problem that x^2 is continuous in [1,2]. Thats why I went to the other proof which I had.

I agree if I can prove like this it would be more mathematically sound.

Any pointers on my issues would be appreciated.

Thanks

Asif
Your DEFINITION of "continuous" is in terms of limits of sequences? Then don't use "epsilon-delta" to prove continuity, use properties of sequences.


If, as appears from your first post, you have already proved: "If {an} converges to a and {bn} converges to b then anbn} converges to ab" then you're home!

If {xn is any sequence that converges to a, then that property tells you that {xn2}= {xnxn} converges to a2.
 
Last edited by a moderator:
  • #7
I thought my first solution was acceptable but enumaelish was saying it is not clear. And I had first approached this problem using 'epsilon' method.

So in my 1st approach, are steps3, 4 right or should I remove them?
 
  • #8
3- Given our domain of 1<= f <=2 assume our sequence an-> a=1 and bn-> b=2
4- Therefore f(anbn) = f(1*2) = f(a*b) = f(1*2) = 4

5- Therefore this function is continuous.
3 and 4 make no sense at all! First, f(anbn) is NOT equal to f(ab). I presume you mean the limit but you cannot just say that "[itex]lim_{n\rightarrow\infty} f(a_n b_n)= f(ab)[/itex]". That's only true if f is continuous at ab and that is what you are trying to prove! Second, "f(1*2)= f(a*b)= f(1*2)" is just silly. It's trivially true since you have defined a= 1 and b= 2 but why say such a thing? Third, you only use the fact that f(x)= x2 when you say f(1*2)= 4. Surely, you need that throughout the proof?

Finally, IF you had proved the crucial step, that "[itex]lim_{n\rightarrow\infty} f(a_n b_n)= f(ab)[/itex]", you would have proved that f is continuous at x= 2 but only there!

You need to do what I suggested: prove that, for any x in [1,2], if {[itex]x_n[/itex]} is a sequence in [0,1] converging to x, then {[itex]x_n^2[/itex]} converges to x2. If you have already proved the general theorem, that if {[itex]a_n[/itex]} is a sequence converging to a and {[itex]b_n[/itex]} is a sequence converging to b, then the sequence {[itex]a_nb_n[/itex]} converges to ab, just use that with a and b both equal to x. If you have not already proved it do so! It's more general than proving that {[itex]x_n
^2[/itex]} converges to x2 directly and exactly the same work.
 
Last edited by a moderator:
  • #9
sequential continuity can be easy to work with, just know the limit laws well. Like Halls of ivy said prove the more general result, that is the limit of a product of convergent sequences is the product of each of the limits of the convergent sequences (if a_n goes to a, b_n goes to b, then a_nb_n goes to ab).

You can prove an even more general property about continuous functions from here: the product of continuous functions is continuous.

Then proving rational functions and polynomials are continuous become easy.
 
  • #10
Hehe, I remember a similar question on my analysis final some years ago. The question was to prove that a product of continuous functions is continuous. The question becomes trivial if you used the sequential criterion for continuity but less so if you want to use a delta-epsilon approach. My professor was tempted to drop a mark as I did not consider whether x_n may have been converging to an isolation point. So the limit of f(x_n)g(x_n) won't even exist. The sequential criterion for continuity only coincides with the delta epsilon one if the limit of the sequence is an accumulation point.

Do a delta-epsilon proof if you know the delta-epsilon definition of continuity.
 
  • #11
ZioX said:
Hehe, I remember a similar question on my analysis final some years ago. The question was to prove that a product of continuous functions is continuous. The question becomes trivial if you used the sequential criterion for continuity but less so if you want to use a delta-epsilon approach. My professor was tempted to drop a mark as I did not consider whether x_n may have been converging to an isolation point. So the limit of f(x_n)g(x_n) won't even exist. The sequential criterion for continuity only coincides with the delta epsilon one if the limit of the sequence is an accumulation point.

Do a delta-epsilon proof if you know the delta-epsilon definition of continuity.
Tempted to drop a mark? You mean he didn't??

Perhaps you just misphrased that but xn can't "converge to an isolation [I would say "isolated"] point"- that pretty much the definition of "isolated point". Perhaps you meant that you didn't consider the case of x being an isolated point of the set.

But the definitions are equivalent even there: When x is an isolated point, the hypothesis "if {x_n} is a sequence coverging to x" is false and so, by that definition, the function is trivially continuous at x, just as with the "epsilon-delta" definition.
 
Last edited by a moderator:
  • #12
Hmm, it's been awhile but sequences can converge to isolated points (think of the discrete metric space)...the sequence just has to eventually become constant. Limits of functions at isolated points don't exist. So if a sequence converges to some isolated point we trivially have f(x_n)->f(x) as x_n is eventually x. However, lim_a->x f(a) is undefined (so it's not f(x)).

I believe I have a tendency to call isolated points 'isolation points' because I think of isolated points as non accumulation points.
 

What does it mean for a function to be continuous?

A continuous function is one that has no abrupt changes or breaks in its graph. In other words, it can be drawn without lifting your pencil from the paper.

How do I prove that a function is continuous?

To prove that a function is continuous, you must show that it satisfies the three conditions of continuity:
- The function exists at the point in question
- The limit of the function at that point exists
- The limit of the function at that point is equal to the value of the function at that point

What are some common techniques for proving continuity?

There are several techniques that can be used to prove that a function is continuous, including the epsilon-delta definition, the intermediate value theorem, and the squeeze theorem.

Can a function be continuous at only one point?

No, in order for a function to be continuous, it must be continuous at every point in its domain. This means that there can be no abrupt changes or breaks in the graph at any point.

What happens if a function fails to satisfy the three conditions of continuity?

If a function does not satisfy the three conditions of continuity, it is considered discontinuous. This means that there are breaks or abrupt changes in the graph of the function, and it cannot be drawn without lifting your pencil from the paper.

Similar threads

Replies
3
Views
1K
Replies
18
Views
2K
Replies
1
Views
1K
  • Calculus
Replies
1
Views
938
Replies
4
Views
843
Replies
3
Views
1K
Replies
3
Views
1K
Back
Top