Analogs of the Lebesgue Measure in Spaces of Sequences and Classes of Functions Integrable with Respect to These Measures

Abstract

We examine translation-invariant measures on Banach spaces lp, where p ∈ [1,∞]. We construct analogs of the Lebesgue measure on Borel σ-algebras generated by the topology of pointwise convergence (σ-additive, invariant under shifts by arbitrary vectors, regular measures). We show that these measures are not σ-finite. We also study spaces of functions integrable with respect to measures constructed and prove that these spaces are not separable. We consider various dense subspaces in spaces of functions that are integrable with respect to a translation-invariant measure. We specify spaces of continuous functions, which are dense in the functional spaces considered. We discuss Borel σ-algebras corresponding to various topologies in the spaces lp, where p ∈ [1,∞]. For p ∈ [1,∞), we prove the coincidence of Borel σ-algebras corresponding to certain natural topologies in the given spaces of sequences and the Borel σ-algebra corresponding to the topology of pointwise convergence. We also verify that the space l∞ does not possess similar properties.