Dunford–Pettis property

In functional analysis, the Dunford–Pettis property, named after Nelson Dunford and B. J. Pettis, is a property of a Banach space stating that all weakly compact operators from this space into another Banach space are completely continuous. Many standard Banach spaces have this property, most notably, the space $C(K)$ of continuous functions on a compact space and the space $L^{1}(\mu )$ of the Lebesgue integrable functions on a measure space. Alexander Grothendieck introduced the concept in the early 1950s (Grothendieck 1953), following the work of Dunford and Pettis, who developed earlier results of Shizuo Kakutani, Kōsaku Yosida, and several others. Important results were obtained more recently by Jean Bourgain. Nevertheless, the Dunford–Pettis property is not completely understood.

Definition

A Banach space $X$ has the Dunford–Pettis property if every continuous weakly compact operator $T:X\to Y$ from $X$ into another Banach space $Y$ transforms weakly compact sets in $X$ into norm-compact sets in $Y$ (such operators are called completely continuous). An important equivalent definition is that for any weakly convergent sequences $x_{1},x_{2},\ldots$ of $X$ and $f_{1},f_{2},\ldots$ of the dual space $X^{*},$ converging (weakly) to $x$ and $f,$ the sequence $f_{1}(x_{1}),f_{2}(x_{2}),\ldots ,f_{n}(x_{n}),\ldots$ converges to $f(x).$

Counterexamples

The second definition may appear counterintuitive at first, but consider an orthonormal basis $e_{n}$ of an infinite-dimensional, separable Hilbert space $H.$ Then $e_{n}\to 0$ weakly, but for all $n$ $\langle e_{n},e_{n}\rangle =1.$ Thus separable infinite-dimensional Hilbert spaces cannot have the Dunford–Pettis property.
Consider as another example the space $L^{p}(-\pi ,\pi )$ where $1<p<\infty .$ The sequences $x_{n}=e^{inx}$ in $L^{p}$ and $f_{n}=e^{inx}$ in $L^{q}=\left(L^{p}\right)^{*}$ both converge weakly to zero. But $\langle f_{n},x_{n}\rangle =\int \limits _{-\pi }^{\pi }1\,{\rm {d}}x=2\pi .$
More generally, no infinite-dimensional reflexive Banach space may have the Dunford–Pettis property. In particular, an infinite-dimensional Hilbert space and more generally, Lp spaces with $1<p<\infty$ do not possess this property.

Examples

If $K$ is a compact Hausdorff space, then the Banach space $C(K)$ of continuous functions with the uniform norm has the Dunford–Pettis property.

References

Bourgain, Jean (1981), "On the Dunford–Pettis property", Proceedings of the American Mathematical Society, 81 (2): 265–272, doi:10.2307/2044207, JSTOR 2044207
Grothendieck, Alexander (1953), "Sur les applications linéaires faiblement compactes d'espaces du type C(K)", Canadian Journal of Mathematics, 5: 129–173, doi:10.4153/CJM-1953-017-4
JMF Castillo, SY Shaw (2001) [1994], "Dunford–Pettis property", Encyclopedia of Mathematics, EMS Press
Lin, Pei-Kee (2004), Köthe-Bochner Function Spaces, Birkhäuser, ISBN 0-8176-3521-1, OCLC 226084233
Randrianantoanina, Narcisse (1997), "Some remarks on the Dunford-Pettis property" (PDF), Rocky Mountain Journal of Mathematics, 27 (4): 1199–1213, doi:10.1216/rmjm/1181071869, S2CID 15539667

v t e Banach space topics
Types of Banach spaces	Asplund Banach list Banach lattice Grothendieck Hilbert Inner product space Polarization identity (Polynomially) Reflexive Riesz L-semi-inner product (B Strictly Uniformly) convex Uniformly smooth (Injective Projective) Tensor product (of Hilbert spaces)
Banach spaces are:	Barrelled Complete F-space Fréchet tame Locally convex Seminorms/Minkowski functionals Mackey Metrizable Normed norm Quasinormed Stereotype
Function space Topologies	Banach–Mazur compactum Dual Dual space Dual norm Operator Ultraweak Weak polar operator Strong polar operator Ultrastrong Uniform convergence
Linear operators	Adjoint Bilinear form operator sesquilinear (Un)Bounded Closed Compact on Hilbert spaces (Dis)Continuous Densely defined Fredholm kernel operator Hilbert–Schmidt Functionals positive Pseudo-monotone Normal Nuclear Self-adjoint Strictly singular Trace class Transpose Unitary
Operator theory	Banach algebras C-algebras Operator space Spectrum C-algebra radius Spectral theory of ODEs Spectral theorem Polar decomposition Singular value decomposition
Theorems	Anderson–Kadec Banach–Alaoglu Banach–Mazur Banach–Saks Banach–Schauder (open mapping) Banach–Steinhaus (Uniform boundedness) 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 Parseval's identity Riesz's lemma Riesz representation Robinson-Ursescu Schauder fixed-point
Analysis	Abstract Wiener space Banach manifold bundle Bochner space Convex series Differentiation in Fréchet spaces Derivatives Fréchet Gateaux functional holomorphic quasi Integrals Bochner Dunford Gelfand–Pettis regulated Paley–Wiener weak Functional calculus Borel continuous holomorphic Measures Lebesgue Projection-valued Vector Weakly / Strongly measurable function
Types of sets	Absolutely convex Absorbing Affine Balanced/Circled Bounded Convex Convex cone (subset) Convex series related ((cs, lcs)-closed, (cs, bcs)-complete, (lower) ideally convex, (Hx), and (Hwx)) Linear cone (subset) Radial Radially convex/Star-shaped Symmetric Zonotope
Subsets / set operations	Affine hull (Relative) Algebraic interior (core) Bounding points Convex hull Extreme point Interior Linear span Minkowski addition Polar (Quasi) Relative interior
Examples	Absolute continuity AC $ba(\Sigma )$ c space Banach coordinate BK Besov $B_{p,q}^{s}(\mathbb {R} )$ Birnbaum–Orlicz Bounded variation BV Bs space Continuous C(K) with K compact Hausdorff Hardy H^p Hilbert H Morrey–Campanato $L^{\lambda ,p}(\Omega )$ ℓ^p $\ell ^{\infty }$ L^p $L^{\infty }$ weighted Schwartz $S\left(\mathbb {R} ^{n}\right)$ Segal–Bargmann F Sequence space Sobolev W^k,p Sobolev inequality Triebel–Lizorkin Wiener amalgam $W(X,L^{p})$
Applications	Differential operator Finite element method Mathematical formulation of quantum mechanics Ordinary Differential Equations (ODEs) Validated numerics

Definition

Counterexamples

Examples

See also

References