Chapter 2 Flashcards
Definition: convergence
A sequence (a_n) is said to converge to a limit l∈ℝ if there exists an N ∈Naturals st for all n>N We have |a_n -l | < ε
Theorem 2.11: convergence of a sequence to a limit and another limit value
If a sequence converged to a limit then that limit is unique. More precisely if (a_n) if a sequence st lim a_n =l and lim a_n= l’ also (as n tends to Infinity) then l = l’
Proof:
Assume that l is not equal to l’.
Then by definition of convergence we have an M and an N for each limit WE USE ε/2 . By the triangle inequality,
|l-l’| = | l-l’ -a_n + a_n |
Less than or equal to
|a_n-l’| + |l-a_n| =. |a_n-l’| + |a_n-l|
Less than
ε/2 + ε/2 = ε
Since the limits aren’t equal 0 < |l-l’| < ε , holds for any ε. Taking ε = |l-l’| /2 gives the contradiction we require.
Definition: divergence
A sequence which fails to converge is said to diverge
(a_n) diverges to infinity if given any k>0 there exists an N in the naturals st for all n >N a_n > k
Respectively a_n < -k for negative infinity
Definition: bounded above, bounded, bounded below
A sequence (a_n) is said to be
Bounded above/bounded below/ bounded
If the set {a_n,n∈N } is
Bounded above/ bounded below/ bounded
THM: 2.12: convergence and boundedness of sequences
If a sequence (a_n) is convergent then it’s also bounded
PROOF:
1) we need to find a k >0 st |a_n| is less than or equal to K for all naturals. We know (a_n) converges to some l in the reals ….
By triangle inequality
|a_n| less than or equal to |a_n-l | + |l|
Less than ε + |l|
So FOR n>N we take k= ε +|l|
FOR n less than or equal to N: we have |a_n| less than or equal to max({ |a₁|, |a₂|,…,|a_n|})
Hence for all n in the naturals k= max({ |a₁|, |a₂|,…,|a_n|,ε +|l| })
THM 2.21 algebra of limits
Proof from book (too long)
Suppose that (a_n) and (b_n) are convergence sequences with the limits l and m respectively.
1) sequences whose nth term is a_n + b_n converges to l+m
2) sequence whose nth term is a_n • b_n converges to lm
3) if c is real then the sequence whose nth term is c•a_n converges to cl
4) if b_n ≉ 0 for all n and also m ≉0 then the sequence whose nth term is a_n / b_n converges to l/m
PROOF
LOOK IN NOTES AS TOO LONG
1) Given any ε>0 there exists an N∈N st if n>N, then |a_n -l | < ε/2 and there also exists N∈N st if n>M |b_n -m| < ε/2. Choose any n > max{N,M} and by the triangle inequality |a_n + b_n - (l +m)|= |a_n -l + b_n -m | less than or equal to | a_n -l| + |b_n -m| < ε/2 + ε/2= ε
2) similarly for n > max{N,M} |a_nb_n -lm|= |a_nb_n- lm +lb_n -lb_n| by triangle inequality is less than or equal to |b_n(a_n -l)| + | l( b_n -m) |= |b_n||a_n-l| + |l||b_n-m|
Assuming l not equal to 0, don’t bother with l=0.
Now as sequence (b_n) is convergent and thus by theorem 2.1.2 is bounded. Hence there is a real number K bigger than 0 st |b_n| ≤ K for all n. So ..
|a_nb_n - on | ≤ K|a_n - l | + |l||b_n - m| …
For any ε> 0 there exists M in N st |b_n -m| < ε/ 2|l| whenever n is bigger than M.
Combining we get for n bigger than Max{M,N},
|a_nb_n - lm| < K ε/2K + |l| ε/2|l| = ε/2 + ε/2 = ε
Probing in case where l not equal to 0 if equal 0 …
3) follows 2) where (b_n) is the constant sequence with nth term c
4) firstly we show that
THM 2.2.2: The sandwich rule
Suppose given three sequences (a_n), (b_n) and (c_n), so that for all n∈N we have a_n ≤b_n ≤ c_n. If (a_n) and (c_n) both converge to the same limit l, then (b_n) also converges to l.
Proof:
We must show that given any ε> 0 there exists an N∈N st for all n>N.
|b_n -l | < ε. Ie both b_n -l less than ε and l- b_n less than ε and There exists an M_1 ∈N st for all n bigger than M_1, b_n -n ≤ c_n -l ≤ |c_n -l| < ε. And also there exists an M_2∈N st got all n >M_2 l- b_n≤ l -a_n ≤ |l - a_n| = |a_n -l| < ε.
Taking N =max{M_1,M_2} the result follows.
Definition: monotonic increasing and decreasing
A sequence (a_n) is monotonic increasing if a_n+1 ≥ a_n for all n∈N.
It’s monotoníc decreasing if a_n+1 ≤ a_n for all n∈N
We can see that (a_n) is monotonic decreasing if and only if (-a_n) is monotoníc decreasing
THM 2.3.1
Monotone convergence theorem
1) if a sequence (a_n) Is bounded above and monotonic increasing then it is convergence and limit as n tends to infinity of a_n = sup_(n∈N)[ (a_n)]
2) if (a_n) is bounded below and monotonía decreasing then convergent and limit as n tends to infinity of a_n = inf_(n∈N)[ (a_n)]
Proof: since (a_n) is bounded above α= sup_(n∈N)(a_n) exists by the completeness property.
By proposition, given any ε>0 there exists an N∈N st a_N bigger than α-ε. As (a_n) is monotonic increasing: for all n bigger than N a_n ≥ a_(N+1) ≥ a_N bigger than α-ε, it follows that |α-a_n| = α -a_n
Similarly 2
Monotonía and converges or diverges to
Collorary: if the sequence (a_n) is monotonic increasing / monotonic decreasing then either it converges or diverges to +infinity/ -infinity
Proof:
Suppose (a_n) is monotonic decreasing, then either bounded below or it isn’t. If it is bounded below then it converges by previous theorem and if it isn’t then given any k>0 we can find N in the naturals such that a_n > K, o/w would have lower bound. Since monontonic decreasing have a_n < K for all nbigger than or equal to N sequence diverges to minus infinity
A sequence and subsequence
A sequence (y_n) is a subsequence of a sequence (x_n) if there is a strictly increasing function σ: N -> N st y_n = x_σ(n) for all n in the naturals.
Equivalently a subsequence of (x_n, n in N) is a sequence of the form (x_r, r in N) ie (x_n_1 , x_n_2, x_n_3,…) where n_1 < n_2 < n_3
Proposition convergence of the subsequence
If the sequence (a_n) converges to some limit l, then every subsequence of (a_n) also converges to l.
Proof:
Given ε>0 , there exists an N∈N st if n bigger than N, then |a_n -l | less than ε.
Let (a_n_r) be a subsequence of (a_n) and choose k∈N st n_k bigger than N. Then for all r bigger than K, |a_n_r - l| less than ε.
Monotone subsequence
THM 2.4.2: every sequence has a monotone subsequence
Proof:
Let (a_n) be a sequence and define set
C= {N∈N, a_m < a_N for all m>N}.
The set C is either bounded above or it isn’t. Suppose that C is bounded above: then C is finite.
Choose an n₁∈N as follows:
If C is the empty set then n₁ =1, if C is non empty then n₁= max(C) +1. In either case n₁ is not an element of C for all n bigger than or equal to n₁.
But
•n₁ not in C implies a_n₂ ≥ a_n₁ for some n₂ bigger than n₁
•n₂ not in C implies a_n₃ ≥ a_n₂ for some n₃ bigger than n₂
And then we use induction to completed the proof that (a_n_j ∈N) is monotonic increasing.
If C is unbounded then we can find an infinite sequence (n₁,n₂,n₃,…) in C with n₁less than n₂less than n₃…
•n₁∈C implies a_m less than a_n₁ for all m bigger than n₁ which implies a_n₂ is less than a_n₁
•n₂∈C implies a_m less than a_n₂ for all m bigger than n₂ which implies a_n₃ is less than a_n₂
And again we use induction to complete the proof that (a_n_k, k∈N) us monotonic decreasing.
Boleando- Weirstrass
Every bounded sequence has a convergent subsequence.
Proof:
Suppose (a_n) is bounded. By theorem 2.4.2 it has a monotone subsequence, (a_n_r), which is itself bounded.
Then (a_n_r) converges by theorem that states monotone sequence converges if bounded. (Thm2.3.1)
Cauchy sequence
A sequence (a_n) is said to be a Cauchy sequence if given any ε> 0 , there exists an N ∈N st for all m and n > N we have | a_m - a_n| < ε
Every convergent sequence is Cauchy
Every Cauchy sequence is bounded
Arbitrarily close terms but says nothing in convergence.