What’s new

Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Tao

# Tag Archive

You are currently browsing the tag archive for the ‘Lebesgue dominated convergence theorem’ tag.

## 245A, Notes 3: Integration on abstract measure spaces, and the convergence theorems

25 September, 2010 in 245A - Real analysis, math.CA | Tags: absolutely integrable functions, Fatou's lemma, Lebesgue dominated convergence theorem, measurable space, measure space, monotone convergence theorem, sigma-algebra | by Terence Tao | 50 comments

Thus far, we have only focused on measure and integration theory in the context of Euclidean spaces ${{\bf R}^d}$. Now, we will work in a more abstract and general setting, in which the Euclidean space ${{\bf R}^d}$ is replaced by a more general space ${X}$.

It turns out that in order to properly define measure and integration on a general space ${X}$, it is not enough to just specify the set ${X}$. One also needs to specify two additional pieces of data:

1. A collection ${{\mathcal B}}$ of subsets of ${X}$ that one is allowed to measure; and
2. The measure ${\mu(E) \in [0,+\infty]}$ one assigns to each measurable set ${E \in {\mathcal B}}$.

For instance, Lebesgue measure theory covers the case when ${X}$ is a Euclidean space ${{\bf R}^d}$, ${{\mathcal B}}$ is the collection ${{\mathcal B} = {\mathcal L}[{\bf R}^d]}$ of all Lebesgue measurable subsets of ${{\bf R}^d}$, and ${\mu(E)}$ is the Lebesgue measure ${\mu(E)=m(E)}$ of ${E}$.

The collection ${{\mathcal B}}$ has to obey a number of axioms (e.g. being closed with respect to countable unions) that make it a ${\sigma}$-algebra, which is a stronger variant of the more well-known concept of a boolean algebra. Similarly, the measure ${\mu}$ has to obey a number of axioms (most notably, a countable additivity axiom) in order to obtain a measure and integration theory comparable to the Lebesgue theory on Euclidean spaces. When all these axioms are satisfied, the triple ${(X, {\mathcal B}, \mu)}$ is known as a measure space. These play much the same role in abstract measure theory that metric spaces or topological spaces play in abstract point-set topology, or that vector spaces play in abstract linear algebra.

On any measure space, one can set up the unsigned and absolutely convergent integrals in almost exactly the same way as was done in the previous notes for the Lebesgue integral on Euclidean spaces, although the approximation theorems are largely unavailable at this level of generality due to the lack of such concepts as “elementary set” or “continuous function” for an abstract measure space. On the other hand, one does have the fundamental convergence theorems for the subject, namely Fatou’s lemma, the monotone convergence theorem and the dominated convergence theorem, and we present these results here.

One question that will not be addressed much in this current set of notes is how one actually constructs interesting examples of measures. We will discuss this issue more in later notes (although one of the most powerful tools for such constructions, namely the Riesz representation theorem, will not be covered until 245B).

Read the rest of this entry »

### Recent Comments

Frank on Soft analysis, hard analysis,…
andrescaicedo on Soft analysis, hard analysis,…
Richard Palais on Pythagoras’ theorem
The Coffee Stains in… on Does one have to be a genius t…
Benoît Régent-Kloeck… on (Ingrid Daubechies) Planning f…
Luqing Ye on 245B, Notes 7: Well-ordered se…
Luqing Ye on 245B, Notes 7: Well-ordered se…
Arjun Jain on 245B, Notes 7: Well-ordered se…
%anchor_text% on Books
Luqing Ye on 245B, Notes 7: Well-ordered se…
Arjun Jain on 245B, Notes 7: Well-ordered se…
Luqing Ye on 245A, Notes 2: The Lebesgue…
Luqing Ye on 245A, Notes 2: The Lebesgue…
E.L. Wisty on Simons Lecture I: Structure an…
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 21, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8941907286643982, "perplexity_flag": "middle"}