Pettis integral

In mathematics, the Pettis integral or Gelfand–Pettis integral, named after Israel M. Gelfand and Billy James Pettis, extends the definition of the Lebesgue integral to vector-valued functions on a measure space, by exploiting duality. The integral was introduced by Gelfand for the case when the measure space is an interval with Lebesgue measure. The integral is also called the weak integral in contrast to the Bochner integral, which is the strong integral.

Definition

Let $f:X\to V,$ where $(X,\Sigma,\mu)$ is a measure space and $V$ is a topological vector space. Suppose that $V$ admits a dual space $V^{*}$ that separates points, e.g. $V$ is a Banach space or (more generally) a is locally-convex Hausdorff vector space. We write evaluation of a functional as duality pairing: $\langle \varphi ,x\rangle =\varphi [x]$ .

We say that $f$ is Pettis integrable if $\varphi \circ f\in L^{1}(X,\Sigma ,\mu )$ for all $\varphi \in V^{\ast }$ and there exists a vector $e\in V$ so that:

\forall \varphi \in V^{*}:\qquad \langle \varphi ,e\rangle =\int _{X}\langle \varphi ,f(x)\rangle \,d\mu (x).

In this case, we call $e$ the Pettis integral of $f$ . Common notations for the Pettis integral $e$ include

\int _{X}fd\mu ,\qquad \int _{X}f(x)\,d\mu (x),\quad {\text{and}}\quad \mu [f].

Properties

An immediate consequence of the definition is that Pettis integrals are compatible with continuous, linear operators: If $\Phi :V_{1}\to V_{2}$ is and linear and continuous and $f:X\to V_{1}$ is Pettis integrable, then $\Phi \circ f$ is Pettis integrable as well and $\int _{X}\Phi (f(x))\,d\mu (x)=\Phi (\int _{X}f(x)\,d\mu (x))$ holds.
The standard estimate $|\int _{X}f(x)\,d\mu (x)|\leq \int _{X}|f(x)|\,d\mu (x)$ for real- and complex-valued functions generalises to Pettis integrals in the following sense: For all continuous seminorms $p:V\to \mathbb {R}$ and all Pettis integrable $f:X\to V$ , $p(\int _{X}f(x)\,d\mu (x))\leq {\underline {\int _{X}}}p(f(x))\,d\mu (x)$ holds. Here ${\underline {\int _{X}}}$ denotes the lower Lebesgue integral of a $[0,\infty ]$ -valued function, i.e. ${\underline {\int _{X}}}g\,d\mu :=\sup\{\int _{X}h\,d\mu \mid h:X\to [0,\infty ]\,{\text{measurable}}\wedge 0\leq h\leq g\}$ . Taking an lower Lebesgue integral is necessary because the integrand $p\circ f$ may not be measurable. This follows from the Hahn-Banach theorem because for every vector $v\in V$ there must be a continuous functional $\varphi \in V^{\ast }$ such that $\lambda (v)=p(v)$ and $\forall w\in V:|\lambda (w)|\leq p(w)$ . Applying this to $v:=\int _{X}f\,d\mu$ it gives the result.

Mean value theorem

An important property is that the Pettis integral with respect to a finite measure is contained in the closure of the convex hull of the values scaled by the measure of the integration domain:

\mu (A)<\infty \implies \int _{A}f\,d\mu \in \mu (A)\cdot {\overline {co(f(A))}}

This is a consequence of the Hahn-Banach theorem and generalises the mean value theorem for integrals of real-valued functions: If $V=\mathbb {R}$ , then closed convex sets are simply intervals and for $f:X\to [a,b]$ , the inequalities $\mu (A)a\leq \int _{A}f\,d\mu \leq \mu (A)b$ hold.

Existence

If $V=\mathbb {R} ^{n}$ is finite-dimensional then $f$ is Pettis integrable if and only if each of $f$ 's coordinates is Lebesgue integrable.
If $f$ is Pettis integrable and $A\in \Sigma$ is a measurable subset of $X$ , then $f_{|A}:A\to V$ and $f\cdot 1_{A}\colon X\to V$ are also Pettis integrable and $\int _{A}f_{|A}\,d\mu =\int _{X}f\cdot 1_{A}\,d\mu$ holds.
If $X$ is a topological space, $\Sigma ={\mathfrak {B}}_{X}$ its Borel- $\sigma$ -algebra, $\mu$ a Borel measure that assigns finite values to compact subsets, $V$ is quasi-complete (i.e. if every bounded Cauchy net converges) and if $f$ is continuous with compact support, then $f$ is Pettis integrable.
More generally: If $f$ is weakly measurable and there exists a compact, convex $C\subseteq V$ and a null set $N\subseteq X$ such that $f(X\setminus N)\subseteq C$ , then $f$ is Pettis-integrable.

Law of large numbers for Pettis-integrable random variables

Let $(\Omega ,{\mathcal {F}},\operatorname {P} )$ be a probability space, and let $V$ be a topological vector space with a dual space that separates points. Let $v_{n}\colon \Omega \to V$ be a sequence of Pettis-integrable random variables, and write $\operatorname {E} [v_{n}]$ for the Pettis integral of $v_{n}$ (over $X$ ). Note that $\operatorname {E} [v_{n}]$ is a (non-random) vector in $V$ , and is not a scalar value.

Let

{\bar v}_{N}:={\frac {1}{N}}\sum _{{n=1}}^{N}v_{n}

denote the sample average. By linearity, ${\bar v}_{N}$ is Pettis integrable, and

\operatorname {E} [{\bar {v}}_{N}]={\frac {1}{N}}\sum _{n=1}^{N}\operatorname {E} [v_{n}]\in V.

Suppose that the partial sums

{\frac {1}{N}}\sum _{n=1}^{N}\operatorname {E} [{\bar {v}}_{n}]

converge absolutely in the topology of $V$ , in the sense that all rearrangements of the sum converge to a single vector $\lambda \in V$ . The weak law of large numbers implies that $\langle \varphi ,\operatorname {E} [{\bar {v}}_{N}]-\lambda \rangle \to 0$ for every functional $\varphi \in V^{*}$ . Consequently, $\operatorname {E} [{\bar {v}}_{N}]\to \lambda$ in the weak topology on $X$ .

Without further assumptions, it is possible that $\operatorname {E} [{\bar {v}}_{N}]$ does not converge to $\lambda$ . To get strong convergence, more assumptions are necessary.

References

James K. Brooks, Representations of weak and strong integrals in Banach spaces, Proceedings of the National Academy of Sciences of the United States of America 63, 1969, 266–270. Fulltext MR 0274697
Israel M. Gel'fand, Sur un lemme de la théorie des espaces linéaires, Commun. Inst. Sci. Math. et Mecan., Univ. Kharkoff et Soc. Math. Kharkoff, IV. Ser. 13, 1936, 35–40 Zbl 0014.16202
Michel Talagrand, Pettis Integral and Measure Theory, Memoirs of the AMS no. 307 (1984) MR 0756174
Sobolev, V. I. (2001) [1994], "Pettis integral", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

Integrals
Numerical integration	Riemann integral Lebesgue integral Burkill integral Bochner integral Daniell integral Darboux integral Henstock–Kurzweil integral Haar integral Hellinger integral Khinchin integral Kolmogorov integral Lebesgue–Stieltjes integral Pettis integral Pfeffer integral Riemann–Stieltjes integral Regulated integral
Methods	Integration by parts Integration by substitution Inverse function integration Order of integration (calculus) trigonometric substitution Integration by partial fractions Integration by reduction formulae Integration using parametric derivatives Integration using Euler's formula Differentiation under the integral sign Contour integration
Improper Integrals	Improper integral Gaussian integral
Stochastic integrals	Itô integral Stratonovich integral Skorokhod integral

Functional analysis (topics)
TVS types	Banach Banach Lattice Barrelled Bornological Brauner F-space Finite-dimensional Fréchet (tame) Hilbert (pre-Hilbert Polarization identity) LF-space Locally convex (Seminorms/Minkowski functionals) Mackey Montel Nuclear Normed (norm) Quasinormed Reflexive Riesz Smith Stereotype Strictly convex Webbed Topological tensor product (of Hilbert spaces)
Mapping topologies	Dual Dual space (Dual norm) Operator Ultraweak Weak (polar operator) Mackey Strong (polar operator) Ultrastrong Uniform convergence
Linear operators	Adjoint Bilinear (form operator sesquilinear) (Un)Bounded Closed Compact (Dis)Continuous Densely defined Fredholm Hilbert–Schmidt Functionals (positive) Normal Nuclear Self-adjoint Strictly singular Trace class Transpose Unitary
Operator theory	Banach algebras C-algebras Spectrum (C-algebra radius) Spectral theory (of ODEs Spectral theorem) Polar decomposition Singular value decomposition
Theorems	Banach–Alaoglu Banach–Mazur Banach–Saks Bessel's inequality Cauchy–Schwarz inequality Closed graph Closed range Eberlein–Šmulian Freudenthal spectral Gelfand–Mazur Gelfand–Naimark Goldstine Hahn–Banach (hyperplane separation) Kakutani fixed-point Krein–Milman Lomonosov's invariant subspace Mackey–Arens Mazur's lemma M. Riesz extension Riesz representation Open mapping Parseval's identity Schauder fixed-point
Analysis	Abstract Wiener space Bochner space Differentiation in Fréchet spaces Derivatives (Fréchet Gâteaux functional holomorphic) Integrals (Bochner Dunford Gelfand–Pettis regulated Paley–Wiener weak) Functional calculus (Borel continuous holomorphic) Inverse function theorem (Nash–Moser theorem) Measures (Lebesgue Projection-valued Vector) Weakly measurable function
Types of sets	Absolutely convex Absorbing Balanced Bounded Convex Convex cone (subset) Linear cone (subset) Radial Star-shaped Symmetric Zonotope
Subsets / set operations	Algebraic interior (core) Bounding points Convex hull Extreme point Interior Minkowski addition Polar