arXiv:0911.2931v1 [math.CA] 15 Nov 2009 rpitNvme 4 09 oapa in appear To 2009. 14, November Preprint that if 00sbetclassification: prove subject are 2000 ch theorems convergence parts, by and integration theorem module as Taylor’s a inequality, such are for Properties distributions variation variation. integrable bounded bounded The of spa of multipliers. the Functions of space of the norm. completion and Alexiewicz the Henstock the is and in It Lebesgue measures of embeddings. continuous spaces as the Ban and contains functions space It Banach a norm. is distributions Alexiewicz integrable of space The vals. hs eiaiei nsm es qa oteitgad o examp For integrand. the to equal funct a sense is primitive some and The in primitive. is its derivative via is whose integral an defining of way One Introduction 1 integral Henstock–Kurzweil distributions, integral, joy phrases: and Keywords o h entoso hs ucinsae n h ieDno int Denjoy wide the and spaces function these of definitions the for uzelitga,frwhich for integral, Kurzweil R dsrbtoa rwa eiaie o euae function regulated a for derivative) weak or (distributional ii tec on.If point. each at limit Abstract. nerlof integral a b F 1 f upre yteNtrlSine n niern eerhCou Research Engineering and Sciences Natural the by Supported F ∈ = F r ucin ntera ieand line real the on functions are ′ ACG F ( x ( f = ) b ucino h elln scle euae fi a etlmtadaright a and limit left a has it if regulated called is line real the on function A ) is − R n eueteapoiaedrvtv.Se o xml,[26] example, for See, derivative. approximate the use we and f ( a,b F ( x h euae rmtv integral primitive regulated The ( ) o lotall almost for ) a f .Tesm ehdcnb sdt en h Henstock– the define to used be can method same The ). = eateto ahmtc n Statistics and Mathematics of Department f F saShat itiuino h elln uhthat such line real the on distribution Schwartz a is ( bosod CCnd 2 7M8 V2S Canada BC Abbotsford, b euae ucin itiuinlitga,distributi integral, distributional function, regulated − nvriyo h rsrValley Fraser the of University ) 63,4E5 60,46G12 46F05, 46E15, 26A39, − F F [email protected] ( a rkTalvila Erik liosJunlo Mathematics. of Journal Illinois ∈ x ) ihsmlrdfiiin o te ye finter- of types other for definitions similar with +), ∈ ACG ( ,b a, F ∗ ,te h eegeitga of integral Lebesgue the then ), egttewd ejyintegral Denjoy wide the get We . sasltl otnos( continuous absolutely is 1 primitive , F hntergltdprimitive regulated the then neo aibe,H¨older variables, of ange d. Krwi integrable –Kurzweil c atc ne the under lattice ach eo indRadon signed of ce clo Canada. of ncil vrtefunctions the over h ulspace dual the m AC nlDen- onal e if le, f such ) egral. = f ion F is f ′ The regulated primitive integral 2
The Henstock–Kurzweil integral is equivalent to the Denjoy integral and is defined further in this Introduction. Note that C1 ( AC ( ACG ( ACG ( ∗ C0. The symbols and allow set equality. If we use the distributional derivative then the⊂ primitives⊃ need not have any pointwise differentiation properties. See [31] for an integral with continuous functions as primitives. In this paper we will describe an integral whose primitives are regulated functions. This integral will contain all of the integrals above. As well, it can integrate signed Radon measures. We will now describe the space of primitives for the regulated primitive integral. Function F :R R is regulated if it has left and right limits at each → point in R. For a R write F (a ) = limx→a− F (x), F (a+) = limx→a+ F (x), F ( ) = lim ∈ F (x), F ( )− = lim F (x). Then F is left continuous −∞ x→−∞ ∞ x→∞ at a R if F (a) = F (a ) and right continuous if F (a) = F (a+). We de- ∈ − fine R = F : R R F is regulated and left continuous on R, F ( ) = 0, F (B ) {R . Hence,→ | elements of are real-valued functions defined−∞ on ∞ ∈ } BR the extended real line R = [ , ]. It will be shown below that R is a Banach space under the uniform−∞ norm.∞ The space of integrable distributionsB will be those distributions that are the distributional derivative of a function in R. We will see that elementary properties of distributions can be used to proveB that the set of integrable distributions is a Banach space isometrically isomorphic to R. Most of the usual properties of integrals hold: fundamen- tal theorem ofB calculus, addivity over intervals, integration by parts, change of variables, H¨older inequality, Taylor’s theorem, convergence theorems. The multipliers and dual space are the functions of bounded variation. This de- fines a product that makes the integrable distributions into a module over the functions of bounded variation. There is a Banach lattice structure. The subspace of primitives of bounded variation corresponds to absolutely con- vergent integrals. Each integrable distribution is a finitely additive measure defined on the algebra of sets of bounded variation. We get a finite measure if and only if the convergence is absolute. These distributions are signed Radon measures. The regulated functions are continuous in the topology of half- open intervals. It is shown that the space of integrable distributions is the completion of the space of signed Radon measures in the Alexiewicz norm. See the paragraph preceding Theorem 4 for the definition. This embedding is continuous. Note, however, that the spaces of Lebesgue and Henstock– Kurzweil integrable functions are separable in the Alexiewicz norm topology while our space of integrable distributions is not separable. Hence, it is not the completion of these function spaces. The regulated primitive integral 3
The integral in the present paper has several possible extensions to Eu- clidean spaces. In Rn, geometrical considerations change the character of the integral. And there is the problem of which differential operator to invert. There are integrals associated with inverting the nth order distributional differential operator ∂n/∂x ∂x . For continuous primitives, this type of 1 ··· n integral was introduced in [23] and developed systematically in [2]. At the other extreme, there are integrals that invert the first order distributional divergence operator. See [24]. If a set S Rn has a normal vector at almost all points of its boundary then we can use⊂ this direction to define limits along the normal from within and without S. This then defines functions that are regulated on the boundary of this particular set S. The divergence theorem for sets of finite perimeter ([9], [36]) can then be used to define an integral over S for distributions that are the distributional derivative of a regulated function. If S is a hypercube in Rn then its boundary is a hypercube in Rn−1 so that the divergence theorem in Rn yields the integral of [2]. Details will be published elsewhere. If µ is a Borel measure on the real line we use the notation Lp(µ) (1 p< ) for the functions f :R R such that the Lebesgue integral f p dµ≤ ∞ → R | | exists. For Lebesgue measure λ we write Lp. R To proceed further we will fix some notation for distributions. The test ∞ functions are = Cc (R), i.e., the smooth functions with compact support. The support ofD a function φ is the closure of the set on which φ does not vanish. Denote this as supp(φ). There is a notion of continuity in . If D φn then φn φ if there is a compact set K R such that for all { }⊂D → ∈D (m⊂) (m) n N, supp(φn) K, and for each integer m 0, φn φ uniformly on∈K as n ⊂. The distributions are the continuous≥ → linear functionals on , denoted→ ∞′. If T ′ then T : R and we write T,φ R for D D ∈ D D → h i ∈ φ . If φn φ in then T,φn T,φ in R. And, for all a1, a2 R ∈ D → D h i→h i p ∈ and all φ, ψ , T, a1φ + a2ψ = a1 T,φ + a2 T, ψ . If f Lloc for some ∈D h ∞ i h i h i ∈ 1 p then T ,φ = fφ defines a distribution. The differentiation ≤ ≤∞ h f i −∞ formula T ′,φ = T,φ′ ensuresR that all distributions have derivatives of all orders whichh arei themselves−h i distributions. This is known as the distributional derivative or weak derivative. The formula follows by mimicking integration 1 by parts in the case of Tf where f C . We will usually denote distributional derivatives by F ′ and pointwise derivatives∈ by F ′(t). For T ′ and t R ∈ D ∈ the translation τt is defined by τtT,φ = T, τ−tφ where τtφ(x) = φ(x t) for φ . Most of the results onh distributionsi h wei use can be found in [11].− ∈D The regulated primitive integral 4
L. Schwartz [29] defined the integral of distribution T as T, 1 , provided this exists. This agrees with ∞ f if T = T for f L1 (i.e.,h f isi integrable −∞ f ∈ with respect to Lebesgue measure).R In Schwartz’s definition the integral is then a linear functional on the constant functions. We will see that, as a result of the H¨older inequality (Theorem 13), our integral can be viewed as a continuous linear functional on functions of bounded variation (Theorem 17). It then extends Schwartz’s definition. Other methods of integrating distribu- tions have been considered by J. Mikusi´nski, J. A. Musielak and R. Sikorski. See the last paragraph in Section 11 of [31] for references. As will be seen in Section 5 below, the integration by parts formula connects the regulated primitive integral with a type of Stieltjes integral that has been studied by J. Kurzweil, S.ˇ Schwabik and M. Tvrd´y[32]. Denjoy’s original constructive approach to a nonabsolute integral that integrated all pointwise and approximate derivatives was a type of transfinite induction applied to sequences of Lebesgue integrals. The method of ACG ∗ functions and ACG functions is due to Lusin. See [16] and [26]. In what follows we define an integral that integrates weak derivatives of regulated functions. It also has a definition based on a previously defined integral; in this case from Riemann integrals on compact intervals. Another approach to nonabsolute integration is through Riemann sums. The Henstock–Stieltjes integral is defined as follows ([22, 7.1] where it is called the gauge integral). A gauge on R is a mapping γ from§ R to the open intervals in R (cf. Remark 3) with the property that for each x R, γ(x) ∈ is an open interval containing x. Note that this requires γ( ) = R or γ( ) = [ , a) or γ( )=(b, ] for some a, b R. A tagged±∞ partition is−∞ a finite set−∞ of pairs of closed∞ intervals∞ and tag points∈ in the extended real N line, = ([xn−1, xn], zn) n=1 for some N N such that zn [xn−1, xn] for eachP 1 { n N and} = x < x ∈< x < ... < x ∈ = . In ≤ ≤ −∞ 0 1 2 N ∞ addition, z = and z = . Given a gauge, γ, the partition is said 0 −∞ N ∞ P to be γ-fine if [xn−1, xn] γ(zn) for each 1 n N. If F,g : R R then F is integrable with⊂ respect to g if there≤ is A≤ R such that for→ all ∈ ǫ > 0 there is gauge γ such that for each γ-fine tagged partition we have N F (z )[g(x ) g(x )] A < ǫ. We will use the Henstock–Stieltjes | n=1 n n − n−1 − | integralP only for regulated functions F and g so we can use limits to define the values of these functions at . If g(x)= x we have the Henstock–Kurzweil integral, i.e., integration with±∞ respect to Lebesgue measure. In this case, we take F ( ) = 0. For integration over a compact interval, a function is Riemann integrable±∞ if and only if the gauge γ can be taken to be constant, The regulated primitive integral 5 i.e., γ(x)=(x δ, x + δ) for some constant δ > 0. If function −F has a pointwise derivative at each point in [a, b] then the b ′ derivative is integrable in the Henstock–Kurzweil sense and a F (x) dx = F (b) F (a). In this sense, the Henstock–Kurzweil integral invertsR the point- wise− derivative operator. It is well known that the Riemann and Lebesgue integrals do not have this property. For details see [22]. There are functions for which this fundamental theorem of calculus formula holds and yet these functions do not have a pointwise derivative at each point. In this sense the Henstock–Kurzweil integral is not the inverse of the pointwise derivative. The C-integral of B. Bongiorno, L. Di Piazza and D. Priess is defined using Riemann sums and a modification of the gauge process above. A function has a C-integral if and only if it is everywhere the pointwise derivative of its primitive. See [5]. In this sense the C-integral is the inverse of the pointwise derivative. The integral defined in the present paper inverts the distribu- tional derivative but only for primitives that are regulated functions. The restriction to regulated primitives is useful as it leads to a Banach space of integrable distributions.
2 The regulated primitive integral
Define = f ′ f = F ′ for some F . A distribution f is AR { ∈ D | ∈ BR} integrable if it is the distributional derivative of some primitive F R, ∞ ∈ B i.e., for all φ we have f,φ = F ′,φ = F,φ′ = F (t)φ′(t) dt. ∈ D h i h i −h i − −∞ Since F is regulated and φ is smooth with compact support,R the last integral exists as a Riemann integral. We will use the following convention in labeling primitives of elements in . AR
Convention 1 When f,g,f1, h,˜ etc. are in R we will denote their respec- tive primitives in by F,G,F , H,˜ etc. A BR 1 It will be shown in Theorem 4 below that primitives are unique and that the spaces and are isometrically isomorphic, the integral constituting a AR BR The regulated primitive integral 6 linear isometry. If f and If F is continuous then these four integrals agree. For a = and b = we write these four integrals as ∞ f = F ( ). We can also−∞ define f ∞= −∞ ∞ {a} f = a+ f = F (a+) F (a R). R [a,a] a− − − R ElementsR of R are tempered distributions of order one, while elements of are temperedB distributions of order two. See [11] for the definitions. AR 3 Examples (a) If F AC and F ′(t) = f(t) for almost all t R then for φ we can integrate∈ by parts to get ∈ ∈D ∞ F ′,φ = F,φ′ = F (t)φ′(t) dt h i −h i − Z−∞ ∞ ′ ∞ = F (t)φ(t) dt [F (t)φ(t)]t=−∞ Z−∞ − ∞ = f(t)φ(t) dt = f,φ . Z−∞ h i Each of the integrals above is a Lebesgue integral. It then follows that if 1 F ( ) = 0 and F ( ) exists then f is Lebesgue integrable and L ( R. Similarly,−∞ the regulated∞ primitive integral contains the Henstock–KurzweilA integral and wide Denjoy integral. See [6, p. 33, 34] for the integration by parts formula for these integrals. (b) Suppose F is continuous but differentiable nowhere. Then f de- ∈ BR fined by f = F ′ and f = F (b) F (a) for I =(a, b), (a, b], [a, b), [a, b] ∈AR I − R The regulated primitive integral 7 whenever a < b . Note that for φ we have f,φ = F ′,φ = F,φ′ =−∞ ≤∞ F (t)φ≤∞′(t) dt. This last integral∈D exists in theh Riemanni h sense.i −h i − −∞ (c) If F : RR R is a continuous function such that F ′(x) = 0 for almost → b all x R then for all [a, b] R the Lebesgue integral F ′(t) dt exists and ∈ ⊂ a is zero, while b F ′ = F (b) F (a). An example of suchR a function F is the a − Cantor–LebesgueR function (devil’s staircase). (d) Let denote the functions of bounded variation, i.e., functions F for which VBV F := sup F (x ) F (y ) is bounded, where the supremum | i − i | is taken over all disjointP intervals (xi,yi) . Note that if F then F { }′ ∈ BV′ is regulated and F ( ) exist. Hence, F R. Although F (t) exists ±∞ ∈ A b ′ for almost all t R, and the Lebesgue integral a F (t) dt exists, it need ∈ 1 not equal F (b) F (a). If F Lloc then the essentialR variation of F is ess varF := sup −∞ F (t)φ′(t) dt∈where the supremum is taken over all φ −∞ ∈D with φ ∞ 1.R And, ess varF = inf VG such that F = G almost every- k k ≤ where. The essential variation can also be computed by restricting the points xi,yi above to be points of approximate continuity of F . Denote the functions with bounded essential variation as . If F then the distributional EBV ∈ EBV derivative of F is a signed Radon measure, i.e., there is a signed Radon mea- sure µ such that for all φ we have F ′,φ = F,φ′ = ∞ φ(t) dµ(t). ∈ D h i −h i −∞ Radon measures are Borel measures that are finite on compactR sets, inner regular with respect to compact sets (µ(E) = sup µ(K) where E is a Borel set and the supremum is taken over all compact sets K E) and outer regular ⊂ with respect to open sets (µ(E) = inf µ(G) where E is a Borel set and the infimum is taken over all open sets G E). In R the Radon measures are ⊃ the Borel measures that are finite on compact sets. See, for example, [4, 26]. A signed Radon measure is then the difference of two finite Radon measures.§ If µ is a signed Radon measure then F defined by F (x) = (−∞,x) dµ is a function of bounded variation. For, if (x ,y ) are disjointR intervals then { i i } F (xi) F (yi) = [x ,y ) dµ [x ,y ) d µ µ (R) < . The regu- | − | i i ≤ i i | |≤| | ∞ larityP of µ shows F PR R. Hence, eachP signedR Radon measure is in R. Since functions of bounded∈ Bvariation can have a pointwise derivative thatAvanishes almost everywhere, we cannot use a descriptive definition of the integral of a measure using the pointwise derivative of its primitive. If ν is a Radon measure and f L1(ν) then the set function µ defined by µ(E)= f dν is a signed Radon measure.∈ Hence, µ . If ν is absolutely E ∈AR continuousR with respect to Lebesgue measure (ν λ) and f L1(ν) then it follows from the Radon–Nikod´ym theorem that fdν/dλ≪ L1∈ . ∈ ⊂AR The regulated primitive integral 8 (e) A distribution T is said to be positive if T,φ 0 whenever φ with φ 0. It is known that positive distributionsh i correspond ≥ to Radon∈ D ≥ measures, i.e., T ′ is positive if and only if there is a Radon measure µ such that for all∈φ D we have T,φ = ∞ φ(t) dµ(t). For example, ∈ D h i −∞ [35, page 17]. An example of a positive distributionR in R is the Dirac B distribution. Define the Heaviside step function by H (x)=0 for x 0 and 1 ≤ H1(x) = 1 for x > 0. The Dirac distribution is then given by δ, φ = φ(0) ′ ∞ ′ ′ h i (φ ). And, H1,φ = 0 φ (t) dt = φ(0) so H1 = δ, H1 R, ∈ D h i − ′ ∈ B δ R. We have δ = R H = H1(1 ) H1(0+) = 1 1=0 ∈ A (0,1) (0,1) 1 − − − R R while [0,1) δ = H1(1 ) H1(0 )=1 0 = 1. Define H2(x) =0 for x < 0 − − − − ′ ′ and HR2(x) = 1 for x 0. In , H1 = H2 and H1 = H2 = δ. Note that H but H′ = ≥H′ for everyD interval I R. This discrepancy in 2 6∈ BR I 2 I 1 ⊂ BR is discussed inR RemarkR 5 below. Note also that δ is a Radon measure defined by δ(E)= χE(0) for all E R. And, {0} δ = 1. ⊂ ∞ (f) If ak is a sequence in R suchR that 1 ak converges (absolutely or { } n conditionally) then we can define a function FP:[0, ) R by F (x)= ak ∞ → 1 if x (n, n +1] for some n N and F (x) = 0 if x 1. Then F is regulated,P ∈ ∈ ∞ ≤ ′ left continuous, F (0) = 0 and F ( ) = 1 ak. We have F = f where ∞∞ f R is the distribution f = ak(τkPδ). (See the Introduction for the ∈ A 1 definition of translation.) This givesP f = N a for each N N and [1,N] 1 k ∈ for N = . Hence, integration in R Rincludes series.P ∞ A (g) Some finitely additive measures are also in R. For example, if x A f(t) = sin(t2) define F (x) := f(t) dt. Then F (I) = F (b) F (a) −∞ − for interval I with endpoints R a < b defines a finitely addi- −∞ ≤ ≤ ∞ tive measure on the algebra generated by intervals on the real line. And, ′ F R with F = Tf . Since the integral converges conditionally, F is ∈ B ∞ not countably additive. For example, 0 F ([√2nπ, (2n + 1)π)) = ∞ ∞ while ∞ F ([ (2n 1)π, √2nπ)) = Pbut F ([0, p)) = sin(t2) dt = 1 − −∞ ∞ 0 √π/23P/2. A similarp example is obtained with f(t)=(d/dt)[t2Rsin(t−4)]. (h) If F : R R is any function then the Riemann–Stieltjes integral → b dF = F (b) F (a) exists for all (a, b) R. The Riemann–Stieltjes integral a − ⊂ thenR contains the regulated primitive integral. We will see that R is a useful restriction since it is a Banach space. Below it will be shownA that we ∞ can define −∞ f dg under more general conditions than can be done for the Riemann–StieltjesR or Lebesgue–Stieltjes integrals. The regulated primitive integral 9 4 Properties of the integral First we have some properties of our space of primitives. Theorem 2 (Properties of ) (a) If F then it is uniformly reg- BR ∈ BR ulated, i.e., for each ǫ > 0 there exists δ > 0 such that for each x R, if y (x δ, x) then F (x ) F (y) < ǫ and if y (x, x + δ) ∈then F (x+)∈ F−(y) < ǫ. If| y <−1/δ− then | F (y) < ǫ. And,∈ if y > 1/δ then | − | | | F ( ) F (y) < ǫ. Similarly, F is uniformly left continuous. (b) If F R |then∞F −is bounded| and has at most a countable number of discontinuities.∈ B(c) Using pointwise operations, is a Banach space under the uniform norm: BR F = sup R F (x) , for F . (d) is not separable. k k∞ x∈ | | ∈ BR BR Proof: (a) Let ǫ> 0. There is α< 0 such that if y α then F (y) < ǫ. For each x R there is η > 0 such that if y (x η , x≤] then F (|y) F| (x) < ǫ. ∈ x ∈ − x | − | There is γx > 0 such if y (x, x + γx) then F (y) F (x+) < ǫ. There is β > 0 such that if y β∈then F (y) F ( |) < ǫ−. Let ζ |= min(η ,γ ). ≥ | − ∞ | x x x The family of open intervals (x ζ , x + ζ ) R forms an open cover of { − x x }x∈ the compact interval [α, β]. There is then a finite index set J R such that (x ζ , x + ζ ) is again an open cover of [α, β]. Now⊂ let δ = { − x x }x∈J min( 1/α, 1/β, minx∈J ζx). Since δ > 0 this shows F is uniformly regulated and uniformly− left continuous. (b) In (a) let ǫ = 1. Then F (x) 1+ max( F (α) , max( F (x) , F (x+) ), F (β) ) < . | | ≤ | | x∈J | | | | | | ∞ See [22, p. 225] for a proof that there are at most countably many points of discontinuity. (c) By (b), if F R then F is bounded and measurable. To prove R is a Banach space, first∈ note B it is a linear subspace of L∞(R) since is clearlyB BR closed under linear combinations. And, if F R such that F ∞ = 0 then F (x) = 0 for almost all x R. But F is∈ left B continuousk sok if there were b R such that F (b) > 0 then∈ there is an interval (a, b] on which F ∈ is positive, which is a contradiction, so F (x) = 0 for all x R. Positivity, homogeneity and the triangle inequality are inherited from L∈∞(R). To show is complete, suppose F is a Cauchy sequence in . Then F is a BR { n} BR { n} The regulated primitive integral 10 ∞ ∞ Cauchy sequence in L (R) so there is F L (R) such that F Fn ∞ 0. To show F is left continuous, suppose a ∈ R. For x < a andkn − N,k → ∈ ∈ F (a) F (x) F (a) F (a) + F (a) F (x) + F (x) F (x) | − | ≤ | − n | | n − n | | n − | 2 F F + F (a) F (x) . (5) ≤ k − nk∞ | n − n | Given ǫ> 0, fix n large enough so that F F < ǫ/3. Then let x a . k − nk∞ → − Hence, F is left continuous on R. Using F (a) F Fn ∞ + Fn(a) we see that F ( ) = 0. We can see that F has| a right|≤k limit− atka R| by taking| −∞ ∈ x, y > a and letting x, y a+ in F (x) F (y) 2 F Fn ∞ + Fn(x) F (y) . And, F ( ) is seen→ to exist| by letting− x,| ≤ y k − ink this inequality.k − n | ∞ → ∞ Therefore, F and the space is complete. ∈ BR (d) To see that R is not separable, consider the family of translations τ H t R .B The function H is defined in Example 3(e). Given { t 1 | ∈ } 1 0 <ǫ< 1/2, for each t R a dense subset of would have to contain ∈ BR a function Ft with Ft < ǫ on ( , t] and Ft 1 < ǫ on (t, ). Hence, no such dense set can| be| countable.−∞ | − | ∞ Further properties of regulated functions can be found in [10] and [15]. Remark 3 Note that the construction in (a) gives a compactification of R. A topological base for R consists of the usual open intervals (a, b) with a < b , as well as [ , a) with < a , and (a, ] with −∞ ≤ ≤ ∞ −∞ −∞ ≤ ∞ ∞ a < . This makes R into a compact Hausdorff space. A different −∞ ≤ ∞ topology is introduced in Section 10, under which all functions in R are continuous. B We now present some of the basic properties of the integral. One of the main results is that is a Banach space under the Alexiewicz norm. For AR f this is defined as f = F where, as usual, F is the unique ∈ AR k k k k∞ primitive in R (Convention 1). Linear combinations are defined by a1f1 + a f ,φ = aBF ′ + a F ′,φ for φ ; a , a R; f , f with primitivesh 2 2 i h 1 1 2 2 i ∈D 1 2 ∈ 1 2 ∈AR F , F . 1 2 ∈ BR Theorem 4 (Basic properties of the integral) (a) The integral is unique. (b) Addivity over intervals. If f then for all a Proof: (a) To prove the integral is unique we need to prove primitives in ′ ′ ′ R are unique. Suppose F,G R and F = G . Then (F G) = 0 and Bthe only solutions of this distributional∈ B differential equation are− the constant distributions [11, 2.4]. The only constant distribution in R is the zero function. § B (b) Note that [F (b+) F (a+)] + [F (c+) F (b+)] = F (c+) F (a+). − − − (c) Linearity of the distributional derivative shows R is a linear subspace of ′. To prove is a norm, let f,g . A D k·k ∈AR (i) By uniqueness of the primitive, 0 = 0 ∞ = 0. If f = 0 then k k k k k k ′ F ∞ = supx∈R F (x) =0 so F (x) = 0 for all x R and therefore f = F = 0.k k | | ∈ ′ ′ (ii) Let k R. Then (kF ) = kF so kf = kF ∞ = k F ∞ = k f . ∈ k k k k | |k k | |k(iii)k Since f + g = F ′ + G′ = (F + G)′ we have f + g = F + G k k k k∞ ≤ F ∞ + G ∞ = f + g . k kThis showsk k kisk a normedk k linear space. To prove it is complete, suppose AR f is a Cauchy sequence in . Then F F = f f so F is { n} AR k n − mk∞ k n − mk { n} a Cauchy sequence in R. There is F R such that Fn F ∞ 0. And then f F ′ = F B F 0. Since∈ BF we havek −F ′ k →and k n − k k n − k∞ → ∈ BR ∈AR AR is complete. A linear bijection ψ : is given by ψ(f)= F where f and AR → BR ∈AR F is its unique primitive in . Since the integral is linear, so is ψ. It is an BR isometry because f = F ∞ = ψ(f) ∞. (d) To show thatk k kis notk separable,k k consider the set τ δ t R . Now AR { t | ∈ } proceed as in the proof of Theorem 2(d). ′ ∞ (e) Since a1f1 +a2f2 =(a1F1 +a2F2) we have −∞(a1f1 +a2f2)=(a1F1 + ∞ ∞ a2F2)( )= a1F1( )+ a2F2( )= a1 −∞ f1 + a2R −∞ f2. ∞a2ǫ2 ∞ ∞ a1ǫ1 (f) f = F (a2ǫ2) F (a1ǫ1)= R[F (a1ǫ1) FR (a2ǫ2)] = f. a1ǫ1 − − − − a2ǫ2 R R No space of integrable functions or distributions for which primitives are continuous can be dense in . If G is a continuous primitive then G′ AR k − The regulated primitive integral 12 ′ 1 H1 = G H1 ∞ 1/2. Thus, L is not dense in R, nor are the spaces of Henstock–Kurzweilk k − k ≥ or wide Denjoy integrable functions.A The completion of ′ these spaces in the Alexiewicz norm is the Banach space C = f f = ′ 0 A { ∈D | F for some F C , where C = F C (R) F ( ) = 0 and F ( ) R . If f ∈ Band} F ′ = fBwhere{ F∈is its unique| −∞ primitive in ∞then∈ } ∈ AC BC the continuous primitive integral of f is b f = F (b) F (a). This integral a − is discussed in [31], where further referencesR can also be found. Note that the spaces of Henstock–Kurzweil and wide Denjoy integrable functions are barrelled but not complete under the Alexiewicz norm. Remark 5 In defining we have chosen the primitives to be left contin- BR uous. This is convenient but somewhat arbitrary. If two regulated func- tions have the same left and right limit at each point then the functions can be different on a countable set but will still define the same distri- bution and thus have the same distributional derivative. This does not affect the integral since it only depends on limits at endpoints of an in- terval and not on the value of the primitive at the endpoints. It is clear that an equivalence relation between such primitives could be established, namely, F G if and only if F (x ) = G(x ) for all < x and ≡ − − −∞ ≤ ∞ F (x+) = G(x+) for all x < . An advantage of using left con- tinuous functions rather than−∞ ≤ just regulated∞ functions is that the norm on R can be taken as F ∞ = supx∈R F (x) rather than essential supremum. BThis choice also affectsk k the lattice operations| | in Section 9. Other obvious conventions are to take primitives that are right continuous or for which F (x) = [F (x )+ F (x+)]/2. As pointed out in [17], any normalising con- dition F (x) =− (1 λ)F (x )+ λF (x+) suffices for fixed 0 λ 1. In Lebesgue and Henstock–Kurzweil− − integration we have equivalence≤ classes≤ of functions that agree almost everywhere. In R there are no such equivalence classes, for two distributions are equal if theyA agree on all test functions. For example, if f,g L1 and f = g almost everywhere then T = T . ∈ loc f g Our definition of the integral builds in half of the fundamental theorem of calculus. The other half follows easily from uniqueness. Theorem 6 (Fundamental theorem of calculus) (a) Let f R. De- fine G (x) = f. Then G = F on R and G′ = f in ∈. A Define 1 (−∞,x) 1 1 D G (x) = R f. Then G is right continuous, G ( )=0, G ( ) ex- 2 (−∞,x] 2 2 −∞ 2 ∞ ists and GR ′ = f. (b) Let G be a regulated function with limits at . 2 ±∞ The regulated primitive integral 13 Then G′ and, for all x R, G′ = G(x ) G( ) and ∈ AR ∈ (−∞,x) − − −∞ G′ = G(x+) G( ). R (−∞,x] − −∞ R Proof: (a) Since f there is a unique function F such that F ′ = f ∈AR ∈ BR and G (x) = f = F (x ) = F (x) for all x R. For x R we have 1 (−∞,x) − ∈ ∈ R G2(x) = (−∞,x] f = F (x+). It follows that G2 is right continuous. And, lim GR (x) = lim F (x+) = F ( ) = 0. As well, lim G (x)= x→−∞ 2 x→−∞ −∞ x→∞ 2 limx→∞ F (x+) = F ( ). Therefore, G2 = F except perhaps on a countable ∞ ′ ′ set. They then define the same distribution and G2 = F = f. ′ ′ (b) Define F1(x) = G(x ) G( ). Then F1 R and F1 = G so G′ . Since G((x )−)− = G(−∞x ) we have ∈ BG′ = F (x ) = ∈ AR − − − (−∞,x) 1 − G(x ) G( ). As well, G((x )+) = G(x+) soR G′ = F (x+) = − − −∞ − (−∞,x] 1 G(x+) G( ). R − −∞ As with the Henstock–Kurzweil integral there are no improper integrals. Theorem 7 (Hake theorem) Suppose f ′ and f = F ′ for some reg- ∈ D ulated function F . If F ( ) and F ( ) exist in R then f R and ∞ f = lim f + lim−∞ f∞= F ( ) F ( ). ∈ A −∞ x→∞ (0,x) x→−∞ (x,0] ∞ − −∞ R R R There are similar versions of this theorem on compact intervals. If T is a distribution and G:R R is an increasing C∞ bijection then for → test function φ define ψ by ψ =(φ G−1)/(G′ G−1). The composition T G ′ is then defined∈D by T G,φ◦ = T, ψ◦. This follows from the change◦ ∈ of D variables formula forh integration◦ i ofh smoothi functions. See [11, 7.1]. § For the case at hand we can reduce the requirements on G. If F R and the real line can be partitioned into a finite number of intervals, on∈ Beach of which G is monotonic (i.e., G is piecewise monotonic) then F G is regulated so we can integrate its derivative. This gives a change of variables◦ formula. Theorem 8 (Change of variables) (a) Let F R. For each point in R let G:R R have left and right limits with values∈ inB R. Let G be piecewise monotonic→ with lim G existing in R. Then F G is regulated on R with ±∞ ◦ real limits at . Define (F ′ G)G′ := (F G)′. ±∞ ◦ ◦ The regulated primitive integral 14 (b) Let f . In addition to (a), assume G is increasing, left contin- ∈ AR uous, lim−∞ G = and lim∞ G ( , ]. Then F G R and ∞ ∞−∞ ∈ −∞ ∞ ◦ ∈ B (f G)G′ = (F G)′ = f = F (G( ) ). −∞ ◦ −∞ ◦ (−∞,G(∞)) ∞ − R R R (c) Let f . Assume G as in (a). Let < a < a < . For each ∈ AR −∞ 1 2 ∞ i 1, 2 , let σ , ǫ +, . Then ∈{ } i i ∈{ −} a2ǫ2 a2ǫ2 G(a2ǫ2)σ2 (f G)G′ = (F G)′ = f Za1ǫ1 ◦ Za1ǫ1 ◦ ZG(a1ǫ1)σ1 = (F G)(a ǫ ) (F G)(a ǫ ) ◦ 2 2 − ◦ 1 1 = F (G(a ǫ )σ ) F (G(a ǫ )σ ). (6) 2 2 2 − 1 1 1 For each i 1, 2 , σ = ǫ if G is increasing on an interval with endpoints ∈ { } i i ai and aiǫiδ for some δ > 0, and σi = ǫi if G is decreasing on an interval with endpoints a and a ǫ δ for some δ6 > 0. If G(a ǫ ) = then we don’t i i i i i ±∞ need σi. If a1 = then replace a1ǫ1 with in (6). If a2 = then re- place a ǫ with−∞ in (6). If G is increasing−∞ in a neighbourhood of∞ then 2 2 ∞ −∞ σ1 = +. If G is decreasing in a neighbourhood of then σ1 = . If G is increasing in a neighbourhood of then σ = .−∞ If G is decreasing− in a ∞ 2 − neighbourhood of then σ2 =+. If G( ) , then we don’t need σ and if G( ) ∞ , then we don’t−∞ need∈ {−∞σ . ∞} 1 ∞ ∈ {−∞ ∞} 2 (d) Let f C . (See the paragraph preceding Remark 5 for the definition.) Let G be regulated∈ A with lim G existing in R. Then F G is regulated and ±∞ ◦ a2ǫ2 a2ǫ2 G(a2ǫ2) (f G)G′ = (F G)′ = f Za1ǫ1 ◦ Za1ǫ1 ◦ ZG(a1ǫ1) = (F G)(a ǫ ) (F G)(a ǫ ). ◦ 2 2 − ◦ 1 1 The last integral exists as a continuous primitive integral [31]. Proof: (a) Let x R. For small enough δ > 0, G is monotonic on intervals with endpoints x∈and x δ. Suppose G is decreasing on (x, x + δ). If ± lim + G(y) R then for each ν > 0 there exists η(ν) > 0 such that if y→x ∈ y (x, x+η(ν)) then G(y) (G(x+) η(ν),G(x+)). Since limz→G(x+)− F (z) exists∈ we have that for every∈ǫ> 0 there− is ν(ǫ) > 0 such that if z (G(x+) ∈ − The regulated primitive integral 15 ν(ǫ),G(x+)) then F (z) F (G(x+) ) < ǫ. To show limz→x+(F G)(z) exists, let ǫ> 0 and| let y −(x, x+η(ν(−ǫ))).| Then (F G)(y) F (G(x+)◦ ) < ∈ | ◦ − − | ǫ. Other cases are similar with only minor modifications, including showing left or right continuity of F G. Similarly in part (c). (c) Suppose 0 we have G increasing −∞ ∞ on (a δ, a) and decreasing on (b, b + δ). Then a1 = a, a2 = b, ǫ1 = σ1 = , ǫ = +,− σ = and we have − 2 2 − b+ (f G)G′ = (F G)′ =(F G)(b+) (F G)(a ) Za− ◦ Z[a,b] ◦ ◦ − ◦ − G(b+)− = F (G(b+) ) F (G(a ) )= f. − − − − ZG(a−)− Other cases are similar and (b) is included in (c). (d) There need be no interval on which G is monotonic. However, since F is continuous we have a2ǫ2 ′ (f G)G = (F G)(a2ǫ2) (F G)(a1ǫ1) Za1ǫ1 ◦ ◦ − ◦ = lim F (x) lim F (x) x→G(a2ǫ2) − x→G(a1ǫ1) = F (G(a ǫ )) F (G(a ǫ )) 2 2 − 1 1 G(a2ǫ2) = f. ZG(a1ǫ1) The cases when a = or a = are similar. 1 −∞ 2 ∞ Note that in (c) there are 16 cases, depending on whether G is increasing or decreasing at each of the endpoints for the four types of integrals in (1). There are four cases for endpoints at . ±∞ Note that G need not be strictly monotonic but then we have to use the left continuity of F to interpret the integral. For example, if f R and ∞ ∞ ∈ A G = H then (F H )′ = (f H )δ =(F H )( ) (F H )( )= 1 −∞ ◦ 1 −∞ ◦ 1 ◦ 1 ∞ − ◦ 1 −∞ F (1) F (0) =R F (1 ) F (0 R)= f. And, G need not be bounded. For − − − − [0,1) example, let G(x)=1+ x−2 for xR = 0. The value of G at 0 is immaterial. Let f . Then (f G)6 G′ = (F G)(0 ) (F G)( ) = ∈ AR (−∞,0) ◦ ◦ − − ◦ −∞ F ( ) F (1+). We haveR a = , a = 0, ǫ = , σ = +, which gives ∞ − 1 −∞ 2 2 − 1 G(0−) f = ∞ f = F ( ) F (1+) = (f G)G′. G(−∞)+ 1+ ∞ − (−∞,0) ◦ R R R The regulated primitive integral 16 Theorem 9 (Translations) (a) R is invariant under translation, i.e., f if and only if τ f Afor all t R. (b) τ f = f for all ∈ AR t ∈ AR ∈ k t k k k f and all t R. ∈AR ∈ Proof: (a) Let f . Then f = F ′ for F . For φ we have ∈AR ∈ BR ∈D (τ F )′,φ = τ F,φ′ = F, τ φ′ = F, (τ φ)′ h t i −h t i −h −t i −h −t i = F ′, τ φ = τ F ′,φ = τ f,φ . h −t i h t i h t i If f ′ such that τ f , reverse the above steps. ∈D t ∈AR (b) Note that τtf = supx∈R τtF (x) = supx∈R F (x t) = F ∞ = f . k k | | | − | k k k k We have continuity in norm if for f R we have f τxf 0 as x 0. But this is not true in . For example,∈ A H′ τkH′− = 1k if →x = 0. → AR k 1 − x 1k 6 5 Integration by parts An integration by parts formula is obtained using the Henstock–Stieltjes integral. (See the Introduction.) This allows us to prove versions of the H¨older inequality and Taylor’s theorem. The integration by parts formula in R follows from integration by parts for the Henstock–Stieltjes integral [22,A p. 199]. There it is proved that ∞ ∞ −∞ F dg and −∞ g dF exist when one of F and g is regulated and one isR of bounded variation.R See also [32] and [34] where various properties of these integrals are established. We first need to define the product of f and g . ∈AR ∈ BV Proposition 10 For f R and g , let cn contain all t R such that both F and g are not∈ rightA continuous∈ BV at t.{ Define} Ψ(x)= F (∈x)g(x) x − F dg [F (cn) F (cn+)] [g(cn) g(cn+)]. Then Ψ R. The −∞ − cn Proof: There is M R such that g M and Vg M. Let x R. Then ∈ | | ≤ ≤ ∈ Ψ(x) F (x) M + F χ Vg +2 F χ Vg | | ≤ | | k (−∞,x]k∞ k (−∞,x+1]k∞ 0 as x . → → −∞ The regulated primitive integral 17 This also shows that the integral and series defining Ψ converge absolutely. Let y < x. Then x Ψ(y) Ψ(x) = [F (y) F (x)] g(y)+ [F (t) F (x)] dg(t) − − Zy − [F (c ) F (c +)] [g(c ) g(c +)] − n − n n − n cnX∈[y,x) so that, using the uniform left continuity of F (Theorem 2), lim Ψ(y) Ψ(x) lim F (y) F (x) M + 2 lim sup F (s) F (t) Vg − − − y→x | − | ≤ y→x | − | y→x s,t∈[y,x] | − | = 0. Therefore, Ψ is left continuous. Similarly, using the uniform right regularity of F we see that Ψ has a right limit at each point. Letting x, y in the above inequality shows Ψ( ) exists. →∞ ∞ If F is taken as regulated but not left continuous then there is an addi- tional term in Ψ involving F (c ) F (c ). See [22, p. 199]. n − n− For an arbitrary distribution T ′ we have the product T ψ defined for ∞ ∈D all ψ C (R) by Tψ,φ = T,ψφ for φ . Distributions in R can be multiplied∈ by functionsh ofi boundedh i variation.∈D A Definition 11 (Product) With Ψ as in Proposition 10 and φ , the product of f and g is defined by fg,φ = Ψ′,φ = ∈Ψ,φ D′ . ∈AR ∈ BV h i h i −h i This defines fg R since Ψ R. Each of the three terms in Ψ is regulated so the product Ψ(∈At)φ(t) is Riemann∈ B integrable. Definition 12 (Integration by parts) Let f and g and use ∈ AR ∈ BV the notation of Proposition 10. Define the integral of fg by ∞ ∞ fg = g dF Z−∞ Z−∞ ∞ = F ( )g( ) F dg [F (cn) F (cn+)] [g(cn) g(cn+)] . ∞ ∞ − Z − − − −∞ Xn∈N The regulated primitive integral 18 Notice that if F is continuous or if g is right continuous then the sum in the integration by parts formula vanishes and we recover the more familiar formula ∞ fg = F ( )g( ) ∞ F dg. Note also that we have defined the −∞ ∞ ∞ − −∞ integrationR by parts formula toR agree with the Stieltjes integral but we have no way of proving the formula. However, when F is appropriately smooth it reduces to the usual formula for Lebesgue (F AC), Henstock–Kurzweil (F ACG ) and wide Denjoy integrals (F ACG∈ ). Density arguments ∈ ∗ ∈ show we have the correct formula in R. Since step functions are dense in the regulated functions [22, 7.13], givenA f there is a sequence of step § ∈AR functions Fn R such that Fn F ∞ 0. Definition 12 certainly holds {′ } ∈ B k − k → for fn = Fn and g . To see this it suffices to prove the formula for f = δ, F = H and g ∈ BV. We have F ( )g( ) = g( ). To evaluate ∞ F dg, 1 ∈ BV ∞ ∞ ∞ −∞ take a gauge γ that forces 0 to be a tag. If = ([x , x ], z ) N R is γ-fine P { n−1 n n }n=1 then N H (z )[g(x ) g(x )] = [g(x ) g(x )] 1 n n − n−1 n − n−1 Xn=1 zXn>0 = g( ) g(z) ∞ − where z is the smallest positive tag in . We can take γ so that z is ∞P as close to 0 as we like. Therefore, F dg = g( ) g(0+). And, −∞ ∞ − [H1(cn) H1(cn+)][g(cn) g(cn+)] =R g(0) g(0+). Hence, F ( )g( ) −∞ − − − ∞ ∞ − PF dg N [F (cn) F (cn+)] [g(cn) g(cn+)] = g(0). And, we also −∞ − n∈ − − R N P ∞ have n=1 g(zn)[H1(xn) H1(xn−1)] = g(0) so that −∞ g dF = g(0). The − ∞ H¨olderP inequality (Theorem 13 below) then gives R (f f)g F | −∞ n − |≤k n − F ∞ g BV 0 as n . This justifies the integrationR by parts formula. k k k → →∞ ∞ The calculation above shows that −∞ δg = g(0) for each function g that has a right limit at 0 and a limit at .R Thus, the integration by parts formula is in accordance with the action of∞δ as a measure. For example, let a R ∈ and define 0, x< 0 ga(x)= a, x =0 (7) 1, x> 0. Then for φ we have δga,φ = δ, gaφ = aφ(0). Putting a = 0 gives δH ,φ =∈ 0 Dso δH h andi δHh = 0;i a = 1 gives δH ,φ = φ(0) h 1 i 1 ∈ AR 1 h 2 i so δH2 R and δH2 = δ. See [25] for references to other methods of multiplying∈ A the Dirac and Heaviside distributions. We also see that changing The regulated primitive integral 19 g at even one point can affect the value of the integral of fg, i.e., for f = δ the integral depends on the value of g(0). And, defining a function F to be the right side of (7) we see that the integration by parts formula does not depend on our convention of using left continuous primitives. For such F and any g , both right sides of Definition 12 give zero, provided we use ∈ BV the more general formula [22, p. 199] that allows discontinuities from the left and right. The integration by parts formula leads to a version of the H¨older inequal- ity. Note that is a Banach space under the norm g = g + Vg. BV k kBV k k∞ ∞ Theorem 13 (H¨older) Let f R and g . Then −∞ fg ∈A ∈ BV ≤ ∞ R −∞ f g( ) + f Vg f g BV. The inequality is sharp in the sense | ∞ | k k ≤ k kk k R ∞ that if −∞ fg f (α g( ) + βVg) for all f R and all g R ≤ k k | ∞ | ∈ A ∈ B R ∞ then α, β 1. For each a there is the inequality −∞ fg ≥ −∞ ≤ ≤ ∞ ≤ f ( g(a) +2Vg). R k k | | ∞ ∞ Proof: Use the fact that −∞ fg = −∞ g dF . Given ǫ> 0 there is a partition (z , [x , x ]) N so thatR ∞ gR dF N g(z )[F (x ) F (x )] < ǫ. { n n−1 n }n=1 | −∞ − n=1 n n − n−1 | Since F (x0)= F ( ) = 0, R P −∞ ∞ N fg ǫ + g(zn)[F (xn) F (xn−1)] Z−∞ ≤ − Xn=1 N N−1 = ǫ + g(zn)F (xn) g(zn+1)F (xn) − Xn=1 Xn=1 N−1 = ǫ + F ( )g( ) F (xn)[g(zn+1) g(zn)] ∞ ∞ − − Xn=1 ∞ ǫ + f g( ) + F ∞Vg ≤ Z | ∞ | k k −∞ ǫ + f g . ≤ k kk k BV The final estimate follows upon noting that g( ) g(a) + g( ) g(a) | ∞ |≤| | | ∞ − | ≤ g(a) + Vg. | | The regulated primitive integral 20 We can see the estimate is sharp by letting F (x)=(P/π)(π/2+arctan(x)) and g(x)= Q for x a and g(x)= R for x > a, where P > 0 and Q>R> 0. ∞ ≤ Then fg = P R +(Q R)F (a). As a we see this approaches −∞ − → ∞ F ( )gR( )+ f Vg. ∞ ∞ k k For a proof using the Henstock–Stieltjes integral see [32, Theorem 2.8] and [34]. Integration by parts and the fundamental theorem can be used to prove a version of Taylor’s theorem. Theorem 14 (Taylor) Let f :[a, ) R. Let n N. If f Cn−1([a, )) ∞ → ∈ ∈ ∞ so that f (n) is regulated and right continuous on [a, ) then for all x (a, ) ∞ ∈ ∞ we have f(x)= Pn(x)+ Rn(x) where n (k) k f (a)(x a) 1 (n+1) n Pn(x)= − and Rn(x)= f (t)(x t) dt. k! n! Z − Xk=0 (a,x] We have the estimates R (x) sup f (n)(t) f (n)(a) (x a)n/n! for | n | ≤ a≤t 6 Norms and dual space Multipliers are those functions g for which fg is integrable for all integrable f. In this section we consider some equivalent norms on and then show AR that the space of multipliers of R and the dual space of R are both given by . A A BV Theorem 15 (Equivalent norms) (a) The following norms are equivalent to in . For f , define f ′ = sup f , where the supremum is k·k AR ∈AR k k I | I | R The regulated primitive integral 21 taken over all finite intervals I R; f ′′ = sup fg, where the supremum ⊂ k k g is taken over all g such that g ∞ 1 and VgR 1. (b) Let g and ∈ BV k k ≤ ≤ ∈ BV be normalised so that g(x)=(1 λ)g(x )+ λg(x+) for fixed 0 λ 1 and − −∞ ∞ ≤ ≤ ′ all x R. Then for f R we have −∞ fg −∞ f inf g + f Vg. ∈ ∈ A ≤ | | k k (c) Let a R. The norms g ′ = g(a )R + Vg and Rg = g + Vg are BV BV ∞ equivalent∈ on . k k | | k k k k BV ′ ′ Proof: (a) Note that f f . And, we have f = supa ∞ fg f [ g( ) + Vg] 2 f . Z ≤k k | ∞ | ≤ k k −∞ And, ∞ ∞ ′′ f max sup fχ(−∞,x], sup fχ(−∞,x] . k k ≥ x∈R Z−∞ − x∈R Z−∞ It follows that 1 f ′′ f f ′′. 2 k k ≤k k≤k k (b) The alternative H¨older inequality is proved as Lemma 24 in [30]. ′ (c) Clearly, g BV g BV. Let x R. The inequality g(x) g(a) + k k ≤k k ∈ ′ | |≤| | g(a) g(x) g(a) + Vg shows g BV 2 g BV. | The− H¨older|≤| inequality| can bek reformulatedk ≤ k k in any of these equivalent norms. For the Henstock–Kurzweil and continuous primitive integral [31] the multipliers and dual space are the functions of essential bounded variation. (See Example 3(d) for the definition.) For the multipliers and dual space AR are the functions of bounded variation. Theorem 16 The set of multipliers for is . AR BV Proof: The multipliers are defined in Definition 12. Hence, every function of bounded variation is a multiplier. In order for a function g to be a multiplier the integral ∞ g dF must exist for every F . Taking F to be a step −∞ ∈ BR function F =R σnχ(an,bn] for disjoint intervals (an, bn) and σn R, we see ∞ { } ∈ that g dFP= σn[g(an) g(bn)]. Taking σn = sgn(g(an) g(bn)) shows −∞ − − g R . P ∈ BV The regulated primitive integral 22 If fn is a sequence in R such that fn 0 then the H¨older inequality { } ∞ A k k→ shows that −∞ fng 0 for each g . Hence, for each fixed g , ∞ → ∈ BV ∈ BV T (f) := R fg defines a continuous linear functional on . Hence, ∗ g −∞ AR AR ⊃ . In fact,R all continuous linear functionals on R are of this form, i.e., BV∗ = . We can prove this by using the representationA of the dual of the AR BV space of regulated functions. Various authors have used different specialised integrals to represent the continuous linear functionals on regulated functions. See Kaltenborn [17] (Dushnik interior integral) for compact intervals (also [15]), Hildebrandt [12] (refinement or Young integral) for R, Tvrd´y[32], [33], [34] (Henstock–Stieltjes integral, where it is called the Perron–Stieltjes integral). Tvrd´ygives a rep- resentation for such a functional acting on regulated function F on compact interval [a, b] as T (F )= qF (a)+ b g dF for some function g and q R. a ∈ BV ∈ See also [28]. Extension to regulatedR functions on R follows by replacing a with and b with , using our definition of the Henstock–Stieltjes in- −∞ ∞ tegral (Section 5) and compactification of R (Remark 3). For F R, the ∞ ∞ ′ ∈ B functional then becomes Tg(F ) = −∞ g dF = −∞ F g. The connection be- tween the Dushnik interior and YoungR integralsR is given in [14]. Equality of Young and Henstock–Stieltjes integrals for one function regulated and one of bounded variation is established in [27]. Theorem 17 The dual space of is ( ∗ = ). AR BV AR BV −1 Proof: Let ψ : R R be given by ψ(f)= F . Then ψ : R R is given −1 A′ → B B →A by ψ (F )= F . Let fn R such that fn 0. Then Fn ∞ 0. If ∗ { }⊂A−1 k k→ −1 k ∗ k → T R then T (fn) = T (ψ (Fn)) 0. Hence, T ψ R. Using the ∈ A → ∗ ◦ ∈ B result of the previous paragraph, we have R = . There exists g such that T ψ−1(F ) = ∞ F ′ dg = ∞Bf g.BV Hence, T (f ) = ∞∈f BVg. ◦ n −∞ n −∞ n n −∞ n R R R The integration by parts formula also shows that f,g = ∞ fg for all h i −∞ f R and all g so that we could use integration by partsR as a starting point∈A to define the∈ integralBV as a continuous linear functional on . BV In the space of Henstock–Kurzweil integrable functions we identify func- tions almost everywhere so the dual of this space is rather than , i.e., EBV BV if T is a continuous linear functional on the space of Henstock–Kurzweil inte- grable functions then there exists a function g such that T (f)= ∞ fg ∈ BV −∞ for each Henstock–Kurzweil integrable function f. The integral isR that of The regulated primitive integral 23 Henstock–Kurzweil. Changing g on a set of measure zero does not affect the value of this integral so the dual space is . EBV In R we do not have this equivalence relation so the dual of R is and not A . Similarly, for no normalisation in (see Remark 5)A is theBV dual of EBV BV R equal to functions of normalised bounded variation. To see this, note that A ∞ the function g = χ is not equivalent to 0 since fg = F (0+) F (0 ). {0} −∞ − − But every normalisation makes g = 0. R No concrete description of ∗ seems to be known. But note that if BV ∞ gn such that gn BV 0 then −∞ fgn 0 for each f . Hence, { }⊂BV∞ k k → → ∈ BV T (g) = fg defines a continuous linearR functional on . The H¨older f −∞ BV inequalityR shows that for each regulated function F the linear functional ∞ ∞ ′ TF (g) = F dg = F g + F ( )g( ) F ( )g( ) Z−∞ − Z−∞ ∞ ∞ − −∞ −∞ [F (c ) F (c +)] [g(c ) g(c +)] (8) − n − n n − n Xn∈N + [F (c ) F (c )] [g(c ) g(c )] n − n− n − n− Xn∈N ∗ ∗ is in , i.e., if gn BV 0 then TF (gn) 0 in R. Hence, contains the BV k k → → BV ∞ space of regulated functions. If we let F = χ{0} then TF (g) = −∞ F dg = ∗ g(0+) g(0 ) and TF (g) Vg so TF but as an elementR of R, ′ − − |∗ | ≤ ∈ BV A F = 0. Hence, ) R. And, consider the following example. Let BV A ∞ S = 1/n n N , F = χ and define U : R by U (g) = F dg. { | ∈ } S F BV → F −∞ Then F is not of bounded variation and since limx→0+ F (x) does notR exist, F is not regulated. But, for g , U (g)= ∞ [g(n−1+) g(n−1 )]. This ∈ BV F n=1 − − can be seen by taking a gauge that forces 0P to be a tag and forces n−1 to be a tag for some N0 and all 1 n N0. We then have UF (g) Vg. This ∗ ≤ ≤∗ | | ≤ shows that UF . Hence, properly contains the space of regulated functions. More∈ precisely, BV the spaceBV of regulated functions is identified with finitely additive measures defined by µ([a, b]) = F (b+) F (a ) for regulated − − function F . Similarly for other intervals. These measures are defined on the algebra generated by intervals. Hildebrandt [14] and Aye and Lee [3] have given explicit representation of the dual of ∗ in the topology of uniform bounded variation with uniform convergence.BV A sequence g converges to 0 in this sense if g 0 { n}⊂BV k nk∞ → and there is M R so that for all n N, Vgn M. These authors show that the dual of ∈in this topology contains∈ only≤ (pairs of) regulated functions. BV The regulated primitive integral 24 ∗ This dual must then be a proper subset of since UF from the preceding paragraph is not continuous in the topologyBV of uniform bounded variation with uniform convergence. For example, define the piecewise linear functions −1 n 2 g (x)= n (1 m + m x)χ −1 −1 −2 (x). Then g =1/n and n m=1 − [m ,m +m ] k nk∞ Vgn = 1. Hence,P gn 0 in the topology of [14] and [3]. But, → n U (g )= n−1 F (m−1)[g(m−1+) g(m−1 )]=1 0. F n − − 6→ mX=1 Mauldin ([21] and references therein) and Hildebrandt [13] have given representations of ∗ in terms of abstract integrals. BV 7 -module BV In Definition 11 we have a product defined from onto . It has AR × BV AR distributive, commutative and associative properties that make R into a Banach -module. See [7] for the definition. Properties of the integralA of BV fg then follow from properties of the product. Theorem 18 (Products) Let f, f , f ; g,g ,g ; k R. The 1 2 ∈ AR 1 2 ∈ BV ∈ product has the following properties. (a) Distributive. (f1 + f2)g = f1g + f2g, f(g1 + g2) = fg1 + fg2. (b) Homogeneous. (kf)g = f(kg) = k(fg). (c) Commutative. f(g1g2) = f(g2g1). (d) Compatible with distribution product. fg,φ = f,gφ for all φ . (e) Associative. (fg1)g2 = f(g1g2). (f) Zero hdivisors.i Thereh i are f =0 ∈Dand g = 0 such that fg =0. (g) Compatible with 6 6 pointwise product. If f and g are functions that are continuous at a R then fg,φ f(a)g(a) for any δ-sequence supported at a . ∈ h ni→ { } Proof: Properties (a), (b) and (c) follow immediately from the definition. Notice we can include terms in the sum (also labeled cn but not necessarily points were F and g are simultaneously discontinuous from the right) so that sup c = . To prove (d), let f , g and φ . Then n ∞ ∈AR ∈ BV ∈D ∞ ∞ x fg,φ = F (x)g(x)φ′(x) dx + F (t) dg(t) φ′(x) dx h i − Z−∞ Z−∞ Z−∞ ∞ ′ + [F (cn) F (cn+)] [g(cn) g(cn+)] φ (x) dx. Z−∞ − − cXn ∞ x ′ ′ Note that −∞ −∞ F (t) dg(t) φ (x) dx F ∞Vg φ 1 so by the Tonelli | ∞ x |≤k′ k k k ∞ and FubiniR theorems,R −∞ −∞ F (t) dg(t) φ (x) dx = −∞ F (t)φ(t) dg(t). ∞ ′ − ′ And, [F (cnR) FR(cn+)] [g(cn) g(cn+)] φ (x)Rdx 2 F ∞Vg φ 1 | −∞ cn But, N S F (z ) [g(x ) g(x ) φ(x ) φ(z ) | N | ≤ | n | {| n − n−1 || n − n | Xn=1 + g(x ) g(z ) φ(x ) φ(x ) . | n−1 − n || n − n−1 |} Since φ is uniformly continuous we can arrange the partition so that the maximum of φ(xn) φ(tn) for tn [xn−1, xn] is less than ǫ for each 1 n N. Then S | 2ǫ −F Vg| . Hence,∈ ∞ Fd(gφ)= ∞ Fgdφ+ ∞ Fφdg≤ ≤. | N | ≤ k k∞ −∞ −∞ −∞ Now using (9) we see that fg,φ = Rf,gφ . R R Associativity (e) then followsh i byh writingi f(g g ),φ = f, (g g )φ = h 1 2 i h 1 2 i f,g (g φ) = fg ,g φ = (fg )g ,φ . h 1 2 i h 1 2 i h 1 2 i To prove (f), let F R and g be continuous with disjoint support. Then F ′g = 0. ∈ B ∈ BV A δ-sequence supported at a is a sequence φn such that φn 0, ∞ { }⊂D ≥ −∞ φn = 1, supp(φn) is an interval containing a in its interior such that Rsupp(φn) a . For such a sequence, suppose supp(φn) [a δ, a + δ]. → { } ⊂ − Then for (g), ∞ ∞ f(a)g(a) fgφn = [f(a)g(a)φn fgφn] − Z Z − −∞ −∞ a+δ f(a)g(a) f(x)g(x) φn(x) dx ≤ Za−δ | − | 0 using the continuity of f and g. → If g C∞ then we see the product reduces to the usual product of a dis- tribution∈ and a smooth function (cf. the paragraph preceding Definition 11). Each result in Theorem 18 concerning a product can be integrated. For ∞ ∞ example, −∞ f(gh)= −∞(fg)h. Taking g to be the characteristic function of an intervalR and integratingR by parts recovers each of the four integrals ∞ defined in (1)-(4): −∞ fχI = I f for any interval I. Each of the integrals ∞ ∞ −∞ F dχI and −∞RχI dF existsR as a Henstock–Stieltjes integral because we canR take a gaugeR that forces endpoints of I to be tags. If F is not continuous at the endpoints of I then these integrals will not exist as Riemann–Stieltjes integrals. The usual pointwise product makes into an algebra with unit g = 1. Our product on makes intoBV a (left) Banach -module. AR ×BV AR BV The regulated primitive integral 27 Theorem 19 (Banach -module) is a Banach algebra. R is a Banach -module. BV BV A BV Proof: For g ,g , the inequalities 1 2 ∈ BV g g = g g + V (g g ) k 1 2kBV k 1 2k∞ 1 2 g g + g Vg + Vg g ≤ k 1k∞k 2k∞ k 1k∞ 2 1k 2k∞ g g ≤ k 1kBV k 2kBV show that is closed under multiplication. It then follows easily that is a BanachBV algebra. BV The second statement follows from (a), (b), (c) and (e) of Theorem 18 and the inequality fg f g , valid for all f and g . k k≤k kk kBV ∈AR ∈ BV Notice that is not a division ring since χ = 0 has no multiplicative BV [0,1] 6 inverse. There are zero divisors. For example, χ[0,1]χ[2,3] = 0. ′ ′ ′ Notice that if g1,g2 then (g1g2) = g1g2 + g1g2 R. The product on the left is pointwise∈ in BV while the products on the∈A right are as per BV Definition 11. Hence, the distributional derivative is a derivation on the algebra into the Banach -module . See [7]. BV BV AR 8 Absolute integrability The primitives of an L1 function are absolutely continuous and hence are functions of bounded variation. Whereas, if function f is Henstock–Kurzweil or wide Denjoy integrable but f is not integrable in this sense then the primitives of f are not of bounded| variation.| We use this observation to define absolute integrability in . We also show that L1 and the space of signed AR Radon measures are embedded continuously in and , respectively. AC AR Definition 20 (Absolute integrability, NBV) Define the functions of nor- malised bounded variation as = R . A distribution f R is absolutely integrable if it hasNBV a primitiveB F∩ BV . Denote the∈ space A of ∈ NBV absolutely integrable distributions by . ANBV Hence, is isometrically isomorphic to the space of signed Radon ANBV measures under the Alexiewicz norm. For f NBV , let its primitive in be F . As in Example 3(d) there is a unique signed∈A Radon measure µ suchNBV that The regulated primitive integral 28 F ′ = µ, i.e., F,φ′ = ∞ φdµ for all φ . And, if µ is a signed Radon h i − −∞ ∈D measure then a functionR defined by F (x) = µ(( , x)) is in . The −∞ NBV Alexiewicz norm of µ identified with f NBV is µ = supx∈R µ(( , x)) . This then gives an alternative definition∈A ofk thek regulated| primitive−∞ in-| tegral. It is the completion of the space of signed Radon measures in the Alexiewicz norm. Integration in NBV is thus Lebesgue integration. Denote the space of signed RadonA measures by . A norm is given by M µ = µ (R)= µ+(R)+ µ−(R), which is the total variation of µ. k kM | | Theorem 21 (a) is a Banach subspace of R under the norm g BV = g + Vg. (b) ForNBV each a R the norms g Band g := g(ak) k+ Vg k k∞ ∈ k kBV k kBVa | | are equivalent. (c) is not a Banach space under ∞. (d) is dense in . TheNBV completion of in is k·k. (e) NBVis a BR NBV k·k∞ BR ANBV Banach subspace of R. (f) R is the completion of the space of signed A A 1 Radon measures in the Alexiewicz norm. (g) The embeddings L ֒ C and are continuous. →A ֒ M →AR Proof: (a) It is a classical result that functions of bounded variation form a Banach space. For example, see [18]. The case of is similar, as in the proof of Theorem 2. (b) See Theorem 15(c). (c)NBV Let g(x) = x sin(x−2) for 0 x> 0 and g(x)=0for x 0. Then g C . Let gn = [1 χ[0,(nπ)−1/2]]g. ≤ ∈ −\BV1/2 − Each gn . And, gn g ∞ (nπ) 0. In ∞ the sequence g converges∈ NBV to g / k .− (d)k Let≤F and→ let ǫ >k·k0 be given. There { n} ∈ BV ∈ BR exists M > 0 such that F (x) < ǫ for all x M and F (x) F ( ) < ǫ for all x M. For each x | [ M,| M] there is ≤δ −> 0 such| that if−y ∞(x| δ , x] ≥ ∈ − x ∈ − x then F (y) F (x) < ǫ and if y (x, x + δx) then F (y) F (x+) < ǫ. Let I =| (x δ−, x + |δ ). The collection∈ I | is an− open cover| of the x − x x { x}x∈[−M,M] compact interval [ M, M]. There is then a finite subcover, Ix x∈J for some − { } ′ finite set J [ M, M]. We can then take open subintervals Ix Ix such that each point∈ − in [ M, M] is in either one or two of these intervals.⊂ Then we can define g(x)=0− for x M, g(x)= F ( ) for x > M and g is piecewise ≤′ − ∞ constant on each interval Ix such that g and g F ∞ < ǫ. Hence, is dense in and its completion is∈ NBV. (e), (f)k These− k follow from the NBV BR BR isomorphism between R and R given by the integral. (g) For µ we have A B ∈ M + − µ = sup µ(( , x)) sup µ (( , x)) + µ (( , x)) = µ M. k k R | −∞ | ≤ R −∞ −∞ k k x∈ x∈ The regulated primitive integral 29 1 x If f L then f = sup R f f . ∈ k k x∈ | −∞ |≤k k1 R In Proposition 24 below it is shown that distributions in R are finitely additive measures that are finite when their primitives are ofA bounded vari- ation. Here is an alternative way of defining functions of normalised bounded variation. Fix 0 λ 1. For g define g (x)=(1 λ)g(x )+ λg(x+), ≤ ≤ ∈ BV λ − − g ( ) = g( ) and g ( ) = g( ). Define = g g . λ −∞ −∞ λ ∞ ∞ NBVλ { λ | ∈ BV} Then λ is a Banach space under g BV = g ∞ + Vg. The connection with theNBV functions of essential boundedk k variationk k is the following. As in 1 Example 3(d) we have = g Lloc ess var g < . This is a Banach space under the norm gEBV ={ ess∈ sup g |+ess var g. The∞} space consists k kEBV | | EBV of equivalence classes of functions identified almost everywhere. For each g there is a unique gλ λ such that ess sup g = gλ ∞ and ess∈ var EBVg = Vg . For each 0 λ ∈1 NBV the Banach spaces andk k are λ ≤ ≤ NBVλ EBV isometrically isomorphic. These spaces are distinct from . For example, BV χ{0} is equivalent to 0 in , its normalisation is 0 in λ but V χ{0} =2 in . Note that EBVis isometrically isomorphicNBV to the signed Radon BV NBV measures and to NBV , whereas λ is isometrically isomorphic to NBV R. If g Athen its distributionalNBV derivative is a Radon measureAµ and× ∈ NBVλ g( ) R. For more on essential variation see [36]. −∞If F ∈ then there are increasing functions of normalised bounded variation∈G NBVand H such that F = G H. A distribution T is positive if − T,φ 0 for each φ with φ 0. Suppose φ 0. Let [a, b] contain the hsupporti ≥ of φ. By the∈D second mean≥ value theorem≥ for integrals [22, p. 211] there is ξ [a, b] such that ∈ b ξ b G′,φ = Gφ′ = G(a) φ′ + G(b) φ′ h i − Za − Za Zξ = [G(b) G(a)] φ(ξ) 0. − ≥ ′ ′ Hence, f NBV if and only if it can be written as f = G H for G,H with∈AG′,H′ 0. − ∈ NBVIn the next section≥ we will introduce an ordering suitable for all distribu- tions in . AR The regulated primitive integral 30 9 Banach lattice In R there is the partial order: F G if and only if F (x) G(x) for all x BR. Note that this order depends≤ on our choice that functions≤ in be ∈ BR left continuous. Since R is isomorphic to R it inherits this partial order. For f,g define fA g if and only if FB G, where F and G are the ∈ AR ≤ respective primitives in R. This order is not compatible with the usual order on distributions: if T, UB ′ then T U if and only if T U, φ 0 for all φ such that φ 0.∈D Nor is it compatible≥ with pointwiseh − orderingi ≥ in the ∈D ≥ case of functions in . For example, if f(t) = H (t) sin(t2) then F 0 so AR 1 ≥ f 0 in R but not pointwise. And, f is not positive in the distributional sense. Note,A however, that if f is a measure or a nonnegative function ∈AR or distribution then f 0 in R. The importance of this orderingA is that it interacts with the Alexiewicz norm so that R is a Banach lattice. If is a binary operation on set S then it is a partialA order if for all x, y, z S it is reflexive (x x), antisymmetric (x y and y x imply x = y)∈ and transitive (x y and y z imply x z). If S is a Banach space with norm S and is a partial order on S then S is a Banach lattice if for all x, y, zk·kS ∈ 1. x y and x y are in S. The join is x y = sup x, y = w such that ∨ ∧ ∨ { } x w, y w and if x w˜ and y w˜ then w w˜. The meet is x y = infx, y = w such that w x, w y and ifw ˜ x andw ˜ y ∧ { } thenw ˜ w. 2. x y implies x + z y + z. 3. x y implies kx ky for all k R with k 0. ∈ ≥ 4. x y implies x y . | || | k kS ≤k kS If x y we write y x. We also define x = x ( x), x+ = x 0 and | | ∨ − ∨ x− =( x) 0. Then x = x+ x− and x = x+ + x−. − ∨ − | | We have absolute integrability: if f R so is f . The lattice operations are defined for F,G by (F G)(x)∈A = sup(F,G| )(| x) = max(F (x),G(x)). ∈ BR ∨ And, (F G)(x) = inf(F,G)(x) = min(F (x),G(x)). ∧ Theorem 22 (Banach lattice) (a) is a Banach lattice. (b) For f,g BR ∈ R, define f g if F G in R. Then R is a Banach lattice isomorphic Ato . (c) Let F,G ≤ . ThenB (F GA)′ = F ′ G′, (F G)′ = F ′ G′, BR ∈ BR ∨ ∨ ∧ ∧ The regulated primitive integral 31 ′ ′ + ′ ′ + − ′ ′ − F = F , (F ) =(F ) , and (F ) =(F ) . (d) If f R then f R |with| primitive| | F . For each interval I R we have∈A f | |∈Af . | | ∈ BR ⊂ | I |≥| I | || For each < x we have f = f .R And, Rf = −∞ ≤ ∞ | (−∞,x) | (−∞,x) | | k| |k f , f ± f . (e) If f thenR f ± Rwith respective primitives k k k k≤k k ∈ AR ∈ AR F ± . Jordan decomposition: f = f + f −. And, f = f + f − ∈ BR − I I − I for every interval I R. (f) is distributive: f (g Rh)=(fR g) (fR h) ⊂ AR ∧ ∨ ∧ ∨ ∧ and f (g h)=(f g) (f h) for all f,g,h . (g) is modular: ∨ ∧ ∨ ∧ ∨ ∈AR AR For all f,g R, if f g then f (g h)= g (f h) for all h R. (h) Let F and G∈Abe regulated functions∨ on∧R with real∧ limits∨ at .∈A Then ±∞ F ′ G′ F (x ) F ( ) G(x ) G( ) x R (10) ⇐⇒ − − −∞ ≤ − − −∞ ∀ ∈ F (x+) F ( ) G(x+) G( ) x R. (11) ⇐⇒ − −∞ ≤ − −∞ ∀ ∈ Proof: (a) Let F,G . Define Φ = (F G)andΨ=(F G). We need ∈ BR ∨ ∧ to prove Φ, Ψ R. Let a R and prove Φ is left continuous at a. Suppose F (a) >G(a).∈ Given B ǫ> 0 there∈ is δ > 0 such that F (x) F (a) < ǫ, G(x) | − | | − G(a) < ǫ and F (x) > G(x) whenever x (a δ, a). For such x, Φ(x) Φ(a)| = F (x) F (a) < ǫ. If F (a)= G(a)∈ then −Φ(x) Φ(a) max(| F (x)− F (a)|, G|(x) −G(a) )| < ǫ. Therefore, Φ is left continuous| − on| ≤ ( , | ]. For− | | − | −∞ ∞ x ( , 1/δ) we can assume max( F (x) , G(x) ) < ǫ. Therefore, Φ(x) < ∈ −∞ | | | | | | ǫ. Similarly, Φ has a right limit at each point so that Φ R. Similarly with the infimum. Hence, Φ, Ψ . ∈ B ∈ BR The following properties follow immediately from the definition. If F G then for all H we have F + H G + H. If F G and a 0 then≤ ∈ BR ≤ ≤ ≥ aF aG. If F G then F G . Hence, is a Banach lattice. ≤ | |≤| | k k∞ ≤k k∞ BR (b), (c) First we show that R is closed under the operations f g and f g. For f,g , we have fA g = sup(f,g). This is h such that∨f h, ∧ ∈AR ∨ g h, and if f h˜, g h˜, then h h˜. This last statement is equivalent toF H, G H, and if F H˜, G H˜ , then H H˜ . But then ≤ ≤ ′ ≤ ≤ ′ ≤ H = max(F,G) and h = H so f g = (F G) R. Similarly, f g = ′ ′ ′ ∨ ′ ∨′ ∈ A′ ′ ∧ ′ (F G) R. And, F = F ( F )= F ( F ) =(F ( F )) = F . The∧ proofs∈A that (F +)′|=(| F ′)+ and∨ − (F −)′ =(F∨′)− are similar.∨ − | | If f,g R and f g then F G. Let h R. Then, F + H G + H. But then∈A (F + H)′ = F ′ + H′ = f≤+ h g +∈Ah. If k R and k ≤ 0 then (kF )′ = kF ′ = kf so kf kg. And, if f g then F ∈′ G ′ so F≥ G , | || | | | | | | |≤| | i.e., F (x) G(x) for all x R. Then f = F ∞ G ∞ = g . And, is| a Banach|≤| lattice| that is∈ isomorphick tok k. k ≤k k k k AR BR The regulated primitive integral 32 (d) Note that f = F (b ) F (a+) F (b ) F (a+) = | (a,b) | | − − | ≥ || − |−| || F ′ = RF ′ . Similarly for other intervals. The other parts of | (a,b) | | | | (a,b) | || (d)R and (e) followR from (c) and the definitions. (f) The real-valued func- tions on any set form a distributed lattice due to inheritance from in R. ≤ Therefore, R is a distributed lattice and hence so is R. See [20, p. 484] for an elementaryB proof and for another property of distributedA lattices. (g) Modularity is also inherited from in R via . (h) We have F ′,G′ ≤ BR ∈ AR with respective primitives ΦF , ΦG R given by ΦF (x)= F (x ) F ( ) and Φ (x)= G(x ) G( ). The∈ B definition of order then gives− − (10).−∞ The G − − −∞ relations F (x ) = lim ± F (y) = lim ± F (y ) then give (11). ± y→x y→x − For the function f(t)= H (t) sin(t2) we have f + = f = f and f − = 0. 1 | | Notice that the definition of order allows us to integrate both sides of f g in R to get F G in R. The isomorphism allows us to differentiate A ≤ B ′ ′ both sides of F G in R to get F G in R. If F and G are regulated functions on R with≤ realB limits at then theA inequality F ′ G′ lets us prove that F (x ) F ( ) G±∞(x ) G( ) for all x | R|. This is then | ± |−| −∞ | ≤ ± − −∞ ∈ a type of mean value theorem. See [19] where the inequality F ′(x) G′(x) yields F (b) F (a) G(b) G(a) under the assumption that |F is continuous| ≤ or absolutely| − continuous| ≤ and− the first inequality holds except on a countable set or set of measure zero. In [19] G is required to be increasing. A lattice is complete if every subset that is bounded above has a supre- mum. But is not complete. Let F (x) = H (x 1/n) sin(π/x) and let BR n 1 − | | S = Fn n N . Then an upper bound for S is H1 but sup(S)(x) = H (x){ sin(|π/x∈) , which} is not regulated. Hence, is also not complete. 1 | | AR In this section we have considered only the most elementary lattice prop- erties. Other questions, such as the relation of R and R to abstract L spaces and abstract M spaces, will be dealt withA elsewhere.B 10 Topology and measure