Measure Theory

Total Page:16

File Type:pdf, Size:1020Kb

Measure Theory Measure Theory Andrew Kobin Spring 2016 Contents Contents Contents 0 Introduction 1 0.1 The Discrete Sum . .2 0.2 Metric Spaces . .8 0.3 Partial Orders . .9 1 Measure Theory 11 1.1 σ-Algebras . 12 1.2 Measures . 18 1.3 Borel Measures . 27 1.4 Measurable Functions . 31 2 Integration Theory 37 2.1 Lebesgue Integration . 37 2.2 Properties of Integration . 43 2.3 Types of Convergence . 48 2.4 Product Measures . 52 2.5 Lebesgue Integration on Rn ........................... 54 3 Signed Measures and Differentiation 56 3.1 Signed Measures . 56 3.2 Lebesgue-Radon-Nikodym Theorem . 60 3.3 Complex Measures . 65 3.4 Complex Lebesgue Integration . 68 3.5 Functions of Bounded Variation . 71 4 Function Spaces 76 4.1 Banach Spaces . 76 4.2 Hilbert Spaces . 82 4.3 Lp Spaces . 92 i 0 Introduction 0 Introduction These notes are taken from a graduate real analysis course taught by Dr. Tai Melcher at the University of Virginia in Spring 2016. The companion text for the course is Folland's Real Analysis: Modern Techniques and Their Applications, 2nd ed. The main topics covered are: A review of some concepts in set theory Measure theory Integration theory Differentiation Some functional analysis, including normed linear spaces The theory of Lp spaces By far the most fundamental subject in real analysis is measure theory. In a general sense, measure theory gives us a way of extending the concrete notions of length, area, volume, etc. and also of extending the theory of Riemann integration from calculus. Recall that the Riemann integral of a real-valued function f(x) on an interval [a; b] is defined as the limit of the areas of a sequence of increasingly thinner rectangles that approximate the area under the curve of f: f Z b f(x) dx a If we are to use this limiting process on say a function like the characteristic function ( 1 if x 2 Q χQ(x) = 0 if x 62 Q R 1 then what should the value of 0 χQ(x) dx be? Riemann integration fails to give a value to this integral, but since the \rectangles" summed up by such an integral would all have zero area (Q is disconnected), we should expect the integral to equal 0. We seek to develop an abstract notion of \length" to replace the length of the subintervals in Riemann integration that allows for integration over a broader class of sets. Two important set theoretic constructions are: 1 0.1 The Discrete Sum 0 Introduction 1 Definition. Given a sequence of sets fAngn=1 in a space X, the outer limit of the An is the set of x 2 X such that x 2 An for infinitely many n: 1 1 \ [ lim sup An = An: k=1 n=k This may also be written as the set fx 2 X j x 2 An i.o.g, where i.o. stands for “infinitely often". 1 Definition. Given a sequence of sets fAngn=1 in X, the inner limit of the An is the set of x 2 X such that x 2 An for all but a finite number of n: 1 1 [ \ lim inf An = An: k=1 n=k This is also written fx 2 X j x 2 An e.a.g, where a.a. stands for \eventually always". These may be viewed as generalizations of lim sup and lim inf from real analysis. 0.1 The Discrete Sum A concrete case of integration is found in the notion of a discrete sum: Definition. Let X be a (not necessarily countable) set and let f : X ! [0; 1] be a function. The discrete sum of f over X is defined as ( ) X X f := sup f(x): A ⊂ X is finite : X x2A We will develop the theory of the discrete sum as a case study for what is to come later in the general theory of integration. The main theorems (Monotone Convergence Theorem, Fatou's Lemma, Dominated Convergence Theorem, etc.) will be proven again later with the generalized notion of integration with respect to a measure. Example 0.1.1. If X = N, the discrete sum is just the regular counting sum: 1 N X X X f = f(n) = sup f(n): N N n=1 n=1 One of the most important theorems in the theory of sequences is the Monotone Conver- gence Theorem. This theorem is often proven in an introductory real analysis course. The version stated here is slightly more abstract. Theorem 0.1.2 (Monotone Convergence for Sums). For a sequence of nonnegative functions fn : X ! [0; 1], if fn(x) ≤ fn+1(x) for all x 2 X and for all n 2 N, then X X lim fn(x) = lim fn(x): n!1 n!1 x2X x2X 2 0.1 The Discrete Sum 0 Introduction P Proof. First observe that since fn(x) is an increasing sequence for all x 2 X, fn(x) is P X also an increasing sequence. Therefore limn!1 X fn(x) exists in [0; 1]. Fix n 2 N. By hypothesis, for all x 2 X, f(x) = sup fn(x) ≥ fn(x). Thus for any finite subset A ⊂ X, X X X f(x) ≥ f(x) ≥ fn(x): X A A Taking the sup on the right over all finite A ⊂ X preserves the inequality, so we have X X f(x) ≥ fn(x): X X Since this holds for all n 2 N, taking the limit as n ! 1 again preserves the limit, giving us one of the desired inequalities: X X f(x) ≥ lim fn(x): n!1 X X Now fix a finite set A ⊂ X. Then for all n 2 N, we have X X X fn(x) ≤ fn(x) ≤ lim fn(x): n!1 A X X P (The last inequality uses the fact that X fn(x) is an increasing sequence.) Taking the limit on the left as n ! 1 gives us X X lim fn(x) ≤ lim fn(x): n!1 n!1 A X Finally, taking the sup on the left over all finite A ⊂ X preserves the inequality, producing X X lim fn(x) ≤ lim fn(x): n!1 n!1 X X Since lim fn(x) = f(x), we have proven both inequalities required. P Lemma 0.1.3. If x2X f(x) < 1 then the set fx 2 X j f(x) > 0g is at most countable. Proof. We can write 1 [ 1 fx 2 X j f(x) > 0g = x j f(x) > n : n=1 1 Now each set x j f(x) > n is finite since the discrete sum is assumed to converge. Then the countable union of these finite sets is countable, so the set in question is countable. Theorem 0.1.4 (Tonelli's Theorem for Sums). If X and Y are sets and f : X ×Y ! [0; 1] is a function, then X X X X X f(x; y) = f(x; y) = f(x; y): (x;y)2X×Y x2X y2Y y2Y x2X 3 0.1 The Discrete Sum 0 Introduction Proof. By symmetry, it is sufficient to show the first equality. On one hand, let Λ ⊂ X × Y be a finite subset. Choose finite subsets α ⊂ X and β ⊂ Y such that Λ ⊂ α × β. For any such α; β, we have X X X X X X X X f(x; y) ≤ f(x; y) = f(x; y) ≤ f(x; y) ≤ f(x; y): Λ α×β α β α Y X Y P P P Taking the supremum over all such Λ proves the inequality X×Y f(x; y) ≤ X Y f(x; y). x Going the other way, for each x 2 X choose a sequence of finite subsets βn ⊂ Y such that βx % Y and n X X f(x; y) = lim f(x; y): n!1 x Y y2βn S x If α ⊂ X is finite, then set βn = x2α βn and observe that because βn are finite sets, X X f(x; y) = lim f(x; y) n!1 Y y2βn holds for all x 2 α. Hence X X X X f(x; y) = lim f(x; y) n!1 x2α y2Y x2α y2βn X X = lim f(x; y) since α is finite n!1 x2α y2βn X = lim f(x; y) n!1 α×βn X ≤ f(x; y): X×Y Taking the supremum over all such α ⊂ X, we get the other inequality: P P f(x; y) ≤ P X Y X×Y f(x; y). Therefore equality holds. Theorem 0.1.5 (Fatou's Lemma for Sums). If fn : X ! [0; 1] is a sequence of nonnegative functions then X X lim inf fn ≤ lim inf fn: X X Proof. Define gk = infffn j n ≥ kg so that the sequence (gk) increases from below to lim inf fn. In particular, gk ≤ fn for all n ≥ k, so X X gk ≤ fn for all n ≥ k: X X By the Monotone Convergence Theorem for discrete sums (Theorem 0.1.2), X X X X lim inf fn = lim gk = lim gk ≤ lim inf fn: k!1 k!1 X X X X This proves Fatou's Lemma for discrete sums. 4 0.1 The Discrete Sum 0 Introduction P Remark. If A = X f(x) then for every " > 0, there exists a finite subset α" ⊂ X such that A − " ≤ P f ≤ A. Furthermore, these inequalities hold for any set α containing α .
Recommended publications
  • Complex Measures 1 11
    Tutorial 11: Complex Measures 1 11. Complex Measures In the following, (Ω, F) denotes an arbitrary measurable space. Definition 90 Let (an)n≥1 be a sequence of complex numbers. We a say that ( n)n≥1 has the permutation property if and only if, for ∗ ∗ +∞ 1 all bijections σ : N → N ,theseries k=1 aσ(k) converges in C Exercise 1. Let (an)n≥1 be a sequence of complex numbers. 1. Show that if (an)n≥1 has the permutation property, then the same is true of (Re(an))n≥1 and (Im(an))n≥1. +∞ 2. Suppose an ∈ R for all n ≥ 1. Show that if k=1 ak converges: +∞ +∞ +∞ + − |ak| =+∞⇒ ak = ak =+∞ k=1 k=1 k=1 1which excludes ±∞ as limit. www.probability.net Tutorial 11: Complex Measures 2 Exercise 2. Let (an)n≥1 be a sequence in R, such that the series +∞ +∞ k=1 ak converges, and k=1 |ak| =+∞.LetA>0. We define: + − N = {k ≥ 1:ak ≥ 0} ,N = {k ≥ 1:ak < 0} 1. Show that N + and N − are infinite. 2. Let φ+ : N∗ → N + and φ− : N∗ → N − be two bijections. Show the existence of k1 ≥ 1 such that: k1 aφ+(k) ≥ A k=1 3. Show the existence of an increasing sequence (kp)p≥1 such that: kp aφ+(k) ≥ A k=kp−1+1 www.probability.net Tutorial 11: Complex Measures 3 for all p ≥ 1, where k0 =0. 4. Consider the permutation σ : N∗ → N∗ defined informally by: φ− ,φ+ ,...,φ+ k ,φ− ,φ+ k ,...,φ+ k ,..
    [Show full text]
  • Appendix A. Measure and Integration
    Appendix A. Measure and integration We suppose the reader is familiar with the basic facts concerning set theory and integration as they are presented in the introductory course of analysis. In this appendix, we review them briefly, and add some more which we shall need in the text. Basic references for proofs and a detailed exposition are, e.g., [[ H a l 1 ]] , [[ J a r 1 , 2 ]] , [[ K F 1 , 2 ]] , [[ L i L ]] , [[ R u 1 ]] , or any other textbook on analysis you might prefer. A.1 Sets, mappings, relations A set is a collection of objects called elements. The symbol card X denotes the cardi- nality of the set X. The subset M consisting of the elements of X which satisfy the conditions P1(x),...,Pn(x) is usually written as M = { x ∈ X : P1(x),...,Pn(x) }.A set whose elements are certain sets is called a system or family of these sets; the family of all subsystems of a given X is denoted as 2X . The operations of union, intersection, and set difference are introduced in the standard way; the first two of these are commutative, associative, and mutually distributive. In a { } system Mα of any cardinality, the de Morgan relations , X \ Mα = (X \ Mα)and X \ Mα = (X \ Mα), α α α α are valid. Another elementary property is the following: for any family {Mn} ,whichis { } at most countable, there is a disjoint family Nn of the same cardinality such that ⊂ \ ∪ \ Nn Mn and n Nn = n Mn.Theset(M N) (N M) is called the symmetric difference of the sets M,N and denoted as M #N.
    [Show full text]
  • Integration 1 Measurable Functions
    Integration References: Bass (Real Analysis for Graduate Students), Folland (Real Analysis), Athreya and Lahiri (Measure Theory and Probability Theory). 1 Measurable Functions Let (Ω1; F1) and (Ω2; F2) be measurable spaces. Definition 1 A function T :Ω1 ! Ω2 is (F1; F2)-measurable if for every −1 E 2 F2, T (E) 2 F1. Terminology: If (Ω; F) is a measurable space and f is a real-valued func- tion on Ω, it's called F-measurable or simply measurable, if it is (F; B(<))- measurable. A function f : < ! < is called Borel measurable if the σ-algebra used on the domain and codomain is B(<). If the σ-algebra on the domain is Lebesgue, f is called Lebesgue measurable. Example 1 Measurability of a function is related to the σ-algebras that are chosen in the domain and codomain. Let Ω = f0; 1g. If the σ-algebra is P(Ω), every real valued function is measurable. Indeed, let f :Ω ! <, and E 2 B(<). It is clear that f −1(E) 2 P(Ω) (this includes the case where f −1(E) = ;). However, if F = f;; Ωg is the σ-algebra, only the constant functions are measurable. Indeed, if f(x) = a; 8x 2 Ω, then for any Borel set E containing a, f −1(E) = Ω 2 F. But if f is a function s.t. f(0) 6= f(1), then, any Borel set E containing f(0) but not f(1) will satisfy f −1(E) = f0g 2= F. 1 It is hard to check for measurability of a function using the definition, because it requires checking the preimages of all sets in F2.
    [Show full text]
  • LEBESGUE MEASURE and L2 SPACE. Contents 1. Measure Spaces 1 2. Lebesgue Integration 2 3. L2 Space 4 Acknowledgments 9 References
    LEBESGUE MEASURE AND L2 SPACE. ANNIE WANG Abstract. This paper begins with an introduction to measure spaces and the Lebesgue theory of measure and integration. Several important theorems regarding the Lebesgue integral are then developed. Finally, we prove the completeness of the L2(µ) space and show that it is a metric space, and a Hilbert space. Contents 1. Measure Spaces 1 2. Lebesgue Integration 2 3. L2 Space 4 Acknowledgments 9 References 9 1. Measure Spaces Definition 1.1. Suppose X is a set. Then X is said to be a measure space if there exists a σ-ring M (that is, M is a nonempty family of subsets of X closed under countable unions and under complements)of subsets of X and a non-negative countably additive set function µ (called a measure) defined on M . If X 2 M, then X is said to be a measurable space. For example, let X = Rp, M the collection of Lebesgue-measurable subsets of Rp, and µ the Lebesgue measure. Another measure space can be found by taking X to be the set of all positive integers, M the collection of all subsets of X, and µ(E) the number of elements of E. We will be interested only in a special case of the measure, the Lebesgue measure. The Lebesgue measure allows us to extend the notions of length and volume to more complicated sets. Definition 1.2. Let Rp be a p-dimensional Euclidean space . We denote an interval p of R by the set of points x = (x1; :::; xp) such that (1.3) ai ≤ xi ≤ bi (i = 1; : : : ; p) Definition 1.4.
    [Show full text]
  • 1 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´eans-Dade; Sec 1.3 and 1.4 of Durrett. 1 Measurable Functions 1.1 Measurable functions Measurable functions are functions that we can integrate with respect to measures in much the same way that continuous functions can be integrated \dx". Recall that the Riemann integral of a continuous function f over a bounded interval is defined as a limit of sums of lengths of subintervals times values of f on the subintervals. The measure of a set generalizes the length while elements of the σ-field generalize the intervals. Recall that a real-valued function is continuous if and only if the inverse image of every open set is open. This generalizes to the inverse image of every measurable set being measurable. Definition 1 (Measurable Functions). Let (Ω; F) and (S; A) be measurable spaces. Let f :Ω ! S be a function that satisfies f −1(A) 2 F for each A 2 A. Then we say that f is F=A-measurable. If the σ-field’s are to be understood from context, we simply say that f is measurable. Example 2. Let F = 2Ω. Then every function from Ω to a set S is measurable no matter what A is. Example 3. Let A = f?;Sg. Then every function from a set Ω to S is measurable, no matter what F is. Proving that a function is measurable is facilitated by noticing that inverse image commutes with union, complement, and intersection.
    [Show full text]
  • Measurable Functions and Simple Functions
    Measure theory class notes - 8 September 2010, class 9 1 Measurable functions and simple functions The class of all real measurable functions on (Ω, A ) is too vast to study directly. We identify ways to study them via simpler functions or collections of functions. Recall that L is the set of all measurable functions from (Ω, A ) to R and E⊆L are all the simple functions. ∞ Theorem. Suppose f ∈ L is bounded. Then there exists an increasing sequence {fn}n=1 in E whose uniform limit is f. Proof. First assume that f takes values in [0, 1). We divide [0, 1) into 2n intervals and use this to construct fn: n− 2 1 k − k k+1 fn = 1f 1 n , n 2n ([ 2 2 )) Xk=0 k k+1 k Whenever f takes a value in 2n , 2n , fn takes the value 2n . We have • For all n, fn ≤ f. 1 • For all n, x, |fn(x) − f(x)|≤ 2n . This is clear from the construction. • fn ∈E, since fn is a finite linear combination of indicator functions of sets in A . k 2k 2k+1 • fn ≤ fn+1: For any x, if fn(x)= 2n , then fn+1(x) ∈ 2n+1 , 2n+1 . ∞ So {fn}n=1 is an increasing sequence in E converging uniformly to f. Now for a general f, if the image of f lies in [a,b), then let f − a1 g = Ω b − a (note that a1Ω is the constant function a) ∞ Im g ⊆ [0, 1), so by the above we have {gn}n=1 from E increasing uniformly to g.
    [Show full text]
  • Radon Measures
    MAT 533, SPRING 2021, Stony Brook University REAL ANALYSIS II FOLLAND'S REAL ANALYSIS: CHAPTER 7 RADON MEASURES Christopher Bishop 1. Chapter 7: Radon Measures Chapter 7: Radon Measures 7.1 Positive linear functionals on Cc(X) 7.2 Regularity and approximation theorems 7.3 The dual of C0(X) 7.4* Products of Radon measures 7.5 Notes and References Chapter 7.1: Positive linear functionals X = locally compact Hausdorff space (LCH space) . Cc(X) = continuous functionals with compact support. Defn: A linear functional I on C0(X) is positive if I(f) ≥ 0 whenever f ≥ 0, Example: I(f) = f(x0) (point evaluation) Example: I(f) = R fdµ, where µ gives every compact set finite measure. We will show these are only examples. Prop. 7.1; If I is a positive linear functional on Cc(X), for each compact K ⊂ X there is a constant CK such that jI(f)j ≤ CLkfku for all f 2 Cc(X) such that supp(f) ⊂ K. Proof. It suffices to consider real-valued I. Given a compact K, choose φ 2 Cc(X; [0; 1]) such that φ = 1 on K (Urysohn's lemma). Then if supp(f) ⊂ K, jfj ≤ kfkuφ, or kfkφ − f > 0;; kfkφ + f > 0; so kfkuI(φ) − I)f) ≥ 0; kfkuI(φ) + I)f) ≥ 0: Thus jI(f)j ≤ I(φ)kfku: Defn: let µ be a Borel measure on X and E a Borel subset of X. µ is called outer regular on E if µ(E) = inffµ(U): U ⊃ E; U open g; and is inner regular on E if µ(E) = supfµ(K): K ⊂ E; K open g: Defn: if µ is outer and inner regular on all Borel sets, then it is called regular.
    [Show full text]
  • Lecture 3 the Lebesgue Integral
    Lecture 3:The Lebesgue Integral 1 of 14 Course: Theory of Probability I Term: Fall 2013 Instructor: Gordan Zitkovic Lecture 3 The Lebesgue Integral The construction of the integral Unless expressly specified otherwise, we pick and fix a measure space (S, S, m) and assume that all functions under consideration are defined there. Definition 3.1 (Simple functions). A function f 2 L0(S, S, m) is said to be simple if it takes only a finite number of values. The collection of all simple functions is denoted by LSimp,0 (more precisely by LSimp,0(S, S, m)) and the family of non-negative simple Simp,0 functions by L+ . Clearly, a simple function f : S ! R admits a (not necessarily unique) representation n f = ∑ ak1Ak , (3.1) k=1 for a1,..., an 2 R and A1,..., An 2 S. Such a representation is called the simple-function representation of f . When the sets Ak, k = 1, . , n are intervals in R, the graph of the simple function f looks like a collection of steps (of heights a1,..., an). For that reason, the simple functions are sometimes referred to as step functions. The Lebesgue integral is very easy to define for non-negative simple functions and this definition allows for further generalizations1: 1 In fact, the progression of events you will see in this section is typical for measure theory: you start with indica- Definition 3.2 (Lebesgue integration for simple functions). For f 2 tor functions, move on to non-negative Simp,0 R simple functions, then to general non- L+ we define the (Lebesgue) integral f dm of f with respect to m negative measurable functions, and fi- by nally to (not-necessarily-non-negative) Z n f dm = a m(A ) 2 [0, ¥], measurable functions.
    [Show full text]
  • Measure, Integrals, and Transformations: Lebesgue Integration and the Ergodic Theorem
    Measure, Integrals, and Transformations: Lebesgue Integration and the Ergodic Theorem Maxim O. Lavrentovich November 15, 2007 Contents 0 Notation 1 1 Introduction 2 1.1 Sizes, Sets, and Things . 2 1.2 The Extended Real Numbers . 3 2 Measure Theory 5 2.1 Preliminaries . 5 2.2 Examples . 8 2.3 Measurable Functions . 12 3 Integration 15 3.1 General Principles . 15 3.2 Simple Functions . 20 3.3 The Lebesgue Integral . 28 3.4 Convergence Theorems . 33 3.5 Convergence . 40 4 Probability 41 4.1 Kolmogorov's Probability . 41 4.2 Random Variables . 44 5 The Ergodic Theorem 47 5.1 Transformations . 47 5.2 Birkho®'s Ergodic Theorem . 52 5.3 Conclusions . 60 6 Bibliography 63 0 Notation We will be using the following notation throughout the discussion. This list is included here as a reference. Also, some of the concepts and symbols will be de¯ned in subsequent sections. However, due to the number of di®erent symbols we will use, we have compiled the more archaic ones here. lR; lN : the real and natural numbers lR¹ : the extended natural numbers, i.e. the interval [¡1; 1] ¹ lR+ : the nonnegative (extended) real numbers, i.e. the interval [0; 1] ­ : a sample space, a set of possible outcomes, or any arbitrary set F : an arbitrary σ-algebra on subsets of a set ­ σ hAi : the σ-algebra generated by a subset A ⊆ ­. T : a function between the set ­ and ­ itself Á, Ã : simple functions on the set ­ ¹ : a measure on a space ­ with an associated σ-algebra F (Xn) : a sequence of objects Xi, i.
    [Show full text]
  • Lecture 4 Chapter 1.4 Simple Functions
    Math 103: Measure Theory and Complex Analysis Fall 2018 09/19/18 Lecture 4 Chapter 1.4 Simple functions Aim: A function is Riemann integrable if it can be approximated with step functions. A func- tion is Lebesque integrable if it can be approximated with measurable simple functions.A measurable simple function is similar to a step function, just that the supporting sets are ele- ments of a σ algebra. Picture Denition 1 (Simple functions) A function s : X ! C is called a simple function if it has nite range. We say that s is a non-negative simple function (nnsf) if s(X) ⊂ [0; +1). Note 2 If s(X) 6= f0g, then s(X) = fa1; a2; a3; : : : ; ang and let Ai = fx 2 X j s(x) = aig. Then s is measurable if and only if Ai 2 M for all i 2 f1; 2; : : : ; ng. In this case we have that n X 1 (1) s = ai · Ai : i=1 We can furthermore assume that the (Ai)i are mutually disjoint. This representation as a linear combination of characteristic functions is unique, if the (ai)i are distinct and non-zero. In this case we call it the standard representation of s. Theorem 3 (Approximation by simple functions) For any function f :(X; M) ! [0; +1], there are nnsfs (sn)n2N on X, such that a) 0 ≤ s1 ≤ s2 ≤ ::: ≤ f. b) For all x 2 X, we have limn!1 sn(x) = f(x). Furthermore, if f is measurable, then the (sn)n can be chosen measurable as well.
    [Show full text]
  • Representations and Positive Spectral Measures
    Master's Thesis Positive C(K)-representations and positive spectral measures On their one-to-one correspondence for reflexive Banach lattices Author: Supervisor: Frejanne Ruoff dr. M.F.E. de Jeu Defended on January 30, 2014 Leiden University Faculty of Science Mathematics Specialisation: Applied Mathematics Mathematical Institute, Leiden University Abstract Is there a natural one-to-one correspondence between positive representations of spaces of continuous functions and positive spectral measures on Banach lattices? That is the question that we have investigated in this thesis. Representations and spectral measures are key notions throughout all sections. After having given precise definitions of a positive spectral measure, a unital positive spectral measure, a positive representation, and a unital positive representation, we prove that there is a one-to-one relationship between the positive spectral measures and positive representations, and the unital positive spectral measures and unital positive representations, respectively. For example, between a unital positive representation ρ : C(K) !Lr(X) and a unital positive spectral measure E :Ω !Lr(X), where K is a compact Hausdorff space, Ω ⊆ P(K) the Borel σ-algebra, X a reflexive Banach lattice, and Lr(X) the space of all regular operators on X. The map ρ : C(K) !Lr(C(K)), where K is a compact Hausdorff space, defined as pointwise multiplication on C(K), is a unital positive representation. The subspace ρ[f] := ρ(C(K))f ⊆ C(K), for an f 2 C(K), has two partial orderings. One is inherited from C(K), the other is newly defined. Using the defining property of elements of ρ[f], we prove that they are equal.
    [Show full text]
  • 1. Σ-Algebras Definition 1. Let X Be Any Set and Let F Be a Collection Of
    1. σ-algebras Definition 1. Let X be any set and let F be a collection of subsets of X. We say that F is a σ-algebra (on X), if it satisfies the following. (1) X 2 F. (2) If A 2 F, then Ac 2 F. 1 (3) If A1;A2; · · · 2 F, a countable collection, then [n=1An 2 F. In the above situation, the elements of F are called measurable sets and X (or more precisely (X; F)) is called a measurable space. Example 1. For any set X, P(X), the set of all subsets of X is a σ-algebra and so is F = f;;Xg. Theorem 1. Let X be any set and let G be any collection of subsets of X. Then there exists a σ-algebra, containing G and smallest with respect to inclusion. Proof. Let S be the collection of all σ-algebras containing G. This set is non-empty, since P(X) 2 S. Then F = \A2SA can easily be checked to have all the properties asserted in the theorem. Remark 1. In the above situation, F is called the σ-algebra generated by G. Definition 2. Let X be a topological space (for example, a metric space) and let B be the σ-algebra generated by the set of all open sets of X. The elements of B are called Borel sets and (X; B), a Borel measurable space. Definition 3. Let (X; F) be a measurable space and let Y be any topo- logical space and let f : X ! Y be any function.
    [Show full text]