mat 3749 introduction to analysis section 1.3 part i countable sets
TRANSCRIPT
![Page 1: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/1.jpg)
MAT 3749Introduction to Analysis
Section 1.3 Part I
Countable Sets
http://myhome.spu.edu/lauw
![Page 2: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/2.jpg)
Goals
Review and Renew the concept of functions•How to show that a function is an One-
to-one function (Injection)
•How to show that a function is an Onto function (Surjection)
Countable and Uncountable Sets
![Page 3: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/3.jpg)
References
Section 1.3 Howland, Appendices A-C
![Page 4: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/4.jpg)
You Know a Lot About Functions
You are supposed to know a lot… Domain, Range, Codomain Inverse Functions One-to-one, Onto Functions Composite Functions
![Page 5: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/5.jpg)
Is this a Function? (I)
X Y
![Page 6: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/6.jpg)
Is this a Function? (II)
X Y
![Page 7: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/7.jpg)
One-to-One Functions
: is if
for each , there is at most on
1-1
e
such that (
(inject
)
ive)f X Y
y Y x X
f x y
X Y
![Page 8: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/8.jpg)
Equivalent Criteria
1 2
1 2 1 2
For , ,
if ( ) ( ) then
x x X
f x f x x x
X Y
![Page 9: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/9.jpg)
Example 1Determine if the given function is injective. Prove your answer. :
( ) 3 1
f
f n n
Z Z
![Page 10: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/10.jpg)
Onto Functions
onto (surjective: is if
the range of
)
is .
f X Y
f Y
X Y
![Page 11: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/11.jpg)
Equivalent Criteria
, such that ( )y Y x X f x y
X Y
![Page 12: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/12.jpg)
Example 2Determine if the given function is surjective. Prove your answer. :
( ) 3 1
f
f n n
Z Z
![Page 13: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/13.jpg)
Counting Problems…
X Y
?
X Y
![Page 14: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/14.jpg)
Counting Problems…
X Y
?
X Y
![Page 15: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/15.jpg)
Bijections
: is if it is both 1b -1 and onto.ijectivef X Y
![Page 16: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/16.jpg)
Inverse Functions
1
If : is
then its inverse function : exists
and i
bijec
s also bijecti e
ive
v
t
.
f X Y
f Y X
![Page 17: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/17.jpg)
Equivalent Sets
![Page 18: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/18.jpg)
Example 3
The set of odd integers (O) and even integers (E) are equivalent.
Plan:
1. Define a function from O to E.
2. Show that the function is well defined.
3. Show that the function is bijective.
![Page 19: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/19.jpg)
Countable Sets
![Page 20: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/20.jpg)
Remark
![Page 21: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/21.jpg)
Theorem
![Page 22: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/22.jpg)
Analysis
![Page 23: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/23.jpg)
Proof
![Page 24: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/24.jpg)
Proof
![Page 25: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/25.jpg)
Proof
![Page 26: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/26.jpg)
Corollary (HW)
![Page 27: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/27.jpg)
Theorem
![Page 28: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/28.jpg)
Proof Outline
1 2 3 4 5
1 1 1 1 1
1 2 3 4
2 2 2 2
1 2 3
3 3 3
1 2
4 4
1
5
![Page 29: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/29.jpg)
Proof Outline
2 4
2 2
1 2 3 4 5
1 1 1 1 1
1 3
2 2
1 2
3 3
1
4
1
5
3
3
2
4
![Page 30: MAT 3749 Introduction to Analysis Section 1.3 Part I Countable Sets](https://reader035.vdocuments.mx/reader035/viewer/2022081603/56649f155503460f94c2b3f3/html5/thumbnails/30.jpg)
Proof Outline
2 4
2 2
1 2 3 4 5
1 1 1 1 1
1 3
2 2
1 2
3 3
1
4
1
5
3
3
2
4