P. 1
Set Theory Lecture Notes

# Set Theory Lecture Notes

Ratings: (0)|Views: 1,952|Likes:

Published by: yusuf on Jan 17, 2010

### Availability:

Read on Scribd mobile: iPhone, iPad and Android.
See more
See less

11/22/2012

pdf

text

original

Foundations of Mathematics ISet Theory(only a draft)
Ali NesinMathematics DepartmentIstanbul Bilgi UniversityKu¸stepe S¸i¸sliIstanbul Turkeyanesin@bilgi.edu.trFebruary 12, 2004

2

Contents
I Naive Set Theory 7
1 Basic Concepts and Examples 11
1.1 Sets, Subsets and Emptyset . . . . . . . . . . . . . . . . . . . . . 111.2 Notes on Formalism . . . . . . . . . . . . . . . . . . . . . . . . . 151.3 Number Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 171.4 Subsets Dened By a Property . . . . . . . . . . . . . . . . . . . 201.5 Sets of Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 211.6 Parametrized Sets . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2 Operations with Sets 25
2.1 Dierence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 252.2 Intersection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 252.3 Union . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 272.4 Cartesian Product of Two Sets . . . . . . . . . . . . . . . . . . . 29
3 Functions 31
3.1 Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 313.2 More On Functions . . . . . . . . . . . . . . . . . . . . . . . . . . 353.3 Binary Operations . . . . . . . . . . . . . . . . . . . . . . . . . . 353.4 Operations with Functions . . . . . . . . . . . . . . . . . . . . . . 373.5 Injections, Surjections, Bijections . . . . . . . . . . . . . . . . . . 383.5.1 Injections . . . . . . . . . . . . . . . . . . . . . . . . . . . 383.5.2 Surjections . . . . . . . . . . . . . . . . . . . . . . . . . . 393.5.3 Bijections . . . . . . . . . . . . . . . . . . . . . . . . . . . 403.6 Sym(
) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 413.7 Families, Sequences and Cartesian Products . . . . . . . . . . . . 44
4 Relations 47
4.1 Denitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 474.2 Equivalence Relations . . . . . . . . . . . . . . . . . . . . . . . . 484.3 Partial Orders . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 534.4 Total Orders . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
5 Induction 57
3

## Activity (25)

You've already reviewed this. Edit your review.