Reminder Notes for the Course on Measures on Topological Spaces
|
|
- Malcolm Lindsey
- 5 years ago
- Views:
Transcription
1 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. December 6, Introduction Remember the definition of the Riemann integral of a function f : [a, b] R, where [a, b] is a closed bounded interval: f is Riemann integrable if s b a(f) = s b a(f), where the lower and upper sums are defined resp. by s b a(f) = with m i = inf ti 1 x<t i f(x), and s b a(f) = sup a=t 0 <t 1 < <t n =b inf a=t 0 <t 1 < <t n=b n m i (t i t i 1 ) (1.1) i=1 n M i (t i t i 1 ) (1.2) with M i = sup ti 1 x<t i f(x). A continuous function on [a, b] can easily be shown to be Riemann integrable. Note that the function f(x) = 1 x on [0, 1], however, is not Riemann integrable, though 1 dx = 2 x 1 = 2 x i=1
2 is well-defined and finite. It can be defined, for example as 1 dx 1 ( ) 1 = lim x n dx. 0 x n 0 This ad-hoc procedure prompted Henri Lebesgue to suggest an alternative definition of integral by subdividing the y-axis instead of the x-axis: One then needs a proper definition of the total length of a subset of the form A n = {x [a, b] : y n f(x) < y n+1 }. To do this, he proposed a similar procedure on the x-axis as Riemann had for the y-axis: Define the upper measure of a set A as m (A) = inf A p k=1 I k p I k, (1.3) where {I k } p k=1 is a finite collection of intervals, and p m (A) = sup A p k=1 I k I k, (1.4) where the intervals I k A are disjoint. Then a set A is called measurable if m (A) = m (A). A function f is measurable if {x [a, b] : y 1 f(x) < y 2 } is measurable for all y 1 y 2. The Lebesgue integral is then the limit as the subdivision of the y-axis becomes finer and finer and covers more and more of the axis. k=1 k=1 Figure 1. Subdividing the y-axis. The red and blue areas represent the contributions to the approximation from the intervals between 3.5 and 4, and between 1 and 1.5 resp. They equal the height (3.5 resp. 1) times the total length of the corresponding subsets A 9 and A 4. 2
3 In the following we make these ideas precise and generalise them to integrals over much more general spaces than just the real line. This is another advantage of Lebesgue s approach, apart from the fact that more functions are Lebesgue integrable than Riemann integrable. In particular, we shall introduce measures on general Hausdorff topological spaces, which are generalisations of metric spaces. But first we define integration for a general abstract measure on an arbitrary set Ω, which then has to assumed as given. 2 Abstract Measures and Integration 2.1 σ-algebras and Measures In the following Ω is a given arbitrary set. (Measure theory is also at the core of probability theory where the sample space is usually denoted Ω.) Definition 2.1 A collection R of subsets of Ω is called a ring if the following hold: 1. A, B R = A B R. 2. A, B R = A \ B R. It is called an algebra if in addition, Ω R. Definition 2.2 A collection A of subsets of Ω is called a σ-algebra or σ- field if it is an algebra, and it is closed under countable union, i.e. For all sequences (A n ) n N of elements A n A, n N A n A. The pair (Ω, A) is called a measurable space. Remark. Note that it follows that also n N A n A. Definition 2.3 A (positive) measure µ on (Ω, A) is a map µ : A [0, + ] with the properties µ( ) = 0 and if (A n ) n N is a sequence of disjoint elements A n A then µ A n = µ(a n ). n N (In the following we write n N A n for a disjoint union.) The triple (Ω, A, µ) is called a measure space. n=1 3
4 Proposition Let (Ω, A, µ) be a measure space. Then the following hold: 1. A, B A, A B = µ(a) µ(b). 2. A, B A = µ(a B) µ(a) + µ(b). 3. If A n A (n N) and A n A A then µ(a n ) µ(a). 4. A n A (n N) = µ ( n N A n) n=1 µ(a n). Definition 2.4 A set A A is called negligible or a null set if µ(a) = 0. A property is said to hold almost everywhere (a.e.) if it holds outside a null set. A measure space (Ω, A, µ) is called complete if the following holds: B A, A A, µ(a) = 0 = B A. Proposition Given a measure space (Ω, A, µ) we define A = {A Ω : A 1, A 2 A, A 1 A A 2, µ(a 2 \ A 1 ) = 0}. Then A is a σ-algebra and µ (A) = µ(a 1 )(= µ(a 2 )) defines a measure on A such that (Ω, A, µ ) is complete. Definition 2.5 (Ω, A, µ ) as defined in the above proposition is called the Lebesgue completion of (Ω, A, µ). Note. In the following we often assume without mention that the measure space is complete. Definition 2.6 A function f : Ω R or R = [, + ], is called measurable if for all y R, {x Ω : f(x) y} A. Proposition A function f : Ω R is measurable if and only if one (and hence each) of the following hold: 1. {x Ω : f(x) y} A y R; 2. {x Ω : f(x) < y} A y R; 3. {x Ω : f(x) y} A y R; 4. {x Ω : f(x) > y} A y R. Proposition If f, g : Ω R are measurable, then f + g is also measurable. 1. If λ R and f : Ω R is measurable, then λf is also measurable. 2. If f n Ω R are measurable (n N), then inf n N f n and sup n N f n are also measurable. 3. If f, g : Ω R are measurable, then f g is also measurable. Corollary 1 Suppose that (Ω, A, µ) is a complete measure space, and f n : Ω R are measurable (n N), f n f a.e., then f is also measurable. 4
5 2.2 Integration Definition 2.7 A function g : Ω R is said to be a simple function if it is of the form N g = c k 1 Ak, (2.5) k=1 where N N, c 1,..., c N R and A 1,..., A n A, and we use the notation { 1 if x A; 1 A (x) = (2.6) 0 if x / A. The set of simple functions will be denoted S and the subset of non-negative simple functions as S +. Proposition Every measurable function f : Ω [0, + ] is the (pointwise) limit of an increasing sequence of simple functions g n S +. For g S + of the form (2.5) we define the integral by g dµ = N c k µ(a k ). (2.7) Lemma 1 This definition is independent of the representation for g. It has the following properties: k=1 Proposition f, g S + = f + g S + and (f + g)dµ = f dµ + g dµ. 2. λ 0, f S + = λf S + and λf dµ = λ f dµ. 3. f, g S +, f g = f dµ g dµ. We can now define, for any measurable function f : Ω [0, + ], f dµ = g dµ. sup g S +,g f However, it is preferable to have a definition in terms of a limit. For this, we note: 5
6 Lemma 2 Let f : Ω [0, + ] be a measurable function and suppose that (g n ) n N is a sequence of simple functions g n S + such that g n f. If g S + and g f, then g dµ lim g n dµ. n Corollary 1 For any sequence g n S + with g n f, f dµ = lim g n dµ. n We now have the analogous properties as for simple functions: Proposition If f, g : Ω [0, + ] are measurable then (f + g)dµ = f dµ + g dµ. 2. If λ 0 and f : Ω [0, + ] is measurable then λf dµ = λ f dµ. 3. If f, g : Ω [0, + ] are measurable and f g then f dµ g dµ. Definition 2.8 A function f : Ω R is said to be µ-integrable or µ- summable if 1. f is measurable; and 2. f dµ < +. The integral of f is then defined by f dµ = f + dµ f dµ, (2.8) where f + = f 0; and f = ( f) 0. A function f : Ω C is said to be measurable if R(f) and I(f) are measurable. A function f : Ω C is called µ-integrable or µ-summable if 1. f is measurable; and 2. f dµ < +. In that case, we put f dµ = R(f) dµ + i I(f) dµ. (2.9) We write L 1 (Ω, A, µ) for the space of µ-summable functions f : Ω C. 6
7 Theorem f, g L 1 = f + g L 1 and (f + g)dµ = f dµ + g dµ. 2. λ C, f L 1 = λf L 1 and λf dµ = λ f dµ. 3. f L 1 = f L 1 and f dµ f dµ. More properties: Proposition Suppose that f L 1, g : Ω C is measurable, and g = f a.e. Then g L 1 and g dµ = f dµ. Corollary 2 If f, g L 1 R and f g a.e. then f dµ g dµ. Lemma 3 If f : Ω R (or C) is measurable and A A, then f1 A measurable. is Definition 2.9 For f L 1 or f : Ω [0, + ] measurable, and A A, we define f dµ := f1 A dµ. A Proposition Suppose that f L 1 and f(x) > 0 for x A where A A. Then f dµ = 0 µ(a) = Convergence A Theorem 2.2 (Monotone Convergence Theorem) Let (f n ) n N be a sequence of non-negative measurable functions, f n f. Then f is integrable if and only if the sequence ( f n dµ ) n N is bounded, and in any case, f dµ = lim f n dµ. n Corollary 1 For measurable functions f n : Ω [0, + ], n=1 f n dµ = 7 n=1 f n dµ.
8 Theorem 2.3 (Dominated Convergence Theorem) Let f n : Ω C be a sequence of measurable functions, f = lim n f n a.e., and suppose that there exists g L 1 + such that f n g. Then f is integrable and f dµ = lim f n dµ. n Notation. We denote, for p 1, L p = L p (Ω, A, µ) the set of measurable functions f : Ω C such that f p is integrable. We put ( N p = f p dµ) 1/p. Theorem 2.4 (Hölder s inequality) Suppose f L p and g L q, where 1 p + 1 q = 1. Then fg L1 and ( fg dµ ) 1/p ( f p dµ g q dµ) 1/q. (2.10) Theorem 2.5 (Minkowski s inequality) If f, g L p then f +g L p and N p (f + g) N p (f) + N p (g). Theorem 2.6 (Riesz-Fischer) If (f n ) n N is a Cauchy sequence in L p w.r.t. N p, i.e. N p (f n f m ) 0 as n, m, then there exists f L p such that N p (f n f) 0. Corollary 2 The linear space L p f p = N p (f). := L p / is a Banach space with norm Theorem 2.7 L 2 is a Hilbert space with scalar product f g = f g dµ. 8
9 3 Topological Spaces Remember that a metric space is a set X together with a map d : X X [0, + ) with the following properties: 1. d(x, x) = 0 for all x X and if d(x, y) = 0 for x, y X then y = x. 2. x, y X : d(x, y) = d(y, x). 3. x, y, z X : d(x, z) d(x, y) + d(y, z). In such spaces one defines open sets as follows: O X is open if for all x O there exists ɛ > 0 such that B(x, ɛ) O, where B(x, ɛ) = {y X : d(x, y) < ɛ}. It now turns out that most important properties of metric spaces can be expressed in terms of open sets only, without referring to the underlying map d. For example, a sequence (x n ) n N converges to x X if for all open sets U containing x, there exists n 0 N such that x n U for all n n 0. And a map f : X Y between two metric spaces X and Y is continuous (at x X ) if for every open V Y (containing f(x)) there exists an open U X (containing x) such that f(u) V. We therefore generalise the concept of metric space to: Definition 3.1 A topological space is a set X together with a collection T of subsets of X (the open sets) satisfying: 1., X T ; 2. If O 1, O 2 T then O 1 O 2 T ; 3. If (O i ) i I is an arbitrary collection of open subsets O i T then the union i I O i T. A subset of X is called closed if its complement is open (i.e. T ). Remark. Topological spaces are more general objects than metric spaces. For example, sequential convergence is in general no longer sufficient, i.e. a function is no longer necessarily continuous at x if for every convergent sequence x n x, f(x n ) f(x). Similarly, a subset A X is not necessarily closed if for all convergent sequences x n A, lim x n A. 9
10 In fact, for most purposes, general topological spaces are slightly too general. In particular, we introduce the following additional separation axiom: Definition 3.2 A topological space X is said to be a Hausdorff space if the following additional axiom holds: For all x, y X with x y, there exist open sets U, V X such that x U, y V and U V =. Now remember that a subset K of a metric space is called compact if every sequence (x n ) n N in K has a convergent sequence (x nk ) with limit in K. For compact sets the following two theorems were proved: Theorem 3.1 Suppose that K is a compact set in a metric space X. Then for all δ > 0, there exist finitely many points x 1,..., x n K such that K n j=1 B(x j, δ). Theorem 3.2 (Heine-Borel) Let K be a compact set in a metric space X. Suppose that (O i ) i I is a collection of open sets O i covering K, i.e. K i I O i. Then there exist finitely many indices i 1,..., i n I such that K n k=1 O i k. (Every open cover has a finite subcover.) We now use this property to generalise the concept of compact set to topological spaces: Definition 3.3 A subset K of a topological space X is said to be compact if every open cover of K has a finite subcover. Remark. As above, it is in general no longer sufficient if every sequence in K has a convergent subsequence. Compact sets are very useful. Here are some elementary properties: Proposition 3.1 If K is a compact subset of a topological space X, then every closed subset F K is also compact. For the next property, first a definition, and a lemma: Definition 3.4 The closure of a subset A of a topological space X is the smallest closed set A containing A. (Note that this exists, as arbitrary intersections of closed sets are closed.) 10
11 Lemma 1 The closure of a set A X is given by A = {x X : Uopen, x U = U A }. Using this, one now proves: Proposition 3.2 If X is a Hausdorff space then every compact set K X is closed. Note that the Hausdorff property is crucial here. Proposition 3.3 If X and Y are topological spaces, and f : X Y is continuous (i.e. the inverse image of an open set is open), then f(k) is compact whenever K X is compact. Definition 3.5 A collection (F i ) i I of subsets F i X is said to have the finite intersection property if every finite subcollection has a non-empty intersection. Proposition 3.4 A subset K of a topological space X is compact if and only if every collection(f i ) i I of closed subsets of K with the finite intersection property, has non-empty intersection: i I F i. Proposition 3.5 Given two disjoint compact sets K 1, K 2 X (K 1 K 2 = ), of a Hausdorff space calx, there exist open sets U 1, U 2 such that K 1 U 1, K 2 U 2, and U 1 U 2 =. 4 Radon Measures In the following, X will always be a Hausdorff space. Definition 4.1 The Borel σ-algebra B(X ) is the smallest σ-algebra containing all open sets of X. Definition 4.2 A (positive) Radon measure on X is a measure µ on B(X ) with the following additional properties: 1. µ is locally finite: For all x X there exists an open U containing x with µ(u) < + ; 11
12 2. µ is inner regular: For all Borel sets A B(X ), µ(a) = Some elementary properties: sup µ(k). K A; Kcompact Proposition 4.1 If µis a Radon measure on a Hausdorff space X then µ(k) < + for all compact K X. Proposition 4.2 If µ is a Radon measure on X and K X is compact, then, for any ɛ > 0, there exists on open set O K such that µ(o \ K) < ɛ. Proposition 4.3 If µ is a Radon measure on X then for any family (O i ) i I of open sets with µ(o i ) = 0, the union is also a null set: µ ( i I O i) = 0. Definition 4.3 The support of a Radon measure µ is the complement of the largest open set of measure zero. Definition 4.4 Given a Radon measure µ on X, the Bourbaki completion calb µ of B(X ) is defined by B µ = {A X : K X compact, A K B }. Proposition 4.4 Given a Radon measure µ on X, B µ is a σ-algebra, and there is a unique Radon-extension of µ to B µ. The resulting measure space is complete. Proposition 4.5 Suppose that µ is a Radon measure on X for which there exists a countable set of open sets O n (n N) such that µ(o n ) < + and X n=1 O n. (A Radon measure with this property is said to be moderate(d) or σ-finite.) Then B µ = B. Definition 4.5 If µ is a Radon measure on X then a function f : X C or R is called µ-measurable if it is measurable on the measure space (X, B µ, µ). (If it is measurable on (X, B(X ), µ) then it is called Borel.) Proposition 4.6 If f : X [0, + ] is µ-measurable, then f dµ = g dµ. sup 0 g f gu.s.c.;supp(g)compact 12
13 Corollary 1 f dµ = sup f dµ. Kcompact K Theorem 4.1 Suppose that {f i } i I is a family of l.s.c. functions f i : X [0, + ], which is upward directed, i.e. i, j I k I : f i f k andf j f k. Set f = sup i I f i. Then f is l.s.c. and hence µ-measurable (even Borel), and f dµ = sup f i dµ. i I Theorem 4.2 (Choquet) Let µ be a Radon measure on X. Then it has the following properties: 1. K 1, K 2 X compact, K 1 K 2 = µ(k 1 ) µ(k 2 ). 2. K 1, K 2 X compact, K 1 K 2 = = µ(k 1 +K 2 ) = µ(k 1 )+µ(k 2 ). 3. K 1, K 2 X compact, µ(k 1 K 2 ) mu(k 1 ) + µ(k 2 ). 4. K X compact and all ɛ > 0, there exists an open set O K such that for all compact H O, µ(h) < µ(k) + ɛ. Conversely, suppose that λ is a map from the compact subsets of X to [0, + ) with the above properties. Then there exists a unique Radon measure µ extending λ to the Borel sets calb(x ). The proof of this crucial theorem is lengthy and goes via number of lemmas. Clearly, we want to define µ(a) = For open sets in particular, we then have sup µ(k). K Acompact Lemma 1 If O 1 and O 2 are open, and O 1 O 2 then µ(o 1 ) µ(o 2 ). 13
14 Lemma 2 Suppose that O 1 and O 2 are open, and K O 1 O 2 is compact. Then there exist compact subsets K 1 O 1 and K 2 O 2 such that K = K 1 K 2. Lemma 3 If O 1 and O 2 are open, then µ(o 1 O 2 ) µ(o 1 ) + µ(o 2 ). Lemma 4 Suppose (O n ) n N is an increasing sequence of open sets, O n O. Then µ(o n ) µ(o). Lemma 5 If (O n ) n N is a sequence of open sets, O = n=1 O n, then µ(o) n=1 µ(o n). Next we define, for arbitrary subsets A X, an upper measure µ (A) and a lower measure µ (A) by µ (A) = inf µ(o) (4.11) O A open and Clearly, µ (A) µ (A). µ (A) = sup µ(k). (4.12) K A compact Lemma 6 If A = n N A n, then µ(a) n N µ(a n). Lemma 7 If A = n N A n then µ (A) n=1 µ(a n). Definition 4.6 A set A X is called integrable if µ (A) = µ (A) < +. Lemma 8 Every compact set K and every open set O with µ(o) < + is integrable. Lemma 9 If (A n ) n N are disjoint integrable sets, then µ ( n N A n ) = µ ( n N A n ) = µ(a n ). Lemma 10 (Sandwich Criterion) A X is integrable if and only if for every ɛ > 0, there exist a compact set K A and an open set O A such that µ(o \ K) < ɛ. n=1 14
15 Lemma 11 The integrable sets form a ring, i.e. if A 1 and A 2 are integrable, then so are A 1 A 2, A 1 A 2 and A 1 \ A 2. Definition 4.7 A X is measurable if A K is integrable for all compact sets K. Lemma 12 The collection A of measurable sets is a σ-algebra containing B(X ). Lemma 13 µ A is a measure. We have the following additional facts: Proposition 4.7 A X is integrable if and only if A A and µ (A) < +. Proposition 4.8 The σ-algebra A coincides with the Bourbaki completion B µ. Proposition 4.9 If µ is moderate, then µ (A) = µ (A) for all A B µ. 5 Lebesgue Measure For K R n compact, we define the Lebesgue measure of K by µ L (K) = inf K N i=1 I i N I i, (5.13) where {I i } N i=1 is a covering of K with finitely many (n-dimensional) intervals I i (i.e. products of 1-dimensional intervals). Noting that for any δ > 0 we may assume that I i < δ (by simply dividing up each interval into smaller ones), and also that each I i is open, it is easy to show that the 4 conditions of Choquet s theorem are satisfied. We thus conclude: Theorem 5.1 There exists a unique extension of µ L given by (5.13) for compact K R n, to the Borel σ-algebra calb(r n ), and hence to B µ L = B (since µ L is moderate). This is called (n-dimensional) Lebesgue measure. i=1 15
16 Theorem 5.2 Let µ L be n-dimensional Lebesgue measure. Then every n- dimensional interval I is a Borel set and µ L (I) = I. This is proved by showing that every covering of I by intervals can be refined to a special partition, some of whose elements may occur more than once. Lemma 1 Every open set O R n is a disjoint union of a countable number of intervals. Proof. Consider dyadic partitions of R of increasing order N: R = [ k 2, k + 1 ). N 2 N k Z Proposition 5.1 For all A R n, µ L(A) = inf A j=1 I j. j=1 QED Theorem 5.3 Lebesgue measure is translation invariant, and if µ is another translation-invariant measure on R n then there exists a constant c 0 such that µ = c µ L. Corollary 1 Lebesgue measure is invariant under orthogonal transformations. Theorem 5.4 If T : R n R n is a bijective linear map, and A B(R n ), then T (A) B(R n ) and µ L (T (A)) = det T µ L (A). 16
17 6 Product Measures and Fubini s Theorem Theorem 6.1 Let X 1 and X 2 be Hausdorff spaces and let µ 1 and µ 2 be Radon measures on calx 1 and X 2 respectively. Then there exists a unique Radon measure µ = µ 1 µ 2 on X = X 1 X 2 satisfying for all A 1 B(X 1 ) and A 2 B(X 2 ). µ(a 1 A 2 ) = µ 1 (A 1 )µ 2 (A 2 ) Proof. (outline) First note that A 1 A 2 B(X 1 X 2 ). This follows from the fact that if π : X Y is continuous and A B(Y) then π 1 (A) B(X ). Taking for π the projections π 1,2 we obtain A 1 X 2, calx 1 A 2 B(X ) and hence A 1 A 2 = A 1 X 2 X 1 A 2 B(X ). We now call an open set O X elementary if it is of the form where O (1,2) i O = m i=1 O (1) i O (2) i, X 1,2 are open. We then have Lemma 1 For any compact K X, the elementary open sets O K form a fundamental system of neighbourhoods of K, i.e. every neighbourhood of K contains an elementary open set containing K. This lemma immediately implies uniqueness of the measure µ since every elementary open set is of the form O = j J A (1) j A (2) j, where J is a finite set,i.e. a disjoint union of product sets. To prove the existence, we first define an additive set function on such finite disjoint unions of product sets, by ( ) µ A (1) j A (2) j = µ 1 (A (1) j )µ 2 (A (2) j ). j J j J This is easily seen (by taking intersections of the parts of two different subdivisions) to be well-defined. Then we put µ(k) = inf µ(o). O Kopen,elementary 17
18 This satisfies the conditions for Choquet s theorem, and it remains to show that (6.1) holds. This is done by first showing that it holds for compact sets. For compact sets it follows from Lemma 2 Given compact sets K 1 X 1 and K 2 X 2, the open sets of the form O 1 O 2 with O 1 K 1 and O 2 K 2 open, form a fundamental system of neighbourhoods of K 1 K 2. QED Remark. n-dimensional Lebesgue measure is a product of 1-dimensional Lebesgue measures on the coordinate axes. To prove Fubini s theorem about product measures, we first proved a number of lemmas: Lemma 1 Given A X = X 1 X 2 define, for x X 1, A x = {y X 2 : (x, y) A}. Then, (A c ) x = (A x ) c, and for any collection (A i ) i I of subsets A i X 1 X 2, ( ) ( ) A i (A i ) x ; A i (A i ) x. i I x = i I Moreover, if A B(X ) then A x B(X 2 ). i I x = i I Lemma 2 Let A denote the algebra of finite disjoint unions N i=1 A 1i A 2i with A 1i B(X 1 ) and A 2i B(X 2 ) (i = 1,..., N). Then µ(a) = µ 2 (A x ) µ 1 (dx). Lemma 3 Let O calx be open. Then x µ 2 (O x ) is l.s.c. and µ(o) = µ 2 (O x ) µ 1 (dx). Lemma 4 If K X is compact, then µ(k) = µ 2 (K x ) µ 1 (dx). 18
19 Lemma 5 If A X is µ-integrable, then A x is µ 2 -integrable for a.e. x X 1, x µ 2 (A x ) is µ 1 -measurable, and µ(a) = µ 2 (A x ) µ 1 (dx). Finally, we proved: Theorem 6.2 (Fubini) Assume that the measures µ 1 and µ 2 are moderate. Then so is µ = µ 1 µ 2 and the following hold: If f 0 is measurable, then f x is µ 2 -measurable for a.e. x X 1, the map x f x dµ 2 is µ 1 - measurable, and ( ) f dµ = f x dµ 2 µ 1 (dx). Moreover, if f L 1 (µ) is arbitrary, then f x L 1 (µ 2 ) for a.e. x and x fx dµ 2 is integrable, and (6.2) holds. Remark. Note that we in fact only need f to be moderate, i.e. {(x 1, x 2 ) : f(x 1, x 2 ) 0} is contained in a countable union of open sets of finite measure. 7 The Riesz-Markov-Saks-Kakutani Theorem We need a new concept in topology: Definition 7.1 A topological space is said to be locally compact if every point has a fundamental system of neighbourhoods which are compact sets. (A neighbourhood of x is a set containing an open set which contains x.) Proposition 7.1 A Hausdorff space is locally compact if (and only if) each point has a compact neighbourhood. Corollary 1 A compact Hausdorff space is locally compact. We need an important theorem due to Urysohn: (there is an analogous result for so-called normal spaces, which is proved in essentially the same way) 19
20 Theorem 7.1 (Urysohn) Let X be a locally compact Hausdorff space, O X open, and K O compact. Then there exists a continuous function h : X [0, 1] with compact support, such that 1 K h 1 O. The proof uses the following lemma: Lemma 1 Let X be a locally compact Hausdorff space, O X open, and K O compact. Then there exists an open set U such that its closure U is compact, and K U U O. Theorem 7.2 (Riesz et al.) Let X be a locally compact Hausdorff space, and denote κ(x ) the set of continuous real-valued function on X with compact support. If µ is a Radon measure on X then κ(x ) L 1 (µ), and the integral µ(f) := f dµ has the following properties: 1. Linearity: µ(f + g) = µ(f) + µ(g) f, g κ(x ) and µ(λf) = λµ(f) for all f κ(x ) and λ R; 2. Positivity: f κ(x ), f 0 = µ(f) 0. Conversely, if l is a positive linear form on κ(x ) (i.e. it has the properties 1. and 2.), then there exists a unique Radon measure µ on X such that l(f) = µ(f) for all f κ(x ). Proof. Then first half of the theorem is clear. Uniqueness follows from Urysohn s theorem above. To prove the existence, we define for compact K, λ(k) = inf l(f). f κ(x );1 K f The conditions for Choquet s theorem are again straightforward to verify, so there exists a Radon measure µ given by µ(a) = sup K Acompact λ(k) for A B(X ). It then remains to show that l(f) = f dµ. For this, one first proves that if f 0, l(f) f dµ by approximating f by a simple function. Next this inequality is extended to arbitrary f κ(x ), which implies the equlity. QED 8 Signed Measures Definition 8.1 A δ-ring R on a set Ω is a collection of subsets of Ω such that 1. A, B R = A \ B, A B R; 2. A n R(n N) = n N A n R. 20
21 Definition 8.2 Let R be a δ-ring on a set Ω, and let E be a normed vector space. An E-valued measure on (Ω, R) is a map µ : R E which is σ-additive, i.e. if A n R (n N) are disjoint, and A = n N A n R then µ(a) = n=1 µ(a n). (In particular, the latter is norm-convergent.) Proposition 8.1 An E-valued measure µ on (Ω, R) has the following properties: 1. µ( ) = µ is additive. 3. If A n R (n N) and A n A R then µ(a) = lim n µ(a n ). 4. If A n R (n N) and A n A then A R and µ(a) = lim n µ(a n ). Definition 8.3 If µ is an E-valued measure on (Ω, R), we define for A Ω, µ(a) = sup (A i ) m i=1 R: A P m i=1 A i m µ(a i ). Proposition 8.2 µ R extends to a (positive) measure on the σ-algebra i=1 τ(r) = {A Ω : A B R B R}. Definition 8.4 The measure µ = µ big τ(r) is called the variation (measure) of µ. µ is said to have bounded variation if µ := µ (Ω) < +. Proposition 8.3 If f L 1 ( µ ) then f d µ f d µ, where the former is defined by η, f d µ = f d η, µ for every continuous linear form η on E. Definition 8.5 Let X be a Hausdorff space and let R be the collection of relatively compact Borel sets of X. An E-valued measure µ on X is called an E-valued Radon measure if µ is a Radon mesure. 21
22 We now specialise to E = C, i.e. complex-valued measures. Proposition 8.4 Suppose that X is a locally compact Hausdorff space, and µ is a complex-valued Radon measure on X. Then, for all open sets O X, µ (O) = sup φ dµ. φ κ C (X ): φ 1;supp(φ) O Definition 8.6 A signed measure is a real-valued measure. For such a measure, we define the positive- and negative parts µ ± by µ ± = 1 ( µ ± µ). 2 Proposition 8.5 If µ is a signed Radon measure on a Hausdorff space X then µ ± are Radon measures. Theorem 8.1 Let X be a locally compact Hausdorff space. If µ is a signed Radon measure on X with bounded variation then f f dµ is a continuous linear form on κ(x ), more precisely, f dµ µ f. Conversely, if L : κ(x ) R is a continuous linear form then there exists a unique signed Radon measure µ on X with bounded variation such that L(f) = f dµ for all f κ(x ). Corollary 1 Let X be a locally compact Hausdorff space. If µ is a C-valued Radon measure on X with bounded variation then f f dµ is a continuous linear form on κ C (X ), more precisely, f dµ µ f. Conversely, if L : κ C (X ) C is a continuous linear form then there exists a unique C-valued Radon measure µ on X with bounded variation such that L(f) = f dµ for all f κ C (X ). 22
Measure 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 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 informationMATHS 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 informationReview of measure theory
209: Honors nalysis in R n Review of measure theory 1 Outer measure, measure, measurable sets Definition 1 Let X be a set. nonempty family R of subsets of X is a ring if, B R B R and, B R B R hold. bove,
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
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 informationReminder Notes for the Course on Distribution Theory
Reminder Notes for the Course on Distribution Theory T. C. Dorlas Dublin Institute for Advanced Studies School of Theoretical Physics 10 Burlington Road, Dublin 4, Ireland. Email: dorlas@stp.dias.ie March
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 informationLebesgue Measure. Dung Le 1
Lebesgue Measure Dung Le 1 1 Introduction How do we measure the size of a set in IR? Let s start with the simplest ones: intervals. Obviously, the natural candidate for a measure of an interval is its
More information1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
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 informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
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 informationNotes on the Lebesgue Integral by Francis J. Narcowich November, 2013
Notes on the Lebesgue Integral by Francis J. Narcowich November, 203 Introduction In the definition of the Riemann integral of a function f(x), the x-axis is partitioned and the integral is defined in
More informationSummary of Real Analysis by Royden
Summary of Real Analysis by Royden Dan Hathaway May 2010 This document is a summary of the theorems and definitions and theorems from Part 1 of the book Real Analysis by Royden. In some areas, such as
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 informationExamples of Dual Spaces from Measure Theory
Chapter 9 Examples of Dual Spaces from Measure Theory We have seen that L (, A, µ) is a Banach space for any measure space (, A, µ). We will extend that concept in the following section to identify an
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 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 information212a1214Daniell s integration theory.
212a1214 Daniell s integration theory. October 30, 2014 Daniell s idea was to take the axiomatic properties of the integral as the starting point and develop integration for broader and broader classes
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
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 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 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 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 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 informationBounded and continuous functions on a locally compact Hausdorff space and dual spaces
Chapter 6 Bounded and continuous functions on a locally compact Hausdorff space and dual spaces Recall that the dual space of a normed linear space is a Banach space, and the dual space of L p is L q where
More informationMEASURE AND INTEGRATION. Dietmar A. Salamon ETH Zürich
MEASURE AND INTEGRATION Dietmar A. Salamon ETH Zürich 9 September 2016 ii Preface This book is based on notes for the lecture course Measure and Integration held at ETH Zürich in the spring semester 2014.
More informationNotes on the Lebesgue Integral by Francis J. Narcowich Septemmber, 2014
1 Introduction Notes on the Lebesgue Integral by Francis J. Narcowich Septemmber, 2014 In the definition of the Riemann integral of a function f(x), the x-axis is partitioned and the integral is defined
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 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 informationAnalysis Finite and Infinite Sets The Real Numbers The Cantor Set
Analysis Finite and Infinite Sets Definition. An initial segment is {n N n n 0 }. Definition. A finite set can be put into one-to-one correspondence with an initial segment. The empty set is also considered
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 informationCHAPTER I THE RIESZ REPRESENTATION THEOREM
CHAPTER I THE RIESZ REPRESENTATION THEOREM We begin our study by identifying certain special kinds of linear functionals on certain special vector spaces of functions. We describe these linear functionals
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 informationMH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then
MH 7500 THEOREMS Definition. A topological space is an ordered pair (X, T ), where X is a set and T is a collection of subsets of X such that (i) T and X T ; (ii) U V T whenever U, V T ; (iii) U T whenever
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 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 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 information4 Countability axioms
4 COUNTABILITY AXIOMS 4 Countability axioms Definition 4.1. Let X be a topological space X is said to be first countable if for any x X, there is a countable basis for the neighborhoods of x. X is said
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 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 informationPROBLEMS. (b) (Polarization Identity) Show that in any inner product space
1 Professor Carl Cowen Math 54600 Fall 09 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization
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 informationChapter 6. Integration. 1. Integrals of Nonnegative Functions. a j µ(e j ) (ca j )µ(e j ) = c X. and ψ =
Chapter 6. Integration 1. Integrals of Nonnegative Functions Let (, S, µ) be a measure space. We denote by L + the set of all measurable functions from to [0, ]. Let φ be a simple function in L +. Suppose
More informationDRAFT MAA6616 COURSE NOTES FALL 2015
Contents 1. σ-algebras 2 1.1. The Borel σ-algebra over R 5 1.2. Product σ-algebras 7 2. Measures 8 3. Outer measures and the Caratheodory Extension Theorem 11 4. Construction of Lebesgue measure 15 5.
More informationClass Notes for Math 921/922: Real Analysis, Instructor Mikil Foss
University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln Math Department: Class Notes and Learning Materials Mathematics, Department of 200 Class Notes for Math 92/922: Real Analysis,
More informationvan Rooij, Schikhof: A Second Course on Real Functions
vanrooijschikhof.tex April 25, 2018 van Rooij, Schikhof: A Second Course on Real Functions Notes from [vrs]. Introduction A monotone function is Riemann integrable. A continuous function is Riemann integrable.
More informationMATH 202B - Problem Set 5
MATH 202B - Problem Set 5 Walid Krichene (23265217) March 6, 2013 (5.1) Show that there exists a continuous function F : [0, 1] R which is monotonic on no interval of positive length. proof We know there
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 informationx n x or x = T -limx n, if every open neighbourhood U of x contains x n for all but finitely many values of n
Note: This document was written by Prof. Richard Haydon, a previous lecturer for this course. 0. Preliminaries This preliminary chapter is an attempt to bring together important results from earlier courses
More informationNotes on Integrable Functions and the Riesz Representation Theorem Math 8445, Winter 06, Professor J. Segert. f(x) = f + (x) + f (x).
References: Notes on Integrable Functions and the Riesz Representation Theorem Math 8445, Winter 06, Professor J. Segert Evans, Partial Differential Equations, Appendix 3 Reed and Simon, Functional Analysis,
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 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 informationChapter 4. Measure Theory. 1. Measure Spaces
Chapter 4. Measure Theory 1. Measure Spaces Let X be a nonempty set. A collection S of subsets of X is said to be an algebra on X if S has the following properties: 1. X S; 2. if A S, then A c S; 3. if
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 information(2) E M = E C = X\E M
10 RICHARD B. MELROSE 2. Measures and σ-algebras An outer measure such as µ is a rather crude object since, even if the A i are disjoint, there is generally strict inequality in (1.14). It turns out to
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 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 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 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 informationSerena Doria. Department of Sciences, University G.d Annunzio, Via dei Vestini, 31, Chieti, Italy. Received 7 July 2008; Revised 25 December 2008
Journal of Uncertain Systems Vol.4, No.1, pp.73-80, 2010 Online at: www.jus.org.uk Different Types of Convergence for Random Variables with Respect to Separately Coherent Upper Conditional Probabilities
More informationSOLUTIONS TO SOME PROBLEMS
23 FUNCTIONAL ANALYSIS Spring 23 SOLUTIONS TO SOME PROBLEMS Warning:These solutions may contain errors!! PREPARED BY SULEYMAN ULUSOY PROBLEM 1. Prove that a necessary and sufficient condition that the
More informationFUNDAMENTALS OF REAL ANALYSIS by. II.1. Prelude. Recall that the Riemann integral of a real-valued function f on an interval [a, b] is defined as
FUNDAMENTALS OF REAL ANALYSIS by Doğan Çömez II. MEASURES AND MEASURE SPACES II.1. Prelude Recall that the Riemann integral of a real-valued function f on an interval [a, b] is defined as b n f(xdx :=
More informationBased on the Appendix to B. Hasselblatt and A. Katok, A First Course in Dynamics, Cambridge University press,
NOTE ON ABSTRACT RIEMANN INTEGRAL Based on the Appendix to B. Hasselblatt and A. Katok, A First Course in Dynamics, Cambridge University press, 2003. a. Definitions. 1. Metric spaces DEFINITION 1.1. If
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 informationWeak convergence. Amsterdam, 13 November Leiden University. Limit theorems. Shota Gugushvili. Generalities. Criteria
Weak Leiden University Amsterdam, 13 November 2013 Outline 1 2 3 4 5 6 7 Definition Definition Let µ, µ 1, µ 2,... be probability measures on (R, B). It is said that µ n converges weakly to µ, and we then
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 informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
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 informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationAnalysis III Theorems, Propositions & Lemmas... Oh My!
Analysis III Theorems, Propositions & Lemmas... Oh My! Rob Gibson October 25, 2010 Proposition 1. If x = (x 1, x 2,...), y = (y 1, y 2,...), then is a distance. ( d(x, y) = x k y k p Proposition 2. In
More informationx 0 + f(x), exist as extended real numbers. Show that f is upper semicontinuous This shows ( ɛ, ɛ) B α. Thus
Homework 3 Solutions, Real Analysis I, Fall, 2010. (9) Let f : (, ) [, ] be a function whose restriction to (, 0) (0, ) is continuous. Assume the one-sided limits p = lim x 0 f(x), q = lim x 0 + f(x) exist
More informationAnalysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t
Analysis Comprehensive Exam Questions Fall 2. Let f L 2 (, ) be given. (a) Prove that ( x 2 f(t) dt) 2 x x t f(t) 2 dt. (b) Given part (a), prove that F L 2 (, ) 2 f L 2 (, ), where F(x) = x (a) Using
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 informationFunctional Analysis Winter 2018/2019
Functional Analysis Winter 2018/2019 Peer Christian Kunstmann Karlsruher Institut für Technologie (KIT) Institut für Analysis Englerstr. 2, 76131 Karlsruhe e-mail: peer.kunstmann@kit.edu These lecture
More informationg 2 (x) (1/3)M 1 = (1/3)(2/3)M.
COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is
More informationA VERY BRIEF REVIEW OF MEASURE THEORY
A VERY BRIEF REVIEW OF MEASURE THEORY A brief philosophical discussion. Measure theory, as much as any branch of mathematics, is an area where it is important to be acquainted with the basic notions and
More informationFUNCTIONAL ANALYSIS CHRISTIAN REMLING
FUNCTIONAL ANALYSIS CHRISTIAN REMLING Contents 1. Metric and topological spaces 2 2. Banach spaces 12 3. Consequences of Baire s Theorem 30 4. Dual spaces and weak topologies 34 5. Hilbert spaces 50 6.
More informationFinal Exam Practice Problems Math 428, Spring 2017
Final xam Practice Problems Math 428, Spring 2017 Name: Directions: Throughout, (X,M,µ) is a measure space, unless stated otherwise. Since this is not to be turned in, I highly recommend that you work
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 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 information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More informationNotions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy
Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.
More informationThis chapter contains a very bare summary of some basic facts from topology.
Chapter 2 Topological Spaces This chapter contains a very bare summary of some basic facts from topology. 2.1 Definition of Topology A topology O on a set X is a collection of subsets of X satisfying the
More informationl(y j ) = 0 for all y j (1)
Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that
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 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 information7 Complete metric spaces and function spaces
7 Complete metric spaces and function spaces 7.1 Completeness Let (X, d) be a metric space. Definition 7.1. A sequence (x n ) n N in X is a Cauchy sequence if for any ɛ > 0, there is N N such that n, m
More informationIndeed, if we want m to be compatible with taking limits, it should be countably additive, meaning that ( )
Lebesgue Measure The idea of the Lebesgue integral is to first define a measure on subsets of R. That is, we wish to assign a number m(s to each subset S of R, representing the total length that S takes
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 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 informationarxiv: v1 [math.fa] 14 Jul 2018
Construction of Regular Non-Atomic arxiv:180705437v1 [mathfa] 14 Jul 2018 Strictly-Positive Measures in Second-Countable Locally Compact Non-Atomic Hausdorff Spaces Abstract Jason Bentley Department of
More informationMaths 212: Homework Solutions
Maths 212: Homework Solutions 1. The definition of A ensures that x π for all x A, so π is an upper bound of A. To show it is the least upper bound, suppose x < π and consider two cases. If x < 1, then
More informationMA359 Measure Theory
A359 easure Theory Thomas Reddington Usman Qureshi April 8, 204 Contents Real Line 3. Cantor set.................................................. 5 2 General easures 2 2. Product spaces...............................................
More informationRiesz Representation Theorems
Chapter 6 Riesz Representation Theorems 6.1 Dual Spaces Definition 6.1.1. Let V and W be vector spaces over R. We let L(V, W ) = {T : V W T is linear}. The space L(V, R) is denoted by V and elements of
More informationHaar Measure on LCH Groups
Haar Measure on LCH Groups Shuxiao Chen, Joshua Hull December 3, 2016 Abstract This expository article is an introduction to Haar measure on locally compact Hausdorff (LCH) groups. Haar measure is a translation
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 informationL p Functions. Given a measure space (X, µ) and a real number p [1, ), recall that the L p -norm of a measurable function f : X R is defined by
L p Functions Given a measure space (, µ) and a real number p [, ), recall that the L p -norm of a measurable function f : R is defined by f p = ( ) /p f p dµ Note that the L p -norm of a function f may
More informationREVIEW OF ESSENTIAL MATH 346 TOPICS
REVIEW OF ESSENTIAL MATH 346 TOPICS 1. AXIOMATIC STRUCTURE OF R Doğan Çömez The real number system is a complete ordered field, i.e., it is a set R which is endowed with addition and multiplication operations
More information