Functiones et Approximatio Commentarii Mathematici

Existence and uniqueness of translation invariant measures in separable Banach spaces

Tepper Gill, Aleks Kirtadze, Gogi Pantsulaia, and Anatolij Plichko

Full-text: Open access


It is shown that for the vector space $\mathbb{R^N}$ (equipped with the product topology and the Yamasaki-Kharazishvili measure) the group of linear measure preserving isomorphisms is quite rich. Using Kharazishvili's approach, we prove that every infinite-dimensional Polish linear space admits a $\sigma$-finite non-trivial Borel measure that is translation invariant with respect to a dense linear subspace. This extends a~recent result of Gill, Pantsulaia and Zachary on the existence of such measures in Banach spaces with Schauder bases. It is shown that each $\sigma$-finite Borel measure defined on an infinite-dimensional Polish linear space, which assigns the value 1 to a fixed compact set and is translation invariant with respect to a~linear subspace fails the uniqueness property. For Banach spaces with absolutely convergent Markushevich bases, a similar problem for the usual completion of the concrete $\sigma$-finite Borel measure is solved positively. The uniqueness problem for non-$\sigma$-finite semi-finite translation invariant Borel measures on a Banach space $X$ which assign the value 1 to the standard rectangle (i.e., the rectangle generated by an absolutely convergent Markushevich basis) is solved negatively. In addition, it is constructed an example of such a measure $\mu_B^0$ on $X$, which possesses a strict uniqueness property in the class of all translation invariant measures which are defined on the domain of $\mu_B^0$ and whose values on non-degenerate rectangles coincide with their volumes.

Article information

Funct. Approx. Comment. Math., Volume 50, Number 2 (2014), 401-419.

First available in Project Euclid: 26 June 2014

Permanent link to this document

Digital Object Identifier

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier

Primary: 28C10: Set functions and measures on topological groups or semigroups, Haar measures, invariant measures [See also 22Axx, 43A05]
Secondary: 28C20: Set functions and measures and integrals in infinite-dimensional spaces (Wiener measure, Gaussian measure, etc.) [See also 46G12, 58C35, 58D20, 60B11] 46G12: Measures and integration on abstract linear spaces [See also 28C20, 46T12]

invariant Borel measure admissible translation Banach space Polish linear space Markushevich basis


Gill, Tepper; Kirtadze, Aleks; Pantsulaia, Gogi; Plichko, Anatolij. Existence and uniqueness of translation invariant measures in separable Banach spaces. Funct. Approx. Comment. Math. 50 (2014), no. 2, 401--419. doi:10.7169/facm/2014.50.2.12.

Export citation


  • R. Baker, “Lebesgue measure” on ${\bf R}^{\infty}$, Proc. Amer. Math. Soc. 113 (1991), 1023–1029.
  • T. Banakh, A. Plichko, The algebraic dimension of linear metric spaces and Baire properties of their hyperspaces, Rev. R. Acad. Cien. Serie A. Mat. 100 (2006), 31–37.
  • J.P.R. Christensen, On sets of Haar measure zero in abelian Polish groups, Israel J. Math. 13 (1972), 255–260.
  • R. Engelking, Outline of general topology, PWN, Warsaw; North-Holland, Amsterdam, 1968.
  • J. Feldman, Nonexistence of quasi-invariant measures on infinite-dimensional linear spaces, Proc. Amer. Math. Soc., 17 (1966), 142–146.
  • I.M. Gelfand, N.Ya. Vilenkin, Generalized functions, vol. 4. Applications of Harmonic Analysis, Academic Press, New York, 1964.
  • T.L. Gill, G.R. Pantsulaia, W.W. Zachary, Constructive analysis in infinitely many variables, Communications in Mathematical Analysis, 13(1) (2012), 107–141.
  • T.L. Gill, W.W. Zachary, Lebesgue measure on a version of $\mathbb{R}^{\infty}$, Real Analysis Exchange, Summer Symposium (2009), 42–49.
  • B.R. Hunt, T. Sauer, J.A. Yorke, Prevalence: a translation-invariant “almost every” on infinite-dimensional spaces, Bull. Amer. Math. Soc. (N.S.) 27 (1992), 217–238.
  • S. Kakutani, On equivalence of infinite product measures, Ann. Math. 49 (1948), 214–224.
  • A.S. Kechris, Classical descriptive set theory, Springer, New York, 1995.
  • A.B. Kharazishvili, Invariant measures in the Hilbert space (Russian), Bull. Acad. Sci. Georgian SSR 114(1) (1984), 45–48.
  • A.P. Kirtadze, G.R. Pantsulaia, Lebesgue nonmeasurable sets and the uniqueness of invariant measures in infinite-dimensional vector spaces, Proc. A. Razmadze Math. Inst. 143 (2007), 95–101.
  • J.C. Oxtoby, Invariant measures in groups which are not locally compact, Trans. Amer. Math. Soc. 60 (1946), 215–237.
  • G.R. Pantsulaia, Duality of measure and category in infinite-dimensional separable Hilbert space $\ell\sb 2$, Int. J. Math. Math. Sci. 30(6) (2002), 353–363.
  • G.R. Pantsulaia, On an invariant Borel measure in Hilbert space, Bull. Polish Acad. Sci. Math. 52 (2004), 47–51.
  • G.R. Pantsulaia, Invariant and quasiinvariant measures in infinite-dimensional topological vector spaces, Nova Science Publishers, Inc., New York, 2007.
  • G.R. Pantsulaia, On generators of shy sets on Polish topological vector spaces, New York J. Math. 14 (2008), 235–261.
  • N.T. Peck, On nonlocally convex spaces. II, Math. Ann. 178 (1968), 209–218.
  • I. Singer, Bases in Banach spaces. II, Springer, Berlin et al., 1981.
  • A.V. Skorohod, Integration in Hilbert spaces, Springer, Berlin et al., 1974.
  • Y. Yamasaki, Kolmogorov's extension theorem for infinite measures, Publ. Res. Inst. Math. Sci., Kyoto Univ. 10 (1975), 381–411.
  • Y. Yamasaki, Translationally invariant measure on the infinite-dimensional vector space, Publ. Res. Inst. Math. Sci., Kyoto Univ. 16 (1980), 693–720.