We are organizing some office hours before the summer exams. Here is the updated schedule.
| Date | Time | Assistant | Room |
|---|---|---|---|
| Wed 21.07. | 14-15 | Giada Franz | HG F 33.1 |
| Wed 28.07. | 14-15 | Michael Vogel | ETH Zoom - 643 7419 1093 |
| Wed 04.08. | 14-15 | Riccardo Plati | HG F 33.1 |
The diary of the lectures is available here. You can find the lecture notes in this polybox folder and the links to the lecture recordings in the table below. The password is the one we sent you by email.
| Date | Content | Reference (in the Lecture Notes) | Video recording | |
|---|---|---|---|---|
| 1 | Wed 24.02. | Presentation of the course, preliminary notations and definitions. | Section 1.1.1 | Video - L01 |
| 2 | Fri 26.02. | Algebras, \(\sigma\)-algebras, \(\sigma\)-algebra of Borel sets, examples, additive and \(\sigma\)-additive functions, proof of the fact that an additive function is \(\sigma\)-additive iff it is subadditive. Definition of a measure and of measurable sets. | Section 1.1.2 | Video - L02 |
| 3 | Wed 03.03. | Proof of Theorem 1.2.10 (the set of measurable sets is a \(\sigma\)-algebra), definition of a measure Space, Exercise 1.2.12. | Section 1.2.2 | Video - L03 |
| 4 | Fri 05.03. | Proof of Theorem 1.2.13. Definition of a covering. Construction of a measure. Proof of Theorem 1.2.17. Definition of a pre-measure. Examples. Carathéodory-Hahn extension. | Sections 1.2.1, 1.2.2, 1.2.3 (until page 17) | Video - L04 |
| 5 | Wed 10.03. | Conclusion of the Proof of Theorems 1.2.20 (part iii) and proof of Theorem 1.2.21 about the uniqueness of the Carathéodory-Hahn extension. Remark 1.2.22. | Section 1.2.3 (until page 19) | Video - L05 |
| 6 | Fri 12.03. | Definition of intervals and elementary sets in \(\mathbb R^n\). Definition of the volume of an elementary set. The volume is \(\sigma\)-additive. Dyadic decomposition in \(\mathbb R^n\). Definition of Lebesgue measure. Proof of Lemma 1.3.4 and Theorem 1.3.5. Proof of the fact that the Lebesgue measure is a Borel measure. | Section 1.3 (until page 23), Bemerkung 1.3.2 in Struwe's notes | Video - L06 |
| 7 | Wed 17.03. | Approximation of a Lebesgue measurable set from inside and outside by closed and open sets. Proof of Theorem 1.3.8. Corollary 1.3.9 and Corollary 1.3.10 (this last one has been left as an exercise). Jordan Measure. Examples of sets which are Jordan measurables. | Sections 1.3 and 1.4 (until page 28) | Video - L07 |
| 8 | Fri 19.03. | Proof of Theorem 1.4.1. Examples of sets which are not Jordan measurable. The Lebesgue measure is Borel regular. Example of a set which is not Lebesgue measurable: Vitali Set. | Sections 1.4 and 1.5 (until page 31) | Video - L08 |
| 9 | Wed 24.03. | Every countable set in \(\mathbb R\) has measure zero. Description of the Cantor triadic set: example of an uncountable with zero Lebesgue measure. Its representation in base \(b=3\). | Sections 1.5 and 1.6 | Video - L09 |
| 10 | Fri 26.03. | The Lebesgue-Stieltjes measure on \(\mathbb R\) and proof of some regularity properties, definition of a metric measure, the Carathéodory criterium for a Borel measure: proof of Theorems 1.7.2, 17.4, 1.7.5. | Section 1.7 | Video - L10 |
| 11 | Wed 31.03. | Introduction of Hausdorff measure. Proof of the fact that the zero dimensional Hausdorff measure is the counting measure. Proof of Theorem 1.8.3 (the s-dimensional Hausdorff measure is a Borel regular measure). | Section 1.8 (until page 41) | Video - L11 |
| 12 | Wed 14.04. | Proof of Theorem 1.8.3 (continued), proof of Lemma 1.8.5, Example 1.8.6, definition of the Hausdorff dimension of a set of \(\mathbb R^n\). | Section 1.8 (until page 48) | Video - L12 |
| 13 | Fri 16.04. | Some remarks about the Hausdorff dimension of subsets of \(\mathbb R^n\), description of Cantor dust, Radon measures, proof of Theorem 1.9.3, definition of measurable functions. | Sections 1.8.1, 1.9 and 2.1 (until page 56) | Video - L13 |
| 14 | Wed 21.04. | Measurable functions: equivalent definitions (see also Exercise 6.2). Proof of Theorem 2.2.5. Composition of a measureble function \(f:A\to \mathbb R\) with a Borel function \(g:\mathbb R \to \mathbb R\) is measurable. Comparison with Exercise 6.5. | Sections 2.2 (until page 58) | Video - L14 |
| 15 | Fri 23.04. | Approximation of nonnegative measurable functions by simple functions. Proof of Egoroff's Theorem and Lusin 's Theorem. | Sections 2.2 and 2.3 (until page 65) | Video - L15 |
| 16 | Wed 28.04. | Proof of Lusin 's Theorem (continued), Convergegence in measure. Relation between convergence in measure and the almost everywhere convergence. | Sections 2.3 and 2.4 (until page 66) | Video - L16 |
| 17 | Fri 30.04. | Definition of the integral with respect to a given Radon measure on \(\mathbb R^n\). Proof of Propositions 3.1.7, 3.1.9, 3.1.10, 3.1.11, Tchebicev Inequality and its consequences. Summable functions and some properties. | Section 3.1 (until page 75) | Video - L17 |
| 18 | Wed 05.05. | Proof of Theorem 3.1.15 about linearity of the integral. Proof of Corollaries 3.1.16 , 3.1.18 and of Proposition 3.1.19. | Section 3.1 (until page 79) | Video - L18 |
| 19 | Fri 07.05. | Proof of Lemma 3.1.17, comparison betweem Riemann and Lebesgue integral. Example of a function which is not Riemann integral. Proof of Fatou's Lemma and of Beppo Levi's Theorem. Application: integral of a series of measurable nonnegative functions is the sum of of the integrals. | Sections 3.2 and 3.3 (until page 87) | Video - L19 |
| 20 | Wed 12.05. | Proof of Dominated Convergence Theorem. Two different proofs of Corollary 3.1.14. Absolute continuity of integrals. | Sections 3.3 and 3.5 (for the proof of Corollary 3.1.14 see also the class notes). | Video - L20 |
| 21 | Fri 14.05. | Proof of Vitali Theorem and of Theorems 3.6.5 and 3.6.6. Introduction of \(L^p\) spaces. Examples. | Sections 3.6 and 3.7 (until page 100) | Video - L21 |
| 22 | Wed 19.05. | Proof of Young inequality, Hölder inequality, Minkowski inequality. | Section 3.7 (until page 105) | Video - L22 |
| 23 | Fri 21.05. | Proof of the completeness of \(L^p\) spaces, for \(p \in [1,\infty]\). Tonelli theorem for the series. Product measures and Fubini and Tonelli theorems (only statements). Examples and Remarks. | Section 3.7 (until page 108) and Section 4.1 (until page 126) | Video - L23 |
| 24 | Wed 26.05. | Applications to Fubini and Tonelli Theorems. Definition of the convolution. | Sections 4.2 and 4.3 (until page 129) | Video - L24 |
| 25 | Fri 28.05. | Proof of Theorem 4.3.3, Corollary 4.3.4, Theorem 4.3.6. | Section 4.3 | Video - L25 |
| 26 | Wed 02.06. | Separability of \(L^p\) spaces. Proofs of the first part of Theorem 3.7.15. Remarks on \(L^{\infty}\) space. | Section 3.7 (until page 110) | Video - L26 |
| 27 | Fri 04.06. | Second part of proof of Theorem 3.7.15: density of the space of continuous functions with compact support in the \(L^p\) spaces for \(1\le p<{\infty}\). Proof of Theorem 3.7.21. | Section 3.7 | Video - L27 |
In order to easily interact, we set up a forum for our course at the link Mass und Integral (Spring 2021) - Forum. You have to sign up with your ETH credentials. There you find several topics where you can ask questions and discuss about the lectures, the problem sets, the exam, etc.
Please register and enroll for a teaching assistant in myStudies. The enrollment is needed to attend the exercise class and to hand in your homework.
| Zeit | Room | Tutor | Language |
|---|---|---|---|
| Wed 10-12 | ETH Zoom - 940 7940 4722 | Maran Mohanarangan | English |
| Wed 10-12 | ETH Zoom - 962 7393 5368 | Riccardo Plati | English |
| Wed 10-12 | ETH Zoom - 986 5790 1652 | Salome Schumacher | German |
| Wed 10-12 | ETH Zoom - 920 6767 2168 | Leon Staresinic | English |
| Wed 10-12 | ETH Zoom - 977 0647 9688 | Michael Vogel | German |
The exercise classes are not recorded, thus we suggest you to attend the live exercise classes on zoom. You can find the notes of Salome's exercise classes in this polybox folder, the password is the same as the one for the lecture notes. Moreover in the table below you can find the notes of Maran's exercise classes.
| Date | Content | Notes | |
|---|---|---|---|
| 1 | Wed 03.03. | The motivation behind \(\sigma\)-algebras | Notes - E01 |
| 2 | Wed 10.03. | Abstract measure spaces | Notes - E02 |
| 3 | Wed 17.03. | Probability measures and the Lebesgue measure | Notes - E03 |
| 4 | Wed 24.03. | A Lebesgue measurable set that is not Borel | Notes - E04 |
| 5 | Wed 31.03. | Fractals and the Hausdorff dimension | Notes - E05 |
| 6 | Wed 14.04. | Measurable functions | Notes - E06 |
| 7 | Wed 21.04. | Almost everywhere | Notes - E07 |
| 8 | Wed 29.04. | Littlewood’s three principles | Notes - E08 |
| 9 | Wed 05.05. | Lebesgue integration theory | Notes - E09 |
| 10 | Wed 12.05. | Convergence results and absolute continuity | Notes - E10 |
| 11 | Wed 19.05. | Modes of convergence | Notes - E11 |
| 12 | Wed 26.05. | \(L^p\) spaces | Notes - E12 |
| 13 | Wed 02.06. | The fundamental theorem of calculus for Lebesgue integrals | Notes - E13 |
The submission of your solutions to the exercises should be done via the platform SAMUpTool, where you can access also your corrected exercise sheets. Please register in myStudies to be able to access the submission platform.
A new exercise sheet is uploaded here every Monday and you have time until Wednesday at 10am of the following week to hand in your solutions.
