Lecture 1 C2
Lecture 1 C2
Lecture 1 C2
2024/25, 10 CFU
Politecnico di Torino
Department of Mathematical Sciences DISMA
General information
This is Course 2
This is Course 2
Weekly timetable
This is Course 2
Weekly timetable
1. Monday 8:30–10:00 exercise group A
This is Course 2
Weekly timetable
1. Monday 8:30–10:00 exercise group A
2. Monday 10:00–11:30 exercise group B
This is Course 2
Weekly timetable
1. Monday 8:30–10:00 exercise group A
2. Monday 10:00–11:30 exercise group B
3. Tuesday 13:00–14:30 lecture
This is Course 2
Weekly timetable
1. Monday 8:30–10:00 exercise group A
2. Monday 10:00–11:30 exercise group B
3. Tuesday 13:00–14:30 lecture
4. Thursday 16:00–19:00 lecture
This is Course 2
Weekly timetable
1. Monday 8:30–10:00 exercise group A
2. Monday 10:00–11:30 exercise group B
3. Tuesday 13:00–14:30 lecture
4. Thursday 16:00–19:00 lecture
5. Friday 8:30–10:00 exercise for both group A and group B
Mathematical Analysis I Lecture 1 Politecnico di Torino 2 / 16
Please note: Holidays on Friday 1/11 and on Monday 6/1.
Four tests:
1 Test 1: Monday 4 November
2 Test 2: Monday 25 November
3 Test 3: Monday 9 December
4 Test 4: Monday 6 January
Example: 34 ∈ N where
N = {0, 1, 2, . . . }
is the set of natural numbers.
Example: 34 ∈ N where
N = {0, 1, 2, . . . }
is the set of natural numbers.
Example: π ∈
/N
Example: 34 ∈ N where
N = {0, 1, 2, . . . }
is the set of natural numbers.
Example: π ∈
/N
Example: 34 ∈ N where
N = {0, 1, 2, . . . }
is the set of natural numbers.
Example: π ∈
/N
Example: 34 ∈ N where
N = {0, 1, 2, . . . }
is the set of natural numbers.
Example: π ∈
/N
B = {n ∈ N : n > 2} = {3, 4, . . . }
B = {n ∈ N : n > 2} = {3, 4, . . . }
B = {n ∈ N : n > 2} = {3, 4, . . . }
B = {n ∈ N : n > 2} = {3, 4, . . . }
B = {n ∈ N : n > 2} = {3, 4, . . . }
Example: X = {1, 3}
B = {n ∈ N : n > 2} = {3, 4, . . . }
Example: X = {1, 3}
B = {n ∈ N : n > 2} = {3, 4, . . . }
Example: X = {1, 3}
CA = {x ∈ X : x ∈
/ A}
CA = {x ∈ X : x ∈
/ A}
CX = ∅ C∅ = X C(CA) = A
CA = {x ∈ X : x ∈
/ A}
CX = ∅ C∅ = X C(CA) = A
Intersection of A ⊆ X and B ⊆ X :
A ∩ B = {x ∈ X : x ∈ A and x ∈ B}
CA = {x ∈ X : x ∈
/ A}
CX = ∅ C∅ = X C(CA) = A
Intersection of A ⊆ X and B ⊆ X :
A ∩ B = {x ∈ X : x ∈ A and x ∈ B}
Union of A ⊆ X and B ⊆ X :
A ∪ B = {x ∈ X : x ∈ A or x ∈ B}
(A ∩ B) ∪ C = (A ∪ C ) ∩ (B ∪ C )
(A ∩ B) ∪ C = (A ∪ C ) ∩ (B ∪ C )
Proof: 1. (A ∩ B) ∪ C ⊆ (A ∪ C ) ∩ (B ∪ C )
(A ∩ B) ∪ C = (A ∪ C ) ∩ (B ∪ C )
Proof: 1. (A ∩ B) ∪ C ⊆ (A ∪ C ) ∩ (B ∪ C )
Take x ∈ (A ∩ B) ∪ C .
(A ∩ B) ∪ C = (A ∪ C ) ∩ (B ∪ C )
Proof: 1. (A ∩ B) ∪ C ⊆ (A ∪ C ) ∩ (B ∪ C )
Take x ∈ (A ∩ B) ∪ C . Then x ∈ A ∩ B or x ∈ C .
(A ∩ B) ∪ C = (A ∪ C ) ∩ (B ∪ C )
Proof: 1. (A ∩ B) ∪ C ⊆ (A ∪ C ) ∩ (B ∪ C )
Take x ∈ (A ∩ B) ∪ C . Then x ∈ A ∩ B or x ∈ C . Thus x ∈ A ∪ C and
x ∈ B ∪ C.
(A ∩ B) ∪ C = (A ∪ C ) ∩ (B ∪ C )
Proof: 1. (A ∩ B) ∪ C ⊆ (A ∪ C ) ∩ (B ∪ C )
Take x ∈ (A ∩ B) ∪ C . Then x ∈ A ∩ B or x ∈ C . Thus x ∈ A ∪ C and
x ∈ B ∪ C . This shows x ∈ (A ∪ C ) ∩ (B ∪ C ).
(A ∩ B) ∪ C = (A ∪ C ) ∩ (B ∪ C )
Proof: 1. (A ∩ B) ∪ C ⊆ (A ∪ C ) ∩ (B ∪ C )
Take x ∈ (A ∩ B) ∪ C . Then x ∈ A ∩ B or x ∈ C . Thus x ∈ A ∪ C and
x ∈ B ∪ C . This shows x ∈ (A ∪ C ) ∩ (B ∪ C ). We have shown
(A ∩ B) ∪ C ⊆ (A ∪ C ) ∩ (B ∪ C )
(A ∩ B) ∪ C = (A ∪ C ) ∩ (B ∪ C )
Proof: 1. (A ∩ B) ∪ C ⊆ (A ∪ C ) ∩ (B ∪ C )
Take x ∈ (A ∩ B) ∪ C . Then x ∈ A ∩ B or x ∈ C . Thus x ∈ A ∪ C and
x ∈ B ∪ C . This shows x ∈ (A ∪ C ) ∩ (B ∪ C ). We have shown
(A ∩ B) ∪ C ⊆ (A ∪ C ) ∩ (B ∪ C )
2. (A ∪ C ) ∩ (B ∪ C ) ⊆ (A ∩ B) ∪ C
(A ∩ B) ∪ C = (A ∪ C ) ∩ (B ∪ C )
Proof: 1. (A ∩ B) ∪ C ⊆ (A ∪ C ) ∩ (B ∪ C )
Take x ∈ (A ∩ B) ∪ C . Then x ∈ A ∩ B or x ∈ C . Thus x ∈ A ∪ C and
x ∈ B ∪ C . This shows x ∈ (A ∪ C ) ∩ (B ∪ C ). We have shown
(A ∩ B) ∪ C ⊆ (A ∪ C ) ∩ (B ∪ C )
2. (A ∪ C ) ∩ (B ∪ C ) ⊆ (A ∩ B) ∪ C
Take x ∈ (A ∪ C ) ∩ (B ∪ C ).
(A ∩ B) ∪ C = (A ∪ C ) ∩ (B ∪ C )
Proof: 1. (A ∩ B) ∪ C ⊆ (A ∪ C ) ∩ (B ∪ C )
Take x ∈ (A ∩ B) ∪ C . Then x ∈ A ∩ B or x ∈ C . Thus x ∈ A ∪ C and
x ∈ B ∪ C . This shows x ∈ (A ∪ C ) ∩ (B ∪ C ). We have shown
(A ∩ B) ∪ C ⊆ (A ∪ C ) ∩ (B ∪ C )
2. (A ∪ C ) ∩ (B ∪ C ) ⊆ (A ∩ B) ∪ C
Take x ∈ (A ∪ C ) ∩ (B ∪ C ). Then x ∈ A ∪ C and x ∈ B ∪ C .
(A ∩ B) ∪ C = (A ∪ C ) ∩ (B ∪ C )
Proof: 1. (A ∩ B) ∪ C ⊆ (A ∪ C ) ∩ (B ∪ C )
Take x ∈ (A ∩ B) ∪ C . Then x ∈ A ∩ B or x ∈ C . Thus x ∈ A ∪ C and
x ∈ B ∪ C . This shows x ∈ (A ∪ C ) ∩ (B ∪ C ). We have shown
(A ∩ B) ∪ C ⊆ (A ∪ C ) ∩ (B ∪ C )
2. (A ∪ C ) ∩ (B ∪ C ) ⊆ (A ∩ B) ∪ C
Take x ∈ (A ∪ C ) ∩ (B ∪ C ). Then x ∈ A ∪ C and x ∈ B ∪ C . Either
x ∈ C.
(A ∩ B) ∪ C = (A ∪ C ) ∩ (B ∪ C )
Proof: 1. (A ∩ B) ∪ C ⊆ (A ∪ C ) ∩ (B ∪ C )
Take x ∈ (A ∩ B) ∪ C . Then x ∈ A ∩ B or x ∈ C . Thus x ∈ A ∪ C and
x ∈ B ∪ C . This shows x ∈ (A ∪ C ) ∩ (B ∪ C ). We have shown
(A ∩ B) ∪ C ⊆ (A ∪ C ) ∩ (B ∪ C )
2. (A ∪ C ) ∩ (B ∪ C ) ⊆ (A ∩ B) ∪ C
Take x ∈ (A ∪ C ) ∩ (B ∪ C ). Then x ∈ A ∪ C and x ∈ B ∪ C . Either
x ∈ C . If x ∈
/ C then x ∈ A ∩ B.
(A ∩ B) ∪ C = (A ∪ C ) ∩ (B ∪ C )
Proof: 1. (A ∩ B) ∪ C ⊆ (A ∪ C ) ∩ (B ∪ C )
Take x ∈ (A ∩ B) ∪ C . Then x ∈ A ∩ B or x ∈ C . Thus x ∈ A ∪ C and
x ∈ B ∪ C . This shows x ∈ (A ∪ C ) ∩ (B ∪ C ). We have shown
(A ∩ B) ∪ C ⊆ (A ∪ C ) ∩ (B ∪ C )
2. (A ∪ C ) ∩ (B ∪ C ) ⊆ (A ∩ B) ∪ C
Take x ∈ (A ∪ C ) ∩ (B ∪ C ). Then x ∈ A ∪ C and x ∈ B ∪ C . Either
x ∈ C . If x ∈
/ C then x ∈ A ∩ B. Thus x ∈ (A ∩ B) ∪ C .
(A ∩ B) ∪ C = (A ∪ C ) ∩ (B ∪ C )
Proof: 1. (A ∩ B) ∪ C ⊆ (A ∪ C ) ∩ (B ∪ C )
Take x ∈ (A ∩ B) ∪ C . Then x ∈ A ∩ B or x ∈ C . Thus x ∈ A ∪ C and
x ∈ B ∪ C . This shows x ∈ (A ∪ C ) ∩ (B ∪ C ). We have shown
(A ∩ B) ∪ C ⊆ (A ∪ C ) ∩ (B ∪ C )
2. (A ∪ C ) ∩ (B ∪ C ) ⊆ (A ∩ B) ∪ C
Take x ∈ (A ∪ C ) ∩ (B ∪ C ). Then x ∈ A ∪ C and x ∈ B ∪ C . Either
x ∈ C . If x ∈
/ C then x ∈ A ∩ B. Thus x ∈ (A ∩ B) ∪ C . We have shown
(A ∪ C ) ∩ (B ∪ C ) ⊆ (A ∩ B) ∪ C
Mathematical Analysis I Lecture 1 Politecnico di Torino 10 / 16
(A ∪ B) ∩ C = (A ∩ C ) ∪ (B ∩ C )
De Morgan laws:
C(A ∩ B) = CA ∪ CB
De Morgan laws:
C(A ∩ B) = CA ∪ CB
C(A ∪ B) = CA ∩ CB
De Morgan laws:
C(A ∩ B) = CA ∪ CB
C(A ∪ B) = CA ∩ CB
Relative complement:
A \ B = A ∩ CB
Conjunction: p and q
p∧q
Conjunction: p and q
p∧q
Disjunction: p or q
p∨q
Conjunction: p and q
p∧q
Disjunction: p or q
p∨q
Implication:
P⇒Q
Conjunction: p and q
p∧q
Disjunction: p or q
p∨q
Implication:
P⇒Q
Conjunction: p and q
p∧q
Disjunction: p or q
p∨q
Implication:
P⇒Q
P⇔Q
P⇔Q
Contrapositive implication:
P⇒Q ⇔ ¬Q ⇒ ¬P
P⇔Q
Contrapositive implication:
P⇒Q ⇔ ¬Q ⇒ ¬P
Proof of P ⇒ Q by contradiction:
P⇒Q ⇔ (P ∧ ¬Q) ⇒ ¬P
P⇔Q
Contrapositive implication:
P⇒Q ⇔ ¬Q ⇒ ¬P
Proof of P ⇒ Q by contradiction:
P⇒Q ⇔ (P ∧ ¬Q) ⇒ ¬P
or
P⇒Q ⇔ (P ∧ ¬Q) ⇒ r ∧ ¬r
for some formula r
∃x ∈ X : p(x)
∃x ∈ X : p(x)
reads “there exists x ∈ X such that p(x) holds”
∃x ∈ X : p(x)
reads “there exists x ∈ X such that p(x) holds”
Examples:
∀n ∈ N : 2n is an even number
∃x ∈ X : p(x)
reads “there exists x ∈ X such that p(x) holds”
Examples:
∀n ∈ N : 2n is an even number
∃n ∈ N : n > 273
∃x ∈ X : p(x)
reads “there exists x ∈ X such that p(x) holds”
Examples:
∀n ∈ N : 2n is an even number
∃n ∈ N : n > 273
∃x ∈ X : p(x)
reads “there exists x ∈ X such that p(x) holds”
Examples:
∀n ∈ N : 2n is an even number
∃n ∈ N : n > 273
∀x ∈ N : ∃y ∈ N : x < y true
∃y ∈ N : ∀x ∈ N : x < y false
1 = 0.9999 · · ·
1 = 0.9999 · · ·
Proof:
1
= 0.333 · · ·
3
1 = 0.9999 · · ·
Proof:
1
= 0.333 · · ·
3
1
⇒1=3· = 0.999 · · ·
3
1 = 0.9999 · · ·
Proof:
1
= 0.333 · · ·
3
1
⇒1=3· = 0.999 · · ·
3
√
Theorem: 2∈
/Q
1 = 0.9999 · · ·
Proof:
1
= 0.333 · · ·
3
1
⇒1=3· = 0.999 · · ·
3
√
Theorem: 2∈
/Q
Proof.
1 = 0.9999 · · ·
Proof:
1
= 0.333 · · ·
3
1
⇒1=3· = 0.999 · · ·
3
√
Theorem: 2 ∈ /Q
Proof. By contradiction.
1 = 0.9999 · · ·
Proof:
1
= 0.333 · · ·
3
1
⇒1=3· = 0.999 · · ·
3
√
Theorem: 2 ∈ /Q √ p
Proof. By contradiction. Suppose 2 = q where p ∈ N and q ∈ N+ have
no common factors.
1 = 0.9999 · · ·
Proof:
1
= 0.333 · · ·
3
1
⇒1=3· = 0.999 · · ·
3
√
Theorem: 2 ∈ /Q √ p
Proof. By contradiction. Suppose 2 = q where p ∈ N and q ∈ N+ have
no common factors. Then p 2 = 2q 2 .
1 = 0.9999 · · ·
Proof:
1
= 0.333 · · ·
3
1
⇒1=3· = 0.999 · · ·
3
√
Theorem: 2 ∈ /Q √
Proof. By contradiction. Suppose 2 = qp where p ∈ N and q ∈ N+ have
no common factors. Then p 2 = 2q 2 . Thus p 2 is even,
1 = 0.9999 · · ·
Proof:
1
= 0.333 · · ·
3
1
⇒1=3· = 0.999 · · ·
3
√
Theorem: 2 ∈ /Q √
Proof. By contradiction. Suppose 2 = qp where p ∈ N and q ∈ N+ have
no common factors. Then p 2 = 2q 2 . Thus p 2 is even, and p cannot be
odd:
1 = 0.9999 · · ·
Proof:
1
= 0.333 · · ·
3
1
⇒1=3· = 0.999 · · ·
3
√
Theorem: 2 ∈ /Q √
Proof. By contradiction. Suppose 2 = qp where p ∈ N and q ∈ N+ have
no common factors. Then p 2 = 2q 2 . Thus p 2 is even, and p cannot be
odd: (2k + 1)2 = 4k 2 + 4k + 1 is odd.
1 = 0.9999 · · ·
Proof:
1
= 0.333 · · ·
3
1
⇒1=3· = 0.999 · · ·
3
√
Theorem: 2 ∈ /Q √
Proof. By contradiction. Suppose 2 = qp where p ∈ N and q ∈ N+ have
no common factors. Then p 2 = 2q 2 . Thus p 2 is even, and p cannot be
odd: (2k + 1)2 = 4k 2 + 4k + 1 is odd. Hence p = 2k is even.
1 = 0.9999 · · ·
Proof:
1
= 0.333 · · ·
3
1
⇒1=3· = 0.999 · · ·
3
√
Theorem: 2 ∈ /Q √
Proof. By contradiction. Suppose 2 = qp where p ∈ N and q ∈ N+ have
no common factors. Then p 2 = 2q 2 . Thus p 2 is even, and p cannot be
odd: (2k + 1)2 = 4k 2 + 4k + 1 is odd. Hence p = 2k is even. This gives
4k 2 = 2q 2 that is q 2 = 2k 2 .
1 = 0.9999 · · ·
Proof:
1
= 0.333 · · ·
3
1
⇒1=3· = 0.999 · · ·
3
√
Theorem: 2 ∈ /Q √
Proof. By contradiction. Suppose 2 = qp where p ∈ N and q ∈ N+ have
no common factors. Then p 2 = 2q 2 . Thus p 2 is even, and p cannot be
odd: (2k + 1)2 = 4k 2 + 4k + 1 is odd. Hence p = 2k is even. This gives
4k 2 = 2q 2 that is q 2 = 2k 2 . Thus q 2 is even
1 = 0.9999 · · ·
Proof:
1
= 0.333 · · ·
3
1
⇒1=3· = 0.999 · · ·
3
√
Theorem: 2 ∈ /Q √
Proof. By contradiction. Suppose 2 = qp where p ∈ N and q ∈ N+ have
no common factors. Then p 2 = 2q 2 . Thus p 2 is even, and p cannot be
odd: (2k + 1)2 = 4k 2 + 4k + 1 is odd. Hence p = 2k is even. This gives
4k 2 = 2q 2 that is q 2 = 2k 2 . Thus q 2 is even ⇒ q = 2n is even.
1 = 0.9999 · · ·
Proof:
1
= 0.333 · · ·
3
1
⇒1=3· = 0.999 · · ·
3
√
Theorem: 2 ∈ /Q √
Proof. By contradiction. Suppose 2 = qp where p ∈ N and q ∈ N+ have
no common factors. Then p 2 = 2q 2 . Thus p 2 is even, and p cannot be
odd: (2k + 1)2 = 4k 2 + 4k + 1 is odd. Hence p = 2k is even. This gives
4k 2 = 2q 2 that is q 2 = 2k 2 . Thus q 2 is even ⇒ q = 2n is even. This
contradicts the assumption of no common factors in p and q.
1 = 0.9999 · · ·
Proof:
1
= 0.333 · · ·
3
1
⇒1=3· = 0.999 · · ·
3
√
Theorem: 2 ∈ /Q √
Proof. By contradiction. Suppose 2 = qp where p ∈ N and q ∈ N+ have
no common factors. Then p 2 = 2q 2 . Thus p 2 is even, and p cannot be
odd: (2k + 1)2 = 4k 2 + 4k + 1 is odd. Hence p = 2k is even. This gives
4k 2 = 2q 2 that is q 2 = 2k 2 . Thus q 2 is even ⇒ q = 2n is even. This
contradicts
√ the assumption of no common factors in p and q. Thus
p
2 = q cannot hold. 2