<p>For tuples of compact operators <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2025_465_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="120" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {T}=(T_1,\ldots , T_d)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">T</mi> <mo>=</mo> <mo stretchy="false">(</mo> <msub> <mi>T</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>T</mi> <mi>d</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2025_465_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="119" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {S}=(S_1,\ldots ,S_d)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">S</mi> <mo>=</mo> <mo stretchy="false">(</mo> <msub> <mi>S</mi> <mn>1</mn> </msub> <mo>,</mo> <mo>…</mo> <mo>,</mo> <msub> <mi>S</mi> <mi>d</mi> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> on Banach spaces over a field <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2025_465_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {F}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">F</mi> </math></EquationSource> </InlineEquation>, considering the joint <i>p</i>-operator norms on the tuples, we study <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2025_465_Article_IEq5.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="97" /> </InlineMediaObject> <EquationSource Format="TEX">\(dist(\mathcal {T},\mathbb {F}^d\mathcal {S}),\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mi>i</mi> <mi>s</mi> <mi>t</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">T</mi> <mo>,</mo> <msup> <mrow> <mi mathvariant="double-struck">F</mi> </mrow> <mi>d</mi> </msup> <mi mathvariant="script">S</mi> <mo stretchy="false">)</mo> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> the distance of <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2025_465_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {T}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">T</mi> </math></EquationSource> </InlineEquation> from the <i>d</i>-dimensional subspace <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2025_465_Article_IEq7.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="162" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {F}^d\mathcal {S}:=\{{\textbf {z}}\mathcal {S}:{\textbf {z}}\in \mathbb {F}^d\}.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="script">F</mi> </mrow> <mi>d</mi> </msup> <mi mathvariant="script">S</mi> <mo>:</mo> <mo>=</mo> <mrow> <mo stretchy="false">{</mo> <mi mathvariant="bold">z</mi> <mi mathvariant="script">S</mi> <mo>:</mo> <mi mathvariant="bold">z</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">F</mi> </mrow> <mi>d</mi> </msup> <mo stretchy="false">}</mo> </mrow> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> We obtain a relation between <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2025_465_Article_IEq8.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="92" /> </InlineMediaObject> <EquationSource Format="TEX">\(dist(\mathcal {T},\mathbb {F}^d\mathcal {S})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mi>i</mi> <mi>s</mi> <mi>t</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">T</mi> <mo>,</mo> <msup> <mrow> <mi mathvariant="double-struck">F</mi> </mrow> <mi>d</mi> </msup> <mi mathvariant="script">S</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2025_465_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="94" /> </InlineMediaObject> <EquationSource Format="TEX">\(dist(T_i,\mathbb {F}S_i),\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mi>i</mi> <mi>s</mi> <mi>t</mi> <mo stretchy="false">(</mo> <msub> <mi>T</mi> <mi>i</mi> </msub> <mo>,</mo> <mi mathvariant="double-struck">F</mi> <msub> <mi>S</mi> <mi>i</mi> </msub> <mo stretchy="false">)</mo> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> for <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2025_465_Article_IEq10.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(1\le i\le d.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>≤</mo> <mi>i</mi> <mo>≤</mo> <mi>d</mi> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> We prove that if <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2025_465_Article_IEq11.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(p=\infty ,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <mi>∞</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> then <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2025_465_Article_IEq12.gif" Format="GIF" Height="29" Rendition="HTML" Resolution="72" Type="Linedraw" Width="241" /> </InlineMediaObject> <EquationSource Format="TEX">\(dist(\mathcal {T},\mathbb {F}^d\mathcal {S})=\underset{1\le i\le d}{\max }dist(T_i,\mathbb {F}S_i),\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mi>i</mi> <mi>s</mi> <mi>t</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">T</mi> <mo>,</mo> <msup> <mrow> <mi mathvariant="double-struck">F</mi> </mrow> <mi>d</mi> </msup> <mi mathvariant="script">S</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <munder> <mo movablelimits="false">max</mo> <mrow> <mn>1</mn> <mo>≤</mo> <mi>i</mi> <mo>≤</mo> <mi>d</mi> </mrow> </munder> <mi>d</mi> <mi>i</mi> <mi>s</mi> <mi>t</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi>T</mi> <mi>i</mi> </msub> <mo>,</mo> <mi mathvariant="double-struck">F</mi> <msub> <mi>S</mi> <mi>i</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> and for <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2025_465_Article_IEq13.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="86" /> </InlineMediaObject> <EquationSource Format="TEX">\(1\le p&lt;\infty ,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>≤</mo> <mi>p</mi> <mo>&lt;</mo> <mi>∞</mi> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> under a sufficient condition, <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2025_465_Article_IEq14.gif" Format="GIF" Height="34" Rendition="HTML" Resolution="72" Type="Linedraw" Width="254" /> </InlineMediaObject> <EquationSource Format="TEX">\(dist(\mathcal {T},\mathbb {F}^d\mathcal {S})^p=\underset{1\le i\le d}{\sum }dist(T_i,\mathbb {F}S_i)^p.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>d</mi> <mi>i</mi> <mi>s</mi> <mi>t</mi> <msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">T</mi> <mo>,</mo> <msup> <mrow> <mi mathvariant="double-struck">F</mi> </mrow> <mi>d</mi> </msup> <mi mathvariant="script">S</mi> <mo stretchy="false">)</mo> </mrow> <mi>p</mi> </msup> <mo>=</mo> <munder> <mo>∑</mo> <mrow> <mn>1</mn> <mo>≤</mo> <mi>i</mi> <mo>≤</mo> <mi>d</mi> </mrow> </munder> <mi>d</mi> <mi>i</mi> <mi>s</mi> <mi>t</mi> <msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>T</mi> <mi>i</mi> </msub> <mo>,</mo> <mi mathvariant="double-struck">F</mi> <msub> <mi>S</mi> <mi>i</mi> </msub> <mo stretchy="false">)</mo> </mrow> <mi>p</mi> </msup> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> As a consequence, we deduce the equivalence of Birkhoff-James orthogonality, <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2025_465_Article_IEq15.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="171" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {T}\perp _B \mathbb {F}^d\mathcal {S} \Leftrightarrow T_i\perp _B S_i,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">T</mi> <msub> <mo>⊥</mo> <mi>B</mi> </msub> <msup> <mrow> <mi mathvariant="double-struck">F</mi> </mrow> <mi>d</mi> </msup> <mi mathvariant="script">S</mi> <mo stretchy="false">⇔</mo> <msub> <mi>T</mi> <mi>i</mi> </msub> <msub> <mo>⊥</mo> <mi>B</mi> </msub> <msub> <mi>S</mi> <mi>i</mi> </msub> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> under a sufficient condition. Furthermore, we explore the relation of one sided Gâteaux derivatives of <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2025_465_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {T}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">T</mi> </math></EquationSource> </InlineEquation> in the direction of <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2025_465_Article_IEq17.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {S}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">S</mi> </math></EquationSource> </InlineEquation> with that of <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2025_465_Article_IEq18.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\(T_i\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> in the direction of <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2025_465_Article_IEq19.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(S_i.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>S</mi> <mi>i</mi> </msub> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> Applying this, we explore the relation between the smoothness of <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2025_465_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {T}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">T</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2025_465_Article_IEq21.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(T_i.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>T</mi> <mi>i</mi> </msub> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> By identifying an operator, whose range is <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2025_465_Article_IEq22.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="26" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ell _\infty ^d,\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>ℓ</mi> <mi>∞</mi> <mi>d</mi> </msubsup> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> as a tuple of functionals, we effectively use the results obtained here for operators whose range is <InlineEquation ID="IEq23"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="43034_2025_465_Article_IEq23.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(\ell _\infty ^d\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>ℓ</mi> <mi>∞</mi> <mi>d</mi> </msubsup> </math></EquationSource> </InlineEquation> and deduce nice results involving functionals.</p>

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

Min–max relations for tuples of operators in terms of component spaces

  • Arpita Mal

摘要

For tuples of compact operators \(\mathcal {T}=(T_1,\ldots , T_d)\) T = ( T 1 , , T d ) and \(\mathcal {S}=(S_1,\ldots ,S_d)\) S = ( S 1 , , S d ) on Banach spaces over a field \(\mathbb {F}\) F , considering the joint p-operator norms on the tuples, we study \(dist(\mathcal {T},\mathbb {F}^d\mathcal {S}),\) d i s t ( T , F d S ) , the distance of \(\mathcal {T}\) T from the d-dimensional subspace \(\mathcal {F}^d\mathcal {S}:=\{{\textbf {z}}\mathcal {S}:{\textbf {z}}\in \mathbb {F}^d\}.\) F d S : = { z S : z F d } . We obtain a relation between \(dist(\mathcal {T},\mathbb {F}^d\mathcal {S})\) d i s t ( T , F d S ) and \(dist(T_i,\mathbb {F}S_i),\) d i s t ( T i , F S i ) , for \(1\le i\le d.\) 1 i d . We prove that if \(p=\infty ,\) p = , then \(dist(\mathcal {T},\mathbb {F}^d\mathcal {S})=\underset{1\le i\le d}{\max }dist(T_i,\mathbb {F}S_i),\) d i s t ( T , F d S ) = max 1 i d d i s t ( T i , F S i ) , and for \(1\le p<\infty ,\) 1 p < , under a sufficient condition, \(dist(\mathcal {T},\mathbb {F}^d\mathcal {S})^p=\underset{1\le i\le d}{\sum }dist(T_i,\mathbb {F}S_i)^p.\) d i s t ( T , F d S ) p = 1 i d d i s t ( T i , F S i ) p . As a consequence, we deduce the equivalence of Birkhoff-James orthogonality, \(\mathcal {T}\perp _B \mathbb {F}^d\mathcal {S} \Leftrightarrow T_i\perp _B S_i,\) T B F d S T i B S i , under a sufficient condition. Furthermore, we explore the relation of one sided Gâteaux derivatives of \(\mathcal {T}\) T in the direction of \(\mathcal {S}\) S with that of \(T_i\) T i in the direction of \(S_i.\) S i . Applying this, we explore the relation between the smoothness of \(\mathcal {T}\) T and \(T_i.\) T i . By identifying an operator, whose range is \(\ell _\infty ^d,\) d , as a tuple of functionals, we effectively use the results obtained here for operators whose range is \(\ell _\infty ^d\) d and deduce nice results involving functionals.