jimmyly said:
Hello HallsoIvy,
Thank you for your response. I just receive quick calculus by taylor and it has what you are explaining at the end of your post. I don't quite understand it at the moment I just started self-studying about a week and a half ago. Can you suggest some resources that may help me understand?
I know of khan academy and mit ocw.
EDIT: I understand what you are explaining up until "typically, what we do is prove the..."
I assume that you have seen the basic
definition of "limit":
[itex]\lim_{x\to a} f(x)= L[/itex] if and only if, given [itex]\epsilon> 0[/itex], there exist [itex]\delta> 0[/itex] such that is [itex]|x- a|< \delta[/itex] then [itex]|f(x)- L|<\epsilon[/itex].
In particular, if f(x)= C, a constant, then [itex]|f(x)- C|= |C- C|= 0[/itex] which is
always less than any positive [itex]\epsilon[/itex] so [itex]\lim_{x\to a} C= C[/itex]. If f(x)= x, then [itex]|f(x)- a|= |x- a|< \epsilon[/itex] so it is enough to take [itex]\delta= \epsilon[/itex].
If [itex]\lim_{x\to a} f(x)= L[/itex], it follows, as above, that given [itex]\epsilon> 0[/itex], there exist [itex]\delta> 0[/itex] such that if [/itex]|x- a|< \delta[/itex] then [itex]|f(x)- L|< \epsilon[/itex]. But in that case, |C||f(x)- L|= |Cf(x)- CL|< \epsilon[/itex] also, so
[itex]\lim_{x\to a} Cf(x)= CL[/itex].
If [itex]\lim_{x\to a} f(x)= F[/itex] and [itex]\lim_{x\to a} g(x)= G[/itex], then, given [itex]\epsilon> 0[/itex] there exist [itex]\delta_1> 0[/itex] such that if [itex]|x- a|< \delta_1[/itex] then [itex]|f(x)- F|< \epsilon/2[/itex] and [itex]\delta_2> 0[/itex] such that if [itex]|x- a|< \delta_2[/itex] then [itex]|g(x)- G|< \epsilon[/itex].
([itex]\delta_1[/itex] and [itex]\delta_2[/itex] are not necessarily the same- we will handle that in a minute. Also note the "[itex]\epsilon/2[/itex]". Since [itex]\epsilon[/itex] could be any positive number, and [itex]\epsilon/2[/itex] is also positive, we can use that as well. You will see why we want [itex]\epsilon/2[/itex].)
If we define [itex]\delta[/itex] to be the
smaller of [itex]\delta_1[/itex] and [itex]\delta_2[/itex], then if [itex]|x- a|< \delta[/itex] we have
both [itex]|x- a|< \delta_1[/itex] and [itex]|x- a|< \delta_2[/itex], so that [itex]|f(x)+ g(x)- (F- G)|= |f(x)- F+ g(x)- G|\le |f(x)- F|+ |g(x)- G|<\epsilon/2+ \epsilon/2= \epsilon[/itex]. That is, if [itex]\lim_{x\to a} f(x)= F[/itex], [itex]\lim_{x\to a} g(x)= G, then [itex]\lim_{x\to a} f(x)+ g(x)= F+ G[/itex].<br />
<br />
Those proofs are in any Calculus text.[/itex]