<p>We investigate the isometric structure of <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(L^{p}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>L</mi> <mi>p</mi> </msup> </math></EquationSource> </InlineEquation>-spaces for the infinite-dimensional Lebesgue measure <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\((\mathbb {R}^{\mathbb {N}},\mu )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi mathvariant="double-struck">N</mi> </msup> <mo>,</mo> <mi>μ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. Under the continuum hypothesis (CH) we prove <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(L^{p}(\mu )\cong \ell ^{p}(\mathfrak {c},L^{p}[0,1])\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>μ</mi> <mo stretchy="false">)</mo> </mrow> <mo>≅</mo> <msup> <mi>ℓ</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">c</mi> <mo>,</mo> <msup> <mi>L</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathfrak {c}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">c</mi> </math></EquationSource> </InlineEquation> denotes the cardinality of the continuum, and without CH we obtain an isometric, complemented copy of <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\ell ^{p}(\mathfrak {c},L^{p}[0,1])\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>ℓ</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">c</mi> <mo>,</mo> <msup> <mi>L</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> inside <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(L^{p}(\mu )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>μ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. In a general framework, we characterize precisely when <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(L^{p}(\nu )\cong \ell ^{p}(\kappa ,L^{p}[0,1])\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>ν</mi> <mo stretchy="false">)</mo> </mrow> <mo>≅</mo> <msup> <mi>ℓ</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>κ</mi> <mo>,</mo> <msup> <mi>L</mi> <mi>p</mi> </msup> <mrow> <mo stretchy="false">[</mo> <mn>0</mn> <mo>,</mo> <mn>1</mn> <mo stretchy="false">]</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and classify all such isometries.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Isometric classification of the \(L^{p}\)-spaces of infinite dimensional Lebesgue measure

  • Daniel L. Rodríguez-Vidanes,
  • Juan Carlos Sampedro

摘要

We investigate the isometric structure of \(L^{p}\) L p -spaces for the infinite-dimensional Lebesgue measure \((\mathbb {R}^{\mathbb {N}},\mu )\) ( R N , μ ) . Under the continuum hypothesis (CH) we prove \(L^{p}(\mu )\cong \ell ^{p}(\mathfrak {c},L^{p}[0,1])\) L p ( μ ) p ( c , L p [ 0 , 1 ] ) , where \(\mathfrak {c}\) c denotes the cardinality of the continuum, and without CH we obtain an isometric, complemented copy of \(\ell ^{p}(\mathfrak {c},L^{p}[0,1])\) p ( c , L p [ 0 , 1 ] ) inside \(L^{p}(\mu )\) L p ( μ ) . In a general framework, we characterize precisely when \(L^{p}(\nu )\cong \ell ^{p}(\kappa ,L^{p}[0,1])\) L p ( ν ) p ( κ , L p [ 0 , 1 ] ) and classify all such isometries.