[論文レビュー] A module frame concept for Hilbert C*-modules

Michael Frank, David R. Larson|ArXiv.org|Nov 22, 2000

Mathematical Analysis and Transform Methods参考文献 21被引用数 51

ひとこと要約

本稿では、幾何的拡大技術を用いて、ヒルベルト C*-加群における一般化されたモジュールフレーム理論を提示する。これは、古典的なフレーム理論をヒルベルト空間から単位的 C*-代数上のモジュールへと拡張するものである。主な貢献は、拡大されたヒルベルト C*-加群における正規直交基底とリース基底の線形結合としてのフレームの分解であり、ユニタリ作用素と射影による明示的表現を含む。これは、カザッサとハン＝ラーソンによるヒルベルト空間フレームの結果を一般化するものである。

ABSTRACT

The goal of the present paper is a short introduction to a general module frame theory in C*-algebras and Hilbert C*-modules. The reported investigations rely on the idea of geometric dilation to standard Hilbert C*-modules over unital C*-algebras that possess orthonormal bases, and of reconstruction of the frames by projections and other bounded module operators with suitable ranges. We obtain frame representation and decomposition theorems, as well as similarity and equivalence results. The relative position of two and more frames in terms of being complementary or disjoint is investigated in detail. In the last section some recent results by P. G. Casazza are generalized to our setting. The Hilbert space situation appears as a special case. For detailled proofs we refer to another paper also contained in the ArXiv.

研究の動機と目的

• 単位的 C*-代数上のヒルベルト C*-加群に対する包括的なモジュールフレーム理論の構築を目的とする。
• 古典的なヒルベルト空間フレームの結果（例えば、フレームの分解と表現）を、ヒルベルト C*-加群の非可換な設定へと一般化すること。
• C*-加群理論の文脈において、フレームの相対的位置関係（特に補完性と非交差性）を調査すること。
• カザッサとハン＝ラーソンによるフレーム分解に関する結果を、ヒルベルト C*-加群の文脈へと拡張すること。

提案手法

• 幾何的拡大を用いて、ヒルベルト C*-加群をヒルベルト基底を持つより大きな標準ヒルベルト C*-加群に埋め込む。
• フレーム変換を、加群を $ l_2(A) $ に写像する有界作用素として構成し、等長埋め込みを可能にする。
• ユニタリ作用素と射影を用いて、$ l_2(A) $ 及びその正規直交基底の構造を活用し、フレーム作用素を表現する。
• $ \varepsilon > 0 $ を用いた摂動技術を適用し、作用素の逆可換性を保証し、ユニタリ分解を導出する。
• フレーム変換 $ \theta $ 及びその随伴作用素 $ \theta^* $ を用いて、フレーム要素を基底列の組み合わせとして表現する。
• フレーム変換 $ \theta^*(e_j) = \frac{2\|\theta^*\|}{1-\varepsilon}(W(e_j) + (W^* - \frac{3}{2}\text{id})(e_j)) $ を用いたフレーム分解を確立する。ここで $ \{W(e_j)\} $ は正規直交基底、$ \{(W^* - \frac{3}{2}\text{id})(e_j)\} $ はリース基底である。

実験結果

リサーチクエスチョン

• RQ1 ヒルベルト空間におけるフレーム理論は、単位的 C*-代数上のヒルベルト C*-加群へどのように一般化可能か？
• RQ2 幾何的拡大は、モジュールフレームの構築およびフレーム分解の実現において果たす役割は何か？
• RQ3 任意の標準的フレームは、拡大された加群における正規直交基底とリース基底の線形結合として表現可能か？
• RQ4 フレーム間の補完性および非交差性の概念は、ヒルベルト C*-加群の文脈へどのように拡張可能か？
• RQ5 カザッサとハン＝ラーソンによる古典的フレーム分解結果は、モジュールフレームの文脈へどの程度一般化可能か？

主な発見

• 任意の標準的正規化されたタイトフレームは、加群を $ l_2(A) $ に等長埋め込むフレーム変換の像として得られ、フレーム要素は正規直交基底 $ \{f_j\}, \{g_j\} $ を用いて $ \theta(h_j) = \frac{1}{2}(f_j + g_j) $ と表現可能である。
• 任意の標準的フレームは、拡大された加群における正規直交基底とリース基底の線形結合として表現可能であり、フレーム変換 $ \theta^* $ はユニタリ作用素を用いて表現可能である。
• 随伴フレーム作用素 $ \theta^* $ は、$ \theta^* = \frac{2\|\theta^*\|}{1-\varepsilon}(W + W^* - \frac{3}{2}\text{id}) $ と表現可能であり、ここで $ W $ はユニタリ作用素である。これにより、正規直交基底およびリース基底成分への分解が可能になる。
• フレーム変換 $ \theta $ は $ l_2(A) $ への等長埋め込みであり、その随伴 $ \theta^* $ は全射であり、ノルムは上フレーム定数に等しい。
• 任意の標準的フレーム $ \{h_j\} $ に対して、$ l_2(A) $ の二つのリース基底 $ \{f_j\}, \{g_j\} $ が存在し、$ \theta(h_j) = \frac{1}{2}(f_j + g_j) $ が成り立つ。これはヒルベルト空間の結果を一般化する。
• ユニタリ作用素と $ \varepsilon > 0 $ を用いた摂動による分解法により、逆可換性が保証され、拡大された加群空間におけるフレーム表現の明示的構成が可能になる。