Nothing Special   »   [go: up one dir, main page]

0% found this document useful (0 votes)
1 views128 pages

Lecture 1 C2

Download as pdf or txt
Download as pdf or txt
Download as pdf or txt
You are on page 1/ 128

Mathematical Analysis I, a.a.

2024/25, 10 CFU

Politecnico di Torino
Department of Mathematical Sciences DISMA
General information

Mathematical Analysis I Lecture 1 Politecnico di Torino 2 / 16


General information
Course coordinator: Patrik Wahlberg

Mathematical Analysis I Lecture 1 Politecnico di Torino 2 / 16


General information
Course coordinator: Patrik Wahlberg
Teachers: Patrik Wahlberg (lectures), Enrico Carlini (exercise classes)

Mathematical Analysis I Lecture 1 Politecnico di Torino 2 / 16


General information
Course coordinator: Patrik Wahlberg
Teachers: Patrik Wahlberg (lectures), Enrico Carlini (exercise classes)
Literature: Mathematical Analysis I, C. Canuto, A. Tabacco, Pearson
2022

Mathematical Analysis I Lecture 1 Politecnico di Torino 2 / 16


General information
Course coordinator: Patrik Wahlberg
Teachers: Patrik Wahlberg (lectures), Enrico Carlini (exercise classes)
Literature: Mathematical Analysis I, C. Canuto, A. Tabacco, Pearson
2022
Analisi Matematica I, F. Nicola, CLUT 2020

Mathematical Analysis I Lecture 1 Politecnico di Torino 2 / 16


General information
Course coordinator: Patrik Wahlberg
Teachers: Patrik Wahlberg (lectures), Enrico Carlini (exercise classes)
Literature: Mathematical Analysis I, C. Canuto, A. Tabacco, Pearson
2022
Analisi Matematica I, F. Nicola, CLUT 2020
Material: Portale della Didattica

Mathematical Analysis I Lecture 1 Politecnico di Torino 2 / 16


General information
Course coordinator: Patrik Wahlberg
Teachers: Patrik Wahlberg (lectures), Enrico Carlini (exercise classes)
Literature: Mathematical Analysis I, C. Canuto, A. Tabacco, Pearson
2022
Analisi Matematica I, F. Nicola, CLUT 2020
Material: Portale della Didattica
Two courses: Course 2 FAV–OZJ, Course 3 OZK–ZZZ

Mathematical Analysis I Lecture 1 Politecnico di Torino 2 / 16


General information
Course coordinator: Patrik Wahlberg
Teachers: Patrik Wahlberg (lectures), Enrico Carlini (exercise classes)
Literature: Mathematical Analysis I, C. Canuto, A. Tabacco, Pearson
2022
Analisi Matematica I, F. Nicola, CLUT 2020
Material: Portale della Didattica
Two courses: Course 2 FAV–OZJ, Course 3 OZK–ZZZ

This is Course 2

Mathematical Analysis I Lecture 1 Politecnico di Torino 2 / 16


General information
Course coordinator: Patrik Wahlberg
Teachers: Patrik Wahlberg (lectures), Enrico Carlini (exercise classes)
Literature: Mathematical Analysis I, C. Canuto, A. Tabacco, Pearson
2022
Analisi Matematica I, F. Nicola, CLUT 2020
Material: Portale della Didattica
Two courses: Course 2 FAV–OZJ, Course 3 OZK–ZZZ

This is Course 2
Weekly timetable

Mathematical Analysis I Lecture 1 Politecnico di Torino 2 / 16


General information
Course coordinator: Patrik Wahlberg
Teachers: Patrik Wahlberg (lectures), Enrico Carlini (exercise classes)
Literature: Mathematical Analysis I, C. Canuto, A. Tabacco, Pearson
2022
Analisi Matematica I, F. Nicola, CLUT 2020
Material: Portale della Didattica
Two courses: Course 2 FAV–OZJ, Course 3 OZK–ZZZ

This is Course 2
Weekly timetable
1. Monday 8:30–10:00 exercise group A

Mathematical Analysis I Lecture 1 Politecnico di Torino 2 / 16


General information
Course coordinator: Patrik Wahlberg
Teachers: Patrik Wahlberg (lectures), Enrico Carlini (exercise classes)
Literature: Mathematical Analysis I, C. Canuto, A. Tabacco, Pearson
2022
Analisi Matematica I, F. Nicola, CLUT 2020
Material: Portale della Didattica
Two courses: Course 2 FAV–OZJ, Course 3 OZK–ZZZ

This is Course 2
Weekly timetable
1. Monday 8:30–10:00 exercise group A
2. Monday 10:00–11:30 exercise group B

Mathematical Analysis I Lecture 1 Politecnico di Torino 2 / 16


General information
Course coordinator: Patrik Wahlberg
Teachers: Patrik Wahlberg (lectures), Enrico Carlini (exercise classes)
Literature: Mathematical Analysis I, C. Canuto, A. Tabacco, Pearson
2022
Analisi Matematica I, F. Nicola, CLUT 2020
Material: Portale della Didattica
Two courses: Course 2 FAV–OZJ, Course 3 OZK–ZZZ

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

Mathematical Analysis I Lecture 1 Politecnico di Torino 2 / 16


General information
Course coordinator: Patrik Wahlberg
Teachers: Patrik Wahlberg (lectures), Enrico Carlini (exercise classes)
Literature: Mathematical Analysis I, C. Canuto, A. Tabacco, Pearson
2022
Analisi Matematica I, F. Nicola, CLUT 2020
Material: Portale della Didattica
Two courses: Course 2 FAV–OZJ, Course 3 OZK–ZZZ

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

Mathematical Analysis I Lecture 1 Politecnico di Torino 2 / 16


General information
Course coordinator: Patrik Wahlberg
Teachers: Patrik Wahlberg (lectures), Enrico Carlini (exercise classes)
Literature: Mathematical Analysis I, C. Canuto, A. Tabacco, Pearson
2022
Analisi Matematica I, F. Nicola, CLUT 2020
Material: Portale della Didattica
Two courses: Course 2 FAV–OZJ, Course 3 OZK–ZZZ

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.

Mathematical Analysis I Lecture 1 Politecnico di Torino 3 / 16


Please note: Holidays on Friday 1/11 and on Monday 6/1.

Group A: surname FAV–KHU


Group B: surname KHV–OZJ

Mathematical Analysis I Lecture 1 Politecnico di Torino 3 / 16


Exam

Mathematical Analysis I Lecture 1 Politecnico di Torino 4 / 16


Exam
Four occasions:

Mathematical Analysis I Lecture 1 Politecnico di Torino 4 / 16


Exam
Four occasions:
20–22 January

Mathematical Analysis I Lecture 1 Politecnico di Torino 4 / 16


Exam
Four occasions:
20–22 January
6–7 February

Mathematical Analysis I Lecture 1 Politecnico di Torino 4 / 16


Exam
Four occasions:
20–22 January
6–7 February
12–13 June (to be confirmed)

Mathematical Analysis I Lecture 1 Politecnico di Torino 4 / 16


Exam
Four occasions:
20–22 January
6–7 February
12–13 June (to be confirmed)
September

Mathematical Analysis I Lecture 1 Politecnico di Torino 4 / 16


Exam
Four occasions:
20–22 January
6–7 February
12–13 June (to be confirmed)
September
Registration necessary. Deadline ∼ one week before exam

Mathematical Analysis I Lecture 1 Politecnico di Torino 4 / 16


Exam
Four occasions:
20–22 January
6–7 February
12–13 June (to be confirmed)
September
Registration necessary. Deadline ∼ one week before exam

Structure of the exam:

Mathematical Analysis I Lecture 1 Politecnico di Torino 4 / 16


Exam
Four occasions:
20–22 January
6–7 February
12–13 June (to be confirmed)
September
Registration necessary. Deadline ∼ one week before exam

Structure of the exam:


1 “Ongoing activities” during the course: max 3 credits

Mathematical Analysis I Lecture 1 Politecnico di Torino 4 / 16


Exam
Four occasions:
20–22 January
6–7 February
12–13 June (to be confirmed)
September
Registration necessary. Deadline ∼ one week before exam

Structure of the exam:


1 “Ongoing activities” during the course: max 3 credits
2 Multiple choice test (45 min), 15 questions. Max 15 credits

Mathematical Analysis I Lecture 1 Politecnico di Torino 4 / 16


Exam
Four occasions:
20–22 January
6–7 February
12–13 June (to be confirmed)
September
Registration necessary. Deadline ∼ one week before exam

Structure of the exam:


1 “Ongoing activities” during the course: max 3 credits
2 Multiple choice test (45 min), 15 questions. Max 15 credits
3 If pass (score ⩾ 8) on 2: written exam (90 minutes). Max 15 credits

Mathematical Analysis I Lecture 1 Politecnico di Torino 4 / 16


Exam
Four occasions:
20–22 January
6–7 February
12–13 June (to be confirmed)
September
Registration necessary. Deadline ∼ one week before exam

Structure of the exam:


1 “Ongoing activities” during the course: max 3 credits
2 Multiple choice test (45 min), 15 questions. Max 15 credits
3 If pass (score ⩾ 8) on 2: written exam (90 minutes). Max 15 credits
4 Pass: ⩾ 8 credits on the written exam, and sum ⩾ 18

Mathematical Analysis I Lecture 1 Politecnico di Torino 4 / 16


Exam
Four occasions:
20–22 January
6–7 February
12–13 June (to be confirmed)
September
Registration necessary. Deadline ∼ one week before exam

Structure of the exam:


1 “Ongoing activities” during the course: max 3 credits
2 Multiple choice test (45 min), 15 questions. Max 15 credits
3 If pass (score ⩾ 8) on 2: written exam (90 minutes). Max 15 credits
4 Pass: ⩾ 8 credits on the written exam, and sum ⩾ 18
5 Oral exam: optional

Mathematical Analysis I Lecture 1 Politecnico di Torino 4 / 16


Ongoing activities (optional)

Mathematical Analysis I Lecture 1 Politecnico di Torino 5 / 16


Ongoing activities (optional)

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

Mathematical Analysis I Lecture 1 Politecnico di Torino 5 / 16


Contents of the course

Mathematical Analysis I Lecture 1 Politecnico di Torino 6 / 16


Contents of the course
Mathematics is an indispensible tool for a scientific study of
engineering, physics, economy, biology, medicine, . . .

Mathematical Analysis I Lecture 1 Politecnico di Torino 6 / 16


Contents of the course
Mathematics is an indispensible tool for a scientific study of
engineering, physics, economy, biology, medicine, . . .
Analysis is the part of mathematics that concerns quantities that
may vary continuously, e.g. the space coordinate of a particle as a
function of time

Mathematical Analysis I Lecture 1 Politecnico di Torino 6 / 16


Contents of the course
Mathematics is an indispensible tool for a scientific study of
engineering, physics, economy, biology, medicine, . . .
Analysis is the part of mathematics that concerns quantities that
may vary continuously, e.g. the space coordinate of a particle as a
function of time
The real line R is a mathematical model of time and of space

Mathematical Analysis I Lecture 1 Politecnico di Torino 6 / 16


Contents of the course
Mathematics is an indispensible tool for a scientific study of
engineering, physics, economy, biology, medicine, . . .
Analysis is the part of mathematics that concerns quantities that
may vary continuously, e.g. the space coordinate of a particle as a
function of time
The real line R is a mathematical model of time and of space
1 Set theory and logic

Mathematical Analysis I Lecture 1 Politecnico di Torino 6 / 16


Contents of the course
Mathematics is an indispensible tool for a scientific study of
engineering, physics, economy, biology, medicine, . . .
Analysis is the part of mathematics that concerns quantities that
may vary continuously, e.g. the space coordinate of a particle as a
function of time
The real line R is a mathematical model of time and of space
1 Set theory and logic
2 Numerical sets

Mathematical Analysis I Lecture 1 Politecnico di Torino 6 / 16


Contents of the course
Mathematics is an indispensible tool for a scientific study of
engineering, physics, economy, biology, medicine, . . .
Analysis is the part of mathematics that concerns quantities that
may vary continuously, e.g. the space coordinate of a particle as a
function of time
The real line R is a mathematical model of time and of space
1 Set theory and logic
2 Numerical sets
3 Functions

Mathematical Analysis I Lecture 1 Politecnico di Torino 6 / 16


Contents of the course
Mathematics is an indispensible tool for a scientific study of
engineering, physics, economy, biology, medicine, . . .
Analysis is the part of mathematics that concerns quantities that
may vary continuously, e.g. the space coordinate of a particle as a
function of time
The real line R is a mathematical model of time and of space
1 Set theory and logic
2 Numerical sets
3 Functions
4 Limits and continuity

Mathematical Analysis I Lecture 1 Politecnico di Torino 6 / 16


Contents of the course
Mathematics is an indispensible tool for a scientific study of
engineering, physics, economy, biology, medicine, . . .
Analysis is the part of mathematics that concerns quantities that
may vary continuously, e.g. the space coordinate of a particle as a
function of time
The real line R is a mathematical model of time and of space
1 Set theory and logic
2 Numerical sets
3 Functions
4 Limits and continuity
5 Differential calculus

Mathematical Analysis I Lecture 1 Politecnico di Torino 6 / 16


Contents of the course
Mathematics is an indispensible tool for a scientific study of
engineering, physics, economy, biology, medicine, . . .
Analysis is the part of mathematics that concerns quantities that
may vary continuously, e.g. the space coordinate of a particle as a
function of time
The real line R is a mathematical model of time and of space
1 Set theory and logic
2 Numerical sets
3 Functions
4 Limits and continuity
5 Differential calculus
6 Taylor expansions

Mathematical Analysis I Lecture 1 Politecnico di Torino 6 / 16


Contents of the course
Mathematics is an indispensible tool for a scientific study of
engineering, physics, economy, biology, medicine, . . .
Analysis is the part of mathematics that concerns quantities that
may vary continuously, e.g. the space coordinate of a particle as a
function of time
The real line R is a mathematical model of time and of space
1 Set theory and logic
2 Numerical sets
3 Functions
4 Limits and continuity
5 Differential calculus
6 Taylor expansions
7 Integral calculus

Mathematical Analysis I Lecture 1 Politecnico di Torino 6 / 16


Contents of the course
Mathematics is an indispensible tool for a scientific study of
engineering, physics, economy, biology, medicine, . . .
Analysis is the part of mathematics that concerns quantities that
may vary continuously, e.g. the space coordinate of a particle as a
function of time
The real line R is a mathematical model of time and of space
1 Set theory and logic
2 Numerical sets
3 Functions
4 Limits and continuity
5 Differential calculus
6 Taylor expansions
7 Integral calculus
8 Complex numbers

Mathematical Analysis I Lecture 1 Politecnico di Torino 6 / 16


Contents of the course
Mathematics is an indispensible tool for a scientific study of
engineering, physics, economy, biology, medicine, . . .
Analysis is the part of mathematics that concerns quantities that
may vary continuously, e.g. the space coordinate of a particle as a
function of time
The real line R is a mathematical model of time and of space
1 Set theory and logic
2 Numerical sets
3 Functions
4 Limits and continuity
5 Differential calculus
6 Taylor expansions
7 Integral calculus
8 Complex numbers
9 Differential equations
Mathematical Analysis I Lecture 1 Politecnico di Torino 6 / 16
Set theory

Mathematical Analysis I Lecture 1 Politecnico di Torino 7 / 16


Set theory
If X is a set then
x ∈X
means that the element x belongs to X .

Mathematical Analysis I Lecture 1 Politecnico di Torino 7 / 16


Set theory
If X is a set then
x ∈X
means that the element x belongs to X .

Example: 34 ∈ N where
N = {0, 1, 2, . . . }
is the set of natural numbers.

Mathematical Analysis I Lecture 1 Politecnico di Torino 7 / 16


Set theory
If X is a set then
x ∈X
means that the element x belongs to X .

Example: 34 ∈ N where
N = {0, 1, 2, . . . }
is the set of natural numbers.

Example: π ∈
/N

Mathematical Analysis I Lecture 1 Politecnico di Torino 7 / 16


Set theory
If X is a set then
x ∈X
means that the element x belongs to X .

Example: 34 ∈ N where
N = {0, 1, 2, . . . }
is the set of natural numbers.

Example: π ∈
/N

A subset A ⊆ X is a set of elements in X .

Mathematical Analysis I Lecture 1 Politecnico di Torino 7 / 16


Set theory
If X is a set then
x ∈X
means that the element x belongs to X .

Example: 34 ∈ N where
N = {0, 1, 2, . . . }
is the set of natural numbers.

Example: π ∈
/N

A subset A ⊆ X is a set of elements in X .


Two ways:
A = {x1 , x2 , . . . , xn }

Mathematical Analysis I Lecture 1 Politecnico di Torino 7 / 16


Set theory
If X is a set then
x ∈X
means that the element x belongs to X .

Example: 34 ∈ N where
N = {0, 1, 2, . . . }
is the set of natural numbers.

Example: π ∈
/N

A subset A ⊆ X is a set of elements in X .


Two ways:
A = {x1 , x2 , . . . , xn }
or
A = {x ∈ X : p(x)}
where p(x) is a property of x.
Mathematical Analysis I Lecture 1 Politecnico di Torino 7 / 16
Examples:
A = {n ∈ N : n ⩽ 7} = {0, 1, . . . , 7}

Mathematical Analysis I Lecture 1 Politecnico di Torino 8 / 16


Examples:
A = {n ∈ N : n ⩽ 7} = {0, 1, . . . , 7}

B = {n ∈ N : n > 2} = {3, 4, . . . }

Mathematical Analysis I Lecture 1 Politecnico di Torino 8 / 16


Examples:
A = {n ∈ N : n ⩽ 7} = {0, 1, . . . , 7}

B = {n ∈ N : n > 2} = {3, 4, . . . }

For a proper subset A ⊂ X it holds A ̸= X .

Mathematical Analysis I Lecture 1 Politecnico di Torino 8 / 16


Examples:
A = {n ∈ N : n ⩽ 7} = {0, 1, . . . , 7}

B = {n ∈ N : n > 2} = {3, 4, . . . }

For a proper subset A ⊂ X it holds A ̸= X .


The empty set ∅ ⊆ X contains no elements.

Mathematical Analysis I Lecture 1 Politecnico di Torino 8 / 16


Examples:
A = {n ∈ N : n ⩽ 7} = {0, 1, . . . , 7}

B = {n ∈ N : n > 2} = {3, 4, . . . }

For a proper subset A ⊂ X it holds A ̸= X .


The empty set ∅ ⊆ X contains no elements.

The power set P(X ) is the set of all subsets of X .

Mathematical Analysis I Lecture 1 Politecnico di Torino 8 / 16


Examples:
A = {n ∈ N : n ⩽ 7} = {0, 1, . . . , 7}

B = {n ∈ N : n > 2} = {3, 4, . . . }

For a proper subset A ⊂ X it holds A ̸= X .


The empty set ∅ ⊆ X contains no elements.

The power set P(X ) is the set of all subsets of X .

Example: X = {1, 3}

Mathematical Analysis I Lecture 1 Politecnico di Torino 8 / 16


Examples:
A = {n ∈ N : n ⩽ 7} = {0, 1, . . . , 7}

B = {n ∈ N : n > 2} = {3, 4, . . . }

For a proper subset A ⊂ X it holds A ̸= X .


The empty set ∅ ⊆ X contains no elements.

The power set P(X ) is the set of all subsets of X .

Example: X = {1, 3}

P(X ) = {∅, {1}, {3}, {1, 3} = X }

Mathematical Analysis I Lecture 1 Politecnico di Torino 8 / 16


Examples:
A = {n ∈ N : n ⩽ 7} = {0, 1, . . . , 7}

B = {n ∈ N : n > 2} = {3, 4, . . . }

For a proper subset A ⊂ X it holds A ̸= X .


The empty set ∅ ⊆ X contains no elements.

The power set P(X ) is the set of all subsets of X .

Example: X = {1, 3}

P(X ) = {∅, {1}, {3}, {1, 3} = X }

If X has n elements (cardinality) then P(X ) has 2n elements.

Mathematical Analysis I Lecture 1 Politecnico di Torino 8 / 16


Complement of A ⊆ X :

CA = {x ∈ X : x ∈
/ A}

Mathematical Analysis I Lecture 1 Politecnico di Torino 9 / 16


Complement of A ⊆ X :

CA = {x ∈ X : x ∈
/ A}

CX = ∅ C∅ = X C(CA) = A

Mathematical Analysis I Lecture 1 Politecnico di Torino 9 / 16


Complement of A ⊆ X :

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}

Mathematical Analysis I Lecture 1 Politecnico di Torino 9 / 16


Complement of A ⊆ X :

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}

Mathematical Analysis I Lecture 1 Politecnico di Torino 9 / 16


Properties:
A∩B =B ∩A A∪B =B ∪A
(A ∩ B) ∩ C = A ∩ (B ∩ C ) (A ∪ B) ∪ C = A ∪ (B ∪ C )

Mathematical Analysis I Lecture 1 Politecnico di Torino 10 / 16


Properties:
A∩B =B ∩A A∪B =B ∪A
(A ∩ B) ∩ C = A ∩ (B ∩ C ) (A ∪ B) ∪ C = A ∪ (B ∪ C )

(A ∩ B) ∪ C = (A ∪ C ) ∩ (B ∪ C )

Mathematical Analysis I Lecture 1 Politecnico di Torino 10 / 16


Properties:
A∩B =B ∩A A∪B =B ∪A
(A ∩ B) ∩ C = A ∩ (B ∩ C ) (A ∪ B) ∪ C = A ∪ (B ∪ C )

(A ∩ B) ∪ C = (A ∪ C ) ∩ (B ∪ C )

Proof: 1. (A ∩ B) ∪ C ⊆ (A ∪ C ) ∩ (B ∪ C )

Mathematical Analysis I Lecture 1 Politecnico di Torino 10 / 16


Properties:
A∩B =B ∩A A∪B =B ∪A
(A ∩ B) ∩ C = A ∩ (B ∩ C ) (A ∪ 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 .

Mathematical Analysis I Lecture 1 Politecnico di Torino 10 / 16


Properties:
A∩B =B ∩A A∪B =B ∪A
(A ∩ B) ∩ C = A ∩ (B ∩ C ) (A ∪ 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 .

Mathematical Analysis I Lecture 1 Politecnico di Torino 10 / 16


Properties:
A∩B =B ∩A A∪B =B ∪A
(A ∩ B) ∩ C = A ∩ (B ∩ C ) (A ∪ 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.

Mathematical Analysis I Lecture 1 Politecnico di Torino 10 / 16


Properties:
A∩B =B ∩A A∪B =B ∪A
(A ∩ B) ∩ C = A ∩ (B ∩ C ) (A ∪ 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 ).

Mathematical Analysis I Lecture 1 Politecnico di Torino 10 / 16


Properties:
A∩B =B ∩A A∪B =B ∪A
(A ∩ B) ∩ C = A ∩ (B ∩ C ) (A ∪ 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 )

Mathematical Analysis I Lecture 1 Politecnico di Torino 10 / 16


Properties:
A∩B =B ∩A A∪B =B ∪A
(A ∩ B) ∩ C = A ∩ (B ∩ C ) (A ∪ 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

Mathematical Analysis I Lecture 1 Politecnico di Torino 10 / 16


Properties:
A∩B =B ∩A A∪B =B ∪A
(A ∩ B) ∩ C = A ∩ (B ∩ C ) (A ∪ 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 ).

Mathematical Analysis I Lecture 1 Politecnico di Torino 10 / 16


Properties:
A∩B =B ∩A A∪B =B ∪A
(A ∩ B) ∩ C = A ∩ (B ∩ C ) (A ∪ 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 ). Then x ∈ A ∪ C and x ∈ B ∪ C .

Mathematical Analysis I Lecture 1 Politecnico di Torino 10 / 16


Properties:
A∩B =B ∩A A∪B =B ∪A
(A ∩ B) ∩ C = A ∩ (B ∩ C ) (A ∪ 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 ). Then x ∈ A ∪ C and x ∈ B ∪ C . Either
x ∈ C.

Mathematical Analysis I Lecture 1 Politecnico di Torino 10 / 16


Properties:
A∩B =B ∩A A∪B =B ∪A
(A ∩ B) ∩ C = A ∩ (B ∩ C ) (A ∪ 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 ). Then x ∈ A ∪ C and x ∈ B ∪ C . Either
x ∈ C . If x ∈
/ C then x ∈ A ∩ B.

Mathematical Analysis I Lecture 1 Politecnico di Torino 10 / 16


Properties:
A∩B =B ∩A A∪B =B ∪A
(A ∩ B) ∩ C = A ∩ (B ∩ C ) (A ∪ 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 ). Then x ∈ A ∪ C and x ∈ B ∪ C . Either
x ∈ C . If x ∈
/ C then x ∈ A ∩ B. Thus x ∈ (A ∩ B) ∪ C .

Mathematical Analysis I Lecture 1 Politecnico di Torino 10 / 16


Properties:
A∩B =B ∩A A∪B =B ∪A
(A ∩ B) ∩ C = A ∩ (B ∩ C ) (A ∪ 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 ). 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 )

Mathematical Analysis I Lecture 1 Politecnico di Torino 11 / 16


(A ∪ B) ∩ C = (A ∩ C ) ∪ (B ∩ C )

De Morgan laws:
C(A ∩ B) = CA ∪ CB

Mathematical Analysis I Lecture 1 Politecnico di Torino 11 / 16


(A ∪ B) ∩ C = (A ∩ C ) ∪ (B ∩ C )

De Morgan laws:
C(A ∩ B) = CA ∪ CB

C(A ∪ B) = CA ∩ CB

Mathematical Analysis I Lecture 1 Politecnico di Torino 11 / 16


(A ∪ B) ∩ C = (A ∩ C ) ∪ (B ∩ C )

De Morgan laws:
C(A ∩ B) = CA ∪ CB

C(A ∪ B) = CA ∩ CB

Relative complement:
A \ B = A ∩ CB

Mathematical Analysis I Lecture 1 Politecnico di Torino 11 / 16


Logic
A formula p is true or false.

Mathematical Analysis I Lecture 1 Politecnico di Torino 12 / 16


Logic
A formula p is true or false.

Example: p = “2 > 1” is true, p = “1 > 2” is false.

Mathematical Analysis I Lecture 1 Politecnico di Torino 12 / 16


Logic
A formula p is true or false.

Example: p = “2 > 1” is true, p = “1 > 2” is false.

The negation ¬p of p has opposite truth value to p.

Mathematical Analysis I Lecture 1 Politecnico di Torino 12 / 16


Logic
A formula p is true or false.

Example: p = “2 > 1” is true, p = “1 > 2” is false.

The negation ¬p of p has opposite truth value to p.

Conjunction: p and q
p∧q

Mathematical Analysis I Lecture 1 Politecnico di Torino 12 / 16


Logic
A formula p is true or false.

Example: p = “2 > 1” is true, p = “1 > 2” is false.

The negation ¬p of p has opposite truth value to p.

Conjunction: p and q
p∧q

Disjunction: p or q
p∨q

Mathematical Analysis I Lecture 1 Politecnico di Torino 12 / 16


Logic
A formula p is true or false.

Example: p = “2 > 1” is true, p = “1 > 2” is false.

The negation ¬p of p has opposite truth value to p.

Conjunction: p and q
p∧q

Disjunction: p or q
p∨q

Implication:
P⇒Q

Mathematical Analysis I Lecture 1 Politecnico di Torino 12 / 16


Logic
A formula p is true or false.

Example: p = “2 > 1” is true, p = “1 > 2” is false.

The negation ¬p of p has opposite truth value to p.

Conjunction: p and q
p∧q

Disjunction: p or q
p∨q

Implication:
P⇒Q

If P holds then Q holds.

Mathematical Analysis I Lecture 1 Politecnico di Torino 12 / 16


Logic
A formula p is true or false.

Example: p = “2 > 1” is true, p = “1 > 2” is false.

The negation ¬p of p has opposite truth value to p.

Conjunction: p and q
p∧q

Disjunction: p or q
p∨q

Implication:
P⇒Q

If P holds then Q holds.


Example: P = “n ⩾ 5”, Q = “n ⩾ 0”
Mathematical Analysis I Lecture 1 Politecnico di Torino 12 / 16
Equivalence: P ⇒ Q and Q ⇒ P

P⇔Q

Mathematical Analysis I Lecture 1 Politecnico di Torino 13 / 16


Equivalence: P ⇒ Q and Q ⇒ P

P⇔Q

Contrapositive implication:

P⇒Q ⇔ ¬Q ⇒ ¬P

Mathematical Analysis I Lecture 1 Politecnico di Torino 13 / 16


Equivalence: P ⇒ Q and Q ⇒ P

P⇔Q

Contrapositive implication:

P⇒Q ⇔ ¬Q ⇒ ¬P

Proof of P ⇒ Q by contradiction:

P⇒Q ⇔ (P ∧ ¬Q) ⇒ ¬P

Mathematical Analysis I Lecture 1 Politecnico di Torino 13 / 16


Equivalence: P ⇒ Q and 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

Mathematical Analysis I Lecture 1 Politecnico di Torino 13 / 16


Quantifiers:
∀x ∈ X : p(x)

Mathematical Analysis I Lecture 1 Politecnico di Torino 14 / 16


Quantifiers:
∀x ∈ X : p(x)
reads “for all x ∈ X , p(x) holds”

Mathematical Analysis I Lecture 1 Politecnico di Torino 14 / 16


Quantifiers:
∀x ∈ X : p(x)
reads “for all x ∈ X , p(x) holds”

∃x ∈ X : p(x)

Mathematical Analysis I Lecture 1 Politecnico di Torino 14 / 16


Quantifiers:
∀x ∈ X : p(x)
reads “for all x ∈ X , p(x) holds”

∃x ∈ X : p(x)
reads “there exists x ∈ X such that p(x) holds”

Mathematical Analysis I Lecture 1 Politecnico di Torino 14 / 16


Quantifiers:
∀x ∈ X : p(x)
reads “for all x ∈ X , 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

Mathematical Analysis I Lecture 1 Politecnico di Torino 14 / 16


Quantifiers:
∀x ∈ X : p(x)
reads “for all x ∈ X , 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

∃n ∈ N : n > 273

Mathematical Analysis I Lecture 1 Politecnico di Torino 14 / 16


Quantifiers:
∀x ∈ X : p(x)
reads “for all x ∈ X , 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

∃n ∈ N : n > 273

¬(∀x ∈ X : p(x)) ⇐⇒ ∃x ∈ X : ¬p(x)

Mathematical Analysis I Lecture 1 Politecnico di Torino 14 / 16


Quantifiers:
∀x ∈ X : p(x)
reads “for all x ∈ X , 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

∃n ∈ N : n > 273

¬(∀x ∈ X : p(x)) ⇐⇒ ∃x ∈ X : ¬p(x)

∀x ∈ N : ∃y ∈ N : x < y true
∃y ∈ N : ∀x ∈ N : x < y false

Mathematical Analysis I Lecture 1 Politecnico di Torino 14 / 16


Sets of numbers

Mathematical Analysis I Lecture 1 Politecnico di Torino 15 / 16


Sets of numbers
The set of natural numbers
N = {0, 1, 2, . . . }

Mathematical Analysis I Lecture 1 Politecnico di Torino 15 / 16


Sets of numbers
The set of natural numbers
N = {0, 1, 2, . . . }

The set of integers


Z = {0, ±1, ±2, . . . }

Mathematical Analysis I Lecture 1 Politecnico di Torino 15 / 16


Sets of numbers
The set of natural numbers
N = {0, 1, 2, . . . }

The set of integers


Z = {0, ±1, ±2, . . . }

The set of rational numbers


 
p
Q= : p ∈ Z, q ∈ N+
q

Mathematical Analysis I Lecture 1 Politecnico di Torino 15 / 16


Sets of numbers
The set of natural numbers
N = {0, 1, 2, . . . }

The set of integers


Z = {0, ±1, ±2, . . . }

The set of rational numbers


 
p
Q= : p ∈ Z, q ∈ N+
q
p
Decimal expansions for q ∈ Q:

Mathematical Analysis I Lecture 1 Politecnico di Torino 15 / 16


Sets of numbers
The set of natural numbers
N = {0, 1, 2, . . . }

The set of integers


Z = {0, ±1, ±2, . . . }

The set of rational numbers


 
p
Q= : p ∈ Z, q ∈ N+
q
p
Decimal expansions for q ∈ Q: Either it is finite
p
= 1.134123
q

Mathematical Analysis I Lecture 1 Politecnico di Torino 15 / 16


Sets of numbers
The set of natural numbers
N = {0, 1, 2, . . . }

The set of integers


Z = {0, ±1, ±2, . . . }

The set of rational numbers


 
p
Q= : p ∈ Z, q ∈ N+
q
p
Decimal expansions for ∈ Q: Either it is finite
q
p
= 1.134123
q
or it is infinite and eventually periodic
p z}|{ z}|{ z}|{
= 2.17845 321 321 321 · · ·
q
Mathematical Analysis I Lecture 1 Politecnico di Torino 15 / 16
Decimal expansions are not unique.

Mathematical Analysis I Lecture 1 Politecnico di Torino 16 / 16


Decimal expansions are not unique.

1 = 0.9999 · · ·

Mathematical Analysis I Lecture 1 Politecnico di Torino 16 / 16


Decimal expansions are not unique.

1 = 0.9999 · · ·

Proof:
1
= 0.333 · · ·
3

Mathematical Analysis I Lecture 1 Politecnico di Torino 16 / 16


Decimal expansions are not unique.

1 = 0.9999 · · ·

Proof:
1
= 0.333 · · ·
3
1
⇒1=3· = 0.999 · · ·
3

Mathematical Analysis I Lecture 1 Politecnico di Torino 16 / 16


Decimal expansions are not unique.

1 = 0.9999 · · ·

Proof:
1
= 0.333 · · ·
3
1
⇒1=3· = 0.999 · · ·
3

Theorem: 2∈
/Q

Mathematical Analysis I Lecture 1 Politecnico di Torino 16 / 16


Decimal expansions are not unique.

1 = 0.9999 · · ·

Proof:
1
= 0.333 · · ·
3
1
⇒1=3· = 0.999 · · ·
3

Theorem: 2∈
/Q
Proof.

Mathematical Analysis I Lecture 1 Politecnico di Torino 16 / 16


Decimal expansions are not unique.

1 = 0.9999 · · ·

Proof:
1
= 0.333 · · ·
3
1
⇒1=3· = 0.999 · · ·
3

Theorem: 2 ∈ /Q
Proof. By contradiction.

Mathematical Analysis I Lecture 1 Politecnico di Torino 16 / 16


Decimal expansions are not unique.

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.

Mathematical Analysis I Lecture 1 Politecnico di Torino 16 / 16


Decimal expansions are not unique.

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 .

Mathematical Analysis I Lecture 1 Politecnico di Torino 16 / 16


Decimal expansions are not unique.

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,

Mathematical Analysis I Lecture 1 Politecnico di Torino 16 / 16


Decimal expansions are not unique.

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:

Mathematical Analysis I Lecture 1 Politecnico di Torino 16 / 16


Decimal expansions are not unique.

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.

Mathematical Analysis I Lecture 1 Politecnico di Torino 16 / 16


Decimal expansions are not unique.

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.

Mathematical Analysis I Lecture 1 Politecnico di Torino 16 / 16


Decimal expansions are not unique.

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 .

Mathematical Analysis I Lecture 1 Politecnico di Torino 16 / 16


Decimal expansions are not unique.

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

Mathematical Analysis I Lecture 1 Politecnico di Torino 16 / 16


Decimal expansions are not unique.

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.

Mathematical Analysis I Lecture 1 Politecnico di Torino 16 / 16


Decimal expansions are not unique.

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.

Mathematical Analysis I Lecture 1 Politecnico di Torino 16 / 16


Decimal expansions are not unique.

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

Mathematical Analysis I Lecture 1 Politecnico di Torino 16 / 16

You might also like