Hilbert空间中广义正交基.pdfVIP

郭训香：Hilbert空间中的广义正交基 {A ：i∈ )是 日的闭子空间-sp-~{A*(Hi)}i∈Ⅳ上的广义框架．我们称 { ：i∈ )是一个广义 Bessel序列，如果广义框架定义中的不等式只是右半不等式成立．如果 {f：Ajf=0，vj}=0)，则称 {Aj∈B(H，Hj)：J∈ )是关于 { )广义完备的．如果 { ∈B(H，Hj)：J∈ )是关于 {Hj)广义 完备的并且对于任意有限子集合 JC ，任意 ^E ，iEJ，有 ∑IIf~ll。≤_l∑A~AI[。≤B∑IIAll。 iEJ iEJ i∈J 则称 (Aj∈B(H，Hj)：J∈Ⅳ)是 日的关于 (Hi}的广义 Riesz基，其中A和 B分别称为 Riesz下 界和上界．众所周知，如果 {AJ∈B(H，H)『：J∈ )是 H 中的关于 { )的广义框架，定义算子 S H H ． 则算子 s是 良定义的并且是 日上的有界可逆算子．S称为相应于广义框架 {Aj∈B(H，Hj)：J∈Ⅳ) 的框架算子．另一个基本事实是，{AjS ：J∈Ⅳ)也是H上的关于 {H3)的广义框架，称其为广义框 架 {AJEB(H，H3)：JEⅣ)的典则对偶广义框架，简记为 {hi：J∈ )．如果广义框架 {Fj：J∈ ) 使得 f=∑A；Vyf，vf∈H， j∈N 则称其为广义框架 fAj：．7∈ )的对偶广义框架，显然，典则对偶广义框架是特殊的对偶广义框架． 近年来，广义框架引起了数学家们的广泛关注，这方面比较有代表性的研究工作参见文献 f12—17]以及 它们的参考文献． 我们知道 Hilbert空间中的框架是Hilbert空间中的基的推广．所 以，很 自然地我们可以把Hilbert 空间中广义框架看成是Hilbert空间中的广义基的推广，这里Hilbert空间中的广义基是由Guor18]提 出的．在所有 Hilbert空间的广义基中有一类很重要的广义基，即广义正交基．从文献 f11，13，181中可 以看到广义正交基在 Hilbert空间的广义框架理论中起着非常重要的作用并且它还具有一些非常有趣 的性质．本文将致力于更进一步地对 Hilbert空间中的广义正交基进行研究．第 2节给出一些基本的 定义和引理；第 3节研究Hilbert空间中广义正交基的存在性问题；第 4节证明广义正交基的一些重 要性质；第 5节探讨Hilbert空间中广义框架的冗余性． 本文 以 表示 自然数集合；序列 { ：JE }表示某 Hilbert空间 V 的列闭子空间；VA， ∈{Aj：。∈ )，Af≠0；所有Hilbert空间都是可分复 Hilbert空间． 2 预备知识 本节介 本文 中需要 的定义和 引理 ． 定义 2．1 给定Hilbert空间序列 { )t∈，我们定义如下空间12(0 ) 。 ， ll2+OO)． 定义 12(0皿)上的内积如下： ({，{)，))：∑(^，)， 1048 中国科学：数学 第 43卷 第 10期 则易证 12(0 )是一个Hilbert空间． 定义 2．2 {Aj∈B(tt，马)) 1称为关于 { }广义线性无关，如果我们有 ∑ 1 =0，则 gj=0(J=1，2… ．)，这里 9j∈ (J=1，2… ．)． 定义 2．3 {aj∈B(日， )) 1和 {rj∈B(日， )) 1称为关于 { )广义双正交，如果 (A； ，r9)= ，t(9J，9i)，V歹，i∈ ，gj∈ ，9i∈ 定义 2．4 {Aj∈B(H， )) 1称为是 日中关于 { )的广义正交基，如果 { ∈B(日， )) 1 广义双正交于其 自身并且对任意 ．厂∈H，有 ∑IIAjYll。= j∈N 定义 2．5 {Aj∈B