正規作用素

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

テンプレート:Refimprove 数学の特に函数解析学における正規作用素(せいきさようそ、テンプレート:Lang-en-short)は、複素ヒルベルト空間 H 上の連続線型作用素 テンプレート:Mathエルミート随伴 テンプレート:Math を持ち、テンプレート:Math を満たすものを言う[1]

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

性質

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

有界作用素 テンプレート:Math に対して以下の条件

は何れも同値である。三つ目は等式を自乗して テンプレート:Math の形に見れば、四つ目は各成分が T1 = (T + T)/2, T2 = (TT)i/2 で与えられるから、それぞれ正規性との同値性はあきらかである。

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

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

定理 (Fuglede–Putnam)
二つの正規作用素 テンプレート:Math に対し、有界作用素 Aテンプレート:Math を満たすものが存在すれば テンプレート:Math が成立する。

正規作用素の作用素ノルムは、そのテンプレート:仮リンクおよびスペクトル半径に等しい。

正規作用素はそのテンプレート:仮リンクと一致する。

有限次元の場合の性質

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

[証明]. テンプレート:MathV の上への直交射影とすれば テンプレート:Math の上への直交射影は テンプレート:Math である。テンプレート:Mathテンプレート:Math を保つことは テンプレート:Math または テンプレート:Math で表されるという事実を用いれば、目的は テンプレート:Math を示すことに言い換えられる。テンプレート:Mathテンプレート:Math の自己準同型全体の成すベクトル空間上の内積となることから、テンプレート:Math を示せば十分である。そこでまずは 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> を得る。

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

対合環の正規元

正規作用素の概念は対合線型環への一般化される。つまり、対合線型環の元 x正規であるとは、 テンプレート:Math を満たすときに言う。最も重要な場合は、対合線型環が C-線型環であるときである。テンプレート:仮リンクは正規元の例である。

非有界正規作用素

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

<math>N^*N = NN^*</math>

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

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

一般化

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

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

注釈

  1. テンプレート:Cite book
  2. テンプレート:Cite book
  3. これに対して、場の量子論などで重要なクラスである生成演算子と消滅演算子は非可換である。
  4. 4.0 4.1 テンプレート:Cite book
  5. テンプレート:Cite journal
  6. テンプレート:Cite web

参考文献

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