<p>Let (<i>X</i>,&#xa0;<i>d</i>) and <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\((Y,\rho )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>Y</mi> <mo>,</mo> <mi>ρ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> be compact metric spaces and let <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>τ</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\eta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>η</mi> </math></EquationSource> </InlineEquation> respectively be Lipschitz involutions on (<i>X</i>,&#xa0;<i>d</i>) and <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\((Y,\rho )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>Y</mi> <mo>,</mo> <mi>ρ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. In this paper, we first give a complete description of surjective real linear uniform isometries between <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\textrm{Lip}(X,d,\tau )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Lip</mtext> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mi>d</mi> <mo>,</mo> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\textrm{Lip}(Y,\rho ,\eta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Lip</mtext> <mo stretchy="false">(</mo> <mi>Y</mi> <mo>,</mo> <mi>ρ</mi> <mo>,</mo> <mi>η</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. We next study 2-local real uniform isometries from <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\textrm{Lip}(X,d,\tau )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Lip</mtext> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mi>d</mi> <mo>,</mo> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> to <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\textrm{Lip}(Y,\rho ,\eta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Lip</mtext> <mo stretchy="false">(</mo> <mi>Y</mi> <mo>,</mo> <mi>ρ</mi> <mo>,</mo> <mi>η</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. For such a map <i>T</i>, we show that <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(|T(1_{X})|=1_{Y}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">|</mo> <mi>T</mi> </mrow> <mrow> <mo stretchy="false">(</mo> <msub> <mn>1</mn> <mi>X</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">|</mo> <mo>=</mo> </mrow> <msub> <mn>1</mn> <mi>Y</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> on <i>Y</i> and there exist a nonempty <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\eta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>η</mi> </math></EquationSource> </InlineEquation>-invariant subset <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(Y_{0}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>Y</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> of <i>Y</i> which is a boundary for <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(T(\textrm{Lip}(X,d,\tau ))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mo stretchy="false">(</mo> <mtext>Lip</mtext> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mi>d</mi> <mo>,</mo> <mi>τ</mi> <mo stretchy="false">)</mo> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> with respect to <i>Y</i> and a bijective continuous map <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\varphi : Y_{0}\rightarrow X\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>φ</mi> <mo>:</mo> <msub> <mi>Y</mi> <mn>0</mn> </msub> <mo stretchy="false">→</mo> <mi>X</mi> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\varphi \circ \eta =\tau \circ \varphi \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>φ</mi> <mo>∘</mo> <mi>η</mi> <mo>=</mo> <mi>τ</mi> <mo>∘</mo> <mi>φ</mi> </mrow> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(Y_{0}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>Y</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(T(f)(y)=T(1_{X})(y)f(\varphi (y))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mrow> <mo stretchy="false">(</mo> <mi>f</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>T</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mn>1</mn> <mi>X</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>φ</mi> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(f\in \textrm{Lip}(X,d,\tau )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <mtext>Lip</mtext> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mi>d</mi> <mo>,</mo> <mi>τ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(y\in Y_{0}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>y</mi> <mo>∈</mo> <msub> <mi>Y</mi> <mn>0</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>. In continuation, we prove that <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(Y_{0}=Y\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>Y</mi> <mn>0</mn> </msub> <mo>=</mo> <mi>Y</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(\varphi \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>φ</mi> </math></EquationSource> </InlineEquation> is a Lipschitz mapping from <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\((Y,\rho )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>Y</mi> <mo>,</mo> <mi>ρ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> to (<i>X</i>,&#xa0;<i>d</i>) whenever <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\(\tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>τ</mi> </math></EquationSource> </InlineEquation> is an isometric involution on (<i>X</i>,&#xa0;<i>d</i>). In particular, we show that every 2-local real uniform isometry from <InlineEquation ID="IEq23"> <EquationSource Format="TEX">\(\textrm{Lip}_{\mathbb {R}}(X,d)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mtext>Lip</mtext> <mi mathvariant="double-struck">R</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mi>d</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> to <InlineEquation ID="IEq24"> <EquationSource Format="TEX">\(\textrm{Lip}_{\mathbb {R}}(Y,\rho )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mtext>Lip</mtext> <mi mathvariant="double-struck">R</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>Y</mi> <mo>,</mo> <mi>ρ</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is a surjective real linear uniform isometry.</p>

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

2-Local uniform isometries between real Lipschitz algebras with involution

  • Davood Alimohammadi,
  • Mansureh Mohammadi,
  • Reyhaneh Bagheri

摘要

Let (Xd) and \((Y,\rho )\) ( Y , ρ ) be compact metric spaces and let \(\tau \) τ and \(\eta \) η respectively be Lipschitz involutions on (Xd) and \((Y,\rho )\) ( Y , ρ ) . In this paper, we first give a complete description of surjective real linear uniform isometries between \(\textrm{Lip}(X,d,\tau )\) Lip ( X , d , τ ) and \(\textrm{Lip}(Y,\rho ,\eta )\) Lip ( Y , ρ , η ) . We next study 2-local real uniform isometries from \(\textrm{Lip}(X,d,\tau )\) Lip ( X , d , τ ) to \(\textrm{Lip}(Y,\rho ,\eta )\) Lip ( Y , ρ , η ) . For such a map T, we show that \(|T(1_{X})|=1_{Y}\) | T ( 1 X ) | = 1 Y on Y and there exist a nonempty \(\eta \) η -invariant subset \(Y_{0}\) Y 0 of Y which is a boundary for \(T(\textrm{Lip}(X,d,\tau ))\) T ( Lip ( X , d , τ ) ) with respect to Y and a bijective continuous map \(\varphi : Y_{0}\rightarrow X\) φ : Y 0 X with \(\varphi \circ \eta =\tau \circ \varphi \) φ η = τ φ on \(Y_{0}\) Y 0 such that \(T(f)(y)=T(1_{X})(y)f(\varphi (y))\) T ( f ) ( y ) = T ( 1 X ) ( y ) f ( φ ( y ) ) for all \(f\in \textrm{Lip}(X,d,\tau )\) f Lip ( X , d , τ ) and \(y\in Y_{0}\) y Y 0 . In continuation, we prove that \(Y_{0}=Y\) Y 0 = Y and \(\varphi \) φ is a Lipschitz mapping from \((Y,\rho )\) ( Y , ρ ) to (Xd) whenever \(\tau \) τ is an isometric involution on (Xd). In particular, we show that every 2-local real uniform isometry from \(\textrm{Lip}_{\mathbb {R}}(X,d)\) Lip R ( X , d ) to \(\textrm{Lip}_{\mathbb {R}}(Y,\rho )\) Lip R ( Y , ρ ) is a surjective real linear uniform isometry.