Arxiv:1910.04914V2 [Math.FA] 10 Mar 2020 Ijitmmesof Members Disjoint Ti Lsia Seeg 3 ],Ta H E Function Set the That 6]), [3, E.G

arXiv:1910.04914v2 [math.FA] 10 Mar 2020 ijitmmesof members disjoint ti lsia seeg 3 ],ta h e function set the that 6]), [3, e.g. (see classical is It X h otcmo ehdt rv h xsec fti esr st is measure this of existence theorem the extension prove Caratheodory to method common most The feeet of elements of σ o ntne ftefiieescondition finiteness the if instance, For U 1 ( (1) h lsia rdc esr pc ocutbemn,ie,t con to i.e., many, space countable measure to uct space measure product classical the µ n ( and and and utstsyteidentity the satisfy must by hr Σ where agbaΣ -algebra X ( e od n phrases. and words Key 2010 h lsia hoyo rdc esrsdaswt w esr s measure two with deals measures product of theory classical The osdrnwasequence a now Consider R × ⊗ B X N Y Y, µ × ahmtc ujc Classification. Subject Mathematics ∈ Abstract. fti esrsaesmlfidi em ffiiepoutmaue.T measures. integra product framework. dimensional finite computational infinite of regarding Moreover,a considerations terms the many. in all countable simplified simplifies are to measures measures this ex product coherent of a finite giving of techniques measure theory outer via spaces measure i Y Y Σ n hteeyeeetof element every that and ∈ X R .Hneby Hence ). N Σ Y samaueo Σ on measure a is (Σ ⊗ µ µ , Y i X . Σ i Y µ samauestsyn naaou fiett 1 o hsgnrls general this for (1) identity of analogue an satisfying measure a is ) EEA ONAL RDC MEASURES PRODUCT COUNTABLE GENERAL ⊗ Y i nodrt osrc h rdc esr pc ( space measure product the construct to order in ) X R ∈ N Σ sthe is X ⊗ := e osrcino rdc esrsi ie o nabtays arbitrary an for given is measures product of construction new A Y × µ × Y htextends that µ R Y ( hni ses ovrf that verify to easy is it then , 0 )( i aahooyetnintheorem extension Caratheodory × X ∈ σ i : =1 nnt iesoa nerto,IfiiePoutMeasures, Product Infinite Integration, Dimensional Infinite m N A × agbagnrtdby generated -algebra Y Ω U C × en h e function set the Define . i X U i , i N { B =1 N × ( (Ω ⊗ R = ) i A i UNCRO SAMPEDRO CARLOS JUAN = Σ ∈ × i X sflos eoeby Denote follows. as , i m ∞ N Y × Σ µ × µ +1 Σ U Y 1. 0 i X aifigteidentity the satisfying µ , Therefore, . i ) B ( Ω , ( R N Introduction i 83 piay,2C0 61,4B5(secondary). 46B25 46G12, 28C20, (primary), 28A35 A i i Q ) X ) : } i −! × ∈ i C i · 7! ∈ ∈ Y N µ i N N a ewitna nt no fpairwise of union finite a as written be can ) Y µ 1 ∈ µ fmauesae.Orami ogeneralize to is aim Our spaces. measure of ( i i B Σ P [0 R (Ω where i o every for ) , X , i N i µ + =1 ) × ∀ ∞ Y ∈ aifisiett 1 o each for (1) identity satisfies i µ U µ { ∈ := ] [0 X U ( 0 N hr xssameasure a exists there , R ( , ( swl endand defined well is A + R { 1 X i ∈ A i , ∞ × X ) N 2 A Y · × × .,m ..., , Σ od,temeasure the holds, ) sa ler fsbesof subsets of algebra an is ) µ Y ∈ i B Y h aiyo nt unions finite of family the ) eso fteclassical the of tension sthe is ( Σ X h eegespaces Lebesgue the B : X tutteifiieprod- infinite the struct } inadgvst it to gives and tion A × i i decomposition his ) B , ruhtecelebrated the hrough and . Y, ∈ σ Σ ∈ agbagenerated -algebra Σ ae ( paces X X m Σ qec of equence B , ⊗ Y ∈ σ L Σ . adtv on -additive p N Y X, ∈ spaces. µ , ) µ Σ Σ A N X Y nthe on etting. X ⊗ } ∈ i µ , ∈ µ and N Σ Y X µ X ), ) i 2 JUAN CARLOS SAMPEDRO

m ∞ m ∞ C C (2) µi × i × × Ωi = µi( i) · µi(Ωi) i∈N i=1 i=m+1 ! i=1 i=m+1 O Y Y m ∞ C N for each ×i=1 i ××i=m+1 Ωi ∈ R(Σi)i∈ . The first first attempt to address this problem was for the particular case of probability spaces. In 1933, A. Kolmogoroff proved in [12] the existence of a probability measure N i∈N m[0,1] on the measurable space [0, 1] , i∈N B[0,1] , where B[0,1] and m[0,1] are the Borel σ-algebra of [0, 1] and the Lebesgue measure of [0, 1] respectively, such that identity N(2) holds for every N

m ∞ C × i × × [0, 1] ∈ R(B[0,1])i∈N. i=1 i=m+1 Kolmogoroﬀ’s proof was based on the compactness of the product space [0, 1]N. More general cases were discussed by Z. Lomnicki and S. Ulam in 1934 on the reference [14]. In 1943, S. Kakutani generalized for general probability spaces the results of Kolmogoroﬀ, Lomnicki and Ulam proving in [10] the next celebrated result.

Theorem 1.1. Given {(Ωi, Σi,µi)}i∈N a family of probability spaces, there exists an unique probability measure i∈N µi on the measurable space ( i∈N Ωi, i∈N Σi) satisfying for m ∞ × every C = C × Ω ∈ R(Σ ) N the following identity ×i=1 i N×i=m+1 i i i∈ N m

µi (C )= µi(Ci). N i=1 Oi∈ Y Kakutani’s proof of this result has become standard in Probability and Measure Theory. The key tool of the proof relies on a result of E. Hopf (cf. [8], [19, Theorem 3.2]). In 1996, S. Saeki gives in [17] a new proof of Theorem 1.1, proving it in a more natural terms without the use of Hopf’s result. If the measure spaces {(Ωi, Σi,µi)}i∈N are not of probability but satisfy the finiteness condition i∈N µi(Ωj) ∈ [0, +∞), then normalizing each measure space, it can be also proven as a rather direct consequence of Theorem 1.1, Q the existence of a measure on (×i∈N Ωi, i∈N Σi) satisfying identity (2). On other hand, if i∈N µi(Ωi)=+∞, identity (2) is no longer useful for the construction of infinite product measures since its valueN is always infinite. Nevertheless, we can ask the measure to verifyQ the new identity

C C (3) µi × i = µi( i) N i∈N ! N Oi∈ Yi∈ C N for each ×i∈N i ∈F(Σi,µi)i∈ , where

C C N C F(Σi,µi)i∈N := × i : i ∈ Σi, ∀i ∈ and µi( i) ∈ [0, +∞) . (i∈N N ) Yi∈ Therefore, the natural extension of the classical theory for the nonﬁnite case is the product measure space ×i∈N Ωi, i∈N Σi, i∈N µi where i∈N µi is a measure satisfying (3). The ﬁrst purpose of this article is to provide a construction of this product space for an N N N arbitrary family of measure spaces {(Ωi, Σi,µi)}i∈N. This matter has not been ignored in the last century and several attempts have been made trying to formalize it. GENERAL COUNTABLE PRODUCT MEASURES 3

In 1963, E.O. Elliott and A.P. Morse published a paper [5] constructing this kind of product spaces through a reformulation of the classical inﬁnite product called plus product. Let a = (an)n∈N be a sequence of positive real numbers and A (a) = {n ∈ N : an > 1}, then they deﬁned the plus product of the sequence (an)n∈N by

+ an := an · an, N A A nY∈ n∈Y(a) n/∈Y(a) with the convention 0 ·∞ = ∞· 0 = 0 and setting the value of the empty product to 1. The main purpose of deﬁning this concept lies in the fact that the plus product exists for every positive sequence (an)n∈N of real numbers, which does not happen with the classic product (take for instance the sequence deﬁned by

2 if n ≡ 0 mod2 a := n 1 if n ≡ 1 mod2. 2 for each n ∈ N). The classical and the plus product do not, in general, coincide, but if the condition n∈A (a) an < +∞ is satisfied, they coincide. We define the set of finite plus rectangles by Q

+ + C C N C F (Σi,µi)i∈N := × i : i ∈ Σi, ∀i ∈ and µi( i) ∈ [0, +∞) . (i∈N N ) Yi∈ Elliot and Morse proved that given a family of measure spaces {(Ωi, Σi,µi)}i∈N, there exists a measure λEM on the measurable space ×i∈N Ωi, i∈N Σi satisfying for every + C = C ∈F (Σ ,µ ) N, the following identity ×i∈N i i i i∈ N + (4) λEM (C )= µi(Ci). N Yi∈ + C C N It must be observed that if a ﬁnite plus rectangle = ×i∈N i ∈ F (Σi,µi)i∈ satisﬁes + C C i µi( i) =6 0, then its plus product must coincide with the classical product i µi( i). + C However, if i µi( i) = 0, the products does not, in general, coincide. In consequence, Qthis result does not stablish the existence of the required product measure sinceQ there Q + C are substantial sequence satisfying i µi( i) = 0 with nonzero classical product (take for n+1 instance the sequence an = exp((−1) /n) for each n ∈ N). In 2004 R. Baker, proved in [2,Q Theorem I], the existence of the required product measure for the particular case in which the involved spaces {(Xi,di)}i∈N are locally compact metric and satisfy the property D: N (D) For every i ∈ and δ > 0, there exists a sequence {Aj}j∈N ⊂ BXi such that di(Aj) < δ for each j ∈ N and

Xi = Aj N j[∈

where di(Aj) stands for the diameter of Aj in Xi and BXi for the borel σ-algebra of Xi.

He proved that given a sequence {(Xi,di)}i∈N satisfying the previous properties and a corresponding sequence of regular Borel measure spaces {(Xi, BXi ,µXi )}i∈N, there exists C a measure λB on the measurable space (×i∈N Xi, i∈N BXi ) satisfying for every = N 4 JUAN CARLOS SAMPEDRO

C N ×i∈N i ∈F(BXi ,µXi )i∈ , the following identity C C λB( )= µXi ( i). i∈N Y In 2005, P. A. Loeb and D. A. Ross gave in [13, Theorem 1.1] another attempt of formal- izing the product measure via Nonstandard Analysis techniques and Loeb Measures [1, §4]. They established that given a sequence of Hausdorﬀ topological spaces {(Xi, τi)}i∈N and a corresponding sequence of regular Borel measure spaces {(Xi, BXi ,µXi )}i∈N, there exists a measure λLR on the measurable space (×i∈N Xi, i∈N BXi ) such that if Ki ⊂ Xi is compact for all i ∈ N and K ∈F(B ,µ ) N, then the following identity holds ×i∈N i Xi Xi i∈ N ∞ λ K = µ (K ). LR × i Xi i i∈N ! i=1 Y Finally, in 2011 G.R. Pantsulaia presented in [15, Theorem 3.10] the best generalization of product measures to countable many till the date. He proved the following.

Theorem 1.2. Let {(Ωi, Σi,µi)}i∈N be a family of σ-ﬁnite measure spaces satisfying N ∅ F(Σi,µi)i∈ =6 , then there exists a measure λP on ×i∈N Ωi, i∈N Σi satisfying for each C = C ∈F(Σ ,µ ) N the identity ×i∈N i i i i∈ N

λP (C )= µi(Ci). i∈N Y This result provides a standard prove of the existence of the product measure without imposing any topological assumption over the involved spaces. However, the measure spaces (Ωi, Σi,µi) must be σ-finite for every i ∈ N and the measure λP is not constructed via outer measure techniques, that it is not a necessary condition but it always facilitates several computations like Fubini theorem’s proof. This paper is organized as follows. In section one, we give a construction of the product measure i∈N µi satisfying identity (3), via outer measure techniques without imposing any condition on the underlying measure spaces. This result will extend Theorem 1.2 establishingN the best extension of the classical theory till the date. In section three and four we simplify the structure of Lebesgue spaces of this measure in terms of finite product measures via a theorem due to B. Jessen [9]. Roughly speaking, we decompose n n n Lp(×i∈N Ωi, i∈N Σi, i∈N µi) in terms of Lp(×i=1 Ωi, i=1 Σi, i=1 µi), for each 1 ≤ p< ∞. This decomposition allows to consider infinite dimensional functions as a sequence of finite dimensionalN onesN and stabilises a computationalN methodN to compute the integral of this kind of maps. Finally, thanks to the previous considerations, in section five we construct a measure for each infinite dimensional separable Banach space X following the work of T. Gill, A. Kirtadze, G. Pantsulaia and A. Plichko [7] and we state an analogue of the cited decomposition for Lebesgue spaces of this measure.

2. Existence of the Product Measure

In this section, given an arbitrary sequence of measure spaces {(Ωi, Σi,µi)}i∈N, we will prove the existence of a measure i∈N µi on the measurable space (×i∈N Ωi, i∈N Σi) satisfying the identity N N

(5) µi(C )= µi(Ci) N N Oi∈ Yi∈ GENERAL COUNTABLE PRODUCT MEASURES 5

C C N for each =×i∈N i ∈F(Σi,µi)i∈ . A key fact we will use is the existence of this measure for the particular case in which the involved measure spaces {(Ωi, Σi,µi)}i∈N satisﬁes the ﬁniteness condition i µi(Ωi) ∈ [0, +∞). More precisely, there exists a measure i∈N µi on the measurable space ( Ω , Σ ) satisfying for each C = n C × ∞ Ω ∈ Q ×i∈N i i∈N i ×i=1 i ×i=nN+1 i R(Σ ) N, the identity i i∈ N n ∞

µi (C )= µi(Ci) · µi(Ωi). N i=1 i=n+1 Oi∈ Y Y The existence of this measure is a rather direct consequence of Theorem 1.1. It is straightforward to verify that for this measure, identity (5) also holds. Let {(Ωi, Σi,µi)}i∈N be an arbitrary family of measure spaces. We deﬁne the volume map vol : F(Σi,µi)i∈N ! [0, +∞) by

C C vol × i = µi( i). i∈N ! N Yi∈ The principal tool that is going to be used in the construction of the required product measure will be the next result, that establishes that the vol map is a good choice for the extension of the classical volume formula.

Theorem 2.1. Let {(Ωi, Σi,µi)}i∈N be a sequence of measure spaces, C ∈ F(Σi,µi)i∈N and {Cn}n∈N ⊂F(Σi,µi)i∈N pairwise disjoint. Then C C (1) If = n∈N n, U (6) vol(C )= vol(Cn). N Xn∈ C C (2) If n∈N n ⊂ , U (7) vol(Cn) ≤ vol(C ). N Xn∈ (3) Suppose that {Cn}n∈N ⊂F(Σi,µi)i∈N are not necessarily pairwise disjoint, then if C C ⊂ n∈N n, S vol(C ) ≤ vol(Cn). n∈N X Before stating the proof of Theorem 2.1, we will give two lemmas.

Lemma 2.2. Let (an)n∈N, (bn)n∈N be two real positive sequences such that

(1) an ≤ bn for each n ∈ N. (2) n∈N bn ∈ [0, +∞) then Q (8) an ∈ [0, +∞). N nY∈ Moreover,

(9) an ≤ bn. N N nY∈ nY∈ 6 JUAN CARLOS SAMPEDRO

Proof. If n∈N bn = 0, the result is evident. Suppose n∈N bn ∈ (0, +∞). Then, since (an/bn)n∈N ⊂ [0, 1], the partial products are monotone and bounded by 1. In consequence an ∈Q[0, +∞). Using elementary properties of theQ limit n∈N bn Q m m m an an lim an = lim bn = bn ∈ [0, +∞). m!∞ m!∞ b b n=1 n=1 n=1 n N N n Y Y Y nY∈ nY∈ This concludes the proof of (8). For (9) just note that the partial products satisﬁes n n N i=1 an ≤ i=1 bn for each n ∈ . C C C C LemmaQ 2.3.Q Let 1, 2 ∈F(Σi,µi)i∈N, then 1 ∩ 2 ∈F(Σi,µi)i∈N. Moreover, for each i ∈{1, 2}

(10) vol(C1 ∩ C2) ≤ vol(Ci). Proof. Firstly, let us denote

C C i C C i, 1 =× 1 and 2 =× 2 i∈N i∈N therefore, it is apparent that

C ∩ C C i ∩ C i. 1 2 =× 1 2 i∈N C i C i N C i C i C i Since Σi is a σ-algebra, 1 ∩ 2 ∈ Σi for each i ∈ . Moreover, since µi( 1 ∩ 2 ) ≤ µi( 1 ) N C i C for each i ∈ and i∈N µi( 1 )= vol( 1) ∈ [0, +∞), it follows from Lemma 2.2, that

Q C i C i µi( 1 ∩ 2 ) ∈ [0, +∞). N Yi∈ Thus C1 ∩ C2 ∈F(Σi,µi)i∈N. Inequality (10) follows from (9). i C C N N Proof of Theorem 2.1. Let = ×i∈N ∈ F(Σi,µi)i∈ . For each i ∈ , let us denote i i (C , ΣC i ,µC i ) the restriction of the measure space (Ωi, Σi,µi) to C . Since the sequence i of measure spaces {(C , ΣC i ,µC i )}i∈N satisﬁes the ﬁniteness condition i i µC i (C )= µi(C ) ∈ [0, +∞), i∈N i∈N Y Y C there exists a measure i∈N µC i on the measurable space ( , i∈N ΣC i ) satisfying for each D = D ∈F(ΣC i ,µC i ) N the identity ×i∈N i N i∈ N

(11) µC i (D)= µC i (Di)= µi(Di)= vol (D) . N N N Oi∈ Yi∈ Yi∈ It must be observed that the set map vol is well deﬁned over F(ΣC i ,µC i )i∈N since F(ΣC i ,µC i )i∈N ⊂ F(Σi,µi)i∈N. Moreover, by (11), the measure i∈N µC i coincides with vol over F(ΣC i ,µC i )i∈N. N Let us begin proving item (1) and (2). In this cases Cn ⊂ C for each n ∈ N and hence {Cn}n∈N ⊂ F(ΣC i ,µC i ) because if D ∈ F(Σi,µi)i∈N satisﬁes D ⊂ C , necessarily D C ∈F(ΣC i ,µC i )i∈N. Since i∈N µC i is a measure on ( , i∈N ΣC i ) and it coincides with the map vol over F(ΣC i ,µC i )i∈N, we deduce identities (6) and (7). Finally, suppose the hypothesis of case (3) holds.N It is apparent that N

(12) C = C ∩ Cn ⊂ Cn. N N n[∈ n[∈ GENERAL COUNTABLE PRODUCT MEASURES 7

By Lemma 2.3, it becomes apparent that C ∩Cn ∈F(Σi,µi)i∈N and vol(C ∩Cn) ≤ vol(Cn) for each n ∈ N. Therefore, by (11) and (12), we deduce

vol(C )= µC i (C )= µC i C ∩ Cn N N N ! Oi∈ Oi∈ n[∈ ≤ µC i (C ∩ Cn)= vol(C ∩ Cn) ≤ vol(Cn). N N N N Xn∈ Oi∈ Xn∈ Xn∈ This concludes the proof. For the prove of the existence of a product measure for arbitrary family of measure spaces ∗ N ! {(Ωi, Σi,µi)}i∈ , we consider the outer measure µ : P(×i∈N Ωi) [0, +∞], deﬁned by

∗ (13) µ (A) := inf vol(Cn): {Cn}n∈N ⊂F(Σi,µi)i∈N and A ⊂ Cn ( N N ) Xn∈ n[∈ ∗ for every A ∈ P(×i∈N Ωi). If no cover exists, we set µ (A) := +∞. We will prove that this outer measure is, in fact, a measure on the σ-algebra i∈N Σi and that it satisﬁes identity (5) for each C ∈F(Σi,µi)i∈N. We start stating some useful lemmas. N Lemma 2.4. C N C C Let i ⊂ Ωi for each i ∈ and =×i∈N i, then n−1 ∞ C c C × C c × . (14) = × i n × Ωi n∈N i=1 i=n+1 ! ] Proof. It is clear that the union of the right hand of (14) is disjoint. C c C N C ⊆ Let (cn)n∈N ∈ , then (cn)n∈N ∈/ and there exists n0 ∈ such that cn0 ∈/ n0 . C c Thus cn0 ∈ n0 . Deﬁne the subset

N C N C c N I(cn)n = {n ∈ : cn ∈/ n} = {n ∈ : cn ∈ n } ⊂ . ∅ By the last argument, I(cn)n =6 . Let N0 = min I(cn)n , then clearly

N0−1 ∞ c (c ) N ∈ C × C × Ω . n n∈ × i N0 × i i=1 i=N0+1

⊇ It is clear that for every n ∈ N n−1 ∞ C × C c × ∩ C ∅, × i n × Ωi = i=1 i=n+1 ! therefore

n−1 ∞ C × C c × ⊂ C c. × i n × Ωi n∈N i=1 i=n+1 ! ] This concludes the proof.

Lemma 2.5. Let C1 ∈ R(Σi)i∈N and C2 ∈F(Σi,µi)i∈N, then C1 ∩ C2 ∈F(Σi,µi)i∈N. 8 JUAN CARLOS SAMPEDRO

Proof. First, denote

m ∞ C C C C 1 =× 1,i × × Ωi and 2 =× 2,i, i=1 i=m+1 i∈N therefore it is apparent that

m ∞ C C C C C 1 ∩ 2 =×( 1,i ∩ 2,i) × × 2,i. i=1 i=m+1

Observe that C1,i ∩ C2,i ∈ Σi for each i ∈ {1, 2, ..., m} and that C2,i ∈ Σi for each i ∈ N\{1, 2, ..., m}. Finally, since C2 ∈F(Σi,µi)i∈N,

m ∞

µi(C1,i ∩ C2,i) · µi(C2,i) ∈ [0, +∞). i=1 i=m+1 Y Y Hence C1 ∩ C2 ∈F(Σi,µi)i∈N.

∗ Theorem 2.6 (Measurability). The family of subsets R(Σi)i∈N is µ -measurable.

C N B N Proof. Take ∈ R(Σi)i∈ and B ∈ P(×i∈N Ωi). Consider ε> 0 and a family { n}n∈ ⊂ F(Σi,µi)i∈N such that

B ⊂ Bn N n[∈ and

∗ (15) vol(Bn) ≤ µ (B)+ ε. N Xn∈ ∗ If the cover {Bn}n∈N does not exist, then necessarily µ (B)=+∞ and the inequality (16) µ∗(B) ≥ µ∗(B ∩ C )+ µ∗(B ∩ C c) follows. Suppose such cover exists, then by Lemma 2.4, there exists {Ci}i∈N ⊂ R(Σi)i∈N pairwise disjoint of the form

ni−1 ∞ C = C × C c × Ω i × i,j i,ni × j j=1 j=ni+1 such that

c Bn =(Bn ∩ C ) ⊎ (Bn ∩ C )

=(Bn ∩ C ) ⊎ Bn ∩ Ci N ! i]∈

=(Bn ∩ C ) ⊎ (Bn ∩ Ci) . N ! i]∈ By Lemma 2.5, it follows that Bn ∩ C , Bn ∩ Ci ∈F(Σi,µi)i∈N and therefore, by Theorem 2.1 item (1), we arrive to the identity

vol(Bn)= vol(Bn ∩ C )+ vol(Bn ∩ Ci). N Xi∈ GENERAL COUNTABLE PRODUCT MEASURES 9

Hence, by equation (15) and the deﬁnition of the outer measure µ∗, (13), it becomes apparent that

∗ µ (B)+ ε ≥ vol(Bn)= vol(Bn ∩ C )+ vol(Bn ∩ Ci) n∈N n∈N n∈N i∈N X X X X = vol(Bn ∩ C )+ vol(Bn ∩ Ci) N N2 Xn∈ (n,iX)∈ ≥ µ∗(B ∩ C )+ µ∗(B ∩ C c). The last step follows from the following inclusion and the deﬁnition of infumum

c c c B ∩ C ⊂ Bn ∩ C = (Bn ∩ C ) N ! N n[∈ n[∈ = (Bn ∩ Ci)= (Bn ∩ Ci). N N N2 n[∈ i]∈ (n,i[)∈ ! C ∗ Taking ε 0, inequality (16) holds for every B ∈ P(×i∈N Ωi) and therefore is µ - measurable.

In Theorem 2.6 we have proved that R(Σi)i∈N is a subfamily of the Caratheodory σ- algebra C and therefore by Caratheodory extension theorem, µ∗ deﬁnes a measure on

σ(R(Σi)i∈N)= i∈N Σi. We will denote

N ∗ µi := µ . Ni∈N Σi i∈N O Finally, we will prove that the outer measure µ∗ satisﬁes identity (5) for each C ∈ F(Σi,µi)i∈N.

Proposition 2.7 (Volume). For each C ∈F(Σi,µi)i∈N, the following identity holds

µ∗(C )= vol(C ).

Proof. Let {Cn}n∈N ⊂F(Σi,µi)i∈N be cover of C , i.e.,

C ⊂ Cn. N n[∈ By Theorem 2.1 item (3), we deduce the following inequality

vol(C ) ≤ vol(Cn). N Xn∈ Then, taking the infimum over all covers, we stablish that vol(C ) ≤ µ∗(C ). Finally, considering the particular cover {Cn}n∈N ⊂F(Σi,µi)i∈N defined by C if n =1 C := n ∅ if n =16 it becomes apparent that µ∗(C ) ≤ vol(C ) ≤ µ∗(C ) which implies vol(C )= µ∗(C ). This finished the proof. In conclusion, we have proved the next existence theorem. The last statements of this result are proven analogously to those of [2, Theorem I]. 10 JUAN CARLOS SAMPEDRO

Theorem 2.8. Let {(Ωi, Σi,µi)}i∈N be a family of measure spaces, then there exists a C measure i∈N µi on the measurable space (×i∈N Ωi, i∈N Σi) satisfying for each = C ∈F(Σ ,µ ) N the identity ×i∈N i N i i i∈ N

µi(C )= µi(Ci). N N Oi∈ Yi∈ If each space Ωi contains subsets Ai and Bi such that µi(Ai) = µi(Bi)=1, then the measure i∈N µi is not σ-ﬁnite. Moreover, assuming that each (Ωi, Σi, ◦i) is a measurable group, if each µi is a left (respectively right)-invariant measure on (Ωi, Σi, ◦i), then N i∈N µi is a left (respectively right)-invariant measure.

N 3. Decomposition Theorem for Finite Measures

In this section Lp of infinite product measures are studied and simplified in terms of Lp of finite product ones, for the particular case in which the finiteness condition is satisfied. Let {(Ci, Σi,µi)}i∈N be a family of measure spaces satisfying the finite- C C ness condition i µi( i) ∈ (0, ∞). We use the notation i instead of Ωi to emphasize that the involved measures satisfies the required condition. Consider the measure space C Q C C , i∈N Σi, i∈N µi , where = ×i∈N i and i∈N µi is the measure constructed in the last section in terms of the outer measure (13). In this section we will deal with the spaceN N N

Lp C , Σi, µi N N ! Oi∈ Oi∈ for 1 ≤ p < ∞. To simplify the notation, throughout this paper we will use unstint- C C ∞ ∞ n C ingly the notations Lp( ) and Lp ( , i=1 Σi, i=1 µi); and analogously Lp(×i=1 i) n C n n N and Lp( i=1 i, i=1 Σi, i=1 µi). Moreover, for each n ∈ , we will use the notation × n N N C n to denote C . Consider for 1 ≤ p< ∞, the vector space ×iN=1 i N n n Lp (C ) := {(fn)n∈N : fn ∈ Lp (C ) , ∀n ∈ N} n∈N M and the subspace

n n fn lim L (C ) := (f ) N ∈ L (C ): − f −−−−−! 0 ∼, p n n∈ p m C m ! n µi( i) m n,m ∞ n∈N i=n Lp(C ) , M n N N C Q N N where given (fn)n∈ , (gn)n∈ ∈ n∈N Lp( ), we identify the sequences (fn)n∈ ∼ (gn)n∈ if L

n lim kfn − gnkLp(C ) =0. n!∞ C n m Moreover, in the deﬁnition of limn Lp( ), we are identifying for every n < m, Sn (f) ≡ f, m m C n ! C m where Sn is the linear embedding Sn : Lp( ) ֒ Lp( ) deﬁned by

m C m −! R Sn (f): (ω1,ω2, ··· ,ωm) 7! f(ω1,ω2, ··· ,ωn)

n for each f ∈ Lp(C ). Hereinafter, we will use this identiﬁcations. If we consider the functional GENERAL COUNTABLE PRODUCT MEASURES 11

C n −! k·klim Lp : limn Lp( ) [0, +∞) 7! n (fn)n∈N limn!∞ kfnkLp(C ) C n then, for each 1 ≤ p< ∞, the pair (limn Lp ( ) , k·klim Lp ) deﬁnes a normed space. The main result of this section states that the next spaces are isometrically isomorphic for 1 ≤ p< ∞

n (17) Lp (C ) ≃ lim Lp (C ) , n and consequently we would have the embedding

n , ( Lp (C ) ֒! Lp (C N Mn∈ that allows us to consider functions defined in spaces of infinite dimensions as a sequence of finite dimensional ones. 3.1. Preliminary Lemmas. We will give some lemmas concerning some dense subspaces n of Lp (C ) and limn Lp (C ) that will be useful for the proof of (17). Throughout this section, we will identify for each n ∈ N, the spaces

n n C ∞ C C C Lp ( ) ≃ f · χ×i=n+1 i : f ∈ Lp ( ) ⊂ Lp( ), n o ∞ where χ ∞ C stands for the characteristic function of the set C . ×i=n+1 i ×i=n+1 i C n C Lemma 3.1. The subspace n∈N Lp ( ) is dense in Lp ( ) for each 1 ≤ p< ∞. Proof. By deﬁnition, we haveS

Σi = σ(R(Σi)i∈N). i∈N O Consequently since R(Σi)i∈N is an algebra of subsets, by Lemma 3.4.6 of [4], the space Span χR : R ∈ R(Σi)i∈N is dense in Lp(C ). Finally, due to the inclusion

n Span χR : R ∈ R(Σi)i∈N ⊂ Lp (C ) , n∈N [ the result follows. N C n Lemma 3.2. Let Fp be the subspace of limn Lp ( ) deﬁned by

N C n C N Fp := (fn)n∈N ∈ Lp ( ): There exists g ∈ Lp n∈N M g such that f = , ∀n ≥ N , n n µ (C ) i=N+1 i i N C n then for each 1 ≤ p< ∞, the subspace QN∈N Fp is dense in limn Lp( ). n m n Proof. Let (fn)n∈N ∈ limn Lp (C ) andS consider the sequence (F )m∈N ⊂ limn Lp (C ) deﬁned by

m 0 if n < m Fn = fm n C if n ≥ m ( Qi=m+1 µi( i) for each n, m ∈ N. Then, by deﬁnition 12 JUAN CARLOS SAMPEDRO

m m fm kF − (f ) Nk = lim kF − f k C n = lim − f n n∈ lim Lp ! n n Lp( ) ! n C n n ∞ n ∞ µi( i) n i=m+1 Lp(C )

C n and since (fn)n∈N ∈ limn Lp ( ), it is apparent that Q

m fm lim kF − (f ) Nk = lim lim − f =0. ! n n∈ lim Lp ! ! n C n m ∞ m ∞ n ∞ µi( i) n i=m+1 Lp(C )

Thus we have proved Q

m n (F )m∈N −−−! (fn)n∈N in lim Lp (C ) . m!∞ n m N N Consequently since (F )m∈N ⊂ N∈N Fp , we conclude that the subspace N∈N Fp is n dense in limn Lp(C ). S S Another key result will be the Jessen’s theorem. This theorem was proved by B. Jessen in 1934 in his PhD Thesis [9] and nowadays is proved by martingales techniques [18, Theorem 7.16]. However, Jessen proved the result only for probability spaces. We need a version for the general case in which the involved spaces (Ci, Σi,µi) are not necessarily of probability. This version is given in the next result which proof can be adapted mutatis mutandis from the proofs of Theorems II, III and IV of Baker’s paper [2]. It must be observed that the extra conditions imposed by Baker on the measure spaces are not used in the proofs of Theorems II, III and IV.

Theorem 3.3. Let {(Ci, Σi,µi)}i∈N be a family of measure spaces satisfying the ﬁniteness C C condition i µi( i) ∈ (0, +∞), and consider f ∈ Lp( ) with 1 ≤ p < ∞, then if we n denote ω =(ω1,ω2, ..., ωn), ωn =(ωn+1,ωn+2, ...) and respectively for the variable x, Q (1)

n n−1 f(ω , xn) dω ∈ Lp (C ) and f(x , ωn−1) dω ∈ Lp (C ) ˆ n C ˆ ∞ C ×i=1 i ×i=n i C N for i∈N µi-a.e. x ∈ and every n ∈ . (2) N n lim f(ω , xn) dω = f n!∞ ˆ n C ˆC ×i=1 i C C for i∈N µi-a.e. x ∈ and also with convergence in Lp ( ). (3) N n−1 lim f(x , ωn−1) dω = f n!∞ ˆ ∞ C ×i=n i C C for i∈N µi-a.e. x ∈ and also with convergence in Lp ( ). 3.2. DecompositionN Theorem. Once the necessary machinery has been presented, we proceed to prove the identiﬁcation (17). Theorem 3.4. Let 1 ≤ p< ∞ and consider the operators n T : limn Lp (C ) −! Lp (C ) 7! fn (fn)n∈N limLp(C ) ∞ C Qi=n+1 µi( i) GENERAL COUNTABLE PRODUCT MEASURES 13 and n S : Lp (C ) −! limn Lp (C ) 7! n f ∞ C f(x , ωn) dω . ×i=n+1 i n∈N ´ −1 Then T is an isometric isomorphism with S = T . In particular, Lp(C ) is isometrically n isomorphic to limn Lp(C ),

n Lp (C ) ≃ lim Lp (C ) . n n Proof. Firstly, note that given (fn)n∈N ∈ limn Lp (C ), the sequence

f n ⊂ L (C ) ∞ µ (C ) p i=n+1 i i n∈N C is Cauchy in Lp ( ) since by Fubini’sQ theorem

fn fm 1 fn ∞ − ∞ = ∞ m − fm µi(Ci) µi(Ci) µi(Ci) µi(Ci) i=n+1 i=m+1 Lp(C ) i=m+1 i=n+1 Lp(C ) ∞ µi(Ci) f Q Q Qi=m+1 Q n = ∞ C m C − fm µi( i) µi( i) m Qi=m+1 i=n+1 Lp(C )

f = Q n −Qf −−−−−! 0. m C m ! µi( i) m n,m ∞ i=n+1 Lp(C )

Thus T is well deﬁned and it is linear. On theQ other hand, by Theorem 3.3 item (1), if C f ∈ Lp , i∈N Σi , necessarily N n n f(x , ωn) dω ∈ Lp (C ) . ˆ ∞ C ×i=n+1 i ! N N n∈ Mn∈ By Theorem 3.3, the next sequence converges

1 n n lim ∞ f(x , ωn) dω = lim f(x , ωn) dω = f Lp(C ) µ (C ) ˆ ∞ C Lp(C ) ˆ ∞ C i=n+1 i i ×i=n+1 i ×i=n+1 i and consequentlyQ for n < m, we have

1 n m m+1 f(x , ωn) dω − f(x , ωm) dω C ˆ ∞ C ˆ ∞ C i=n+2 µi( i) ×i=n+1 i ×i=m+1 i Lp(C )

∞ Q n m ∞ C f(x , ωn) dω ∞ C f(x , ωm) dω C ×i=n+1 i ×i=m+1 i −−−−−! = µi( i) · ´ ∞ − ´ ∞ 0. C C n,m!∞ i=n+2 µi( i) i=m+2 µi( i) i=m+2 Lp(C ) Y We have proved that Q Q

n n f(x , ωn) dω ∈ lim Lp (C ) ˆ ∞ C n ×i=n+1 i !n∈N n or equivalently S(f) ∈ limn Lp (C ). This establishes that S is well deﬁned and that it is linear. Once we have proved the consistency of the linear operators T and S, we will n prove that they are isometries. Take (fn)n∈N ∈ limn Lp (C ), then 14 JUAN CARLOS SAMPEDRO

fn fn kT(fn)nkLp(C ) = lim ∞ = lim ∞ C C n!∞ C Lp( ) i=n+1 µi( i) C i=n+1 µi( i) Lp( ) Lp(C )

∞Q Q fn = lim µ (C ) ! i i ∞ n ∞ µi(Ci) i=n+1 i=n+1 C n Y Lp( ) ∞ C i=n+1 µi( iQ) n = lim ∞ kfnkLp(C ) n!∞ µ (C ) Qi=n+1 i i n = lim kfnkLp(C ) = k(fn)n∈Nklim Lp . n!∞ Q

Thus, T is an isometry. On the other hand, if f ∈ Lp (C ), we compute

n n kS(f)klim Lp = f(x , ωn) dω = lim f(x , ωn) dω ˆ ∞ C n!∞ ˆ ∞ C ×i=n+1 i ! N ×i=n+1 i C n n∈ lim Lp Lp( )

∞ n = lim f(x , ωn) dω · lim µi(Ci) n!∞ ˆ ∞ C  n!∞ ×i=n+1 i n ! Lp(C ) i=n+1 Y   = lim f(xn, ω ) dω = lim f(xn, ω ) dω ! n n n ∞ ˆ ∞ C Lp(C ) ˆ ∞ C ×i=n+1 i ×i=n+1 i Lp(C ) Lp(C )

= kfkL p(C ) where the last step follows from Theorem 3.3 item (3). Therefore, S is also an isometry. −1 N C M Finally we will see that S = T . Consider (fn)n∈N ∈ N∈N Fp and let g ∈ Lp( ) such g n n−1 N that fn = n C for n ≥ M, then if we denote g = g(x , ωn−1) for each n ∈ , Qi=M+1 µi( i) S we have

g S(g) (S ◦ T)(fn)n∈N = S lim n ∞ = ∞ Lp(C ) µ (C ) · µ (C ) µ (C ) i=M+1 i i i=n+1 i i i=M+1 i i Q Q Q

∞ ∞ 1 2 M C C = ∞ g dω, ..., g dω,g µi( i),g µi( i), ... µ (C ) ˆ ∞ C ˆ ∞ C i=M+1 i i ×i=2 i ×i=M i ! i=YM+1 i=YM+2 Q g g N = f1, f2, ..., fM−1, g, , M+2 , ... =(fn)n∈ , µC (C ) C M+1 M+1 i=M+1 µi( i) ! n The last steps are justiﬁed by the equivalence relationQ deﬁned on limn Lp (C ). Thus, we N have proved that if (fn)n∈N ∈ N∈N Fp S (S ◦ T)(fn)n∈N =(fn)n∈N. N C n Since N∈N Fp is dense in limn Lp ( ) and S ◦ T is continuous (since it is an isometry), it is apparent that S

n S ◦ T = Ilimn Lp(C ). GENERAL COUNTABLE PRODUCT MEASURES 15

C n C M N On the other hand, consider f ∈ n∈N Lp ( ). Then f ∈ Lp( ) for some M ∈ and n n−1 if we denote f = f(x , ωn−1) for each n ∈ N, we have S

n (T ◦ S)(f)= T f(x , ωn) dω ˆ ∞ C ×i=n+1 i !n∈N

∞ ∞ 2 M = T f dω, ..., f dω, f µi(Ci), f µi(Ci)... ˆ ∞ C ˆ ∞ C ×i=2 i ×i=M i i=M+1 i=M+2 ! Y Y ∞ C f · i=n+1 µi( i) = lim ∞ = f. Lp(C ) µ (C ) Qi=n+1 i i C n Consequently, if f ∈ n∈N Lp ( ), it isQ apparent that

S (T ◦ S)(f)= f.

C n C Since n∈N Lp ( ) is dense in Lp ( ) and T ◦ S is continuous, we conclude that S T ◦ S = ILp(C ). This ﬁnishes the proof.

4. Decomposition Theorem for Infinite Measures In this section, we will give the analogue of Theorem 3.4 for the case of the sequence of measure spaces {(R, BR, mR)}i∈N where BR is the borel σ-algebra of R and mR is the Lebesgue measure of R. Observe that this sequence does not satisfy the ﬁniteness R condition since i mR( )=+∞ and therefore Theorem 3.4 cannot be applied directly. Consider the corresponding product measure space Q

×R, BR, mR . i∈N i∈N i∈N ! N O O R R R RN Let us denote := ×i∈N . It should be observed that i∈N B = B where we are considering on RN the product topology. Moreover, it becomes apparent that the measure N i∈N mR is, in fact, the Baker measure λB, constructed in [2, Theorem I]. Thus, we will denote the measure N mR by λB. For the sake of notation, hereinafter, we will also N i∈ denote for each a =(an)n∈N ∈N and m ∈ N N m N m [0, 1)a := ×[an, an + 1) and [0, 1)a := ×[an, an + 1), n∈N n=1 where N := ZN. The next result simpliﬁes considerably the integration issues on the N measure space (R , BRN ,λB). N Theorem 4.1. Let f ∈ L1(R , BRN ,λB) such that f ≥ 0, then the set

Of = a ∈N : f dλB =06 ˆ N [0,1)a is countable and 16 JUAN CARLOS SAMPEDRO

(18) f dλB = f dλB. ˆRN ˆ N a [0,1)a X∈Of Proof. Suppose that Of is uncountable and let F be a ﬁnite subset of Of . Therefore, since

N N ∅ [0, 1)a ∩ [0, 1)b = for each a, b ∈N , a =6 b, it is apparent that

f dλB = f dλB ≤ f dλB. ˆ N ˆ N ˆRN U{[0,1)a :a∈F} a F [0,1)a X∈ Thus, recalling the deﬁnition of uncountable sum, we arrive at

f dλB := sup f dλB : F ⊂ Of ﬁnite ≤ f dλB. ˆ N ˆ N ˆRN a [0,1)a ( a F [0,1)a ) X∈Of X∈ Since Of is uncountable and

f dλB > 0, ˆ N [0,1)a for each a ∈ Of , by Proposition 0.20 of [6],

f dλB =+∞ ˆ[0,1)N a∈Of a X N and this gets a contradiction since f ∈ L1(R , BRN ,λB). Therefore Of is countable. Now, N we prove identity (18). Let f ∈ L1(R , BRN ,λB) with f ≥ 0, then since Of is countable, N f|[0,1)a =0 λB-a.e. for each a ∈ N\Of . Hence, since RN N = [0, 1)a : a ∈N it follows that ]

f dλB = f dλB = f dλB. ˆRN ˆ N ˆ N U{[0,1)a :a∈Of } a [0,1)a X∈Of This concludes the proof.

Deﬁne for each a =(an)n∈N ∈N , the translation N −! N Ta : [0, 1)a [0, 1) (xn)n∈N 7! (xn − an)n∈N N N Then, it is apparent that Ta([0, 1)a ) = [0, 1) . Moreover, since λB is translation invariant, we have that

−1 (19) λB(A)= λB(Ta(A)) = λB(Ta (A)) for each A ∈ BRN . Deﬁne for each 1 ≤ p< ∞, the vector space N Lp([0, 1) ,λB) a M∈N consisting in all sequence f =(fa)a satisfying GENERAL COUNTABLE PRODUCT MEASURES 17

N (1) fa ∈ Lp([0, 1) ,λB) for each a ∈N . (2) fa =0 λB-a.e. for each a ∈ N\Of for some countable subset Of ⊂N . (3) kfkp,⊕ < +∞, where

1 p p (20) kfkp,⊕ := |fa| dλB .  ˆ N  a [0,1) X∈Of Under this deﬁnitions, it is clear that the pair 

N Lp([0, 1) ,λB), k·kp,⊕ a∈N ! M N defines a normed space. It must be observed that the restriction of λB to [0, 1) is the product measure i∈N m[0,1) constructed in section I. This measure satisfies the finiteness condition i m[0,1)([0, 1)) = 1 < +∞ and therefore Theorem 3.4 can be applied to N N simplify the structure of Lp([0, 1) ,λB) for each 1 ≤ p < ∞ and to compute in a sim- Q N ple manner each term of (20). Hence, the structure of the space a∈N Lp([0, 1) ,λB) N is simply determined. The next result establishes that the spaces Lp(R , BRN ,λB) and N L a∈N Lp([0, 1) ,λB) are isometrically isomorphic. This identification clarify the struc- N ture of L (R , BRN ,λ ) establishing an analogue of the Theorem 3.4 for this case. L p B Theorem 4.2. The following spaces are isometrically isomorphic for 1 ≤ p< ∞

N N Lp(R , BRN ,λB) ≃ Lp([0, 1) ,λB). a∈N N M Moreover, given f ∈ Lp(R , BRN ,λB), there exists a countable subset Of ⊂N such that

p −1 p (21) |f| dλB = |f ◦ Ta | dλB. ˆRN ˆ N a∈O [0,1) Xf Proof. Fix 1 ≤ p< ∞ and deﬁne

N N R N −! P : Lp( , BR ,λB) a∈N Lp([0, 1) ,λB) f 7! (f ◦ T −1) . L a a N p N Given f ∈ Lp(R , BRN ,λB), necessarily |f| ∈ L1(R , BRN ,λB) and therefore an application of Theorem 4.1 yields the existence of a countable subset Of ⊂ N such that N f|[0,1)a =0 λB-a.e. for each a ∈ N\Of . Consequently, by identity (18)

p p p kfkL (λ ) = |f| dλB = |f| dλB. p B ˆRN ˆ N a∈O [0,1)a Xf On the other hand, for each a ∈N , by the change of variable formula for measures and identity (19)

p −1 p −1 −1 p |f| dλB = |(f ◦ Ta )(x)| dλB(Ta (x)) = |f ◦ Ta | dλB. ˆ N ˆ N ˆ N [0,1)a Ta([0,1)a ) [0,1) −1 N −1 Therefore, f ◦ Ta ∈ Lp([0, 1) ,λB) for each a ∈N and f ◦ Ta = 0 for each a ∈ N\Of . Moreover 18 JUAN CARLOS SAMPEDRO

p p −1 p −1 p (22) kfkL (λ ) = |f| dλB = |f ◦ Ta | dλB = k(f ◦ Ta )akp,⊕. p B ˆ N ˆ N a [0,1)a a [0,1) X∈Of X∈Of −1 N −1 Consequently (f ◦ Ta )a ∈ a∈N Lp([0, 1) ,λB) and kfkLp(λB ) = k(f ◦ Ta )akp,⊕ for each N f ∈ Lp(R , BRN ,λB). Thus P is well deﬁne and it is an isometry. Moreover, (22) proves L N identity (21). Finally, we will see that P is onto. Let f = (fa)a ∈ a∈N Lp([0, 1) ,λB) and deﬁne L

N f := (fa ◦ Ta) · χ[0,1)a . a∈O Xf By the monotone convergence theorem it follows that

p p p p |f| dλB = |fa ◦ Ta| dλB = |fa| dλB = kfkp,⊕ < +∞. ˆRN ˆ N ˆ N a∈O [0,1)a a∈O [0,1) Xf Xf N Therefore f ∈ Lp(R , BRN ,λB) and it is straightforward to verify that

−1 P(f)= f ◦ Ta a = f. This concludes the proof.

5. Measures on Banach Spaces ∗ Let (X, k·k) be an infinite dimensional separable Banach space and let X =(xn, xn)n∈N be an absolutely convergent Markushevich basis (M-basis in short). Any infinite dimensional separable Banach space admits an absolutely convergent M-basis (see for instance [16]), therefore all the considerations given in this section are valid for any infinite dimensional separable Banach space. The aim of this section is to construct a normalized translation invariant borel measure for any Banach space clarifying the structure of its corresponding Lebesgue spaces. We start considering the linear map

N B : (X, BX ) −! (R , BRN ) 7! ∗ x (xn(x))n∈N. Clearly B is continuous and injective and consequence, by Lusin-Souslin Theorem [11, Theorem 15.1], B maps borel subsets of X into borel subsets of RN. We are considering N in X the norm topology an in R the product topology. Consider the set map µX : BX ! [0, +∞] deﬁned by

(23) µX (B) := λB(B(B)) for each B ∈ BX , where BX stands for the borel σ-algebra of X. It becomes apparent that µX is a measure on the measurable space (X, BX ). Moreover, by (23) and Theorem 2.8, the measure µX is translation invariant and if we deﬁne

∗ N Q := {x ∈ X : |xn(x)| ≤ 1/2, ∀n ∈ }, GENERAL COUNTABLE PRODUCT MEASURES 19 then, an straightforward computation yields

1 1 µ (Q)= λ (B(Q)) = λ − , =1. X B B × 2 2 n∈N !

It is convenient to remark that the proof of the existence of a measure on (X, BX ) satisfying this properties is not new since it was constructed by T. Gill, A. Kirtadze, G. Pantsulaia and A. Plichko in [7, Theorem 4.3]. Here, this type of measure has been constructed diﬀerently, via outer measure techniques developed in section I but we follow the philosophy of [7]. The next result establishes the structure of Lebesgue spaces of (X, BX ,µX ) and establishes an analogue of Theorem 4.2 for the category of Banach spaces. In the following result, given X,Y two Banach spaces, the notation X ֒! Y means that there exists a linear isometry from X to Y .

Theorem 5.1. Let (X, BX ,µX) be the constructed measure space, then for 1 ≤ p< +∞

N .(Lp(X, BX ,µX ) ֒! Lp([0, 1) ,λB (24) a M∈N Moreover, given f ∈ Lp(X, BX ,µX), there exists a countable subset Of ⊂N such that

p −1 −1 p (25) |f| dµX = |(f ◦ B )χB(X) ◦ Ta | dλB. ˆ ˆ N X a∈O [0,1) Xf Proof. The operator B induces the map

N (E : Lp(X, BX ,µX ) ֒! Lp(R , BRN ,λB (26) −1 f 7! (f ◦ B )χB(X).

This operator is an isometric embedding, since given f ∈ Lp(X, BX ,µX), by the change of variable formula for measures

kfkp = |f|p dµ = |f(x)|p dλ (B(x)) = |f ◦ B−1|p dλ Lp(µX ) X B B ˆX ˆX ˆB(X)

−1 p −1 p = |f ◦ B | · χB(X) dλB = k(f ◦ B )χB(X)kL (λ ). ˆRN p B Therefore, C is well deﬁne and it deﬁnes an isometry. Consequently

N .(Lp(X, BX ,µX ) ֒! Lp(R , BRN ,λB Hence, an straightforward application of Theorem 4.2 yields embedding (24). Finally, we −1 N will prove identity (25). Let f ∈ Lp(X, BX ,µX ), then (f ◦ B )χB(X) ∈ Lp(R , BRN ,λB) and by (21), there exists a countable subset Of ⊂N such that

−1 p −1 −1 p |f ◦ B | · χB(X) dλB = |(f ◦ B )χB(X) ◦ Ta | dλB. ˆRN ˆ N a∈O [0,1) Xf This concludes the proof. We ﬁnalize this section and the article summarizing the presented results in the following theorem. 20 JUAN CARLOS SAMPEDRO

Theorem 5.2. Let (X, k·k) be a inﬁnite dimensional separable Banach space and let ∗ X = (xn, xn)n∈N be an absolutely convergent M-basis. Then, there exists a translation invariant borel measure µX on the measurable space (X, BX ) such that µX (Q)=1, where

∗ N Q := {x ∈ X : |xn(x)| ≤ 1/2, ∀n ∈ }. Moreover, for 1 ≤ p< +∞

N ,(Lp(X, BX ,µX) ֒! Lp([0, 1) ,λB a M∈N and given f ∈ Lp(X, BX ,µX ), there exists a countable subset Of ⊂N such that

p −1 −1 p |f| dµX = |(f ◦ B )χB(X) ◦ Ta | dλB. ˆ ˆ N X a∈O [0,1) Xf References [1] L. Arkeryd, N. Cutland, C.W. Henson. Nonstandard analysis. NATO Advanced Science Insti- tutes Series C: Mathematical and Physical Sciences, vol. 493, Kluwer Academic Publishers Group, Dordrecht, (1997) [2] R. Baker. Lebesgue Measure on R∞, II. Procedings of the American Mathematical Society Volume 132 Number 9 (April 2004) pp. 2577-2591. [3] V. I. Bogachev. Measure Theory Vol I and II. Springer-Verlag Berlin Heidelberg (2007). [4] D. L. Cohn. Measure Theory. Second Edition, Springer Birkhäuser (2013). [5] E. O. Elliot, A. P. Morse. General Product Measures. Transactions of the American Mathematical Society Volume 110 (1963) pp. 245283. [6] G. B. Folland. Real Analysis: Modern Thechniques and their Applications. John Wiley & Sons (1999). [7] T. Gill, A. Kirtadze, G. Pantsulaia, A. Plichko. Existence and uniqueness of translation invariant measures in separable Banach spaces. Funct. Approx. Comment. Math. Volume 50, Number 2 (2014), pp. 401-419. [8] E. Hopf. Ergodentheorie. Berlin (1937) pp. 2. [9] B. Jessen. The Theory of Integration in a Space of Infinite Number of Dimensions. Acta mathematica, 63 (December, 1934), pp. 249-323. [10] S. Kakutani. Notes on Infinite Product Measure Spaces, I. Proc. Imp. Acad. Volume 19 Number 3 (March 1943) pp. 148-151. [11] A.S. Kechris. Classical descriptive set theory. Springer, New York, (1995). [12] A. Kolmogoroff. Grundbegriffe der Wahrscheinlichkeitsrechnung. Berlin (1933). [13] P. Loeb, P. Ross. Infinite Products of Infinite Measures. Illinois Journal of Mathematics 1 (Spring, 2005) pp. 153-158. [14] Z. Lomnicki, S. Ulam. Sur la theorie de la mesure dans les espaces combinatoires et son application au calcul des probabilites. I: Variables independantes. Fund. Math. vol. 23 (1934) pp. 237-278. [15] G. Pantsulaia. On Ordinary and Standard Products of Infinite Family of σ-finite Measures and Some of Their Applications. Acta Mathematica Sinica, English Series Volume 27 Number 3 (February 2011) pp. 477496. [16] I. Singer. Bases in Banach spaces, II. Springer (1981). [17] S. Saeki. A Proof of the Existence of Infinite Product Probability Measures. The American Math- ematical Monthly Vol. 103, No. 8 (October, 1996), pp. 682-683. [18] K. R. Stromberg. Probability for Analysts. Chapman & Hall (1994). [19] Y. Yamasaki. Measures on Infinite Dimensional Spaces. World Scientific (1985).

Department of Mathematical Analysis and Applied Mathematics, Faculty of Mathe- matical Science, Complutense University of Madrid, 28040-Madrid, Spain. E-mail address: [email protected]