1 Preliminary 11 Introduction 12 Cardinality 13 Topology of the Euclidean space 14 Metric space and Baire Category theorem 15 Continuous functions and Distance in metric space 151 Hausdorff distance and Gromov-Hausdorff distance 152 Invariant of domain 2 Lebesgue measure 21 Exterior measure 22 Measure 23 Borel sets and Measurable sets 24 Linear transformation of measurable sets 25 Sets of positive measure 3 Measurable functions 31 Measurable functions 32 Simple functions 33 Littlewood’s Three principles 4 Lebesgue’s integration theory 41 Integration 42 Interchanging limits with integrals 43 Lebesgue vs Riemann 44 Fubini’s Theorem 5 Differentiation 51 Monotone functions 52 Fundamental theorem of Calculus I 521 A detour: Bounded variation functions 53 Fundamental theorem of Calculus II 54 Lebesgue Differentiation Theorem 6 Function spaces 61 L P spaces 611 Normed vector space 612 A detour: Convexity and Jensen’s inequality 613 Completeness: Banach space 614 Separability 62 Hilbert space:
Substitutivity of Equivalence Let A,M and N be wffs and let AMN be the result of replacing M by N at zero or more occurrences (henceforth called designate occurrences) of M in A. 1. AMN is a wff. 2. If |= M ≡ N then |= A ≡ AMN
Axiom Schemata for F Axiom Schema 1 A ∨ A ⊃ A Axiom Schema 2 A ⊃ (B ∨ A) Axiom Schema 3 A ⊃ B ⊃ (C ∨ A ⊃ (B ∨ C)) Axiom Schema 4 ∀xA ⊃ Sxt A where t is a term free for the individual variable x in A Axiom Schema 5 ∀x(A ∨ B) ⊃ (A ∨ ∀xB) provided that x is not free in A
