Integral Representation of Linear Functionals on Vector Lattices and Its Application to BV Functions on Wiener Space

Total Page:16

File Type:pdf, Size:1020Kb

Integral Representation of Linear Functionals on Vector Lattices and Its Application to BV Functions on Wiener Space Advanced Studies in Pure Mathematics 3?, 200? Stochastic Analysis and Related Topics in Kyoto pp. 1–20 Integral Representation of Linear Functionals on Vector Lattices and its Application to BV Functions on Wiener Space Masanori Hino Abstract. We consider vector lattices D generalizing quasi-regular Dirichlet spaces and give a characterization for bounded linear functionals on D to have a representation by an integral with respect to smooth measures. Applications to BV functions on Wiener space are also discussed. §1. Introduction Let X be a compact Hausdorff space and C(X) the Banach space of all continuous functions on X with supremum norm. The Riesz rep- resentation theorem says that every bounded linear operator on C(X) is realized by an integral with respect to a certain finite signed measure on X. As a variant of this fact, Fukushima [7] proved that, for any quasi-regular Dirichlet form (E, F) and for u ∈ F, E(u, ·) is represented as an integral by a smooth signed measure if and only if ∞ |E(u, v)| ≤ CkkvkL for all v ∈ Fb,Fk , k ∈ N holds for some nest {Fk}k∈N and some constants Ck, k ∈ N. As its ap- plications, he gave a characterization for additive functionals of function type for (E, F) to be semimartingales, and also proved the smoothness of the measures associated with BV functions ([7, 8, 9]). In this paper, we show a corresponding result in the framework of vector lattices generalizing quasi-regular Dirichlet spaces. The proof is similar to that in [7] but based on a purely analytical argument, unlike [7] where probabilistic methods are used together. Typical examples Partially supported by Ministry of Education, Culture, Sports, Sci- ence and Technology, Grant-in-Aid for Encouragement of Young Scientists, 15740089, 2003. 2 M. Hino which lie in this framework are first order Sobolev spaces derived from a gradient operator and fractional order Sobolev spaces by a real interpo- lation method with differentiability index between 0 and 1. Using such results, we can improve the smoothness of the measure associated with BV functions on Wiener space, discussed in [8, 9]. We can find several studies closely related to this article regarding the Riesz representation theorem, e.g., in [22, 14]. Their frameworks are based on Markovian semigroups and the function spaces are derived from their generators, which seems to be suitable for complex interpolation spaces. Ours is based on the lattice property instead and fits for real interpolation spaces. The organization of this paper is as follows. In Section 2, we give a general framework and preparatory lemmas, which are slight modifica- tions of what have been developed already in the case of Dirichlet spaces or in the framework of the nonlinear potential theory. We also give some examples there. In Section 3, the representation theorems are proved. In Section 4, we discuss some applications to BV functions on Wiener space. §2. Framework and main results Let X be a topological space and λ a Borel measure on X. Let L0(X) be the space of all λ-equivalence classes of real-valued Borel measurable functions on X. We will adopt a standard notation to describe function p p spaces and their norms, such as L (X) (or simply L ) and k · kLp . 0 We suppose that a subspace D of L (X) equipped with norm k · kD satisfies the following. (A1) (D, k · kD) is a separable and uniformly convex Banach space. (A2) (Consistency condition) If a sequence in D converges to 0 in D, then its certain subsequence converges to 0 λ-a.e. Since D is assumed to be uniformly convex, it is reflexive and the Banach- Saks property holds: every bounded sequence in D has a subsequence whose arithmetic means converge strongly in D (see [16, 19, 13] for the proof). The following lemma is proved by a standard argument. Lemma 2.1. Let {fn}n∈N be a sequence bounded in D. Then, there exists a subsequence {fnk }k∈N such that fnk converges to some f weakly Pk in D and the arithmetic means (1/k) j=1 fnj converge to f strongly in D. Moreover, kfkD ≤ lim infk→∞ kfnk kD. If furthermore fn converges to some g λ-a.e., then it holds that g ∈ D and fn weakly converges to g in D. Integral representation 3 Proof. By virtue of the Banach-Alaoglu theorem and the reflexivity of D, {fn}n∈N is weakly relatively compact in D. Using the Banach-Saks property together, we can prove the first claim. The second one follows from the Hahn-Banach theorem. The last one is a consequence of the consistency condition (A2). Q.E.D. We further assume the following. (A3) (Normal contraction property) For every f ∈ D, fˇ := 0 ∨ f ∧ 1 ˇ belongs to D and kfkD ≤ kfkD. ∞ 2 (A4) For every f in Db := D ∩ L , f belongs to D. Moreover, 2 sup{kf kD | kfkD + kfkL∞ ≤ 1} is finite. The condition (A4) is equivalent to the following: (A4)’ for every f and g in Db, fg belongs to D. Moreover, sup{kfgkD | kfkD + kfkL∞ ≤ 1, kgkD + kgkL∞ ≤ 1} is finite. Indeed, it is clear that (A4)’ implies (A4). To show the converse im- plication, use the identity fg = ((f + g)/2)2 − ((f − g)/2)2 and the subadditivity of the norm k · kD. We introduce a sufficient condition for (A3) and (A4). Lemma 2.2. Under (A1) and (A2), the following condition (C) implies (A3) and (A4): (C) when χ is a bounded and infinitely differentiable function on R 0 with χ(0) = 0 and kχ k∞ ≤ c for some c > 0, then χ ◦ v ∈ D and kχ ◦ vkD ≤ ckvkD for every v ∈ D. Proof. To show (A3), apply Lemma 2.1 with a sequence {χn◦v}n∈N 0 so that kχnk∞ ≤ 1 and kχnk∞ ≤ 1 for every n, and χn converges pointwise to χ(x) = 0 ∨ x ∧ 1. (A4) is similarly proved. Q.E.D. 0 For f ∈ L (X), we set f+(z) = f(z) ∨ 0 and f−(z) = −(f(z) ∧ 0). Lemma 2.3. Let f ∈ D. Then f+ ∈ D and kf+kD ≤ kfkD. Proof. Define fn := 0 ∨ f ∧ n = n(0 ∨ (f/n) ∧ 1), n ∈ N. Then kfnkD ≤ nkf/nkD = kfkD by (A3) and fn → f+ pointwise. Lemma 2.1 finishes the proof. Q.E.D. Lemma 2.4. For every f ∈ D, (−a) ∨ f ∧ a → 0 weakly in D as a ↓ 0 and (−a) ∨ f ∧ a → f weakly in D as a → ∞. Proof. It is enough to notice that k(−a) ∨ f ∧ akD = k0 ∨ f ∧ a − 0 ∨ (−f) ∧ akD ≤ 2kfkD, (−a) ∨ f ∧ a → 0 pointwise as a ↓ 0, (−a) ∨ f ∧ a → f pointwise as a → ∞ 4 M. Hino and to use Lemma 2.1. Q.E.D. For a measurable set A, we let DA := {f ∈ D | f = 0 λ-a.e. on X\A} ∞ and Db,A := DA ∩ L . A sequence {Fk}k∈N of increasing sets in X is S∞ called a nest if each Fk is closed and k=1 DFk is dense in D. A nest {Fk}k∈N is called (λ-)regular if, for all k, any open set O with λ(O∩Fk) = 0 satisfies O ⊂ X \Fk. A subset N of X is called exceptional if there is a T∞ nest {Fk}k∈N such that N ⊂ k=1(X \Fk). When A is a subset of X, we say that a statement depending on z ∈ A holds quasi everywhere (q.e. in abbreviation) if it does for every z ∈ A \ N for a certain exceptional set N. For a nest {Fk}k∈N, we denote by C({Fk}) the set of all functions f on X such that f is continuous on each Fk. A function f on X is said to be quasi-continuous if there is a nest {Fk}k∈N such that f ∈ C({Fk}). We say that a Borel measure µ on X is smooth if it does not charge any exceptional Borel sets and there exists a nest {Fk}k∈N such that µ(Fk) < ∞ for all k. A set function ν on X which is given by ν = ν1 −ν2 for some smooth measures ν1 and ν2 with finite total mass is called a finite signed smooth measure.A signed smooth measure ν with attached nest {Fk}k∈N is a map from R := {A ⊂ X | A is a Borel set of some Fk} to R such that ν is represented as ν(A) = ν1(A) − ν2(A), A ∈ R, for some smooth Borel measure ν1 and ν2 satisfying νi(Fk) < ∞ for each i = 1, 2 and k ∈ N. When we want to emphasize the dependency of D, we write D-nest, D-smooth, and so on. We further assume the following quasi-regularity conditions. (QR1) There exists a nest consisting of compact sets. (QR2) There exists a dense subset of D whose elements have quasi- continuous λ-modifications. (QR3) There exists a countable subset {ϕn}n∈N in D and an ex- ceptional set N such that each ϕn has a quasi-continuous λ- modificationϕ ˜n and {ϕ˜n}n∈N separates the points of X \ N. Every quasi-regular symmetric Dirichlet form (E, F) satisfies all con- ditions (A1)–(A4) and (QR1)–(QR3) (and (C)) when letting D = F and 2 1/2 kfkD = (E(f, f) + kfkL2 ) . We give other examples in the last part of this section. Lemma 2.5. There exist some ρ ∈ D and some countable subset C = {hn}n∈N of Db such that 0 ≤ ρ ≤ 1 λ-a.e., hn ≥ 0 λ-a.e.
Recommended publications
  • Vector Measures with Variation in a Banach Function Space
    VECTOR MEASURES WITH VARIATION IN A BANACH FUNCTION SPACE O. BLASCO Departamento de An´alisis Matem´atico, Universidad de Valencia, Doctor Moliner, 50 E-46100 Burjassot (Valencia), Spain E-mail:[email protected] PABLO GREGORI Departament de Matem`atiques, Universitat Jaume I de Castell´o, Campus Riu Sec E-12071 Castell´o de la Plana (Castell´o), Spain E-mail:[email protected] Let E be a Banach function space and X be an arbitrary Banach space. Denote by E(X) the K¨othe-Bochner function space defined as the set of measurable functions f :Ω→ X such that the nonnegative functions fX :Ω→ [0, ∞) are in the lattice E. The notion of E-variation of a measure —which allows to recover the p- variation (for E = Lp), Φ-variation (for E = LΦ) and the general notion introduced by Gresky and Uhl— is introduced. The space of measures of bounded E-variation VE (X) is then studied. It is shown, amongother thingsand with some restriction ∗ ∗ of absolute continuity of the norms, that (E(X)) = VE (X ), that VE (X) can be identified with space of cone absolutely summingoperators from E into X and that E(X)=VE (X) if and only if X has the RNP property. 1. Introduction The concept of variation in the frame of vector measures has been fruitful in several areas of the functional analysis, such as the description of the duality of vector-valued function spaces such as certain K¨othe-Bochner function spaces (Gretsky and Uhl10, Dinculeanu7), the reformulation of operator ideals such as the cone absolutely summing operators (Blasco4), and the Hardy spaces of harmonic function (Blasco2,3).
    [Show full text]
  • 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]
  • Gsm076-Endmatter.Pdf
    http://dx.doi.org/10.1090/gsm/076 Measur e Theor y an d Integratio n This page intentionally left blank Measur e Theor y an d Integratio n Michael E.Taylor Graduate Studies in Mathematics Volume 76 M^^t| American Mathematical Society ^MMOT Providence, Rhode Island Editorial Board David Cox Walter Craig Nikolai Ivanov Steven G. Krantz David Saltman (Chair) 2000 Mathematics Subject Classification. Primary 28-01. For additional information and updates on this book, visit www.ams.org/bookpages/gsm-76 Library of Congress Cataloging-in-Publication Data Taylor, Michael Eugene, 1946- Measure theory and integration / Michael E. Taylor. p. cm. — (Graduate studies in mathematics, ISSN 1065-7339 ; v. 76) Includes bibliographical references. ISBN-13: 978-0-8218-4180-8 1. Measure theory. 2. Riemann integrals. 3. Convergence. 4. Probabilities. I. Title. II. Series. QA312.T387 2006 515/.42—dc22 2006045635 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Requests for such permission should be addressed to the Acquisitions Department, American Mathematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294, USA. Requests can also be made by e-mail to [email protected]. © 2006 by the American Mathematical Society.
    [Show full text]
  • About and Beyond the Lebesgue Decomposition of a Signed Measure
    Lecturas Matemáticas Volumen 37 (2) (2016), páginas 79-103 ISSN 0120-1980 About and beyond the Lebesgue decomposition of a signed measure Sobre el teorema de descomposición de Lebesgue de una medida con signo y un poco más Josefina Alvarez1 and Martha Guzmán-Partida2 1New Mexico State University, EE.UU. 2Universidad de Sonora, México ABSTRACT. We present a refinement of the Lebesgue decomposition of a signed measure. We also revisit the notion of mutual singularity for finite signed measures, explaining its connection with a notion of orthogonality introduced by R.C. JAMES. Key words: Lebesgue Decomposition Theorem, Mutually Singular Signed Measures, Orthogonality. RESUMEN. Presentamos un refinamiento de la descomposición de Lebesgue de una medida con signo. También revisitamos la noción de singularidad mutua para medidas con signo finitas, explicando su relación con una noción de ortogonalidad introducida por R. C. JAMES. Palabras clave: Teorema de Descomposición de Lebesgue, Medidas con Signo Mutua- mente Singulares, Ortogonalidad. 2010 AMS Mathematics Subject Classification. Primary 28A10; Secondary 28A33, Third 46C50. 1. Introduction The main goal of this expository article is to present a refinement, not often found in the literature, of the Lebesgue decomposition of a signed measure. For the sake of completeness, we begin with a collection of preliminary definitions and results, including many comments, examples and counterexamples. We continue with a section dedicated 80 Josefina Alvarez et al. About and beyond the Lebesgue decomposition... specifically to the Lebesgue decomposition of a signed measure, where we also present a short account of its historical development. Next comes the centerpiece of our exposition, a refinement of the Lebesgue decomposition of a signed measure, which we prove in detail.
    [Show full text]
  • (Measure Theory for Dummies) UWEE Technical Report Number UWEETR-2006-0008
    A Measure Theory Tutorial (Measure Theory for Dummies) Maya R. Gupta {gupta}@ee.washington.edu Dept of EE, University of Washington Seattle WA, 98195-2500 UWEE Technical Report Number UWEETR-2006-0008 May 2006 Department of Electrical Engineering University of Washington Box 352500 Seattle, Washington 98195-2500 PHN: (206) 543-2150 FAX: (206) 543-3842 URL: http://www.ee.washington.edu A Measure Theory Tutorial (Measure Theory for Dummies) Maya R. Gupta {gupta}@ee.washington.edu Dept of EE, University of Washington Seattle WA, 98195-2500 University of Washington, Dept. of EE, UWEETR-2006-0008 May 2006 Abstract This tutorial is an informal introduction to measure theory for people who are interested in reading papers that use measure theory. The tutorial assumes one has had at least a year of college-level calculus, some graduate level exposure to random processes, and familiarity with terms like “closed” and “open.” The focus is on the terms and ideas relevant to applied probability and information theory. There are no proofs and no exercises. Measure theory is a bit like grammar, many people communicate clearly without worrying about all the details, but the details do exist and for good reasons. There are a number of great texts that do measure theory justice. This is not one of them. Rather this is a hack way to get the basic ideas down so you can read through research papers and follow what’s going on. Hopefully, you’ll get curious and excited enough about the details to check out some of the references for a deeper understanding.
    [Show full text]
  • On the Curvature of Piecewise Flat Spaces
    Communications in Commun. Math. Phys. 92, 405-454 (1984) Mathematical Physics © Springer-Verlag 1984 On the Curvature of Piecewise Flat Spaces Jeff Cheeger1'*, Werner Mϋller2, and Robert Schrader3'**'*** 1 Department of Mathematics, SUNY at Stony Brook, Stony Brook, NY 11794, USA 2 Zentralinstitut fur Mathematik, Akademie der Wissenschaften der DDR, Mohrenstrasse 39, DDR-1199 Berlin, German Democratic Republic 3 Institute for Theoretical Physics, SUNY at Stony Brook, Stony Brook, NY 11794, USA Abstract. We consider analogs of the Lipschitz-Killing curvatures of smooth Riemannian manifolds for piecewise flat spaces. In the special case of scalar curvature, the definition is due to T. Regge considerations in this spirit date back to J. Steiner. We show that if a piecewise flat space approximates a smooth space in a suitable sense, then the corresponding curvatures are close in the sense of measures. 0. Introduction Let Xn be a complete metric space and Σ CXn a closed, subset of dimension less than or equal to (n— 1). Assume that Xn\Σ is isometric to a smooth (incomplete) ^-dimensional Riemannian manifold. How should one define the curvature of Xn at points xeΣ, near which the metric need not be smooth and X need not be locally homeomorphic to UCRnΊ In [C, Wi], this question is answered (in seemingly different, but in fact, equivalent ways) for the Lipschitz-Killing curva- tures, and their associated boundary curvatures under the assumption that the metric on Xn is piecewise flat. The precise definitions (which are given in Sect. 2), are formulated in terms of certain "angle defects." For the mean curvature and the scalar curvature they are originally due to Steiner [S] and Regge [R], respectively.
    [Show full text]
  • The Space Meas(X,A)
    Chapter 5 The Space Meas(X; A) In this chapter, we will study the properties of the space of finite signed measures on a measurable space (X; A). In particular we will show that with respect to a very natural norm that this space is in fact a Banach space. We will then investigate the nature of this space when X = R and A = B(R). 5.1 The Space Meas(X; A) Definition 5.1.1. Let (X; A) be a measurable space. We let Meas(X; A) = fµ j µ is a finite signed measure on (X; A)g It is clear that Meas(X; A) is a vector space over R. For each µ 2 Meas(X; A) define kµkmeas = jµj(X): Observe that if µ, ν 2 Meas(X; A) and if µ = µ+ − µ− and ν = ν+ − ν− are the respective Jordan decomposiitions, then kµ + νkmeas = jµ + νj(X) = (µ + ν)+(X) + (µ + ν)−(X) ≤ (µ+(X) + ν+(X)) + (µ−(X) + ν−(X)) = (µ+(X) + µ−(X)) + (ν+(X) + ν−(X)) = jµj(X) + jνj(X) = kµkmeas + kνkmeas From here it is easy to see that (Meas(X; A); k · kmeas) is a normed linear space. Theorem 5.1.2. Let (X; A) be a measurable space. Then (Meas(X; A); k · kmeas) is Banach space. Proof. Let fµng be a Cauchy sequence in (Meas(X; A); k · kmeas). Let E 2 A. Since jµn(E) − µm(E)j ≤ jµn − µmj(E) ≤ kµn − µmkmeas we see that fµn(E)g is also Cauchy in R. We define for E 2 A, µ(E) = lim µn(E): n!1 72 Note that the convergence above is actually uniform on A.
    [Show full text]
  • Chapter 2. Functions of Bounded Variation §1. Monotone Functions
    Chapter 2. Functions of Bounded Variation §1. Monotone Functions Let I be an interval in IR. A function f : I → IR is said to be increasing (strictly increasing) if f(x) ≤ f(y)(f(x) < f(y)) whenever x, y ∈ I and x < y. A function f : I → IR is said to be decreasing (strictly decreasing) if f(x) ≥ f(y)(f(x) > f(y)) whenever x, y ∈ I and x < y. A function f : I → IR is said to be monotone if f is either increasing or decreasing. In this section we will show that a monotone function is differentiable almost every- where. For this purpose, we first establish Vitali covering lemma. Let E be a subset of IR, and let Γ be a collection of closed intervals in IR. We say that Γ covers E in the sense of Vitali if for each δ > 0 and each x ∈ E, there exists an interval I ∈ Γ such that x ∈ I and `(I) < δ. Theorem 1.1. Let E be a subset of IR with λ∗(E) < ∞ and Γ a collection of closed intervals that cover E in the sense of Vitali. Then, for given ε > 0, there exists a finite disjoint collection {I1,...,IN } of intervals in Γ such that ∗ N λ E \ ∪n=1In < ε. Proof. Let G be an open set containing E such that λ(G) < ∞. Since Γ is a Vitali covering of E, we may assume that each I ∈ Γ is contained in G. We choose a sequence (In)n=1,2,... of disjoint intervals from Γ recursively as follows.
    [Show full text]
  • Section 3.5 of Folland’S Text, Which Covers Functions of Bounded Variation on the Real Line and Related Topics
    REAL ANALYSIS LECTURE NOTES: 3.5 FUNCTIONS OF BOUNDED VARIATION CHRISTOPHER HEIL 3.5.1 Definition and Basic Properties of Functions of Bounded Variation We will expand on the first part of Section 3.5 of Folland's text, which covers functions of bounded variation on the real line and related topics. We begin with functions defined on finite closed intervals in R (note that Folland's ap- proach and notation is slightly different, as he begins with functions defined on R and uses TF (x) instead of our V [f; a; b]). Definition 1. Let f : [a; b] ! C be given. Given any finite partition Γ = fa = x0 < · · · < xn = bg of [a; b], set n SΓ = jf(xi) − f(xi−1)j: i=1 X The variation of f over [a; b] is V [f; a; b] = sup SΓ : Γ is a partition of [a; b] : The function f has bounded variation on [a; b] if V [f; a; b] < 1. We set BV[a; b] = f : [a; b] ! C : f has bounded variation on [a; b] : Note that in this definition we are considering f to be defined at all poin ts, and not just to be an equivalence class of functions that are equal a.e. The idea of the variation of f is that is represents the total vertical distance traveled by a particle that moves along the graph of f from (a; f(a)) to (b; f(b)). Exercise 2. (a) Show that if f : [a; b] ! C, then V [f; a; b] ≥ jf(b) − f(a)j.
    [Show full text]
  • Measure Algebras and Functions of Bounded Variation on Idempotent Semigroupso
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 163, January 1972 MEASURE ALGEBRAS AND FUNCTIONS OF BOUNDED VARIATION ON IDEMPOTENT SEMIGROUPSO BY STEPHEN E. NEWMAN Abstract. Our main result establishes an isomorphism between all functions on an idempotent semigroup S with identity, under the usual addition and multiplication, and all finitely additive measures on a certain Boolean algebra of subsets of S, under the usual addition and a convolution type multiplication. Notions of a function of bounded variation on 5 and its variation norm are defined in such a way that the above isomorphism, restricted to the functions of bounded variation, is an isometry onto the set of all bounded measures. Our notion of a function of bounded variation is equivalent to the classical notion in case S is the unit interval and the "product" of two numbers in S is their maximum. 1. Introduction. This paper is motivated by the pair of closely related Banach algebras described below. The interval [0, 1] is an idempotent semigroup when endowed with the operation of maximum multiplication (.vj = max (x, y) for all x, y in [0, 1]). We let A denote the Boolean algebra (or set algebra) consisting of all finite unions of left-open, right-closed intervals (including the single point 0) contained in the interval [0, 1]. The space M(A) of all bounded, finitely additive measures on A is a Banach space with the usual total variation norm. The nature of the set algebra A and the idempotent multiplication given the interval [0, 1] make it possible to define a convolution multiplication in M(A) which makes it a Banach algebra.
    [Show full text]
  • Radon-Nikodym Theorem and Its Applications
    Radon-Nikodym Theorem And Its Applications Li Tao PB13001106 Abstraction: Radon-Nikodym theorem is one of the most important result in real analy- sis. In this paper, I will introduce the background of this problem and some basic definitions at first. Then I will give the proof, as well as several applications of Radon-Nikodym theorem, including conditional expectation, the dual space of Lp and change of measure in stochastic analysis. Keywords: Radon-Nikodym theorem, conditional expectation, dual space of Lp, change of measure 1 Introduction and notations Generally speaking, Radon-Nikodym theorem gives the connection between two measures. The theorem is named after Johann Radon, who proved the theorem for the special case where the underlying space is Rn in 1913, and for Otto Nikodym who proved the general case in 1930. In 1936 Hans Freudenthal further generalized the Radon-Nikodym theorem by proving the Freudenthal spectral theorem, a result in Riesz space theory, which contains the Radon-Nikodym theorem as a special case. However, before we state the theorem, we need some basic definitions. In this lecture, we always assume the background mesurable space is (Ω; F). Definition(Measure) (Ω; F) is a measurable space, a set function µ : F! [0; 1] is a 1 P1 measure if µ(;) = 0 and µ([i=1Ai) = i=1 µ(Ai) for disjoint Ai. Definition(Finite Measure) A measure µ on (Ω; F) is finite if µ(Ω) < 1. Definition(σ-Finite Measure) A measure µ on (Ω; F) is σ-finite if 9An 2 F; n ≥ 1 such that [nAn = Ω and µ(An) < 1.
    [Show full text]