Analysis Flashcards
Order on a set
An order on a set X is a relation <
satisfying:
* Trichotomy: for all a,b in X, exactly one holds:
* a < b
* a = b
* b < a
* Transitivity: for all a,b,c in X, if a < b and b < c, then a < c
Triangle inequalities
|x + y| <= |x| + |y|
|x - y| >= | |x| - |y| |
Archimedean property (AP)
Given any x,y in R, with x,y > 0,
then there exists n0 in N s.t. n0 . x > y
(0 subscript)
Uniqueness lemma
If a set S has a supremum / infimum, then it is unique
sup ( A U B )
(A union B)
max { sup(A) , sup(B) }
Definition:
Indexing set
I = { 0, 1, … }
where the terms are usually denoted a/n
(n subscript)
Definition:
(a/n), n in I, a sequence in R, converges to L if…
(n subscript)
for all eps. > 0
, exists n/0
in I
s.t.:|a/n - L| < eps
. for all n
in I
with n > n/0
Definition:
A sequence is bounded if…
The sequence is both bounded above and bounded below
Squeeze rule
For (a/n), (b/n), (c/n) sequences,
if a/n <= b/n <= c/n for all n in N,
and if (a/n) and (c/n) both converge to L,
then (b/n) converges to L
Increasing / Decreasing sequence
Increasing if a/n < a/n+1
Decreasing if a/n > a/n+1
(or <= / >= if not stated as strictly inc./dec.)
Non-increasing / Non-decreasing sequence
Non-increasing if a/n >= a/n+1
Non-decreasing if a/n <= a/n+1
Completeness axioms
- Every bounded, monotonic sequence in R converges
- Every set which is bounded above has a supremum
(and similarly for an infimum)
Monotonic sequence
A sequence with an order, either:
* (monotonically) increasing
* (monotonically) non-decreasing
* (monotonically) decreasing
* (monotonically) non-increasing
Cauchy criterian
A sequence (a/n)
, n
in I
, is a Cauchy sequence if:
for every eps. > 0
, exists n0
in I
s.t.|a/p - a/q| < eps.
for all p,q
in I
, p,q > n0
equivalently
If (a/n)
converges, it is a Cauchy sequence
Inequalities of sequences
for (a/n)
, (b/n)
, n
in I
, be convergent sequences,
where a/n -> a
and b/n -> b
,
then if a/n <= b/n
, for all n
in I
, then a <= b
Bernoulli inequality
for all a >= 0
, and n
in N
,(1 + a )^n >= 1 + n.a
Binomial theorem
(1 + a )^n = sum(k=0 to n) nCk . a^k
Bolzano-Weierstrass theorem
for (x/n)
a sequence in R
, with x/n
in [a,b]
,
then there is a subsequence (x/n/k)
s.t.:(x/n/k)
converges to a limit in [a,b]
as k -> inf.
Theorem:
If (a/n)
is a Cauchy sequence, then…
(a/n)
converges(a/n)
is bounded
Continuous and Uniformly continuous relationship
for a function f: [a,b] -> R
:f
is continuous <=> f
is uniformly continuous
Maximum Value Theorem (MVT)
for f: [a,b] -> R
, a continuous function,
then there exists an x(max)
in [a,b]
s.t.:f(x(max)) >= f(x)
for all x
in [a,b]
Intermediate Value Theorem (IVT)
for f: [a,b] -> R
, a continuous function,
and y
in ( f(a) , f(b) )
,
then there exists an s
in (a,b)
s.t. f(s) = y
Definition:
A function f: S -> R
is differentiable at a
in S
iff…
Differentiability and Continuity relationship
If a function f: S -> R
is differentiable at a
in S
, then f
in continuous at a
in S
Differentiability => Continuity
Rolle’s Theorem
for f: [a,b] -> R
, cotinuous on [a,b]
and differentiable on (a,b)
,
with f(a) = f(b)
,
then there exists a c
in (a,b)
s.t. f'(c) = 0
Mean Value Theorem (MVT)
for f: [a,b] -> R
, cotinuous on [a,b]
and differentiable on (a,b)
,
there exists a c
in (a,b)
s.t. f'(c) = f(b) - f(a) / b - a