# Thread:

1. ## Sequence Convergence Proofs vs. Continuity Function Proofs

Definition of converge:
For each epsilon > 0 there exists a number N such that n>N implies
|sn -s|<epsilon.

In this case the N you chose was usually a max {constant, f(epsilon)}.

Definition of continuity
For each epsilon > 0 there exists a delta>0 such that x element dom(f) and
|x-x0| < delta implies |f(x)-f(x0)|< epsilon.

In this case the delta you choose is usually a min{constant, f(epsilon)}

I was just wondering how to think about why for one you need a min and the other a max.

Thanks

2. Frankly, I do not think what you wrote above is correct.
Perhaps you can fill out what you wrote with more detail.
There is no way to know what you mean by “ $\left\{ \mbox{constant},f(\varepsilon ) \right\}$.
Please tell us.

3. Well to prove that 4n^3 + 3n / (n^3 - 6) = 4 you choose an
N = max{2,squareroot(54/epsilon)}

To prove that 2x^2 + 1 is continuous, you choose a
delta = min{1, epsilon/(2(2|x0|+1))}

Hopefully that's more clear.

4. While those exact examples may not work in all cases. However, I do get the idea.

In the case of the sequence, the subscript is approaching infinity.
Therefore, we take the maximum N to insure all conditions hold.

The case of continuity is a bit more abstract. In choosing the $\delta$ we are creating a bound on x, we want to be able to say that $\left| {x - x_0 } \right| < \delta \quad \Rightarrow \quad \left| {f(x) - f\left( {x_0 } \right)} \right| < \varepsilon$.
Knowing that $\delta < 1$ means $x_0 - 1 < x < x_0 + 1$.
This means we can construct bounds on $f(x)$.
So we want $\delta$ to be at most 1 (not more).

I hope that helps somewhat.

#### Search Tags

View Tag Cloud

Copyright © 2005-2013 Math Help Forum. All rights reserved.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 7, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": false}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9239796996116638, "perplexity_flag": "middle"}