<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\({\mathcal{H}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({\mathcal{K}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">K</mi> </math></EquationSource> </InlineEquation> be complex infinite-dimensional separable Hilbert spaces and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\({\mathcal{B}}({\mathcal{K}},{\mathcal{H}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">K</mi> <mo>,</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> be the algebra of all bounded linear operators from <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\({\mathcal{K}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">K</mi> </math></EquationSource> </InlineEquation> into <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\({\mathcal{H}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">H</mi> </math></EquationSource> </InlineEquation>. Given <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(A\in {\mathcal{B}}({\mathcal{H}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>∈</mo> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(B\in {\mathcal{B}}({\mathcal{K}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>B</mi> <mo>∈</mo> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">K</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(C\in {\mathcal{B}}({\mathcal{K}},{\mathcal{H}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>C</mi> <mo>∈</mo> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">K</mi> <mo>,</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, we denote by <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(M_{C}=\left( \begin{array}{cc} A &amp; C \\ 0 &amp; B \\ \end{array} \right)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>M</mi> <mi>C</mi> </msub> <mo>=</mo> <mfenced close=")" open="("> <mrow> <mtable> <mtr> <mtd> <mi>A</mi> </mtd> <mtd> <mi>C</mi> </mtd> </mtr> <mtr> <mtd> <mrow> <mrow /> <mn>0</mn> </mrow> </mtd> <mtd> <mi>B</mi> </mtd> </mtr> </mtable> </mrow> </mfenced> </mrow> </math></EquationSource> </InlineEquation> the upper triangular operator matrix acting on <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\({\mathcal{H}}\oplus {\mathcal{K}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">H</mi> <mo>⊕</mo> <mi mathvariant="script">K</mi> </mrow> </math></EquationSource> </InlineEquation>. In this paper, we give the characterization on the existence of <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(C\in {\mathcal{B}}({\mathcal{K}},{\mathcal{H}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>C</mi> <mo>∈</mo> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">K</mi> <mo>,</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(M_C\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>M</mi> <mi>C</mi> </msub> </math></EquationSource> </InlineEquation> to be upper semi-Fredholm with fixed nullity and to be Fredholm with fixed index, respectively. Besides, we also show that the existence of invertible <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(C_0\in {\mathcal{B}}({\mathcal{K}},{\mathcal{H}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>C</mi> <mn>0</mn> </msub> <mo>∈</mo> <mi mathvariant="script">B</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">K</mi> <mo>,</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(M_{C_0}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>M</mi> <msub> <mi>C</mi> <mn>0</mn> </msub> </msub> </math></EquationSource> </InlineEquation> is a CI operator(resp. CW operator) is equivalent with <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(M_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>M</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> is a CI operator (resp. CW operator).</p>

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

Some results on completion problems of upper triangular operator matrices

  • Lili Yang

摘要

Let \({\mathcal{H}}\) H and \({\mathcal{K}}\) K be complex infinite-dimensional separable Hilbert spaces and \({\mathcal{B}}({\mathcal{K}},{\mathcal{H}})\) B ( K , H ) be the algebra of all bounded linear operators from \({\mathcal{K}}\) K into \({\mathcal{H}}\) H . Given \(A\in {\mathcal{B}}({\mathcal{H}})\) A B ( H ) , \(B\in {\mathcal{B}}({\mathcal{K}})\) B B ( K ) and \(C\in {\mathcal{B}}({\mathcal{K}},{\mathcal{H}})\) C B ( K , H ) , we denote by \(M_{C}=\left( \begin{array}{cc} A & C \\ 0 & B \\ \end{array} \right)\) M C = A C 0 B the upper triangular operator matrix acting on \({\mathcal{H}}\oplus {\mathcal{K}}\) H K . In this paper, we give the characterization on the existence of \(C\in {\mathcal{B}}({\mathcal{K}},{\mathcal{H}})\) C B ( K , H ) such that \(M_C\) M C to be upper semi-Fredholm with fixed nullity and to be Fredholm with fixed index, respectively. Besides, we also show that the existence of invertible \(C_0\in {\mathcal{B}}({\mathcal{K}},{\mathcal{H}})\) C 0 B ( K , H ) such that \(M_{C_0}\) M C 0 is a CI operator(resp. CW operator) is equivalent with \(M_0\) M 0 is a CI operator (resp. CW operator).