<p>For a domain <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2241_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation> in a finite-dimensional space <i>E</i>, we consider the metric space <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2241_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="82" /> </InlineMediaObject> <EquationSource Format="TEX">\(M=(\Omega ,d)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo>=</mo> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo>,</mo> <mi>d</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> where <i>d</i> is the intrinsic distance in <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2241_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Ω</mi> </math></EquationSource> </InlineEquation>. We obtain an isometric representation of the space <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2241_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="62" /> </InlineMediaObject> <EquationSource Format="TEX">\({\text{ Lip}_{0}(M)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mspace width="0.333333em" /> <msub> <mtext>Lip</mtext> <mn>0</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> as a subspace of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2241_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="76" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^{\infty }(\Omega ;E^{*})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mi>∞</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo>;</mo> <mmultiscripts> <mi>E</mi> <mrow /> <mrow> <mrow /> <mo>∗</mo> </mrow> </mmultiscripts> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and we use this representation in order to obtain the corresponding isometric representation for the Lipschitz-free space <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2241_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {F}({M})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">F</mi> <mo stretchy="false">(</mo> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> as a quotient of the space <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2241_Article_IEq7.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="64" /> </InlineMediaObject> <EquationSource Format="TEX">\(L^{1}(\Omega ;E)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>L</mi> <mn>1</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="normal">Ω</mi> <mo>;</mo> <mi>E</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. We compare our result with those existent in the literature for bounded domains with Lipschitz boundary, and for convex domains, which can be then deduced as corollaries of our result.</p>

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

An Isometric Representation for the Lipschitz-free Space of Length Spaces Embedded in Finite-dimensional Spaces

  • Gonzalo Flores

摘要

For a domain \(\Omega \) Ω in a finite-dimensional space E, we consider the metric space \(M=(\Omega ,d)\) M = ( Ω , d ) where d is the intrinsic distance in \(\Omega \) Ω . We obtain an isometric representation of the space \({\text{ Lip}_{0}(M)}\) Lip 0 ( M ) as a subspace of \(L^{\infty }(\Omega ;E^{*})\) L ( Ω ; E ) and we use this representation in order to obtain the corresponding isometric representation for the Lipschitz-free space \(\mathcal {F}({M})\) F ( M ) as a quotient of the space \(L^{1}(\Omega ;E)\) L 1 ( Ω ; E ) . We compare our result with those existent in the literature for bounded domains with Lipschitz boundary, and for convex domains, which can be then deduced as corollaries of our result.