[論文レビュー] On orthogonal systems in Hilbert C*-modules

Giovanni Landi, Alexander Pavlov|ArXiv.org|Jun 4, 2009

Advanced Operator Algebra Research参考文献 15被引用数 8

ひとこと要約

この論文は、ヒルベルト C*-加群における直交および正規直交系を調査し、ヒルベルト空間からのフーリエ級数理論の一般化を試みる。完全な直交系は存在するが、それらが閉じているとは限らず、基底をなすとは限らないこと、またフーリエ級数がノルム位相ではなく強い位相で収束する可能性があること—ヒルベルト空間理論とは根本的に異なる点を強調し、重要な反例と構造的結果を提示する。

ABSTRACT

Analogues for Hilbert C*-modules of classical results of Fourier series theory in Hilbert spaces are considered. Relations between different properties of orthogonal and orthonormal systems for Hilbert C*-modules are studied with special attention paid on the differences with the well-known Hilbert space situation.

研究の動機と目的

• ヒルベルト C*-加群に対して古典的フーリエ級数理論の類似結果を確立し、非可換な設定へのヒルベルト空間理論の拡張を図ること。
• ヒルベルト空間理論とヒルベルト C*-加群理論との間の根本的な相違点を特定・明確化すること、特に正規直交基底と収束性に関する点に焦点を当てる。
• ヒルベルト C*-加群における標準的な正規直交基底の失敗を分析し、フレームや直交系といった代替構造の可能性を検討すること。
• 完全な直交系が閉じているとは限らないことを示す明示的反例を構成すること。

提案手法

• ユニタル C*-代数上のヒルベルト C*-加群の枠組みを用い、内積を代数に値をとるように定義する。
• 特に正規化されたタイトなフレームの概念を適用し、公式 $ x = \sum_i e_i \langle e_i, x \rangle $ を用いて再構成性を分析する。
• 非可算生成加群における構造的制限に対処するため、カスパロフの安定化定理を用いる。
• 区間上の関数代数と分岐被覆を用いて、非閉性および非収束性を示す明示的反例を構成する。
• ヒルベルト C*-加群におけるフーリエ級数の収束をノルム位相ではなく強い作用素位相で分析する。
• 特性関数とパーティション・オブ・ユニティに類似した構成を用いて、制御された台を持つ直交系を構築する。

実験結果

リサーチクエスチョン

• RQ1 古典的フーリエ級数理論の結果は、ヒルベルト C*-加群へ一般化可能か。その場合、どのような条件下で成立するか？
• RQ2 なぜヒルベルト C*-加群における正規直交系は基底をなさず、フーリエ級数のノルム収束を保証しないのか？
• RQ3 完全な直交系が閉じているか、またはフレームをなすための条件は何か？
• RQ4 ヒルベルト C*-加群の構造的性質は、ヒルベルト空間とはどのような点で根本的に異なるか？
• RQ5 有限または可算生成のヒルベルト C*-加群は、閉じていない完全な直交系を有する可能性があるか？

主な発見

• 任意のヒルベルト C*-加群は完全な直交系をもつが、そのような系が閉じているとは限らず、正規直交であっても同様である。
• ヒルベルト C*-加群における完全な正規直交系であっても、フーリエ級数のノルム収束を保証しない。収束は強い位相でのみ成立する可能性がある。
• 閉じていない完全な直交系が存在する。例 3.3 で示されるように、$ \sum_i \langle x, e_i \rangle \langle e_i, x \rangle $ がノルムで収束しない例が存在する。
• 再構成公式 $ x = \sum_i e_i \langle e_i, x \rangle $ がノルムで成り立つのは、フレームが標準的である場合に限り、定理 1.1 により示される。
• 有限の完全な正規直交系は常に閉じているが、無限次元の設定ではこの性質は成立しない。
• 有限生成でないが可算生成のヒルベルト C*-加群は、有限の完全な直交系をもつ可能性がある。例 3.4 では、コンパクト空間上の分岐被覆を用いてこれを示している。