<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2119_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {H}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation> be a separable complex Hilbert space. Denote by <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2119_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(Gr({\mathcal {H}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mi>r</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> the Grassmann manifold of <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2119_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {H}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation>. We study the following sets of pairs of elements in <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2119_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(Gr({\mathcal {H}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mi>r</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>: <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2119_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="566" /> </InlineMediaObject> <EquationSource Format="TEX">\( {\varvec{\Delta }}=\{( {{\mathcal {S}}} , {{\mathcal {T}}} )\in Gr({\mathcal {H}})\times Gr({\mathcal {H}}): \exists {{\mathcal {Z}}} \in Gr({\mathcal {H}}) \hbox { such that } {{\mathcal {S}}} \dot{+} {{\mathcal {Z}}} = {{\mathcal {T}}} \dot{+} {{\mathcal {Z}}} ={\mathcal {H}}\},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mi mathvariant="bold">Δ</mi> </mrow> <mo>=</mo> <mo stretchy="false">{</mo> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">S</mi> <mo>,</mo> <mi mathvariant="script">T</mi> <mo stretchy="false">)</mo> </mrow> <mo>∈</mo> <mi>G</mi> <mi>r</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> <mo>×</mo> <mi>G</mi> <mi>r</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>∃</mo> <mi mathvariant="script">Z</mi> <mo>∈</mo> <mi>G</mi> <mi>r</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="0.333333em" /> <mtext>such that</mtext> <mspace width="0.333333em" /> <mi mathvariant="script">S</mi> <mover accent="true"> <mo>+</mo> <mo>˙</mo> </mover> <mi mathvariant="script">Z</mi> <mo>=</mo> <mi mathvariant="script">T</mi> <mover accent="true"> <mo>+</mo> <mo>˙</mo> </mover> <mi mathvariant="script">Z</mi> <mo>=</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">}</mo> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> which are pairs of subspaces that have a common complement, and <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2119_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="190" /> </InlineMediaObject> <EquationSource Format="TEX">\( {\varvec{\Gamma }}=Gr({\mathcal {H}}) \times Gr({\mathcal {H}}) \setminus {\varvec{\Delta }},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mi mathvariant="bold">Γ</mi> </mrow> <mo>=</mo> <mi>G</mi> <mi>r</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> <mo>×</mo> <mi>G</mi> <mi>r</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mrow> <mi mathvariant="bold">Δ</mi> </mrow> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> which are pairs of subspaces that do not admit a common complement. We identify <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2119_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\( {{\mathcal {S}}} \sim P_ {{\mathcal {S}}} \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">S</mi> <mo>∼</mo> <msub> <mi>P</mi> <mi mathvariant="script">S</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>, the subspace <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2119_Article_IEq8.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 the orthogonal projection <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2119_Article_IEq9.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_ {{\mathcal {S}}} \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>P</mi> <mi mathvariant="script">S</mi> </msub> </math></EquationSource> </InlineEquation> onto <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2119_Article_IEq8.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>. Thus we may regard <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2119_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\varvec{\Delta }}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">Δ</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2119_Article_IEq12.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\({\varvec{\Gamma }}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">Γ</mi> </mrow> </math></EquationSource> </InlineEquation> as subsets of <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2119_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="100" /> </InlineMediaObject> <EquationSource Format="TEX">\( {{\mathcal {B}}} ({\mathcal {H}})\times {{\mathcal {B}}} ({\mathcal {H}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> <mo>×</mo> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> (here <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2119_Article_IEq14.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\( {{\mathcal {B}}} ({\mathcal {H}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> denotes the algebra of bounded linear operators in <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2119_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {H}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation>). We show that <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2119_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\varvec{\Delta }}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">Δ</mi> </mrow> </math></EquationSource> </InlineEquation> is open, and its connected components are parametrized by the dimension and codimension of the subspaces. The connected component of <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2119_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\varvec{\Delta }}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">Δ</mi> </mrow> </math></EquationSource> </InlineEquation> having both infinite dimensional and co-dimensional subspaces is dense in the corresponding component of <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2119_Article_IEq18.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="119" /> </InlineMediaObject> <EquationSource Format="TEX">\(Gr({\mathcal {H}})\times Gr({\mathcal {H}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mi>r</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> <mo>×</mo> <mi>G</mi> <mi>r</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. On the other hand, <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2119_Article_IEq12.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\({\varvec{\Gamma }}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">Γ</mi> </mrow> </math></EquationSource> </InlineEquation> is a (closed) <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2119_Article_IEq20.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\(C^\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mi>∞</mi> </msup> </math></EquationSource> </InlineEquation> submanifold of <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2119_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="100" /> </InlineMediaObject> <EquationSource Format="TEX">\( {{\mathcal {B}}} ({\mathcal {H}})\times {{\mathcal {B}}} ({\mathcal {H}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> <mo>×</mo> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, and we characterize the connected components of <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2119_Article_IEq12.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\({\varvec{\Gamma }}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">Γ</mi> </mrow> </math></EquationSource> </InlineEquation> in terms of dimensions and semi-Fredholm indices. We study the role played by the geodesic structure of the Grassmann geometry of <InlineEquation ID="IEq23"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2119_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="19" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {H}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation> in the geometry of both <InlineEquation ID="IEq24"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2119_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\varvec{\Delta }}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">Δ</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq25"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2119_Article_IEq12.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\({\varvec{\Gamma }}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">Γ</mi> </mrow> </math></EquationSource> </InlineEquation>. Several examples of pairs in <InlineEquation ID="IEq26"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2119_Article_IEq11.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\varvec{\Delta }}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">Δ</mi> </mrow> </math></EquationSource> </InlineEquation> and the connected components of <InlineEquation ID="IEq27"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="605_2025_2119_Article_IEq12.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\({\varvec{\Gamma }}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="bold">Γ</mi> </mrow> </math></EquationSource> </InlineEquation> are given in Hilbert spaces of functions.</p>

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

Subspaces with or without a common complement

  • Esteban Andruchow,
  • Eduardo Chiumiento

摘要

Let \({\mathcal {H}}\) H be a separable complex Hilbert space. Denote by \(Gr({\mathcal {H}})\) G r ( H ) the Grassmann manifold of \({\mathcal {H}}\) H . We study the following sets of pairs of elements in \(Gr({\mathcal {H}})\) G r ( H ) : \( {\varvec{\Delta }}=\{( {{\mathcal {S}}} , {{\mathcal {T}}} )\in Gr({\mathcal {H}})\times Gr({\mathcal {H}}): \exists {{\mathcal {Z}}} \in Gr({\mathcal {H}}) \hbox { such that } {{\mathcal {S}}} \dot{+} {{\mathcal {Z}}} = {{\mathcal {T}}} \dot{+} {{\mathcal {Z}}} ={\mathcal {H}}\},\) Δ = { ( S , T ) G r ( H ) × G r ( H ) : Z G r ( H ) such that S + ˙ Z = T + ˙ Z = H } , which are pairs of subspaces that have a common complement, and \( {\varvec{\Gamma }}=Gr({\mathcal {H}}) \times Gr({\mathcal {H}}) \setminus {\varvec{\Delta }},\) Γ = G r ( H ) × G r ( H ) \ Δ , which are pairs of subspaces that do not admit a common complement. We identify \( {{\mathcal {S}}} \sim P_ {{\mathcal {S}}} \) S P S , the subspace \( {{\mathcal {S}}} \) S with the orthogonal projection \(P_ {{\mathcal {S}}} \) P S onto \( {{\mathcal {S}}} \) S . Thus we may regard \({\varvec{\Delta }}\) Δ and \({\varvec{\Gamma }}\) Γ as subsets of \( {{\mathcal {B}}} ({\mathcal {H}})\times {{\mathcal {B}}} ({\mathcal {H}})\) B ( H ) × B ( H ) (here \( {{\mathcal {B}}} ({\mathcal {H}})\) B ( H ) denotes the algebra of bounded linear operators in \({\mathcal {H}}\) H ). We show that \({\varvec{\Delta }}\) Δ is open, and its connected components are parametrized by the dimension and codimension of the subspaces. The connected component of \({\varvec{\Delta }}\) Δ having both infinite dimensional and co-dimensional subspaces is dense in the corresponding component of \(Gr({\mathcal {H}})\times Gr({\mathcal {H}})\) G r ( H ) × G r ( H ) . On the other hand, \({\varvec{\Gamma }}\) Γ is a (closed) \(C^\infty \) C submanifold of \( {{\mathcal {B}}} ({\mathcal {H}})\times {{\mathcal {B}}} ({\mathcal {H}})\) B ( H ) × B ( H ) , and we characterize the connected components of \({\varvec{\Gamma }}\) Γ in terms of dimensions and semi-Fredholm indices. We study the role played by the geodesic structure of the Grassmann geometry of \({\mathcal {H}}\) H in the geometry of both \({\varvec{\Delta }}\) Δ and \({\varvec{\Gamma }}\) Γ . Several examples of pairs in \({\varvec{\Delta }}\) Δ and the connected components of \({\varvec{\Gamma }}\) Γ are given in Hilbert spaces of functions.