Orlicz–Pettis theorem

Last updated

A theorem in functional analysis concerning convergent series (Orlicz) or, equivalently, countable additivity of measures (Pettis) with values in abstract spaces.

Let be a Hausdorff locally convex topological vector space with dual . A series is subseries convergent (in ), if all its subseries are convergent. The theorem says that, equivalently,

The history of the origins of the theorem is somewhat complicated. In numerous papers and books there are misquotations or/and misconceptions concerning the result. Assuming that is weakly sequentially complete Banach space, W. Orlicz [1] proved the following

Theorem. If a series is weakly unconditionally Cauchy, i.e., for each linear functional , then the series is (norm) convergent in .

After the paper was published, Orlicz realized that in the proof of the theorem the weak sequential completeness of was only used to guarantee the existence of the weak limits of the considered series. Consequently, assuming the existence of those limits, which amounts to the assumption of the weak subseries convergence of the series, the same proof shows that the series in norm convergent. In other words, the version (i) of the Orlicz–Pettis theorem holds. The theorem in this form, openly credited to Orlicz, appeared in Banach's monograph [2] in the last chapter Remarques in which no proofs were provided. Pettis directly referred to Orlicz's theorem in Banach's book. Needing the result in order to show the coincidence of the weak and strong measures, he provided a proof. [3] Also Dunford gave a proof [4] (with a remark that it is similar to the original proof of Orlicz).

A more thorough discussion of the origins of the Orlicz–Pettis theorem and, in particular, of the paper [5] can be found in. [6] See also footnote 5 on p. 839 of [7] and the comments at the end of Section 2.4 of the 2nd edition of the quoted book by Albiac and Kalton. Though in Polish, there is also an adequate comment on page 284 of the quoted monograph of Alexiewicz, Orlicz’s first PhD-student, [8] still in the occupied Lwów.

In [9] Grothendieck proved a theorem, whose special case is the Orlicz–Pettis theorem in locally convex spaces. Later, a more direct proofs of the form (i) of the theorem in the locally convex case were provided by McArthur and Robertson. [10] [11]

Orlicz-Pettis type theorems

The theorem of Orlicz and Pettis had been strengthened and generalized in many directions. An early survey of this area of research is Kalton's paper. [12] A natural setting for subseries convergence is that of an Abelian topological group and a representative result of this area of research is the following theorem, called by Kalton the Graves-Labuda-Pachl Theorem. [13] [14] [15]

Theorem. Let be an Abelian group and two Hausdorff group topologies on such that is sequentially complete, , and the identity is universally measurable. Then the subseries convergence for both topologies and is the same.

As a consequence, if is a sequentially complete K-analytic group, then the conclusion of the theorem is true for every Hausdorff group topology weaker than . This is a generalization of an analogical result for a sequentially complete analytic group [16] (in the original statement of the Andersen-Christensen theorem the assumption of sequential completeness is missing [17] ), which in turn extends the corresponding theorem of Kalton for a Polish group, [18] a theorem that triggered this series of papers.

The limitations for this kind of results are provided by the weak* topology of the Banach space and the examples of F-spaces with separating dual such that the weak (i.e., ) subseries convergence does not imply the subseries convergence in the F-norm of the space . [19] [20]

Related Research Articles

In mathematics, more specifically in functional analysis, a Banach space is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vectors and is complete in the sense that a Cauchy sequence of vectors always converges to a well-defined limit that is within the space.

In mathematics, any vector space has a corresponding dual vector space consisting of all linear forms on together with the vector space structure of pointwise addition and scalar multiplication by constants.

In mathematics, a series is, roughly speaking, the operation of adding infinitely many quantities, one after the other, to a given starting quantity. The study of series is a major part of calculus and its generalization, mathematical analysis. Series are used in most areas of mathematics, even for studying finite structures through generating functions. In addition to their ubiquity in mathematics, infinite series are also widely used in other quantitative disciplines such as physics, computer science, statistics and finance.

In mathematics, a topological space is called separable if it contains a countable, dense subset; that is, there exists a sequence of elements of the space such that every nonempty open subset of the space contains at least one element of the sequence.

In mathematics, an infinite series of numbers is said to converge absolutely if the sum of the absolute values of the summands is finite. More precisely, a real or complex series is said to converge absolutely if for some real number Similarly, an improper integral of a function, is said to converge absolutely if the integral of the absolute value of the integrand is finite—that is, if

In the area of mathematics known as functional analysis, a reflexive space is a locally convex topological vector space for which the canonical evaluation map from into its bidual is a homeomorphism. A normed space is reflexive if and only if this canonical evaluation map is surjective, in which case this evaluation map is an isometric isomorphism and the normed space is a Banach space. Those space for which the canonical evaluation map is surjective are called semi-reflexive spaces.

In functional analysis and related areas of mathematics, Fréchet spaces, named after Maurice Fréchet, are special topological vector spaces. They are generalizations of Banach spaces. All Banach and Hilbert spaces are Fréchet spaces. Spaces of infinitely differentiable functions are typical examples of Fréchet spaces, many of which are typically not Banach spaces.

In functional analysis and related branches of mathematics, the Banach–Alaoglu theorem states that the closed unit ball of the dual space of a normed vector space is compact in the weak* topology. A common proof identifies the unit ball with the weak-* topology as a closed subset of a product of compact sets with the product topology. As a consequence of Tychonoff's theorem, this product, and hence the unit ball within, is compact.

In functional analysis and related areas of mathematics, a sequence space is a vector space whose elements are infinite sequences of real or complex numbers. Equivalently, it is a function space whose elements are functions from the natural numbers to the field K of real or complex numbers. The set of all such functions is naturally identified with the set of all possible infinite sequences with elements in K, and can be turned into a vector space under the operations of pointwise addition of functions and pointwise scalar multiplication. All sequence spaces are linear subspaces of this space. Sequence spaces are typically equipped with a norm, or at least the structure of a topological vector space.

In functional analysis and related areas of mathematics, a Montel space, named after Paul Montel, is any topological vector space (TVS) in which an analog of Montel's theorem holds. Specifically, a Montel space is a barrelled topological vector space in which every closed and bounded subset is compact.

In mathematics, particularly in functional analysis, a bornological space is a type of space which, in some sense, possesses the minimum amount of structure needed to address questions of boundedness of sets and linear maps, in the same way that a topological space possesses the minimum amount of structure needed to address questions of continuity. Bornological spaces are distinguished by the property that a linear map from a bornological space into any locally convex spaces is continuous if and only if it is a bounded linear operator.

In mathematics, weak convergence in a Hilbert space is convergence of a sequence of points in the weak topology.

In mathematics, specifically functional analysis, a series is unconditionally convergent if all reorderings of the series converge to the same value. In contrast, a series is conditionally convergent if it converges but different orderings do not all converge to that same value. Unconditional convergence is equivalent to absolute convergence in finite-dimensional vector spaces, but is a weaker property in infinite dimensions.

In topology and related fields of mathematics, a sequential space is a topological space whose topology can be completely characterized by its convergent/divergent sequences. They can be thought of as spaces that satisfy a very weak axiom of countability, and all first-countable spaces are sequential.

In mathematics, Mazur's lemma is a result in the theory of normed vector spaces. It shows that any weakly convergent sequence in a normed space has a sequence of convex combinations of its members that converges strongly to the same limit, and is used in the proof of Tonelli's theorem.

In mathematics, the convolution power is the n-fold iteration of the convolution with itself. Thus if is a function on Euclidean space Rd and is a natural number, then the convolution power is defined by

In mathematics, a Grothendieck space, named after Alexander Grothendieck, is a Banach space in which every sequence in its continuous dual space that converges in the weak-* topology will also converge when is endowed with which is the weak topology induced on by its bidual. Said differently, a Grothendieck space is a Banach space for which a sequence in its dual space converges weak-* if and only if it converges weakly.

In mathematics, the direct method in the calculus of variations is a general method for constructing a proof of the existence of a minimizer for a given functional, introduced by Stanisław Zaremba and David Hilbert around 1900. The method relies on methods of functional analysis and topology. As well as being used to prove the existence of a solution, direct methods may be used to compute the solution to desired accuracy.

In mathematics, specifically in order theory and functional analysis, a filter in an order complete vector lattice is order convergent if it contains an order bounded subset and if

In mathematical analysis, the spaces of test functions and distributions are topological vector spaces (TVSs) that are used in the definition and application of distributions. Test functions are usually infinitely differentiable complex-valued functions on a non-empty open subset that have compact support. The space of all test functions, denoted by is endowed with a certain topology, called the canonical LF-topology, that makes into a complete Hausdorff locally convex TVS. The strong dual space of is called the space of distributions on and is denoted by where the "" subscript indicates that the continuous dual space of denoted by is endowed with the strong dual topology.

References

  1. ↑ W. Orlicz, Beiträge zur Theorie der Orthogonalentwicklungen II, Studia Mathematica 1 (1929), 241–255.
  2. ↑ Théorie des opérations linéaires, Monografje matematyczne, Warszawa 1932; Oeuvres. Vol. II}, PWN, Warszawa 1979.
  3. ↑ B.J. Pettis, On integration in vector spaces,Trans. Amer. Math. Soc.44 (1938), 277–304.
  4. ↑ N. Dunford, Uniformity in linear spaces, Trans. Amer. Math. Soc.44 (1938), 305–356.
  5. ↑ W. Orlicz, Beiträge zur Theorie der Orthogonalentwicklungen II, Studia Mathematica 1 (1929), 241–255.
  6. ↑ W. Filter and I. Labuda, Essays on the Orlicz-Petts theorem, I (The two theorems), Real Analysis Exchange 16(2), 1990-91, 393--403.
  7. ↑ W. Orlicz, Collected works, Vol.1, PWN-Polish Scientific Publishers, Warszawa 1988.
  8. ↑ "Władysław Orlicz - the Mathematics Genealogy Project".
  9. ↑ A.Grothendieck, Sur les applications linéaires faiblement compacts d'espaces du type C(K), Canadian Journal of Mathematics 3 (1953), 129--173.
  10. ↑ C.W. McArthur On a theorem of Orlicz and Pettis, Pacific Journal of Mathematics 22 (1967), 297--302.
  11. ↑ A.P. Robertson, On unconditional convergence in topological vector spaces, Proc. Roy. Soc. Edinburgh A, 68 (1969), 145--157.
  12. ↑ Nigel Kalton, The Orlicz-Pettis theorem, Contemporary Mathematics2 (1980), 91–100.
  13. ↑ Iwo Labuda, Universal measurability and summable families in topological vector spaces, Indagationes Mathematicae (N. S.)82(1979), 27-34.
  14. ↑ J. K. Pachl, A note on the Orlicz-Pettis Theorem, Indagationes Mathematicae (N. S.)82 (1979), 35-37.
  15. ↑ W. H. Graves, Universal Lusin measurability and subfamily summable families in Abelian topological groups, Proceedings of the American Mathematical Society 73 (1979), 45--50.
  16. ↑ N. J. M. Andersen and J. P. R. Christensen, Some results on Borel structures with applications to subseries convergence in Abelian topological groups, Israel Journal of Mathematics 15 (1973), 414--420.
  17. ↑ I. Labuda, Measure, Category and Convergent Series, Real Anal. Exchange 32(2) (2017), 411--428.
  18. ↑ N. J. Kalton, Subseries convergence in topological groups and vector measures, Israel Journal of Mathematics 10 (1971), 402-412.
  19. ↑ M. Nawrocki, On the Orlicz-Pettis property in non-locally convex F-spaces, Proceedings of the American Mathematical Society 101(1987), 492--–496.
  20. ↑ M. Nawrocki, The Orlicz-Pettis theorem fails for Lumer's Hardy spaces , Proceedings of the American Mathematical Society 109 (1990), 957–963.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.