正規作用素

提供: miniwiki
2018/8/19/ (日) 17:06時点におけるAdmin (トーク | 投稿記録)による版 (1版 をインポートしました)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先:案内検索

数学の特に函数解析学における正規作用素(せいきさようそ、: normal operator)は、複素ヒルベルト空間 H 上の連続線型作用素 N: HHエルミート随伴 N を持ち、NN = NN を満たすものを言う[1]

正規作用素が重要であるのは、それに対するスペクトル定理が成り立つからである。今日では正規作用素のクラスはよく分かっている。正規作用の例としては

性質

正規作用素はそのスペクトル定理によって特徴づけられる。コンパクト正規作用素(特に有限次元線型空間上の正規作用素)はユニタリ対角化可能である[2]

有界作用素 T に対して以下の条件

  • T は正規。
  • T は正規。
  • 任意の x に対して ǁTxǁ = ǁTxǁ が成り立つ。
  • T の自己随伴成分 T1 と反自己随伴成分 iT2 とが可換[3]

は何れも同値である。三つ目は等式を自乗して ǁTxǁ2 = 〈TTx, x〉 = 〈TTx, x〉 = ǁTxǁ2 の形に見れば、四つ目は各成分が T1 = (T + T)/2, T2 = (TT)i/2 で与えられるから、それぞれ正規性との同値性はあきらかである。

N が正規作用素ならば、NN はそのが等しい。ゆえに、N の像が稠密となる必要十分条件は N が単射となることである。別なやり方をすれば、正規作用素の核はその像の直交補空間である。従って、任意の正整数 k に対して作用素 Nk の核は N 自身の核と等しく、正規作用素の任意の広義固有値は通常の固有値である。λ が正規作用素 N の固有値であるための必要十分条件は、その複素共軛 λN の固有値となることである。正規作用素の相異なる固有値に属する固有ベクトルは互いに直交し、正規作用素はその固有空間の直交補空間を不変にする[4]。このことから通常のスペクトル定理「有限次元空間上の任意の正規作用素はユニタリ作用素によって対角化可能である」が出る。これは無限次元の場合にも、射影値測度English版を用いて一般化できる。正規作用素の剰余スペクトルは空である[4]

互いに可換な正規作用素の積はやはり正規となるが、これは自明ではなくフーグリードの定理English版から従う。フーグリードの定理(のパットナムが拡張した形)は

定理 (Fuglede–Putnam)
二つの正規作用素 N1, N2 に対し、有界作用素 AN1A = AN2 を満たすものが存在すれば N1A = AN2 が成立する。

正規作用素の作用素ノルムは、その数域半径English版およびスペクトル半径に等しい。

正規作用素はそのアルスゲ変換English版と一致する。

有限次元の場合の性質

有限次元の実または複素ヒルベルト空間(内積空間)H 上の正規作用素 T が部分空間 V を保つならば、T はその直交補空間 V も保つ(この主張は T が自己随伴ならば自明である)。

[証明]. PVV の上への直交射影とすれば V の上への直交射影は 1HPV である。TV を保つことは (1HPV)TPV = 0 または TPV = PVTPV で表されるという事実を用いれば、目的は X テンプレート:Coloneqq PVT(1HPV) = 0 を示すことに言い換えられる。(A, B) ↦ tr(AB)H の自己準同型全体の成すベクトル空間上の内積となることから、tr(XX) = 0 を示せば十分である。そこでまずは XX を直交射影で書きなおせば

[math]XX^* = P_VT(\boldsymbol{1}_H-P_V)^2T^*P_V= P_VT(\boldsymbol{1}_H-P_V)T^*P_V = P_VTT^*P_V - P_VTP_VT^*P_V[/math]

となるから、ここでトレースと直交射影の性質に従って計算すれば

[math]\begin{align} \operatorname{tr}(XX^*) &= \operatorname{tr} \left ( P_VTT^*P_V - P_VTP_VT^*P_V \right ) \\ &= \operatorname{tr}(P_VTT^*P_V) - \operatorname{tr}(P_VTP_VT^*P_V) \\ &= \operatorname{tr}(P_V^2TT^*) - \operatorname{tr}(P_V^2TP_VT^*) \\ &= \operatorname{tr}(P_VTT^*) - \operatorname{tr}(P_VTP_VT^*) \\ &= \operatorname{tr}(P_VTT^*) - \operatorname{tr}(TP_VT^*) \\ &= \operatorname{tr}(P_VTT^*) - \operatorname{tr}(P_VT^*T) \\ &= \operatorname{tr}(P_V(TT^*-T^*T)) = 0 \end{align}[/math]

を得る。

同じ論法が、無限次元ヒルベルト空間のコンパクト正規作用素に対しても、ヒルベルト・シュミット内積English版を用いて通用する[5]。しかし、一般の有界正規作用素に対しては、不変部分空間の直交補空間で不変とならないものが存在し得る[6]。これはつまり、そのような部分空間は固有ベクトルで張ることはできないということを意味する。例えば両側シフト作用素English版を考えれば、これは固有値を持たない。両側シフト作用素の不変部分空間はバーリングの定理English版によって特徴づけられる。

対合環の正規元

正規作用素の概念は対合線型環への一般化される。つまり、対合線型環の元 x正規であるとは、 xx = xx を満たすときに言う。最も重要な場合は、対合線型環が C-線型環であるときである。正元English版は正規元の例である。

非有界正規作用素

有界作用素の定義は、ある種の非有界作用素のクラスに対しては自然に一般化される。具体的には、閉作用素 N が正規であることを

[math]N^*N = NN^*[/math]

で定める。ここで随伴 N の存在性は N の定義域が稠密であることを、等号は NN の定義域が NN の定義域と等しいことをそれぞれ含意するが、この場合一般には必要でない。

非有界正規作用素に対してもスペクトル定理はやはり成り立つが、ふつうは別に証明が必要である。

一般化

正規作用素論の成功は、その可換性条件を緩めた様々な一般化への呼び水となった。そのような正規作用素を含む作用素のクラスには

などがある(上記は、後のものが前のものを含むより広いクラスとなるような順番で並べてある)。

注釈

  1. Hoffman, Kenneth & Kunze, Ray (1971). Linear Algebra, Second, 312. 
  2. Hoffman, Kenneth & Kunze, Ray (1971). Linear Algebra, Second, 317. 
  3. これに対して、場の量子論などで重要なクラスである生成演算子と消滅演算子は非可換である。
  4. 4.0 4.1 Naylor, Arch W.; Sell George R. (1982). Linear Operator Theory in Engineering and Sciences. New York: Springer. ISBN 978-0-387-95001-3. 
  5. Andô, Tsuyoshi (1963). “Note on invariant subspaces of a compact normal operator”. Archiv der Mathematik 14: 337–340. doi:10.1007/BF01234964. 
  6. Garrett, Paul (2005年). “Operators on Hilbert spaces”. . 2014閲覧.

参考文献

  • Hoffman, Kenneth and Kunze, Ray. Linear Algebra. Second Edition. 1971. Prentice-Hall, Inc.