By Dean Corbae and Juraj Zeman
Contents
1 Introduction 13
1.1 Rules of logic . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.2 Taxonomy of Proofs . . . . . . . . . . . . . . . . . . . . . . . 17
1.3 Bibliography for Chapter 1 . . . . . . . . . . . . . . . . . . . . 19
2 SetTheory 21
2.1 Set Operations . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.1.1 Algebraic properties of set operations . . . . . . . . . . 24
2.2 Cartesian Products . . . . . . . . . . . . . . . . . . . . . . . . 24
2.3 Relations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.3.1 Equivalence relations . . . . . . . . . . . . . . . . . . . 25
2.3.2 Order relations . . . . . . . . . . . . . . . . . . . . . . 27
2.4 Correspondences and Functions . . . . . . . . . . . . . . . . . 30
2.4.1 Restrictions and extensions . . . . . . . . . . . . . . . 32
2.4.2 Composition of functions . . . . . . . . . . . . . . . . . 32
2.4.3 Injections and inverses . . . . . . . . . . . . . . . . . . 33
2.4.4 Surjections and bijections . . . . . . . . . . . . . . . . 33
2.5 Finite and InÞnite Sets . . . . . . . . . . . . . . . . . . . . . . 34
2.6 Algebras of Sets . . . . . . . . . . . . . . . . . . . . . . . . . . 38
2.7 Bibliography for Chapter 2 . . . . . . . . . . . . . . . . . . . . 43
2.8 End of Chapter Problems. . . . . . . . . . . . . . . . . . . . . 44
3 The Space of Real Numbers 45
3.1 The Field Axioms . . . . . . . . . . . . . . . . . . . . . . . . 46
3.2 The Order Axioms . . . . . . . . . . . . . . . . . . . . . . . . 48
3.3 The Completeness Axiom . . . . . . . . . . . . . . . . . . . . 50
3.4 Open and Closed Sets . . . . . . . . . . . . . . . . . . . . . . 53
3.5 Borel Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60


CONTENTS 5
5.3 GeneralMeasure . . . . . . . . . . . . . . . . . . . . . . . . . 184
5.3.1 SignedMeasures . . . . . . . . . . . . . . . . . . . . . 185
5.4 Examples UsingMeasure Theory . . . . . . . . . . . . . . . . 194
5.4.1 Probability Spaces . . . . . . . . . . . . . . . . . . . . 194
5.4.2 L1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 195
5.5 Appendix - Proofs in Chapter 5 . . . . . . . . . . . . . . . . . 200
5.6 Bibilography for Chapter 5 . . . . . . . . . . . . . . . . . . . . 211
6 Function Spaces 213
6.1 The set of bounded continuous functions . . . . . . . . . . . . 216
6.1.1 Completeness . . . . . . . . . . . . . . . . . . . . . . . 216
6.1.2 Compactness . . . . . . . . . . . . . . . . . . . . . . . 218
6.1.3 Approximation . . . . . . . . . . . . . . . . . . . . . . 221
6.1.4 Separability of C(X) . . . . . . . . . . . . . . . . . . . 227
6.1.5 Fixed point theorems . . . . . . . . . . . . . . . . . . . 227
6.2 Classical Banach spaces: Lp . . . . . . . . . . . . . . . . . . . 229
6.2.1 Additional Topics in Lp(X) . . . . . . . . . . . . . . . 235
6.2.2 Hilbert Spaces (L2(X)) . . . . . . . . . . . . . . . . . . 237
6.3 Linear operators . . . . . . . . . . . . . . . . . . . . . . . . . . 241
6.4 Linear Functionals . . . . . . . . . . . . . . . . . . . . . . . . 245
6.4.1 Dual spaces . . . . . . . . . . . . . . . . . . . . . . . . 248
6.4.2 Second Dual Space . . . . . . . . . . . . . . . . . . . . 252
6.5 Separation Results . . . . . . . . . . . . . . . . . . . . . . . . 254
6.5.1 Existence of equilibrium . . . . . . . . . . . . . . . . . 260
6.6 Optimization of Nonlinear Operators . . . . . . . . . . . . . . 262
6.6.1 Variational methods on inÞnite dimensional vector spaces262
6.6.2 Dynamic Programming . . . . . . . . . . . . . . . . . . 274
6.7 Appendix - Proofs for Chapter 6 . . . . . . . . . . . . . . . . . 284
6.8 Bibilography for Chapter 6 . . . . . . . . . . . . . . . . . . . . 297
7 Topological Spaces 299
7.1 Continuous Functions and Homeomorphisms . . . . . . . . . . 302
7.2 Separation Axioms . . . . . . . . . . . . . . . . . . . . . . . . 303
7.3 Convergence and Completeness . . . . . . . . . . . . . . . . . 305