Monotone Convergence Series
Every Bounded Sequence of Reals is convergent.
Real Bolzano Weirestrass
Every bounded real sequence has a convergent subsequence.
Complex Bolzano Weirestrass
For every bounded complex sequence there exists a convergent subsequence.
Lemma : Convergency and Subsequences
If a_n is convergent, all its subsequence are convergent with the same limit.
Def 6.1 : existence of subsequence b_j
a_n is a sequence. b_j is called a subsequence if there exists strictly increasing sequence n_j of natural number such that b_j = a_n_j
Lemma 5.17 n greater than X
for all x in real number, there exists n in natural number such that n is greater than X.
Lemma 6.9 Convergent Bounded
Every convergent sequence is bounded
Def 6.7 real sequence bounded above/below
A real sequence is bounded above/ below only if the set S = {a_n | n E N } is bounded above / below.
Infinum and Supremum is inherited.
Lemma 6.22 Complex Convergent
Let Z_n be a complex sequence. It is convergent if and only if its real and imaginary sequences are convergent.
Power Set
Set of all possible subsets of a given set, including the empty set and itself.
Proposition 6.18 a_n > c …
a_n is a convergent real sequence.
if a_n > c then :
lim a_n ≥ c
(n to infinity)
Cauchy Sequence
For all epsilon greater than 0 there exits N in natural number such that all n,m both greater than N ; |a_n - a_m| > epsilon
Convergent Series
For all epsilon greater than 0 there exits N in natural number such that all n greater than N ; |a_n - a| > epsilon
Algebra of Limits
The Algebra of Limits provides rules for finding the limit of a function that is an algebraic combination (sum, difference, product, quotient, power) of simpler functions.