*Here, you find my whole video series about Measure Theory in the correct order and I also help you with some text around the videos. If you have any questions, you can use the comments below and ask anything. As a motivation about the whole topic, the Lebegue integral is often used and, there, the question arises why we actually need a new integral notion when we already in calculus how to integrate. For this motivation, I’ve created a video you find here. However, without further ado let’s start with this series here:*

#### Part 1 - Sigma Algebras

If you want to learn Measure Theory and understand the general **Lebesgue Integral**, you first need to know what a **Sigma-algebra** is:

###### Content of the video:

00:00 Introduction

00:58 Measuring lengths

03:00 Example power set

03:51 Definition sigma-algebra

10:20 Example for sigma-algebras

Now you know that a Sigma-algebra is just a special collection of subsets. Of course, if I give you just any collection of subsets, you are able to check if this one satisfies the three rules above. If this is not the case, you can add new sets into the collection such that the result is a sigma-algebra. In the next video you see how this works in a theoretical way (**generated Sigma-algebra**).

#### Part 2 - Borel Sigma Algebras

One other collection of subsets is given in a topology: **open sets**! With these, we can generate a very important Sigma-algebra: the **Borel Sigma-algebra**.

###### Content of the video:

00:00 Recap sigma algebra

00:50 Intersections of sigma algebra

02:18 Generated sigma algebra

04:38 Example

08:30 Definition Borel sigma algebra

#### Part 3 - What is a measure?

You might have already noted that the whole point of the Sigma-algebra is that we can define a map from it to the real numbers. This map should **measure** the set in a sense of a generalised **volume**. Therefore, we just call this map a **measure**:

###### Content of the video:

00:00 Introduction

00:26 Measure - Definition

03:08 Empty set has measure zero

03:35 Additivity

05:59 Sigma-additivity

07:54 Summary

08:43 Measure space

09:18 Examples

09:40 Counting measure

12:30 Dirac measure

14:12 Lebesgue measure

#### Part 4 - Not everything is Lebesgue measurable

As an interlude I want to answer the question why we don’t just ignore Sigma-algebras and define the measure on the whole power set. This would mean that we can measure “volumes” of all possible subsets and wouldn’t that be a reasonable request? Yeah, it would be. However, then we would lose a lot of interesting measures, especially the most important one: The usual volume measure in $ \mathbb{R}^3 $. The next video proves that we cannot have this volume measure (and other ones) defined for the whole power set:

#### Part 5 - Measurable Maps

Now, we can go deeper into the theory. Keep in mind that someday we want to define a generalised integral with the help of such a measure. For that reason, we need to look at special maps that converse the structure of our $ \sigma $-algebra: **measurable maps**.

#### Part 6 - Lebesgue Integral

At this point, we can start by defining the so-called **Lebesgue integral**. It is the modern integral notion that even works in this abstract framework. However, let’s start with simple functions: **step functions**!

#### Part 7 - Monotone Convergence Theorem (and more)

Wow, now we know what $ \int f d \mu $ means. It is a number that really represents the orientated volume for the graph of the function. Everything seems easier to define than what you might know from the Riemann integral. However, the real advantages of the Lebesgue integral come into play when we look at the **convergence theorems**:

#### Part 8 - Monotone Convergence Theorem (Proof and Application)

Also a **proof** would be nice:

#### Part 9 - Fatou’s Lemma

Related to the convergence theorems is a very general fact, now often just called **Fatou’s Lemma**:

#### Part 10 - Lebesgue’s Dominated Convergence Theorem

At this point, you are so familiar with the Lebesgue integral that the next theorem might not surprise you so much. However, it is a property the simple one-dimensional Riemann integral lacks, but it has many applications. There, **Lebesgue’s dominated convergence theorem** is my favourite theorem in the integration theory:

#### Part 11 - Proof of Lebesgue’s Dominated Convergence Theorem

Of course, you want to see a proof of this beautiful theorem, so here we go:

#### Part 12 - Carathéodory’s Extension Theorem

I hope that you now have a good overview about measures and the Lebesgue integral. We now go one step back and look at the foundations again. Especially, we are interested how we can construct some particular measures like the normal **Lebesgue measure**, for example. Therefore, let’s first talk about **Carathéodory’s extension theorem**:

#### Part 13 - Lebesgue-Stieltjes Measures

With the help of this theorem, we are able to construct a lot of different measures. One special class are so-called **Lebesgue-Stieltjes measures**:

#### Part 14 - Radon-Nikodym theorem and Lebesgue’s decomposition theorem

We reached a point where we talk about deeper and special results in Measure Theory. However, both theorem that now follow have so many applications that you could come across them everywhere. They are called the **Radon-Nikodym theorem** and **Lebesgue’s decomposition theorem**:

#### Part 15 - Image measure and substitution rule

For the Riemann integral, you know how to apply a substitution to solve some integrals. Of course, this also works for the Lebesgue integral in $\mathbb{R}$ in the same way. More interesting is the fact that you can generalise this rule to all other measurable spaces. There we need to define the **image measure** to get a similar **substitution rule**:

#### Part 16 - Proof of the substitution rule for measure spaces

Again, I should show you a proof of this. Note that the pdf version explains one step at the end in more detail.

#### Part 17 - Product measure and Cavalieri’s principle

Now you know how to get new measures when you have a measurable map. It works similar when you want to define a new measure for the cartesian product. This one is called the **product measure**. With the help of this, we can simply higher-dimensional integrals. This is known as **Cavalieri’s principle**:

#### Part 18 - Cavalieri’s principle - An example

Of course, an example would be helpful to understand the whole procedure:

#### Part 19 - Fubini’s Theorem

We came far into the topic of measure theory and integration theory. I want to close the last topic but presenting one of the most famous theorems in this context: **Fubini’s Theorem**. You might already heard it and even applied it but I want to show you the general context such that you know what the correct assumptions are. I also show you an example 🙂

#### Part 20 - Outer measures - Part 1

The next videos are more about the foundations of measure theory. Especially we first talk about **outer measures** in the next three videos:

#### Part 21 - Outer measures - Part 2: Examples

Let’s discuss some examples.

#### Part 22 - Outer measures - Part 3: Proof

Now, let’s prove the statements.

#### Part 23 - Proof of Carathéodory’s Extension Theorem

In the final video of the series, we put everything together to prove Carathéodory’s Extension Theorem. It turns that we already have almost everything we need from the discussion of the outer measures. The only gap we have to close is the step from a premeasure to an outer measure. Let’s do that.

This ends the series about constructing measures and general Lebesgue integral. It’s something we can use in the Probability Theory course to construct general probability measures. In the future, we will also discuss more properties of measures in an additional course.

#### Summary of the course Measure Theory

- You can download the whole PDF here and the whole dark PDF.
- You can download the whole printable PDF here.