Real analysis/ group theory Flashcards
(44 cards)
Trichotomy Property
If x,y are reals, then exactly one of the following three statements are true:
x<y , x=y ,x>y
Transitive Property
if a,b,c are reals, then:
if a<b and b<c then a<c
Archimedean Property
if a is a real:
then there is a positive integer n such that n is greater than a
distance position lemma
|y − b| ≤ a
b − a ≤ y ≤ b + a
The Triangle Inequality
For all x, y ∈ R
|x + y| ≤ |x| + |y|
The Triangle Inequality
For all a, b, c ∈ R
|a − c| ≤ |a − b| + |b − c|
Reverse Triangle Inequality
|c − d| ≥ ||c| − |d||
I = (0, 7)
all the values of x which lie between 0 and 7 on the real number line
(−3, 2]
x ∈ R with −3 < x ≤ 2
Let S be a set of real numbers and let M be a real number. Then M is the maximum of S if…
M ∈ S and for all s ∈ S we have s ≤ M
Upper and lower bounds
Since some sets do not have maximums or minimums, we also need to consider the notion of an
upper bound and a lower bound
If S is a set of real numbers and b ∈ R we say that b is an upper bound for S if
for all s ∈ S we have s ≤ b
If S is a set of real numbers and c ∈ R we say that c is a lower bound for S if
for all s ∈ S we have c ≤ s
A subset S of R is said to be bounded above/below if
there exists an upper bound for S
bounded below if there exists a lower bound for S
bounded if it is bounded
above and below
We can write the notion of an upper bound using the quantifier ∀
the statement “b is an upper bound for S” is written as
(∀x ∈ S)[x ≤ b]
Suppose S ⊆ R is a non-empty subset of R. We say that B ∈ R is the least upper bound (or supremum) for S if:
B is an upper bound for S
if b s an upper bound for S then B≤ b
we write supremum as sup(S) here
Suppose S ⊆ R is a non-empty subset of R. We say that C ∈ R is the greatest lower bound (or infinum) for S if:
C is a lower bound for S
if c is a lower bound for S then c ≤ C
we write infinum as inf(S) here
Completeness of the real numbers
If S ⊆ R is non-empty and bounded above,
then S has a least upper bound. Similarly, if S ⊆ R is non-empty and bounded below, then S
has a greatest lower bound.
Revisit Archimedes
the set of Natural Numbers is not bounded above
If x ∈ R then there is some n ∈ N such that n > x
If y > 0 and z ∈ R, then there is some n ∈ N such that ny > z
Corollary 5. For all x ∈ R there exists exactly one integer n such that…
n ≤ x < n + 1
this number is called the integer part of x and is denoted n = ⌊x⌋. In other words, ⌊x⌋ is x rounded down to an integer.
sequence
an unending list of real numbers
a_n
nth term of the sequence, and the sequence is denoted by (a_n).
We sometimes write (a_n)n∈N
Monotonic sequences
Let (a_n) be a sequence of real numbers
(a_n) is increasing if for all n ∈ N we have a_n+1 ≥ a_n
(an) is decreasing if for all n ∈ N we have an+1 ≤ an.
(an) is strictly increasing if for all n ∈ N we have an+1 > an.
(an) is strictly decreasing if for all n ∈ N we have an+1 < an.
(an) is constant if for all n ∈ N we have an+1 = an
Sequences and their eventual behaviour
Let (an) be a sequence of real numbers.
(a_n) is constant of value λ if for all n ∈ N we have a_n = λ. It is eventually constant of
value λ if there is N ∈ N such that for all n > N we have an = λ.
* (an) stays less than ε from λ if for all n ∈ N we have |an − λ| < ε. It eventually stays less
than ε from λ if there is N ∈ N such that for all n > N we have |an − λ| < ε