Surf Wiki
Save to docs
general/theorems-in-functional-analysis

From Surf Wiki (app.surf) — the open knowledge base

Orlicz–Pettis theorem

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

Let X be a Hausdorff locally convex topological vector space with dual X^*. A series \sum_{n=1}^\infty~x_n is subseries convergent (in X ), if all its subseries \sum_{k=1}^\infty~ x_{n_k} are convergent. The theorem says that, equivalently,

  • (i) If a series \sum_{n=1}^\infty~x_n is weakly subseries convergent in X (i.e., is subseries convergent in X with respect to its weak topology \sigma(X,X^*)), then it is (subseries) convergent; or
  • (ii) Let \mathbf{A} be a \sigma-algebra of sets and let \mu:\mathbf{A}\to X be an additive set function. If \mu is weakly countably additive, then it is countably additive (in the original topology of the space X ).

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 X is weakly sequentially complete Banach space, W. Orlicz proved the following

Theorem. If a series \sum_{n=1}^\infty~x_n is weakly unconditionally Cauchy, i.e., \sum_{n=1}^\infty |x^(x_n)| for each linear functional x^\in X^* , then the series is (norm) convergent in X .

After the paper was published, Orlicz realized that in the proof of the theorem the weak sequential completeness of X 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 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. Also Dunford gave a proof (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 can be found in. See also footnote 5 on p. 839 of 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, still in the occupied Lwów.

In a 1953 paper,{{citation

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. A natural setting for subseries convergence is that of an Abelian topological group X and a representative result of this area of research is the following theorem, called by Kalton the Graves-Labuda-Pachl Theorem.

Theorem. Let X be an Abelian group and \alpha ,\beta two Hausdorff group topologies on X such that (X,\beta) is sequentially complete, \alpha \subset \beta , and the identity j:(X,\alpha)\to (X,\beta) is universally measurable. Then the subseries convergence for both topologies \alpha and \beta is the same.

As a consequence, if (X,\beta) is a sequentially complete K-analytic group, then the conclusion of the theorem is true for every Hausdorff group topology \alpha weaker than \beta. This is a generalization of an analogical result for a sequentially complete analytic group (X,\beta) (in the original statement of the Andersen-Christensen theorem the assumption of sequential completeness is missing), which in turn extends the corresponding theorem of Kalton for a Polish group, 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 \ell^\infty and the examples of F-spaces X with separating dual X^* such that the weak (i.e., \sigma(X,X^*) ) subseries convergence does not imply the subseries convergence in the F-norm of the space X .

References

Bibliography

  • .
  • .

References

  1. W. Orlicz, [http://matwbn.icm.edu.pl/ksiazki/sm/sm1/sm1114.pdf 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, [https://www.ams.org/journals/tran/1938-044-02/S0002-9947-1938-1501970-8/S0002-9947-1938-1501970-8.pdf On integration in vector spaces],''Trans. Amer. Math. Soc.'' '''44''' (1938), 277–304.
  4. N. Dunford, [https://www.ams.org/journals/tran/1938-044-02/S0002-9947-1938-1501971-X/S0002-9947-1938-1501971-X.pdf Uniformity in linear spaces], ''Trans. Amer. Math. Soc.'' '''44''' (1938), 305–356.
  5. W. Orlicz, [http://matwbn.icm.edu.pl/ksiazki/sm/sm1/sm1114.pdf Beiträge zur Theorie der Orthogonalentwicklungen II], ''[[Studia Mathematica]]'' '''1''' (1929), 241–255.
  6. W. Filter and I. Labuda, [https://math.wp.olemiss.edu/wp-content/uploads/sites/96/2018/07/filter-labuda.pdf 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.P. Robertson, [https://doi.org/10.1017/S0080454100008335 On unconditional convergence in topological vector spaces], ''Proc. Roy. Soc. Edinburgh A'', '''68''' (1969), 145--157.
  10. Nigel Kalton, [http://kaltonmemorial.missouri.edu/docs/Cont.Math1980.pdf The Orlicz-Pettis theorem] {{Webarchive. link. (2017-09-18 , ''Contemporary Mathematics'' '''2''' (1980), 91–100.)
  11. Iwo Labuda, [https://www.sciencedirect.com/science/article/pii/1385725879900064 Universal measurability and summable families in topological vector spaces], ''Indagationes Mathematicae (N. S.)'' '''82'''(1979), 27-34.
  12. J. K. Pachl, [https://www.sciencedirect.com/science/article/pii/1385725879900076 A note on the Orlicz-Pettis Theorem], ''Indagationes Mathematicae (N. S.)'''82''''' (1979), 35-37.
  13. W. H. Graves, [https://www.ams.org/journals/proc/1979-073-01/S0002-9939-1979-0512056-5/S0002-9939-1979-0512056-5.pdf Universal Lusin measurability and subfamily summable families in Abelian topological groups], ''[[Proceedings of the American Mathematical Society]]'' '''73''' (1979), 45--50.
  14. N. J. M. Andersen and J. P. R. Christensen, [https://link.springer.com/content/pdf/10.1007/BF02757080.pdf Some results on Borel structures with applications to subseries convergence in Abelian topological groups], ''[[Israel Journal of Mathematics]]'' '''15''' (1973), 414--420.
  15. I. Labuda, [https://math.wp.olemiss.edu/wp-content/uploads/sites/96/2017/04/raestyle-duality.pdf Measure, Category and Convergent Series], ''[[Real Analysis Exchange. Real Anal. Exchange]]'' '''32(2)''' (2017), 411--428.
  16. [[Nigel Kalton. N. J. Kalton]], [https://link.springer.com/content/pdf/10.1007/BF02771728.pdf Subseries convergence in topological groups and vector measures], ''[[Israel Journal of Mathematics]]'' '''10''' (1971), 402-412.
  17. M. Nawrocki, [https://www.ams.org/journals/proc/1987-101-03/S0002-9939-1987-0908655-3/S0002-9939-1987-0908655-3.pdf On the Orlicz-Pettis property in non-locally convex F-spaces], ''[[Proceedings of the American Mathematical Society]]'' '''101'''(1987), 492--–496.
  18. M. Nawrocki, [https://www.ams.org/journals/proc/1990-109-04/S0002-9939-1990-1007507-0/S0002-9939-1990-1007507-0.pdf The Orlicz-Pettis theorem fails for Lumer's Hardy spaces (LH)^p(B) ], ''[[Proceedings of the American Mathematical Society]]'' '''109''' (1990), 957–963.
Wikipedia Source

This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page.

theorems-in-functional-analysis
Want to explore this topic further?

Ask Mako anything about Orlicz–Pettis theorem — get instant answers, deeper analysis, and related topics.

Research with Mako

Free with your Surf account

Content sourced from Wikipedia, available under CC BY-SA 4.0.

This content may have been generated or modified by AI. CloudSurf Software LLC is not responsible for the accuracy, completeness, or reliability of AI-generated content. Always verify important information from primary sources.

Report