[論文レビュー] A characterization of The operator-valued triangle equality

Tsuyoshi Andô, Tomohiro Hayashi|ArXiv.org|Sep 23, 2005

Advanced Topics in Algebra参考文献 5被引用数 9

ひとこと要約

この論文は、無限次元ヒルベルト空間上の有界線形作用素に対して、作用素値三角不等式 $|X+Y| = |X| + |Y|$ の特徴づけを確立する。この等式が成り立つのは、部分等長作用素 $U$ が存在して $X = U|X|$ かつ $Y = U|Y|$ となるときであり、かつそのときに限ることを証明する。これは、トレースに基づく手法が無限次元で失敗する問題を、スペクトル理論と極分解の技法を用いて克服することで、スミスの有限次元結果を拡張したものである。

ABSTRACT

We will show that for any two bounded linear operators $X,Y$ on a Hilbert space ${\frak H}$, if they satisfy the triangle equality $|X+Y|=|X|+|Y|$, there exists a partial isometry $U$ on ${\frak H}$ such that $X=U|X|$ and $Y=U|Y|$. This is a generalization of Thompson's theorem to the matrix case proved by using a trace.

研究の動機と目的

• 作用素三角不等式の有限次元特徴づけをスミスが示したものに基づき、無限次元ヒルベルト空間への一般化を図ること。
• 無限次元においてトレースに基づく手法が失敗することを解消するため、スペクトル理論と分解に基づくアプローチを開発すること。
• 作用素 $X$ と $Y$ の極分解における共通の部分等長作用素を用いて、等式 $|X+Y| = |X| + |Y|$ の必要十分条件を確立すること。
• 単位的作用素が存在しない場合の等式を扱うために、部分等長作用素を適切な一般化として導入すること。

提案手法

• 極分解を用いて $X = V|X|$, $Y = W|Y|$ と表し、部分等長作用素 $V, W$ を用いて、$|X+Y| = |X| + |Y|$ の成立条件を分析する。
• 主な作用素的恒等式 $A(V^*W - I)B + B(W^*V - I)A = 0$ を導出する。ここで $A = |X|$, $B = |Y|$ であり、この恒等式により三角不等式と $V^*W$ の構造が結びつけられる。
• $A^{1/2} = K(A+B)^{1/2}$, $B^{1/2} = L(A+B)^{1/2}$ により収縮作用素 $K, L$ を導入し、$A$ と $B$ をその和 $A+B$ に関連づける。これによりスペクトル解析が可能になる。
• スペクトル理論を適用し、$iA(V^*W - I)B = 0$ を証明する。これは、$D(V^*W - I)D$ のスペクトルが虚軸と $\{0\}$ のみで交わることを示すことで達成され、これには補題2.2（収縮作用素に関するもの）を用いる。
• $\sigma(ST) \setminus \{0\} = \sigma(TS) \setminus \{0\}$ の恒等式を用いて、スペクトル解析を自己共役作用素に移行し、実スペクトルの議論を可能にする。
• 補題2.1を活用して、$U|X| = V|X|$ かつ $U|Y| = W|Y|$ を満たす共通の部分等長作用素 $U$ を構成し、特徴づけを完成させる。

実験結果

リサーチクエスチョン

• RQ1 有界線形作用素が無限次元ヒルベルト空間上で作用するとき、作用素値三角不等式 $|X+Y| = |X| + |Y|$ が成り立つ条件は何か？
• RQ2 スミスの有限次元特徴づけ（単位的作用素を含むもの）は、無限次元設定へと拡張可能か？
• RQ3 なぜトレースに基づく手法は無限次元で失敗するのか？ 代替的手法により特徴づけを回復できるか？
• RQ4 等式 $|X+Y| = |X| + |Y|$ が成り立つ場合、$X = U|X|$ かつ $Y = U|Y|$ を満たす標準的な部分等長作用素 $U$ が存在するか？
• RQ5 $V^*W - I$ のスペクトル的性質が、等式 $|X+Y| = |X| + |Y|$ の成立に果たす役割は何か？

主な発見

• 作用素値三角不等式 $|X+Y| = |X| + |Y|$ が成り立つのは、部分等長作用素 $U$ が存在して $X = U|X|$ かつ $Y = U|Y|$ となるときであり、かつそのときに限る。
• トレースに基づく手法が無限次元で失敗する問題を、収縮作用素 $V^*W$ と作用素 $D$ から導かれる $D(V^*W - I)D$ のスペクトル解析を用いて克服した。
• 三角不等式の必要十分条件として $iA(V^*W - I)B = 0$ が示され、これはスペクトル包含と自己共役性の議論により導出された。
• 共通の部分等長作用素 $U$ の構成には、$A^{1/2} = K(A+B)^{1/2}$ および $B^{1/2} = L(A+B)^{1/2}$ を満たす収縮作用素 $K, L$ の存在が不可欠であり、極分解の整合性を保証する。
• $D(V^*W - I)D$ のスペクトルは、中心が $-||D||^2$、半径が $||D||^2$ の円板に含まれるため、虚軸との交わりは $ one$ のみである。これは証明において極めて重要である。
• この結果により、単位的作用素が存在しない場合であっても、極分解における共通の部分等長作用素の存在が、作用素三角不等式における等式成立の正確な条件であることが確認された。