Fatou's lemma

In mathematics, Fatou's lemma is an important idea that helps us understand how the areas under curves behave when we look at them in a special way. It tells us about the relationship between the area under a limit curve and the limits of the areas under a series of curves. This idea is very useful in advanced math, especially in the study of integrals.

The lemma is named after Pierre Fatou, a French mathematician who made many contributions to analysis. Fatou's lemma is often used as a tool to prove other important theorems in mathematics, such as the Fatou–Lebesgue theorem and Lebesgue's dominated convergence theorem.

It works with something called the Lebesgue integral, which is a way of calculating the area under a curve that is more general than the usual methods you might have heard of. The lemma looks at a sequence of functions — which are like rules that describe curves — and compares the integral of their limit inferior to the limit inferior of their integrals. This helps mathematicians understand how these areas change and relate to each other.

Fatou's lemma is an inequality, meaning it tells us that one amount is always bigger or equal to another. This makes it a powerful tool in proving many results in mathematics, especially in areas like real analysis and measure theory.

Standard statement

Fatou's lemma is a rule in mathematics that helps us understand how integrals behave with sequences of functions. It tells us that for a special kind of sequence of functions, the integral of the smallest possible limit of these functions is less than or equal to the smallest possible limit of their integrals.

This idea is important in advanced studies of functions and areas, and it helps prove bigger theorems in mathematics.

Reverse Fatou lemma

Imagine you have a list of rules or patterns, and you want to find out what happens when you look at them over a very long time. Fatou's lemma helps us understand how these patterns behave when we add them up or look at their limits.

The reverse Fatou lemma is a special case that works when each pattern in our list is smaller than or equal to a known, well-behaved pattern. This lets us switch the order of taking limits and adding up — and we still get a correct inequality. This idea is useful in advanced math when studying how functions and their integrals relate to each other.

Fatou's lemma for conditional expectations

In probability theory, Fatou's lemma can also apply to sequences of random variables on a probability space. This version deals with expectations under certain conditions.

The standard version states that for a sequence of non-negative random variables, the expectation of their limit inferior is less than or equal to the limit inferior of their expectations, almost surely. This helps in understanding how expectations behave under limits and is important in advanced probability studies.