18.175: lecture 4 .1in integrationmath.mit.edu/~sheffield/175/lecture4.pdf · 2014. 2. 11. ·...
TRANSCRIPT
![Page 1: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/1.jpg)
18.175: Lecture 4
Integration
Scott Sheffield
MIT
18.175 Lecture 4
![Page 2: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/2.jpg)
Outline
Integration
Expectation
18.175 Lecture 4
![Page 3: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/3.jpg)
Outline
Integration
Expectation
18.175 Lecture 4
![Page 4: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/4.jpg)
Recall definitions
I Probability space is triple (Ω,F ,P) where Ω is samplespace, F is set of events (the σ-algebra) and P : F → [0, 1] isthe probability function.
I σ-algebra is collection of subsets closed undercomplementation and countable unions. Call (Ω,F) ameasure space.
I Measure is function µ : F → R satisfying µ(A) ≥ µ(∅) = 0for all A ∈ F and countable additivity: µ(∪iAi ) =
∑i µ(Ai )
for disjoint Ai .
I Measure µ is probability measure if µ(Ω) = 1.
I The Borel σ-algebra B on a topological space is the smallestσ-algebra containing all open sets.
18.175 Lecture 4
![Page 5: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/5.jpg)
Recall definitions
I Probability space is triple (Ω,F ,P) where Ω is samplespace, F is set of events (the σ-algebra) and P : F → [0, 1] isthe probability function.
I σ-algebra is collection of subsets closed undercomplementation and countable unions. Call (Ω,F) ameasure space.
I Measure is function µ : F → R satisfying µ(A) ≥ µ(∅) = 0for all A ∈ F and countable additivity: µ(∪iAi ) =
∑i µ(Ai )
for disjoint Ai .
I Measure µ is probability measure if µ(Ω) = 1.
I The Borel σ-algebra B on a topological space is the smallestσ-algebra containing all open sets.
18.175 Lecture 4
![Page 6: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/6.jpg)
Recall definitions
I Probability space is triple (Ω,F ,P) where Ω is samplespace, F is set of events (the σ-algebra) and P : F → [0, 1] isthe probability function.
I σ-algebra is collection of subsets closed undercomplementation and countable unions. Call (Ω,F) ameasure space.
I Measure is function µ : F → R satisfying µ(A) ≥ µ(∅) = 0for all A ∈ F and countable additivity: µ(∪iAi ) =
∑i µ(Ai )
for disjoint Ai .
I Measure µ is probability measure if µ(Ω) = 1.
I The Borel σ-algebra B on a topological space is the smallestσ-algebra containing all open sets.
18.175 Lecture 4
![Page 7: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/7.jpg)
Recall definitions
I Probability space is triple (Ω,F ,P) where Ω is samplespace, F is set of events (the σ-algebra) and P : F → [0, 1] isthe probability function.
I σ-algebra is collection of subsets closed undercomplementation and countable unions. Call (Ω,F) ameasure space.
I Measure is function µ : F → R satisfying µ(A) ≥ µ(∅) = 0for all A ∈ F and countable additivity: µ(∪iAi ) =
∑i µ(Ai )
for disjoint Ai .
I Measure µ is probability measure if µ(Ω) = 1.
I The Borel σ-algebra B on a topological space is the smallestσ-algebra containing all open sets.
18.175 Lecture 4
![Page 8: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/8.jpg)
Recall definitions
I Probability space is triple (Ω,F ,P) where Ω is samplespace, F is set of events (the σ-algebra) and P : F → [0, 1] isthe probability function.
I σ-algebra is collection of subsets closed undercomplementation and countable unions. Call (Ω,F) ameasure space.
I Measure is function µ : F → R satisfying µ(A) ≥ µ(∅) = 0for all A ∈ F and countable additivity: µ(∪iAi ) =
∑i µ(Ai )
for disjoint Ai .
I Measure µ is probability measure if µ(Ω) = 1.
I The Borel σ-algebra B on a topological space is the smallestσ-algebra containing all open sets.
18.175 Lecture 4
![Page 9: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/9.jpg)
Recall definitions
I Real random variable is function X : Ω→ R such that thepreimage of every Borel set is in F .
I Note: to prove X is measurable, it is enough to show that thepre-image of every open set is in F .
I Can talk about σ-algebra generated by random variable(s):smallest σ-algebra that makes a random variable (or acollection of random variables) measurable.
18.175 Lecture 4
![Page 10: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/10.jpg)
Recall definitions
I Real random variable is function X : Ω→ R such that thepreimage of every Borel set is in F .
I Note: to prove X is measurable, it is enough to show that thepre-image of every open set is in F .
I Can talk about σ-algebra generated by random variable(s):smallest σ-algebra that makes a random variable (or acollection of random variables) measurable.
18.175 Lecture 4
![Page 11: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/11.jpg)
Recall definitions
I Real random variable is function X : Ω→ R such that thepreimage of every Borel set is in F .
I Note: to prove X is measurable, it is enough to show that thepre-image of every open set is in F .
I Can talk about σ-algebra generated by random variable(s):smallest σ-algebra that makes a random variable (or acollection of random variables) measurable.
18.175 Lecture 4
![Page 12: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/12.jpg)
Lebesgue integration
I Lebesgue: If you can measure, you can integrate.
I In more words: if (Ω,F) is a measure space with a measure µwith µ(Ω) <∞) and f : Ω→ R is F-measurable, then wecan define
∫fdµ (for non-negative f , also if both f ∨ 0 and
−f ∧ 0 and have finite integrals...)I Idea: define integral, verify linearity and positivity (a.e.
non-negative functions have non-negative integrals) in 4cases:
I f takes only finitely many values.I f is bounded (hint: reduce to previous case by rounding down
or up to nearest multiple of ε for ε→ 0).I f is non-negative (hint: reduce to previous case by taking
f ∧ N for N →∞).I f is any measurable function (hint: treat positive/negative
parts separately, difference makes sense if both integrals finite).
18.175 Lecture 4
![Page 13: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/13.jpg)
Lebesgue integration
I Lebesgue: If you can measure, you can integrate.
I In more words: if (Ω,F) is a measure space with a measure µwith µ(Ω) <∞) and f : Ω→ R is F-measurable, then wecan define
∫fdµ (for non-negative f , also if both f ∨ 0 and
−f ∧ 0 and have finite integrals...)
I Idea: define integral, verify linearity and positivity (a.e.non-negative functions have non-negative integrals) in 4cases:
I f takes only finitely many values.I f is bounded (hint: reduce to previous case by rounding down
or up to nearest multiple of ε for ε→ 0).I f is non-negative (hint: reduce to previous case by taking
f ∧ N for N →∞).I f is any measurable function (hint: treat positive/negative
parts separately, difference makes sense if both integrals finite).
18.175 Lecture 4
![Page 14: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/14.jpg)
Lebesgue integration
I Lebesgue: If you can measure, you can integrate.
I In more words: if (Ω,F) is a measure space with a measure µwith µ(Ω) <∞) and f : Ω→ R is F-measurable, then wecan define
∫fdµ (for non-negative f , also if both f ∨ 0 and
−f ∧ 0 and have finite integrals...)I Idea: define integral, verify linearity and positivity (a.e.
non-negative functions have non-negative integrals) in 4cases:
I f takes only finitely many values.I f is bounded (hint: reduce to previous case by rounding down
or up to nearest multiple of ε for ε→ 0).I f is non-negative (hint: reduce to previous case by taking
f ∧ N for N →∞).I f is any measurable function (hint: treat positive/negative
parts separately, difference makes sense if both integrals finite).
18.175 Lecture 4
![Page 15: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/15.jpg)
Lebesgue integration
I Lebesgue: If you can measure, you can integrate.
I In more words: if (Ω,F) is a measure space with a measure µwith µ(Ω) <∞) and f : Ω→ R is F-measurable, then wecan define
∫fdµ (for non-negative f , also if both f ∨ 0 and
−f ∧ 0 and have finite integrals...)I Idea: define integral, verify linearity and positivity (a.e.
non-negative functions have non-negative integrals) in 4cases:
I f takes only finitely many values.
I f is bounded (hint: reduce to previous case by rounding downor up to nearest multiple of ε for ε→ 0).
I f is non-negative (hint: reduce to previous case by takingf ∧ N for N →∞).
I f is any measurable function (hint: treat positive/negativeparts separately, difference makes sense if both integrals finite).
18.175 Lecture 4
![Page 16: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/16.jpg)
Lebesgue integration
I Lebesgue: If you can measure, you can integrate.
I In more words: if (Ω,F) is a measure space with a measure µwith µ(Ω) <∞) and f : Ω→ R is F-measurable, then wecan define
∫fdµ (for non-negative f , also if both f ∨ 0 and
−f ∧ 0 and have finite integrals...)I Idea: define integral, verify linearity and positivity (a.e.
non-negative functions have non-negative integrals) in 4cases:
I f takes only finitely many values.I f is bounded (hint: reduce to previous case by rounding down
or up to nearest multiple of ε for ε→ 0).
I f is non-negative (hint: reduce to previous case by takingf ∧ N for N →∞).
I f is any measurable function (hint: treat positive/negativeparts separately, difference makes sense if both integrals finite).
18.175 Lecture 4
![Page 17: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/17.jpg)
Lebesgue integration
I Lebesgue: If you can measure, you can integrate.
I In more words: if (Ω,F) is a measure space with a measure µwith µ(Ω) <∞) and f : Ω→ R is F-measurable, then wecan define
∫fdµ (for non-negative f , also if both f ∨ 0 and
−f ∧ 0 and have finite integrals...)I Idea: define integral, verify linearity and positivity (a.e.
non-negative functions have non-negative integrals) in 4cases:
I f takes only finitely many values.I f is bounded (hint: reduce to previous case by rounding down
or up to nearest multiple of ε for ε→ 0).I f is non-negative (hint: reduce to previous case by taking
f ∧ N for N →∞).
I f is any measurable function (hint: treat positive/negativeparts separately, difference makes sense if both integrals finite).
18.175 Lecture 4
![Page 18: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/18.jpg)
Lebesgue integration
I Lebesgue: If you can measure, you can integrate.
I In more words: if (Ω,F) is a measure space with a measure µwith µ(Ω) <∞) and f : Ω→ R is F-measurable, then wecan define
∫fdµ (for non-negative f , also if both f ∨ 0 and
−f ∧ 0 and have finite integrals...)I Idea: define integral, verify linearity and positivity (a.e.
non-negative functions have non-negative integrals) in 4cases:
I f takes only finitely many values.I f is bounded (hint: reduce to previous case by rounding down
or up to nearest multiple of ε for ε→ 0).I f is non-negative (hint: reduce to previous case by taking
f ∧ N for N →∞).I f is any measurable function (hint: treat positive/negative
parts separately, difference makes sense if both integrals finite).
18.175 Lecture 4
![Page 19: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/19.jpg)
Lebesgue integration
I Can we extend previous discussion to case µ(Ω) =∞?
I Theorem: if f and g are integrable then:
I If f ≥ 0 a.s. then∫fdµ ≥ 0.
I For a, b ∈ R, have∫
(af + bg)dµ = a∫fdµ+ b
∫gdµ.
I If g ≤ f a.s. then∫gdµ ≤
∫fdµ.
I If g = f a.e. then∫gdµ =
∫fdµ.
I |∫fdµ| ≤
∫|f |dµ.
I When (Ω,F , µ) = (Rd ,Rd , λ), write∫E f (x)dx =
∫1E fdλ.
18.175 Lecture 4
![Page 20: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/20.jpg)
Lebesgue integration
I Can we extend previous discussion to case µ(Ω) =∞?I Theorem: if f and g are integrable then:
I If f ≥ 0 a.s. then∫fdµ ≥ 0.
I For a, b ∈ R, have∫
(af + bg)dµ = a∫fdµ+ b
∫gdµ.
I If g ≤ f a.s. then∫gdµ ≤
∫fdµ.
I If g = f a.e. then∫gdµ =
∫fdµ.
I |∫fdµ| ≤
∫|f |dµ.
I When (Ω,F , µ) = (Rd ,Rd , λ), write∫E f (x)dx =
∫1E fdλ.
18.175 Lecture 4
![Page 21: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/21.jpg)
Lebesgue integration
I Can we extend previous discussion to case µ(Ω) =∞?I Theorem: if f and g are integrable then:
I If f ≥ 0 a.s. then∫fdµ ≥ 0.
I For a, b ∈ R, have∫
(af + bg)dµ = a∫fdµ+ b
∫gdµ.
I If g ≤ f a.s. then∫gdµ ≤
∫fdµ.
I If g = f a.e. then∫gdµ =
∫fdµ.
I |∫fdµ| ≤
∫|f |dµ.
I When (Ω,F , µ) = (Rd ,Rd , λ), write∫E f (x)dx =
∫1E fdλ.
18.175 Lecture 4
![Page 22: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/22.jpg)
Lebesgue integration
I Can we extend previous discussion to case µ(Ω) =∞?I Theorem: if f and g are integrable then:
I If f ≥ 0 a.s. then∫fdµ ≥ 0.
I For a, b ∈ R, have∫
(af + bg)dµ = a∫fdµ+ b
∫gdµ.
I If g ≤ f a.s. then∫gdµ ≤
∫fdµ.
I If g = f a.e. then∫gdµ =
∫fdµ.
I |∫fdµ| ≤
∫|f |dµ.
I When (Ω,F , µ) = (Rd ,Rd , λ), write∫E f (x)dx =
∫1E fdλ.
18.175 Lecture 4
![Page 23: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/23.jpg)
Lebesgue integration
I Can we extend previous discussion to case µ(Ω) =∞?I Theorem: if f and g are integrable then:
I If f ≥ 0 a.s. then∫fdµ ≥ 0.
I For a, b ∈ R, have∫
(af + bg)dµ = a∫fdµ+ b
∫gdµ.
I If g ≤ f a.s. then∫gdµ ≤
∫fdµ.
I If g = f a.e. then∫gdµ =
∫fdµ.
I |∫fdµ| ≤
∫|f |dµ.
I When (Ω,F , µ) = (Rd ,Rd , λ), write∫E f (x)dx =
∫1E fdλ.
18.175 Lecture 4
![Page 24: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/24.jpg)
Lebesgue integration
I Can we extend previous discussion to case µ(Ω) =∞?I Theorem: if f and g are integrable then:
I If f ≥ 0 a.s. then∫fdµ ≥ 0.
I For a, b ∈ R, have∫
(af + bg)dµ = a∫fdµ+ b
∫gdµ.
I If g ≤ f a.s. then∫gdµ ≤
∫fdµ.
I If g = f a.e. then∫gdµ =
∫fdµ.
I |∫fdµ| ≤
∫|f |dµ.
I When (Ω,F , µ) = (Rd ,Rd , λ), write∫E f (x)dx =
∫1E fdλ.
18.175 Lecture 4
![Page 25: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/25.jpg)
Lebesgue integration
I Can we extend previous discussion to case µ(Ω) =∞?I Theorem: if f and g are integrable then:
I If f ≥ 0 a.s. then∫fdµ ≥ 0.
I For a, b ∈ R, have∫
(af + bg)dµ = a∫fdµ+ b
∫gdµ.
I If g ≤ f a.s. then∫gdµ ≤
∫fdµ.
I If g = f a.e. then∫gdµ =
∫fdµ.
I |∫fdµ| ≤
∫|f |dµ.
I When (Ω,F , µ) = (Rd ,Rd , λ), write∫E f (x)dx =
∫1E fdλ.
18.175 Lecture 4
![Page 26: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/26.jpg)
Lebesgue integration
I Can we extend previous discussion to case µ(Ω) =∞?I Theorem: if f and g are integrable then:
I If f ≥ 0 a.s. then∫fdµ ≥ 0.
I For a, b ∈ R, have∫
(af + bg)dµ = a∫fdµ+ b
∫gdµ.
I If g ≤ f a.s. then∫gdµ ≤
∫fdµ.
I If g = f a.e. then∫gdµ =
∫fdµ.
I |∫fdµ| ≤
∫|f |dµ.
I When (Ω,F , µ) = (Rd ,Rd , λ), write∫E f (x)dx =
∫1E fdλ.
18.175 Lecture 4
![Page 27: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/27.jpg)
Outline
Integration
Expectation
18.175 Lecture 4
![Page 28: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/28.jpg)
Outline
Integration
Expectation
18.175 Lecture 4
![Page 29: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/29.jpg)
Expectation
I Given probability space (Ω,F ,P) and random variable X , wewrite EX =
∫XdP. Always defined if X ≥ 0, or if integrals of
maxX , 0 and minX , 0 are separately finite.
I Since expectation is an integral, we can interpret our basicproperties of integrals (as well as results to come: Jensen’sinequality, Holder’s inequality, Fatou’s lemma, monotoneconvergence, dominated convergence, etc.) as properties ofexpectation.
I EX k is called kth moment of X . Also, if m = EX thenE (X −m)2 is called the variance of X .
18.175 Lecture 4
![Page 30: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/30.jpg)
Expectation
I Given probability space (Ω,F ,P) and random variable X , wewrite EX =
∫XdP. Always defined if X ≥ 0, or if integrals of
maxX , 0 and minX , 0 are separately finite.
I Since expectation is an integral, we can interpret our basicproperties of integrals (as well as results to come: Jensen’sinequality, Holder’s inequality, Fatou’s lemma, monotoneconvergence, dominated convergence, etc.) as properties ofexpectation.
I EX k is called kth moment of X . Also, if m = EX thenE (X −m)2 is called the variance of X .
18.175 Lecture 4
![Page 31: 18.175: Lecture 4 .1in Integrationmath.mit.edu/~sheffield/175/Lecture4.pdf · 2014. 2. 11. · 18.175 Lecture 4. Recall de nitions I Probability space is triple (;F;P) where is sample](https://reader033.vdocuments.mx/reader033/viewer/2022051906/5ff8b256787973268a4c08f0/html5/thumbnails/31.jpg)
Expectation
I Given probability space (Ω,F ,P) and random variable X , wewrite EX =
∫XdP. Always defined if X ≥ 0, or if integrals of
maxX , 0 and minX , 0 are separately finite.
I Since expectation is an integral, we can interpret our basicproperties of integrals (as well as results to come: Jensen’sinequality, Holder’s inequality, Fatou’s lemma, monotoneconvergence, dominated convergence, etc.) as properties ofexpectation.
I EX k is called kth moment of X . Also, if m = EX thenE (X −m)2 is called the variance of X .
18.175 Lecture 4