Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
16Activity
0 of .
Results for:
No results containing your search query
P. 1
real analysis

real analysis

Ratings: (0)|Views: 328 |Likes:
Published by jeffrey_uslan

More info:

Published by: jeffrey_uslan on Sep 24, 2011
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

07/01/2014

pdf

text

original

 
Real Analysis: Part I
William G. FarisFebruary 2, 2004
 
ii
 
Contents
1 Mathematical proof 1
1.1 Logical language . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.2 Free and bound variables . . . . . . . . . . . . . . . . . . . . . . 31.3 Proofs from analysis . . . . . . . . . . . . . . . . . . . . . . . . . 41.4 Natural deduction . . . . . . . . . . . . . . . . . . . . . . . . . . 61.5 Natural deduction strategies . . . . . . . . . . . . . . . . . . . . . 131.6 Equality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161.7 Lemmas and theorems . . . . . . . . . . . . . . . . . . . . . . . . 181.8 More proofs from analysis . . . . . . . . . . . . . . . . . . . . . . 19
2 Sets 21
2.1 Zermelo axioms . . . . . . . . . . . . . . . . . . . . . . . . . . . . 212.2 Comments on the axioms . . . . . . . . . . . . . . . . . . . . . . 222.3 Ordered pairs and Cartesian product . . . . . . . . . . . . . . . . 252.4 Relations and functions . . . . . . . . . . . . . . . . . . . . . . . 262.5 Number systems . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3 Relations, Functions, Dynamical Systems 31
3.1 Identity, composition, inverse, intersection . . . . . . . . . . . . . 313.2 Picturing relations . . . . . . . . . . . . . . . . . . . . . . . . . . 323.3 Equivalence relations . . . . . . . . . . . . . . . . . . . . . . . . . 323.4 Generating relations . . . . . . . . . . . . . . . . . . . . . . . . . 323.5 Ordered sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 333.6 Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 333.7 Relations inverse to functions . . . . . . . . . . . . . . . . . . . . 343.8 Dynamical systems . . . . . . . . . . . . . . . . . . . . . . . . . . 343.9 Picturing dynamical systems . . . . . . . . . . . . . . . . . . . . 353.10 Structure of dynamical systems . . . . . . . . . . . . . . . . . . . 35
4 Functions, Cardinal Number 39
4.1 Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 394.2 Picturing functions . . . . . . . . . . . . . . . . . . . . . . . . . . 404.3 Indexed sums and products . . . . . . . . . . . . . . . . . . . . . 404.4 Cartesian powers . . . . . . . . . . . . . . . . . . . . . . . . . . . 41iii

Activity (16)

You've already reviewed this. Edit your review.
1 thousand reads
1 hundred reads
Tony Rizk liked this
E Cos Lopez liked this
Özge Emir liked this
Ae Yasungnoen liked this
Stan Smith liked this
Leandro Ribeiro liked this
Özge Emir liked this
Chia-Yu Yao liked this

You're Reading a Free Preview

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