Week 4 Flashcards
real sequence
A real sequence is a function N → R
Let (an)^∞_n=1 be a real sequence and let L ∈ R. We say that an converges to L as n tends to infinity if and only if
for each ε > 0, there exists n0 ∈ N, such that for n ∈ N with n ≥ n0, we have |an − L| < ε.
When an converges to L as n tends to infinity, we write
“an → L as n → ∞“ or limn→∞ an = L
We say that the sequence (an)^∞_n=1
diverges if
it does not converge to any limit.
The definition can be written concisely as a quantified statement:
the sequence (an)^∞_n=1 converges to L ∈ R if and only if
∀ε > 0, ∃n0 ∈ N s.t. ∀n ∈ N,(n ≥ n0 =⇒ |an − L| < ε).
An alternative form is
∀ε > 0, ∃n0 ∈ N s.t. ∀(n ∈ N with n ≥ n0), |an − L| < ε.
“|an − L| < ε” says that
an is within distance ε
of L”
prove that certain sequences converge directly from the definition
you must verify the condition in definition 3.2 directly, without using subsequent results.
constant sequences
Sequences of the form x_n = K for all n ∈ N