Lecture 5 Theorems of Fubini-Tonelli and Radon-Nikodym
|
|
- Karen Watson
- 5 years ago
- Views:
Transcription
1 Lecture 5: Fubini-onelli and Radon-Nikodym 1 of 13 Course: heory of Probability I erm: Fall 2013 Instructor: Gordan Zitkovic Lecture 5 heorems of Fubini-onelli and Radon-Nikodym Products of measure spaces We have seen that it is possible to define products of arbitrary collections of measurable spaces - one generates the σ-algebra on the product by all finite-dimensional cylinders. he purpose of the present section is to extend that construction to products of measure spaces, i.e., to define products of measures. Let us first consider the case of two measure spaces (,, µ ) and (,, µ ). If the measures are stripped, the product is endowed with the product σ-algebra = σ({a B : A, B }). he family P = {A B : A, B } serves as a good starting point towards the creation of the product measure µ µ. Indeed, if we interpret of the elements in P as rectangles of sorts, it is natural to define (µ µ )(A B) = µ (A)µ (B). he family P is a π-system (why?), but not necessarily an algebra, so we cannot use heorem 2.9 (Caratheodory s extension theorem) to define an extension of µ µ to the whole. It it not hard, however, to enlarge P a little bit, so that the resulting set is an algebra, but that the measure µ µ can still be defined there in a natural way. Indeed, consider the smallest algebra that contains P. It is easy to see that it must contain the family defined by A = { n k=1 A k B k : n N, A k, B k, k = 1,..., n}. Problem 5.1. how that A is, in fact, an algebra and that each element C A can be written in the form C = n k=1 A k B k, for n N, A k, B k, k = 1,..., n, such that A 1 B 1,..., A n B n are pairwise disjoint.
2 Lecture 5: Fubini-onelli and Radon-Nikodym 2 of 13 he problem above allows us to extend the definition of the set function µ µ to the entire A by (µ µ )(C) = n µ (A k )µ (B k ), k=1 where C = n k=1 A k B k for n N, A k, B k, k = 1,..., n is a representation of C with pairwise disjoint A 1 B 1,..., A n B n. At this point, we could attempt to show that the so-defined set function is σ-additive on A and extend it using the Caratheodory extension theorem. his is indeed possible - under the additional assumption of σ-finiteness - but we will establish the existence of product measures as a side-effect in the proof of Fubini s theorem below. Lemma 5.1 (ections of measurable sets are measurable). Let C be an -measurable subset of. For each x the section C x = {y : (x, y) C} is measurable in. Proof. In the spirit of most of the measurability arguments seen so far in these notes, let C denote the family of all C such that C x is -measurable for each x. Clearly, the rectangles A B, A, B are in A because their sections are either equal to or B, for each x. Remember that the set of all rectangles generates. he proof of the theorem will, therefore, be complete once it is established that C is a σ-algebra. his easy exercise is left to the reader. Problem 5.2. how that an analogous result holds for measurable functions, i.e., show that if f : R is a -measurable function, then the function x f (x, y 0 ) is -measurable for each y 0, and the function y f (x 0, y) is -measurable for each y 0. Proposition 5.2 (A simple Cavalieri s principle). Let µ and µ be finite measures. For C, define the functions ϕ C : [0, ) and ψ C : [0, ) by ϕ C (y) = µ (C y ), ψ C (x) = µ (C x ). hen, ϕ C L 0 +( ), ψ C L 0 +() and ϕ C dµ = ψ C dµ. (5.1) Proof. Note that, by Problem 5.2, the function x 1 C (x, y) is - measurable for each y. herefore, 1 C (, y) dµ = µ (C y ) = ϕ C (y), (5.2)
3 Lecture 5: Fubini-onelli and Radon-Nikodym 3 of 13 and the function ϕ C is well-defined. Let C denote the family of all sets in such that (5.1) holds. First, observe that C contains all rectangles A B, A, B, i.e., it contains a π-system which generates. herefore, by the π-λ heorem (heorem 2.12), it will be enough to show that C is a λ-system. We leave the details to the reader 1 Proposition 5.3 (imple Cavalieri holds for σ-finite measures). he conclusion of Proposition 5.2 continues to hold if we assume that µ and µ are only σ-finite. 1 Use representation (5.2) and the monotone convergence theorem. Where is the finiteness of the measures used? Proof (*). hanks to σ-finiteness, there exists pairwise disjoint sequences {A n } and {B n } in and, respectively, such that n A n =, m B m = and µ (A n ) < and µ (B m ) <, for all m, n N. For m, n N, define the set-functions µ n and µm on and respectively by µ n (A) = µ (A n A), µ m (B) = µ (B m B). It is easy to check that all µ n and µm, m, n N are finite measures on and, respectively. Moreover, µ (A) = n=1 µn (A), µ (B) = m=1 µm (B). In particular, if we set ϕn C (y) = µn (C y) and ψc m(x) = µ m (C x), for all x and y, we have ϕ C (y) = µ (C y ) = ψ C (x) = µ (C x ) = n=1 µ n (C y) = n=1 ϕc n (y), and µ m (C x) = ψc m(x), m=1 m=1 for all x, y. We can apply the conclusion of Proposition 5.2 to all pairs (,, µ n ) and (,, µ m ), m, n N, of finite measure spaces to conclude that all elements of the sums above are measurable functions and that so are ϕ C and ψ C. imilarly, the sequences of non-negative functions i=1 n ϕn C (y) and i=1 m ψi C (x) are non-decreasing and converge to ϕ C and ψ C. herefore, by the monotone convergence theorem, ϕ C dµ = lim n n i=1 ϕ i C dµ, and ψ C dµ = lim n n i=1 ψ i C dµ. On the other hand, we have ϕc n dµm = ψc m dµn, by Proposition 5.2. umming over all n N we have ϕ C dµ m = ψ m C dµn = ψ m C dµ,
4 Lecture 5: Fubini-onelli and Radon-Nikodym 4 of 13 where the last equality follows from the fact (see Problem 5.3 below) that f dµ n = f dµ, for all f L 0 +. Another summation - this time over m N - completes the proof 2. Problem 5.3. Let {A n } be a measurable partition of, and let the measure µ n be defined by µ n (A) = µ(a A n ) for all A. how that for f L 0 +, we have f dµ = f dµ n. 2 he argument of the proof above uncovers the fact that integration is a bilinear operation, i.e., that the mapping ( f, µ) f dµ, is linear in both arguments. Proposition 5.4 (Finite products of measure spaces). Let ( i, i, µ i ), i = 1,..., n be σ-finite measure spaces. here exists a unique measure 3 - denoted 3 he measure µ 1 µ n is called by µ the product measure, and the measure space ( 1 n, 1 1 µ n - on the product space ( 1 n, 1 n ) with the property that n, µ 1 µ n ) the product (measure (µ 1 µ n )(A 1 A n ) = µ 1 (A 1 )... µ n (A n ), space) of measure spaces ( 1, 1, µ 1 ),..., ( n, n, µ n ). for all A i i, i = 1,..., n. uch a measure is necessarily σ-finite. Proof. o simplify the notation, we assume that n = 2 - the general case is very similar. For C 1 2, we define (µ 1 µ 2 )(C) = ϕ C dµ 2, 2 where ϕ C (y) = µ 1 (C y ) and C y = {x 1 : (x, y) C}. It follows from Proposition 5.3 that µ 1 µ 2 is well-defined as a map from 1 2 to [0, ]. Also, it is clear that (µ 1 µ 2 )(A B) = µ 1 (A)µ 2 (B), for all A 1, B 2. It remains to show that µ 1 µ 2 is a measure. We start with a pairwise disjoint sequence {C n } in 1 2. For y 2, the sequence {(C n ) y } is also pairwise disjoint, and so, with C = n C n, we have ( ) ϕ C (y) = µ 1 (C y ) = µ 2 (C n ) y = ϕ Cn (y), y 2. herefore, by the monotone convergence theorem (see Problem 3.13 for details) we have (µ 1 µ 2 )(C) = ϕ C dµ 2 = ϕ Cn dµ = (µ 1 µ 2 )(C n ). 2 2 Finally, let {A n }, {B n } be sequences in 1 and 2 (respectively) such that µ 1 (A n ) < and µ 2 (B n ) < for all n N and n A n = 1, n B n = 2. Define {C n } as an enumeration of the countable family {A i B j : i, j N} in 1 2. hen (µ 1 µ 2 )(C n ) < and all n N and n C n = 1 2. herefore, µ 1 µ 2 is σ-finite.
5 Lecture 5: Fubini-onelli and Radon-Nikodym 5 of 13 Now that we know that product measures exist, we can state and prove the important theorem which, when applied to integrable functions bears the name of Fubini, and when applied to non-negative functions, of onelli. We state it for both cases simultaneously (i.e., on L 0 1 ) in the case of a product of two measure spaces. An analogous theorem for finite products can be readily derived from it. When the variable or the underlying measure space of integration needs to be specified, we write f (x) µ(dx) for the Lebesgue integral f dµ. heorem 5.5 (Fubini, onelli). Let (,, µ ) and (,, µ ) be two σ- finite measure spaces. For f L 0 1 ( ) we have ( ) f d(µ µ ) = f (x, y) µ (dy) µ (dx) ( ) (5.3) = f (x, y) µ (dx) µ (dy) Proof. All the hard work has already been done. We simply need to crank the tandard Machine. Let H denote the family of all functions in L 0 + ( ) with the property that (5.3) holds. Proposition 5.3 implies that H contains the indicators of all elements of. Linearity of all components of (5.3) implies that H contains all simple functions in L 0 +, and the approximation theorem 3.10 implies that the whole L0 + is in H. Finally, the extension to L 0 1 follows by additivity. ince f is always in L 0 1, we have the following corollary Corollary 5.6. For f L 0 ( ), we have ( ) f L 0 1 ( ) if and only if f (x, y) µ (dy) µ (dx) <. Example 5.7. he assumption of σ-finiteness cannot be left out of the statement of heorem 5.5. Indeed, let (,, µ) = ([0, 1], B([0, 1]), λ) and (,, ν) = ([0, 1], 2 [0,1], γ), where γ is the counting measure on 2 [0,1], so that (,, ν) fails the σ-finite property. Define f L 0 ( ) (why it is product-measurable?) by 1, x = y, f (x, y) = 0, x = y. hen and so f (x, y) µ(dx) = λ({y}) = 0, f (x, y) µ(dx) ν(dy) = 0 γ(dy) = 0. [0,1]
6 Lecture 5: Fubini-onelli and Radon-Nikodym 6 of 13 On the other hand, and so f (x, y) ν(dy) = γ({x}) = 1, f (x, y) ν(dy) µ(dx) = [0,1] 1 λ(dx) = 1. Example 5.8. he integrability of either f + or f for f L 0 ( ) is (essentially) necessary for validity of Fubini s theorem, even if all iterated integrals exist. Here is what can go wrong. Let (,, µ) = (,, ν) = (N, 2 N, γ), where γ is the counting measure. Define the function f : N N R by 1, m = n, f (n, m) = 1, m = n + 1, 0, otherwise hen f (n, m) γ(dm) = f (n, m) = ( 1) = 0, m N and so On the other hand, i.e., herefore, f (n, m) γ(dm) γ(dn) = 0. f (n, m) γ(dn) = f (n, m) = f (n, m) γ(dn) = 1 {m=1}. f (n, m) γ(dn) γ(dm) = 1, m = 1, 0, m > 1, 1 {m=1} γ(dm) = 1. If you think that using the counting measure is cheating, convince yourself that it is not hard to transfer this example to the setup where (,, µ) = (,, ν) = ([0, 1], B([0, 1]), λ). he existence of the product measure gives us an easy access to the Lebesgue measure on higher-dimensional Euclidean spaces. Just as λ on R measures the length of sets, the Lebesgue measure on R 2 will measure area, the one on R 3 volume, etc. Its properties are collected in the following problem:
7 Lecture 5: Fubini-onelli and Radon-Nikodym 7 of 13 Problem 5.4. For n N, show the following statements: 1. here exists a unique measure λ (note the notation overload) on B(R n ) with the property that ( ) λ [a 1, b 1 ) [a n, b n ) = (b 1 a 1 )... (b n a n ), for all a 1 < b 1,..., a n < b n in R. 2. he measure λ on R n is invariant with respect to all isometries 4 of 4 An isometry of R n is a map f : R n R n. R n with the property that d(x, y) = d( f (x), f (y)) for all x, y R n. It can be Note: Feel free to use the following two facts without proof: shown that the isometries of R 3 are precisely translations, rotations, reflections (a) A function f : R n R n is an isometry if and only if there exists and compositions thereof. x 0 R n and an orthogonal linear transformation O : R n R n such that f (x) = x 0 + Ox. (b) Let O be an orthogonal linear transformation. hen R 1 and OR 1 Note: probably the least painful way to have the same Lebesgue measure, where R prove this fact is by using the change-ofvariable formula for the Riemann inte- 1 denotes the unit rectangle [0, 1) [0, 1). gral. he Radon-Nikodym heorem We start the discussion of the Radon-Nikodym theorem with a simple observation: Problem 5.5 (Integral as a measure). For a function f L 0 ([0, ]), we define the set-function ν : [0, ] by 1. how that ν is a measure. ν(a) = A f dµ. (5.4) 2. how that µ(a) = 0 implies ν(a) = 0, for all A. 3. how that the following two properties are equivalent µ(a) = 0 if and only if ν(a) = 0, A, and f > 0, a.e. Definition 5.9 (Absolute continuity, etc.). Let µ, ν be measures on the measurable space (, ). We say that 1. ν is absolutely continuous with respect to µ - denoted by ν µ - if ν(a) = 0, whenever µ(a) = 0, A. 2. µ and ν are equivalent if ν µ and µ ν, i.e., if µ(a) = 0 ν(a) = 0, for all A,
8 Lecture 5: Fubini-onelli and Radon-Nikodym 8 of µ and ν are (mutually) singular - denoted by µ ν - if there exists D such that µ(d) = 0 and ν(d c ) = 0. Problem 5.6. Let µ and ν be measures with ν finite and ν µ. how that for each ε > 0 there exists δ > 0 such that for each A, we have µ(a) δ ν(a) ε. how that the assumption that ν is finite is necessary. Problem 5.5 states that the prescription (5.4) defines a measure on which is absolutely continuous with respect to µ. What is surprising is that the converse also holds under the assumption of σ-finiteness: all absolutely continuous measures on are of that form. hat statement (and more) is the topic of this section. ince there is more than one measure in circulation, we use the convention that a.e. always uses the notion of the null set as defined by the measure µ. heorem 5.10 (he Lebesgue decomposition). Let (, ) be a measurable space and let µ and ν be two σ-finite measures on. hen there exists a unique decomposition ν = ν a + ν s, where 1. ν a µ, 2. ν s µ. Furthermore, there exists an a.e.-unique function h L 0 + such that ν a (A) = h dµ. A he proof is based on the following particular case of the Riesz representation theorem Proposition Let (,, µ) be a measure space, and let L : L 2 (µ) R be a linear map with the property that L f C f L 2 for all f L 2 for some constant C 0. hen, there exists an a.e.-unique element g L 2 such that L f = f g dµ, for all f L 2. Proof. If L = 0, the statement clearly holds with g = 0, so we assume Lh = 0 for some h L 2. he set Nul L = { f L 2 : L f = 0} is a nonempty and closed (why?) subspace of L 2 with h Nul L. herefore, there exists a sequence { f n } in Nul L such that a n = f n h M = inf f h > 0. f Nul L
9 Lecture 5: Fubini-onelli and Radon-Nikodym 9 of 13 It is easy to check that f n f m 2 = f n + f m 2h f n h f m h 2 4M 2 + 2a 2 n + 2a 2 m 0 as m, n, and, hence, that { f n } is a Cauchy sequence in L 2. By completeness (Proposition 4.13) there exists ˆf L 2 such that f n ˆf in L 2. It follows immediately that ĝ = M, where ĝ = ˆf h. herefore, ĝ 2 ĝ + ε f 2, for all ε > 0, f Nul L, and so ε f f ĝ 0, for all ε > 0, f Nul L, which, in turn, immediately implies that 5 5 Compare this argument to Problem 4.9 f ĝ dµ = 0, for all f Nul L. In words, ĝ is orthogonal to Nul L. tarting from the identity L f = Lαh, where α = L f /Lh, we deduce that f αh Nul L and, so, ( f αh)ĝ dµ = 0, i.e., f ĝ dµ = L f Lh hĝ dµ. herefore, noting that h cannot be orthogonal to ĝ, we get L f = f g dµ where g = Lh hĝ dµ ĝ. Proof of heorem Uniqueness: uppose that ν 1 a + ν 1 s = ν = ν 2 a + ν 2 s are two decompositions satisfying (1) and (2) in the statement. Let D 1 and D 2 be as in the definition of mutual singularity applied to the pairs µ, ν 1 s and µ, ν 2 s, respectively. et D = D 1 D 2, and note that µ(d) = 0 and ν 1 s (D c ) = ν 2 s (D c ) = 0. For any A, we have µ(a D) = 0 and so, thanks to absolute continuity, ν 1 a (A D) = ν 2 a (A D) = 0 so that ν 1 s (A D) = ν 2 s (A D) = ν(a D). By singularity, we have ν 1 s (A D c ) = ν 2 s (A D c ) = 0, and, consequently, ν 1 a (A D c ) = ν 2 a (A D c ) = ν(a D c ). Finally, ν 1 a (A) = ν 1 a (A D) + ν 1 a (A D c ) = ν 2 a (A D) + ν 2 a (A D c ) = ν 2 (A), and, similarly, ν 1 s = ν 2 s.
10 Lecture 5: Fubini-onelli and Radon-Nikodym 10 of 13 o establish the uniqueness of the function f with the property that ν a (A) = A f dµ for all A, we assume that there are two such functions, f 1 and f 2, say. Define the sequence {B n } by B n = { f 1 f 2 } C n, where {C n } is a pairwise-disjoint sequence in with the property that ν(c n ) <, for all n N and n C n =. hen, with g n = f 1 1 Bn f 2 1 Bn L 1 + we have g n dµ = f 1 dµ B n f 2 dµ = ν a (B n ) ν a (B n ) = 0. B n By Problem 3.9, we have g n = 0, a.e., i.e., f 1 = f 2, a.e., on B n, for all n N, and so f 1 = f 2, a.e., on { f 1 f 2 }. A similar argument can be used to show that f 1 = f 2, a.e., on { f 1 < f 2 }, as well. Existence: Assume, first, that µ and ν are probability measures and set ϕ = µ + ν. We define L f = f dν for f L 2 (ϕ), and note that, L f f dν f dϕ f L 2 (ϕ), Proposition 5.11 can be applied to yield the existence of g L 2 (ϕ) such that L f = f g dϕ, for all f L 2 (ϕ). ince L f 0, for f 0, ϕ-a.e., we conclude (why?) that g 0, ϕ-a.e. By approximation (via the monotone convergence theorem) we then have F dν = Fg dν + Fgdµ, for all F L 0 +(ϕ). (5.5) If we plug F = 1 {g 1+ε} in (5.5), we obtain ν(g 1 + ε) (1 + ε)ϕ(g 1 + ε), and conclude that g 1, ϕ-a.e. It also follows, by taking F = 1 D, where D = {g = 1}, that µ(d) = 0. he function h = g 1 g 1 {g<1} is nonnegative, measurable and finitely valued ϕ-a.e., so we can use F = f 1 g 1 D c, for f L0 + (ϕ) in (5.5) to obtain f 1 D c dν = f h dµ. It follows immediately that ν(a) = 1 A h dµ + ν(a D), which provides the required decomposition ν a (A) = 1 A h dµ, ν s (A) = ν(a D).
11 Lecture 5: Fubini-onelli and Radon-Nikodym 11 of 13 Corollary 5.12 (Radon-Nikodym). Let µ and ν be σ-finite measures on (, ) with ν µ. hen there exists f L 0 + such that ν(a) = A f dµ, for all A. (5.6) For any other g L 0 + with the same property, we have f = g, a.e. Any function f for which (5.6) holds is called the Radon-Nikodym derivative of ν with respect to µ and is denoted by f = dµ dν, a.e. 6 6 he Radon-Nikodym derivative f = dν dµ is defined only up to a.e.-equivalence, and there is no canonical way of picking Problem 5.7. Let µ, ν and ρ be σ-finite measures on (, ). how that a representative defined for all x. For that reason, we usually say that a 1. If ν µ and ρ µ, then ν + ρ µ and function f L 0 + is a version of the 2. If ν µ and f L 0 +, then dν dµ + dρ dµ f dν = 3. If ν µ and ρ ν, then ρ µ and d(ν + ρ) =. dµ g dµ where g = f dν dµ. dν dρ dµ dν = dρ dµ. Note: Make sure to pay attention to the fact that different measure give rise to different families of null sets, and, hence, to different notions of almost everywhere. 4. If µ ν, then dµ dν = ( ) dν 1. dµ Problem 5.8. Let µ 1, µ 2, ν 1, ν 2 be σ-finite measures with µ 1 and ν 1, as well as µ 2 and ν 2, defined on the same measurable space. If ν 1 µ 1 and ν 2 µ 2, show that ν 1 ν 2 µ 1 µ 2. Radon-Nikodym derivative of ν with respect to µ if (5.6) holds. Moreover, to stress the fact that we are talking about a whole class of functions instead of just one, we usually write dν dµ L0 + and not dν dµ L0 +. We often neglect this fact notationally, and write statements such as If f L 0 + and f = dµ dν then.... What we really mean is that the statement holds regardless of the particular representative f of the Radon-Nikodym derivative we choose. Also, when we write dµ dν = dρ dµ, we mean that they are equal as elements of L 0 +, i.e., that there exists f L0 +, which is both a version of dν dµ and a version of dρ dµ. Example Just like in the statement of Fubini s theorem, the assumption of σ-finiteness cannot be omitted. Indeed, take (, ) = ([0, 1], B([0, 1])) and consider the Lebesgue measure λ and the counting measure γ on (, ). Clearly, λ γ, but there is no f L 0 + such that λ(a) = A f dγ. Indeed, suppose that such f exists and set D n = {x : f (x) > 1/n}, for n N, so that D n { f > 0} = { f = 0}. hen 1 1 λ(d n ) = f dγ n dγ = n 1 #D n, D n D n
12 Lecture 5: Fubini-onelli and Radon-Nikodym 12 of 13 and so #D n n. Consequently, the set { f > 0} = n D n is countable. his leads to a contradiction since the Lebesgue measure does not charge countable sets, and so 1 = λ([0, 1]) = f dγ = f dγ = λ({ f > 0}) = 0. Additional Problems { f >0} H = {(x, r) [0, ) : f (x) r} be the region under the graph of f. how that f dµ = (µ λ)(h). Problem 5.10 (A layered representation). Let ν be a measure on B([0, )) such that N(u) = ν([0, u)) <, for all u R. Let (,, µ) be a σ-finite measure space. For f L 0 + (), show that 1. N f dµ = [0, ) µ({ f > u}) ν(du). 2. for p > 0, we have f p dµ = p [0, ) up 1 µ({ f > u}) λ(du), where λ is the Lebesgue measure. Problem 5.9 (Area under the graph of a function). For f L 0 +, let Note: he equality in this problem is consistent with our intuition that the value of the integral f dµ corresponds to the area under the graph of f. Problem 5.11 (A useful integral). 1. how that sin x 0 x dx =. 2. For a > 0, let f : R 2 R be given by e xy sin(x), 0 x a, 0 y, f (x, y) = 0, otherwise. Hint: Find a function laying below sin x x which is easier to integrate. how that f L 1 (R 2, B(R 2 ), λ), where λ denotes the Lebesgue measure on R Establish the equality a sin x x dx = π 2 cos(a) e ay dy sin(a) y Conclude that for a > 0, a sin(x) 0 x dx π 2 2 a, so that a sin(x) lim a x dx = π 2. 0 ye ay 1+y 2 dy. Problem 5.12 (he Cantor measure). Let ({ 1, 1} N, B({ 1, 1} N ), µ C ) be the coin-toss space. Define the mapping f : { 1, 1} N [0, 1] by f (s) = (1 + s n )3 n, for s = (s 1, s 2,... ). Let δ be the push-forward of µ C by the map f. It is called the Cantor measure.
13 Lecture 5: Fubini-onelli and Radon-Nikodym 13 of Let d be the metric on { 1, 1} N (as given by the equation (1.1)). how that for α = log 3 (2) and s 1, s 2 { 1, 1} N, we have d(s 1, s 2 ) α f (s 2 ) f (s 1 ) 3d(s 1, s 2 ) α. 2. how that δ is atom-free, i.e., that δ({x}) = 0, for all x [0, 1], 3. For a measure µ on the σ-algebra of Borel sets of a topological space X, the support of µ is collection of all x X with the property that µ(o) > 0 for each open set O with x O. Describe the support of δ. Hint: Guess what it is and prove that your guess is correct. Use the result in (1). 4. Prove that δ λ. Note: he Cantor measure is an example of a singular measure. It has no atoms, but is still singular with respect to the Lebesgue measure. Problem 5.13 (Joint measurability). 1. Give an example of a function f : [0, 1] [0, 1] [0, 1] such that Hint: You can use the fact that there exists a subset of [0, 1] which is not Borel measurable. x f (x, y) and y f (x, y) are B([0, 1])-measurable functions for each y [0, 1] and x [0, 1], respectively, but that f is not B([0, 1] [0, 1])-measurable. 2. Let (, ) be a measurable space. A function f : R R is called a Caratheodory function if x f (x, y) is -measurable for each y R, and y f (x, y) is continuous for each x R. how that Caratheodory functions are B(R)-measurable. Hint: Express a Caratheodory function as limit of a sequence of the form f n = k Z g n,k (x)h n,k (r), n N.
MATHS 730 FC Lecture Notes March 5, Introduction
1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists
More informationLebesgue-Radon-Nikodym Theorem
Lebesgue-Radon-Nikodym Theorem Matt Rosenzweig 1 Lebesgue-Radon-Nikodym Theorem In what follows, (, A) will denote a measurable space. We begin with a review of signed measures. 1.1 Signed Measures Definition
More informationIntegration on Measure Spaces
Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of
More information+ 2x sin x. f(b i ) f(a i ) < ɛ. i=1. i=1
Appendix To understand weak derivatives and distributional derivatives in the simplest context of functions of a single variable, we describe without proof some results from real analysis (see [7] and
More information9 Radon-Nikodym theorem and conditioning
Tel Aviv University, 2015 Functions of real variables 93 9 Radon-Nikodym theorem and conditioning 9a Borel-Kolmogorov paradox............. 93 9b Radon-Nikodym theorem.............. 94 9c Conditioning.....................
More informationMATH MEASURE THEORY AND FOURIER ANALYSIS. Contents
MATH 3969 - MEASURE THEORY AND FOURIER ANALYSIS ANDREW TULLOCH Contents 1. Measure Theory 2 1.1. Properties of Measures 3 1.2. Constructing σ-algebras and measures 3 1.3. Properties of the Lebesgue measure
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationREAL ANALYSIS I Spring 2016 Product Measures
REAL ANALSIS I Spring 216 Product Measures We assume that (, M, µ), (, N, ν) are σ- finite measure spaces. We want to provide the Cartesian product with a measure space structure in which all sets of the
More informationMeasure and integration
Chapter 5 Measure and integration In calculus you have learned how to calculate the size of different kinds of sets: the length of a curve, the area of a region or a surface, the volume or mass of a solid.
More information5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing.
5 Measure theory II 1. Charges (signed measures). Let (Ω, A) be a σ -algebra. A map φ: A R is called a charge, (or signed measure or σ -additive set function) if φ = φ(a j ) (5.1) A j for any disjoint
More informationSigned Measures and Complex Measures
Chapter 8 Signed Measures Complex Measures As opposed to the measures we have considered so far, a signed measure is allowed to take on both positive negative values. To be precise, if M is a σ-algebra
More informationTHEOREMS, ETC., FOR MATH 516
THEOREMS, ETC., FOR MATH 516 Results labeled Theorem Ea.b.c (or Proposition Ea.b.c, etc.) refer to Theorem c from section a.b of Evans book (Partial Differential Equations). Proposition 1 (=Proposition
More informationSigned Measures. Chapter Basic Properties of Signed Measures. 4.2 Jordan and Hahn Decompositions
Chapter 4 Signed Measures Up until now our measures have always assumed values that were greater than or equal to 0. In this chapter we will extend our definition to allow for both positive negative values.
More informationMAT 571 REAL ANALYSIS II LECTURE NOTES. Contents. 2. Product measures Iterated integrals Complete products Differentiation 17
MAT 57 REAL ANALSIS II LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: SPRING 205 Contents. Convergence in measure 2. Product measures 3 3. Iterated integrals 4 4. Complete products 9 5. Signed measures
More informationMTH 404: Measure and Integration
MTH 404: Measure and Integration Semester 2, 2012-2013 Dr. Prahlad Vaidyanathan Contents I. Introduction....................................... 3 1. Motivation................................... 3 2. The
More informationConstruction of a general measure structure
Chapter 4 Construction of a general measure structure We turn to the development of general measure theory. The ingredients are a set describing the universe of points, a class of measurable subsets along
More information2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is
More information3. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first
Math 632/6321: Theory of Functions of a Real Variable Sample Preinary Exam Questions 1. Let (, M, µ) be a measure space. (a) Prove that if µ() < and if 1 p < q
More informationHILBERT SPACES AND THE RADON-NIKODYM THEOREM. where the bar in the first equation denotes complex conjugation. In either case, for any x V define
HILBERT SPACES AND THE RADON-NIKODYM THEOREM STEVEN P. LALLEY 1. DEFINITIONS Definition 1. A real inner product space is a real vector space V together with a symmetric, bilinear, positive-definite mapping,
More informationMath 4121 Spring 2012 Weaver. Measure Theory. 1. σ-algebras
Math 4121 Spring 2012 Weaver Measure Theory 1. σ-algebras A measure is a function which gauges the size of subsets of a given set. In general we do not ask that a measure evaluate the size of every subset,
More informationMeasures and Measure Spaces
Chapter 2 Measures and Measure Spaces In summarizing the flaws of the Riemann integral we can focus on two main points: 1) Many nice functions are not Riemann integrable. 2) The Riemann integral does not
More informationProbability and Random Processes
Probability and Random Processes Lecture 7 Conditional probability and expectation Decomposition of measures Mikael Skoglund, Probability and random processes 1/13 Conditional Probability A probability
More informationRecall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm
Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify
More informationSpring 2014 Advanced Probability Overview. Lecture Notes Set 1: Course Overview, σ-fields, and Measures
36-752 Spring 2014 Advanced Probability Overview Lecture Notes Set 1: Course Overview, σ-fields, and Measures Instructor: Jing Lei Associated reading: Sec 1.1-1.4 of Ash and Doléans-Dade; Sec 1.1 and A.1
More informationLecture 4 Lebesgue spaces and inequalities
Lecture 4: Lebesgue spaces and inequalities 1 of 10 Course: Theory of Probability I Term: Fall 2013 Instructor: Gordan Zitkovic Lecture 4 Lebesgue spaces and inequalities Lebesgue spaces We have seen how
More informationThe Caratheodory Construction of Measures
Chapter 5 The Caratheodory Construction of Measures Recall how our construction of Lebesgue measure in Chapter 2 proceeded from an initial notion of the size of a very restricted class of subsets of R,
More informationFUNDAMENTALS OF REAL ANALYSIS by. IV.1. Differentiation of Monotonic Functions
FUNDAMNTALS OF RAL ANALYSIS by Doğan Çömez IV. DIFFRNTIATION AND SIGND MASURS IV.1. Differentiation of Monotonic Functions Question: Can we calculate f easily? More eplicitly, can we hope for a result
More information6.2 Fubini s Theorem. (µ ν)(c) = f C (x) dµ(x). (6.2) Proof. Note that (X Y, A B, µ ν) must be σ-finite as well, so that.
6.2 Fubini s Theorem Theorem 6.2.1. (Fubini s theorem - first form) Let (, A, µ) and (, B, ν) be complete σ-finite measure spaces. Let C = A B. Then for each µ ν- measurable set C C the section x C is
More informationReminder Notes for the Course on Measures on Topological Spaces
Reminder Notes for the Course on Measures on Topological Spaces T. C. Dorlas Dublin Institute for Advanced Studies School of Theoretical Physics 10 Burlington Road, Dublin 4, Ireland. Email: dorlas@stp.dias.ie
More informationIf Y and Y 0 satisfy (1-2), then Y = Y 0 a.s.
20 6. CONDITIONAL EXPECTATION Having discussed at length the limit theory for sums of independent random variables we will now move on to deal with dependent random variables. An important tool in this
More informationII - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define
1 Measures 1.1 Jordan content in R N II - REAL ANALYSIS Let I be an interval in R. Then its 1-content is defined as c 1 (I) := b a if I is bounded with endpoints a, b. If I is unbounded, we define c 1
More informationCHAPTER 6. Differentiation
CHPTER 6 Differentiation The generalization from elementary calculus of differentiation in measure theory is less obvious than that of integration, and the methods of treating it are somewhat involved.
More informationSolutions to Tutorial 11 (Week 12)
THE UIVERSITY OF SYDEY SCHOOL OF MATHEMATICS AD STATISTICS Solutions to Tutorial 11 (Week 12) MATH3969: Measure Theory and Fourier Analysis (Advanced) Semester 2, 2017 Web Page: http://sydney.edu.au/science/maths/u/ug/sm/math3969/
More informationChapter 8. General Countably Additive Set Functions. 8.1 Hahn Decomposition Theorem
Chapter 8 General Countably dditive Set Functions In Theorem 5.2.2 the reader saw that if f : X R is integrable on the measure space (X,, µ) then we can define a countably additive set function ν on by
More informationLebesgue Integration: A non-rigorous introduction. What is wrong with Riemann integration?
Lebesgue Integration: A non-rigorous introduction What is wrong with Riemann integration? xample. Let f(x) = { 0 for x Q 1 for x / Q. The upper integral is 1, while the lower integral is 0. Yet, the function
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationLecture 6 Basic Probability
Lecture 6: Basic Probability 1 of 17 Course: Theory of Probability I Term: Fall 2013 Instructor: Gordan Zitkovic Lecture 6 Basic Probability Probability spaces A mathematical setup behind a probabilistic
More informationfor all x,y [a,b]. The Lipschitz constant of f is the infimum of constants C with this property.
viii 3.A. FUNCTIONS 77 Appendix In this appendix, we describe without proof some results from real analysis which help to understand weak and distributional derivatives in the simplest context of functions
More informationReal Analysis, 2nd Edition, G.B.Folland Signed Measures and Differentiation
Real Analysis, 2nd dition, G.B.Folland Chapter 3 Signed Measures and Differentiation Yung-Hsiang Huang 3. Signed Measures. Proof. The first part is proved by using addivitiy and consider F j = j j, 0 =.
More informationMeasure Theory. John K. Hunter. Department of Mathematics, University of California at Davis
Measure Theory John K. Hunter Department of Mathematics, University of California at Davis Abstract. These are some brief notes on measure theory, concentrating on Lebesgue measure on R n. Some missing
More information1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),
Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer
More informationReal Analysis Chapter 3 Solutions Jonathan Conder. ν(f n ) = lim
. Suppose ( n ) n is an increasing sequence in M. For each n N define F n : n \ n (with 0 : ). Clearly ν( n n ) ν( nf n ) ν(f n ) lim n If ( n ) n is a decreasing sequence in M and ν( )
More informationMoreover, µ is monotone, that is for any A B which are both elements of A we have
FRACTALS Contents. Algebras, sigma algebras, and measures 2.. Carathéodory s outer measures 5.2. Completeness 6.3. Homework: Measure theory basics 7 2. Completion of a measure, creating a measure from
More informationChapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries
Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.
More informationMeasures. Chapter Some prerequisites. 1.2 Introduction
Lecture notes Course Analysis for PhD students Uppsala University, Spring 2018 Rostyslav Kozhan Chapter 1 Measures 1.1 Some prerequisites I will follow closely the textbook Real analysis: Modern Techniques
More informationMeasurable functions are approximately nice, even if look terrible.
Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............
More information1.4 Outer measures 10 CHAPTER 1. MEASURE
10 CHAPTER 1. MEASURE 1.3.6. ( Almost everywhere and null sets If (X, A, µ is a measure space, then a set in A is called a null set (or µ-null if its measure is 0. Clearly a countable union of null sets
More informationMeasure Theory on Topological Spaces. Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond
Measure Theory on Topological Spaces Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond May 22, 2011 Contents 1 Introduction 2 1.1 The Riemann Integral........................................ 2 1.2 Measurable..............................................
More informationThe Lebesgue Integral
The Lebesgue Integral Brent Nelson In these notes we give an introduction to the Lebesgue integral, assuming only a knowledge of metric spaces and the iemann integral. For more details see [1, Chapters
More informationINTRODUCTION TO MEASURE THEORY AND LEBESGUE INTEGRATION
1 INTRODUCTION TO MEASURE THEORY AND LEBESGUE INTEGRATION Eduard EMELYANOV Ankara TURKEY 2007 2 FOREWORD This book grew out of a one-semester course for graduate students that the author have taught at
More informationMeasures. 1 Introduction. These preliminary lecture notes are partly based on textbooks by Athreya and Lahiri, Capinski and Kopp, and Folland.
Measures These preliminary lecture notes are partly based on textbooks by Athreya and Lahiri, Capinski and Kopp, and Folland. 1 Introduction Our motivation for studying measure theory is to lay a foundation
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationReal Analysis Problems
Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.
More informationNotes on Measure, Probability and Stochastic Processes. João Lopes Dias
Notes on Measure, Probability and Stochastic Processes João Lopes Dias Departamento de Matemática, ISEG, Universidade de Lisboa, Rua do Quelhas 6, 1200-781 Lisboa, Portugal E-mail address: jldias@iseg.ulisboa.pt
More information18.175: Lecture 2 Extension theorems, random variables, distributions
18.175: Lecture 2 Extension theorems, random variables, distributions Scott Sheffield MIT Outline Extension theorems Characterizing measures on R d Random variables Outline Extension theorems Characterizing
More informationn [ F (b j ) F (a j ) ], n j=1(a j, b j ] E (4.1)
1.4. CONSTRUCTION OF LEBESGUE-STIELTJES MEASURES In this section we shall put to use the Carathéodory-Hahn theory, in order to construct measures with certain desirable properties first on the real line
More informationMATH & MATH FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING Scientia Imperii Decus et Tutamen 1
MATH 5310.001 & MATH 5320.001 FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING 2016 Scientia Imperii Decus et Tutamen 1 Robert R. Kallman University of North Texas Department of Mathematics 1155
More informationBasics of Stochastic Analysis
Basics of Stochastic Analysis c Timo Seppäläinen This version November 16, 214 Department of Mathematics, University of Wisconsin Madison, Madison, Wisconsin 5376 E-mail address: seppalai@math.wisc.edu
More informationProduct measures, Tonelli s and Fubini s theorems For use in MAT4410, autumn 2017 Nadia S. Larsen. 17 November 2017.
Product measures, Tonelli s and Fubini s theorems For use in MAT4410, autumn 017 Nadia S. Larsen 17 November 017. 1. Construction of the product measure The purpose of these notes is to prove the main
More information2 Measure Theory. 2.1 Measures
2 Measure Theory 2.1 Measures A lot of this exposition is motivated by Folland s wonderful text, Real Analysis: Modern Techniques and Their Applications. Perhaps the most ubiquitous measure in our lives
More informationThree hours THE UNIVERSITY OF MANCHESTER. 24th January
Three hours MATH41011 THE UNIVERSITY OF MANCHESTER FOURIER ANALYSIS AND LEBESGUE INTEGRATION 24th January 2013 9.45 12.45 Answer ALL SIX questions in Section A (25 marks in total). Answer THREE of the
More informationMATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION. Extra Reading Material for Level 4 and Level 6
MATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION Extra Reading Material for Level 4 and Level 6 Part A: Construction of Lebesgue Measure The first part the extra material consists of the construction
More informationAdvanced Analysis Qualifying Examination Department of Mathematics and Statistics University of Massachusetts. Tuesday, January 16th, 2018
NAME: Advanced Analysis Qualifying Examination Department of Mathematics and Statistics University of Massachusetts Tuesday, January 16th, 2018 Instructions 1. This exam consists of eight (8) problems
More informationProbability and Measure
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability
More informationAnnalee Gomm Math 714: Assignment #2
Annalee Gomm Math 714: Assignment #2 3.32. Verify that if A M, λ(a = 0, and B A, then B M and λ(b = 0. Suppose that A M with λ(a = 0, and let B be any subset of A. By the nonnegativity and monotonicity
More informationMeasure Theory & Integration
Measure Theory & Integration Lecture Notes, Math 320/520 Fall, 2004 D.H. Sattinger Department of Mathematics Yale University Contents 1 Preliminaries 1 2 Measures 3 2.1 Area and Measure........................
More informationPart II Probability and Measure
Part II Probability and Measure Theorems Based on lectures by J. Miller Notes taken by Dexter Chua Michaelmas 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly)
More information1.1. MEASURES AND INTEGRALS
CHAPTER 1: MEASURE THEORY In this chapter we define the notion of measure µ on a space, construct integrals on this space, and establish their basic properties under limits. The measure µ(e) will be defined
More informationA D VA N C E D P R O B A B I L - I T Y
A N D R E W T U L L O C H A D VA N C E D P R O B A B I L - I T Y T R I N I T Y C O L L E G E T H E U N I V E R S I T Y O F C A M B R I D G E Contents 1 Conditional Expectation 5 1.1 Discrete Case 6 1.2
More informationMeasure and Integration: Concepts, Examples and Exercises. INDER K. RANA Indian Institute of Technology Bombay India
Measure and Integration: Concepts, Examples and Exercises INDER K. RANA Indian Institute of Technology Bombay India Department of Mathematics, Indian Institute of Technology, Bombay, Powai, Mumbai 400076,
More informationProblem Set. Problem Set #1. Math 5322, Fall March 4, 2002 ANSWERS
Problem Set Problem Set #1 Math 5322, Fall 2001 March 4, 2002 ANSWRS i All of the problems are from Chapter 3 of the text. Problem 1. [Problem 2, page 88] If ν is a signed measure, is ν-null iff ν () 0.
More informationREAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE
REAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE CHRISTOPHER HEIL 1.4.1 Introduction We will expand on Section 1.4 of Folland s text, which covers abstract outer measures also called exterior measures).
More informationA List of Problems in Real Analysis
A List of Problems in Real Analysis W.Yessen & T.Ma December 3, 218 This document was first created by Will Yessen, who was a graduate student at UCI. Timmy Ma, who was also a graduate student at UCI,
More information2 Probability, random elements, random sets
Tel Aviv University, 2012 Measurability and continuity 25 2 Probability, random elements, random sets 2a Probability space, measure algebra........ 25 2b Standard models................... 30 2c Random
More informationSection Signed Measures: The Hahn and Jordan Decompositions
17.2. Signed Measures 1 Section 17.2. Signed Measures: The Hahn and Jordan Decompositions Note. If measure space (X, M) admits measures µ 1 and µ 2, then for any α,β R where α 0,β 0, µ 3 = αµ 1 + βµ 2
More informationLebesgue Measure on R n
8 CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More informationNOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS
NOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS CLARK BUTLER. Introduction The purpose of these notes is to give a self-contained proof of the following theorem, Theorem.. Let f : S n S n be a
More informationExercise 1. Show that the Radon-Nikodym theorem for a finite measure implies the theorem for a σ-finite measure.
Real Variables, Fall 2014 Problem set 8 Solution suggestions xercise 1. Show that the Radon-Nikodym theorem for a finite measure implies the theorem for a σ-finite measure. nswer: ssume that the Radon-Nikodym
More information1 Measurable Functions
36-752 Advanced Probability Overview Spring 2018 2. Measurable Functions, Random Variables, and Integration Instructor: Alessandro Rinaldo Associated reading: Sec 1.5 of Ash and Doléans-Dade; Sec 1.3 and
More information36-752: Lecture 1. We will use measures to say how large sets are. First, we have to decide which sets we will measure.
0 0 0 -: Lecture How is this course different from your earlier probability courses? There are some problems that simply can t be handled with finite-dimensional sample spaces and random variables that
More information2 Lebesgue integration
2 Lebesgue integration 1. Let (, A, µ) be a measure space. We will always assume that µ is complete, otherwise we first take its completion. The example to have in mind is the Lebesgue measure on R n,
More informationMath 5051 Measure Theory and Functional Analysis I Homework Assignment 3
Math 551 Measure Theory and Functional Analysis I Homework Assignment 3 Prof. Wickerhauser Due Monday, October 12th, 215 Please do Exercises 3*, 4, 5, 6, 8*, 11*, 17, 2, 21, 22, 27*. Exercises marked with
More informationAN INTRODUCTION TO GEOMETRIC MEASURE THEORY AND AN APPLICATION TO MINIMAL SURFACES ( DRAFT DOCUMENT) Academic Year 2016/17 Francesco Serra Cassano
AN INTRODUCTION TO GEOMETRIC MEASURE THEORY AND AN APPLICATION TO MINIMAL SURFACES ( DRAFT DOCUMENT) Academic Year 2016/17 Francesco Serra Cassano Contents I. Recalls and complements of measure theory.
More informationDynkin (λ-) and π-systems; monotone classes of sets, and of functions with some examples of application (mainly of a probabilistic flavor)
Dynkin (λ-) and π-systems; monotone classes of sets, and of functions with some examples of application (mainly of a probabilistic flavor) Matija Vidmar February 7, 2018 1 Dynkin and π-systems Some basic
More informationIntroduction to Ergodic Theory
Lecture I Crash course in measure theory Oliver Butterley, Irene Pasquinelli, Stefano Luzzatto, Lucia Simonelli, Davide Ravotti Summer School in Dynamics ICTP 2018 Why do we care about measure theory?
More informationAnalysis Comprehensive Exam Questions Fall 2008
Analysis Comprehensive xam Questions Fall 28. (a) Let R be measurable with finite Lebesgue measure. Suppose that {f n } n N is a bounded sequence in L 2 () and there exists a function f such that f n (x)
More informationLebesgue Measure on R n
CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More informationLecture 17 Brownian motion as a Markov process
Lecture 17: Brownian motion as a Markov process 1 of 14 Course: Theory of Probability II Term: Spring 2015 Instructor: Gordan Zitkovic Lecture 17 Brownian motion as a Markov process Brownian motion is
More information(U) =, if 0 U, 1 U, (U) = X, if 0 U, and 1 U. (U) = E, if 0 U, but 1 U. (U) = X \ E if 0 U, but 1 U. n=1 A n, then A M.
1. Abstract Integration The main reference for this section is Rudin s Real and Complex Analysis. The purpose of developing an abstract theory of integration is to emphasize the difference between the
More informationReal Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis
Real Analysis, 2nd Edition, G.B.Folland Chapter 5 Elements of Functional Analysis Yung-Hsiang Huang 5.1 Normed Vector Spaces 1. Note for any x, y X and a, b K, x+y x + y and by ax b y x + b a x. 2. It
More information02. Measure and integral. 1. Borel-measurable functions and pointwise limits
(October 3, 2017) 02. Measure and integral Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2017-18/02 measure and integral.pdf]
More information1. Probability Measure and Integration Theory in a Nutshell
1. Probability Measure and Integration Theory in a Nutshell 1.1. Measurable Space and Measurable Functions Definition 1.1. A measurable space is a tuple (Ω, F) where Ω is a set and F a σ-algebra on Ω,
More informationOverview of normed linear spaces
20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural
More information6 Classical dualities and reflexivity
6 Classical dualities and reflexivity 1. Classical dualities. Let (Ω, A, µ) be a measure space. We will describe the duals for the Banach spaces L p (Ω). First, notice that any f L p, 1 p, generates the
More information1 Inner Product Space
Ch - Hilbert Space 1 4 Hilbert Space 1 Inner Product Space Let E be a complex vector space, a mapping (, ) : E E C is called an inner product on E if i) (x, x) 0 x E and (x, x) = 0 if and only if x = 0;
More informationLecture 1 Real and Complex Numbers
Lecture 1 Real and Complex Numbers Exercise 1.1. Show that a bounded monotonic increasing sequence of real numbers converges (to its least upper bound). Solution. (This was indicated in class) Let (a n
More informationLebesgue measure on R is just one of many important measures in mathematics. In these notes we introduce the general framework for measures.
Measures In General Lebesgue measure on R is just one of many important measures in mathematics. In these notes we introduce the general framework for measures. Definition: σ-algebra Let X be a set. A
More informationFinal. due May 8, 2012
Final due May 8, 2012 Write your solutions clearly in complete sentences. All notation used must be properly introduced. Your arguments besides being correct should be also complete. Pay close attention
More informationMath 720: Homework. Assignment 2: Assigned Wed 09/04. Due Wed 09/11. Assignment 1: Assigned Wed 08/28. Due Wed 09/04
Math 720: Homework Do, but don t turn in optional problems There is a firm no late homework policy Assignment : Assigned Wed 08/28 Due Wed 09/04 Keep in mind there is a firm no late homework policy Starred
More informationLebesgue Integration on R n
Lebesgue Integration on R n The treatment here is based loosely on that of Jones, Lebesgue Integration on Euclidean Space We give an overview from the perspective of a user of the theory Riemann integration
More information