Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword or section
Like this
25Activity

Table Of Contents

0 of .
Results for:
No results containing your search query
P. 1
Set Theory Lecture Notes

Set Theory Lecture Notes

Ratings: (0)|Views: 1,936 |Likes:
Published by yusuf

More info:

Published by: yusuf on Jan 17, 2010
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
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.
1 hundred reads
1 thousand reads
jayroldparcede liked this
Jim Lande liked this
__cyber__ liked this
Enas Alani liked this
Carlos Ribeiro liked this
erpankaj80 liked this
dododady11 liked this
SCReddy liked this

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->