<p>We study injective and projective tensor products of measurable Banach bundles. More precisely, given two separable measurable Banach bundles <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\textbf{E}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">E</mi> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\textbf{F}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">F</mi> </math></EquationSource> </InlineEquation> defined over a probability space <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\((\textrm{X},\Sigma ,\mathfrak {m})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mtext>X</mtext> <mo>,</mo> <mi mathvariant="normal">Σ</mi> <mo>,</mo> <mi mathvariant="fraktur">m</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, we construct two measurable Banach bundles <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\textbf{E}\hat{\otimes }_\varepsilon \textbf{F}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">E</mi> <msub> <mover accent="true"> <mo>⊗</mo> <mo stretchy="false">^</mo> </mover> <mi>ε</mi> </msub> <mi mathvariant="bold">F</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\textbf{E}\hat{\otimes }_\pi \textbf{F}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">E</mi> <msub> <mover accent="true"> <mo>⊗</mo> <mo stretchy="false">^</mo> </mover> <mi>π</mi> </msub> <mi mathvariant="bold">F</mi> </mrow> </math></EquationSource> </InlineEquation> over <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\((\textrm{X},\Sigma ,\mathfrak {m})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mtext>X</mtext> <mo>,</mo> <mi mathvariant="normal">Σ</mi> <mo>,</mo> <mi mathvariant="fraktur">m</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, such that <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\Gamma (\textbf{E}\hat{\otimes }_\varepsilon \textbf{F})\cong \Gamma (\textbf{E})\hat{\otimes }_\varepsilon \Gamma (\textbf{F})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Γ</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">E</mi> <msub> <mover accent="true"> <mo>⊗</mo> <mo stretchy="false">^</mo> </mover> <mi>ε</mi> </msub> <mi mathvariant="bold">F</mi> <mo stretchy="false">)</mo> </mrow> <mo>≅</mo> <mi mathvariant="normal">Γ</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">E</mi> <mo stretchy="false">)</mo> </mrow> <msub> <mover accent="true"> <mo>⊗</mo> <mo stretchy="false">^</mo> </mover> <mi>ε</mi> </msub> <mi mathvariant="normal">Γ</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">F</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\Gamma (\textbf{E}\hat{\otimes }_\pi \textbf{F})\cong \Gamma (\textbf{E})\hat{\otimes }_\pi \Gamma (\textbf{F})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Γ</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">E</mi> <msub> <mover accent="true"> <mo>⊗</mo> <mo stretchy="false">^</mo> </mover> <mi>π</mi> </msub> <mi mathvariant="bold">F</mi> <mo stretchy="false">)</mo> </mrow> <mo>≅</mo> <mi mathvariant="normal">Γ</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">E</mi> <mo stretchy="false">)</mo> </mrow> <msub> <mover accent="true"> <mo>⊗</mo> <mo stretchy="false">^</mo> </mover> <mi>π</mi> </msub> <mi mathvariant="normal">Γ</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">F</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\textbf{G}\mapsto \Gamma (\textbf{G})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">G</mi> <mo>↦</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">(</mo> <mi mathvariant="bold">G</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is the map assigning to a measurable Banach bundle <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\textbf{G}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="bold">G</mi> </math></EquationSource> </InlineEquation> and its space of <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(L^\infty (\mathfrak {m})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>∞</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">m</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>-sections, while <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\Gamma (\textbf{E})\hat{\otimes }_\varepsilon \Gamma (\textbf{F})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Γ</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">E</mi> <mo stretchy="false">)</mo> </mrow> <msub> <mover accent="true"> <mo>⊗</mo> <mo stretchy="false">^</mo> </mover> <mi>ε</mi> </msub> <mi mathvariant="normal">Γ</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">F</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\Gamma (\textbf{E})\hat{\otimes }_\pi \Gamma (\textbf{F})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Γ</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">E</mi> <mo stretchy="false">)</mo> </mrow> <msub> <mover accent="true"> <mo>⊗</mo> <mo stretchy="false">^</mo> </mover> <mi>π</mi> </msub> <mi mathvariant="normal">Γ</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="bold">F</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> denote the injective and projective tensor products, respectively, of <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\Gamma (\textbf{E})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">(</mo> <mi mathvariant="bold">E</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\Gamma (\textbf{F})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">(</mo> <mi mathvariant="bold">F</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> in the sense of <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(L^\infty (\mathfrak {m})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>∞</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">m</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>-Banach <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(L^\infty (\mathfrak {m})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>∞</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">m</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>-modules. In combination with previous results, this provides a fiberwise representation of the injective tensor product <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(\mathscr {M}\hat{\otimes }_\varepsilon \mathscr {N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">M</mi> <msub> <mover accent="true"> <mo>⊗</mo> <mo stretchy="false">^</mo> </mover> <mi>ε</mi> </msub> <mi mathvariant="script">N</mi> </mrow> </math></EquationSource> </InlineEquation> and the projective tensor product <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\mathscr {M}\hat{\otimes }_\pi \mathscr {N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">M</mi> <msub> <mover accent="true"> <mo>⊗</mo> <mo stretchy="false">^</mo> </mover> <mi>π</mi> </msub> <mi mathvariant="script">N</mi> </mrow> </math></EquationSource> </InlineEquation> of two countably generated <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(L^\infty (\mathfrak {m})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>∞</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">m</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>-Banach <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(L^\infty (\mathfrak {m})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>∞</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="fraktur">m</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>-modules <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\(\mathscr {M}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">M</mi> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq23"> <EquationSource Format="TEX">\(\mathscr {N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">N</mi> </math></EquationSource> </InlineEquation>.</p>

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

Tensor products of measurable Banach bundles

  • Milica Caković,
  • Danka Lučić,
  • Enrico Pasqualetto

摘要

We study injective and projective tensor products of measurable Banach bundles. More precisely, given two separable measurable Banach bundles \(\textbf{E}\) E , \(\textbf{F}\) F defined over a probability space \((\textrm{X},\Sigma ,\mathfrak {m})\) ( X , Σ , m ) , we construct two measurable Banach bundles \(\textbf{E}\hat{\otimes }_\varepsilon \textbf{F}\) E ^ ε F and \(\textbf{E}\hat{\otimes }_\pi \textbf{F}\) E ^ π F over \((\textrm{X},\Sigma ,\mathfrak {m})\) ( X , Σ , m ) , such that \(\Gamma (\textbf{E}\hat{\otimes }_\varepsilon \textbf{F})\cong \Gamma (\textbf{E})\hat{\otimes }_\varepsilon \Gamma (\textbf{F})\) Γ ( E ^ ε F ) Γ ( E ) ^ ε Γ ( F ) and \(\Gamma (\textbf{E}\hat{\otimes }_\pi \textbf{F})\cong \Gamma (\textbf{E})\hat{\otimes }_\pi \Gamma (\textbf{F})\) Γ ( E ^ π F ) Γ ( E ) ^ π Γ ( F ) , where \(\textbf{G}\mapsto \Gamma (\textbf{G})\) G Γ ( G ) is the map assigning to a measurable Banach bundle \(\textbf{G}\) G and its space of \(L^\infty (\mathfrak {m})\) L ( m ) -sections, while \(\Gamma (\textbf{E})\hat{\otimes }_\varepsilon \Gamma (\textbf{F})\) Γ ( E ) ^ ε Γ ( F ) and \(\Gamma (\textbf{E})\hat{\otimes }_\pi \Gamma (\textbf{F})\) Γ ( E ) ^ π Γ ( F ) denote the injective and projective tensor products, respectively, of \(\Gamma (\textbf{E})\) Γ ( E ) and \(\Gamma (\textbf{F})\) Γ ( F ) in the sense of \(L^\infty (\mathfrak {m})\) L ( m ) -Banach \(L^\infty (\mathfrak {m})\) L ( m ) -modules. In combination with previous results, this provides a fiberwise representation of the injective tensor product \(\mathscr {M}\hat{\otimes }_\varepsilon \mathscr {N}\) M ^ ε N and the projective tensor product \(\mathscr {M}\hat{\otimes }_\pi \mathscr {N}\) M ^ π N of two countably generated \(L^\infty (\mathfrak {m})\) L ( m ) -Banach \(L^\infty (\mathfrak {m})\) L ( m ) -modules \(\mathscr {M}\) M , \(\mathscr {N}\) N .