Product of two continous functions

[im2fastfouru]

There is a proof in my book that asks us to prove that the product of two continuous functions is continuous. If anyone could help please reply back, thanks!

 

[SticksandStones]

If h(x) is undefined at some point c (and thus not continuous), will it ever have a product that is defined at that point?

 

[HallsofIvy]

It is not clear to me what SticksandStones response has to do with the question!

im2fastfouru, you know, of course, that the product, fg, will be continuous at a as long as the lim, as x goes to a, of f(x)g(x) is equal to f(a)g(a). Therefore, you must prove that, given any \epsilon&gt; 0, there exist \delta&gt; 0 such that if |x-a|< \delta, then |f(x)g(x)- f(a)g(a)|< \epsilon. Using, of course, the fact that f and g are both continuous at a, that is, that given any \epsilon&gt; 0, there exist \delta&gt; 0 such that if |x-a|< \delta such that |f(x)- f(a)|< \epsilon and similarly for g.

I would recommend you look at |f(x)g(x)- f(x)g(a)+ f(x)g(a)- f(a)g(a)|.

After all, your book asked you to prove this, not us!

 

[SticksandStones]

I thought he was asking something entirely different; I apologize.

 

[lurflurf]

hint
write
f(x+h)=f(x)+[f(x+h)-f(x)]
g(x+h)=g(x)+[g(x+h)-g(x)]
note
|f(x+h)-f(x)|<eps1
|g(x+h)-g(x)|<eps2
|f(x+h)-f(x)|,|g(x+h)-g(x)|<eps=max(eps1,eps2)
also recall
|a+b+c|<|a|+|b|+|c|

 

[sutupidmath]

hint
write
f(x+h)=f(x)+[f(x+h)-f(x)]
g(x+h)=g(x)+[g(x+h)-g(x)]
note
|f(x+h)-f(x)|<eps1
|g(x+h)-g(x)|<eps2
|f(x+h)-f(x)|,|g(x+h)-g(x)|<eps=max(eps1,eps2)
also recall
|a+b+c|<|a|+|b|+|c|

Why on Earth would he do so? Halls hints are quite straightforward, he actually almost did all of what was needed to do.>< All he needs to do is show that If(x)I does not get too large as x-->a(or sth), in other words the op just needs to show that f(x) is bounded, which is easy to show since lim(x-->a)f(x)=f(a), so any function who has a limit is bounded at that limit point. all he needs to do is let e-eplylon= 1, and it is easy to show that f(x) is bounded. If(x)I=If(x)-f(a)+f(a)I<=If(x)-f(a)I+If(a)I< 1 +If(a)I

For the OP: do you see how to go now? Like Halls said, you should give some effort on your own next time, if you want to receive more help. People here won't just give us answers(including me since i often ask for help).

 

[HallsofIvy]

lurflurf may has misread "continuous" as "differentiable".

 

[mathwonk]

the point (of continuity) is simply that if two numbers are respectively near two other numbers, then the products are also near each other.

to see this, let the numbers be a+h and b+k and compare the product of ab to that of (a+h)(b+k), when h and k are small.

 

[lurflurf]

Why on Earth would he do so? Halls hints are quite straightforward.

To solve the problem and because it is fun. I agree, I provided a different (though very slightly) view.

lurflurf may has misread "continuous" as "differentiable".

theorem f is continuous if and only if
lim_h->0 (f(x+h)-f(x))=0
where (for picking nits) we accept as implicit f(x) exist and limit_h->0 f(x+h) exist

the point (of continuity) is simply that if two numbers are respectively near two other numbers, then the products are also near each other.

to see this, let the numbers be a+h and b+k and compare the product of ab to that of (a+h)(b+k), when h and k are small.

A useful framework

we desire to show that

if
|f(x+h)-f(x)|<eps1
|g(x+h)-g(x)|<eps2
then
|f(x+h)g(x+h)-f(x)g(x)|<eps
write
f(x+h)=f(x)+[f(x+h)-f(x)]
g(x+h)=g(x)+[g(x+h)-g(x)]
thus
|f(x+h)g(x+h)-f(x)g(x)|=|[f(x+h)-f(x)]g(x)+f(x)[g(x+h)-g(x)]+[f(x+h)-f(x)][g(x+h)-g(x)]|
<|[f(x+h)-f(x)||g(x)|+|f(x)||g(x+h)-g(x)|+|f(x+h)-f(x)||g(x+h)-g(x)]|
<eps1|g(x)|+|f(x)|eps2+eps1*eps2
letting
eps1=(eps/3)/|g(x)| if |g(x)|>0
eps2=(eps/3)/max(eps1,|f(x)|) if |f(x)|>0
we easily see the result is true