Lecture Notes MATH 244.2: Nathan Francisco Nu Nez September 4, 2018
Lecture Notes MATH 244.2: Nathan Francisco Nu Nez September 4, 2018
Lecture Notes MATH 244.2: Nathan Francisco Nu Nez September 4, 2018
2
Nathan Francisco Nuñez
September 4, 2018
Today:
Finish explaining function terminology (1.4) Proof Techniques (1.3 ) -See Canvas link
f : X− > Y
onto / also called surjective if for any y ∈ Y there exists some x ∈ X such that f (x) = y
Bijective if both injective and surjective these properties depends not only on ”action”, but also
on the domain and codomain
Proofs really just a form of rigorous argument method for establishing truth of a proposition
ex. A child multiplies natural numbers and notices that multiplying odds gives you an odd product
3*5 = 15, 9*9 = 81 etc
BUT noticing pattern/ checking cases 6= proof Say a, b odd. Then by definition a = 2k + 1 and
b = 2l + 1 where k, l ∈ Z
ab = (2k + 1)(2l + 1) = 4kl + 2k + 2l + 1 = 2(2kl + k + l) + 1 This is odd by definition
Theorem: :
n
X n(n + 1)
i=
i=1
2
Proof: !
n
X 1 + 2 + 3 + ... + n
2 i =
n + (n − 1) + (n − 2) + ... + 1
i=1
Mathematical Induction Imagine p(n) is some statement about the natural number n.
e.g. !
Xn
p(n) = n(i + 1)/2
i=1
Problem: In Florence there are only 3¢coins and 5¢coins What sums can you make?
Answer: all amounts greater than 8¢
E.g. Today is a weekday Assume for contradiction that today is a weekend but if it were a weekend
I would be at home on my couch.
But I’m not at home in my couch, I’m uncomfortable in the lecture hall Thus it is not the weekend
√
2 is irrational
√ Assume that it is rational
then 2 = ab s.t. {a, b ∈ N} and gcd(a, b) = 1
2
Then 2 = ab2 = 2b2 = a2
Thus a is even and a can be written as a = 2k
We have 2b2 = (2k)2 = 4k 2 → 2a2 = b2
this implies that b is even
but now gcd(a, b) = 2 6= 1
This is a direct contradiction.
Assumption was false.