正規直交系

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

数学、特に線型代数学並びに関数解析学において正規直交系(せいきちょっこうけい、: orthonormal system)とは、互いに直交して内積が 0 であり、かつその大きさが規格化されて 1 であるベクトルの集まり。ONSとも表される。特に、正規直交系が完全系(任意のベクトルが正規直交系によって展開可能)である場合には、完全正規直交系: complete orthonormal system)または正規直交基底と呼ばれ、CONSと表される。ヒルベルト空間論の基礎的な概念であるとともに、正規直交系に基づく展開原理は物理学工学への応用において重要となる。

定義[編集]

内積を有するベクトル空間(内積空間)において、ベクトルの集合 {xn } が互いに直交し、内積について


\langle x_m, x_n \rangle =0 \quad (m \neq n)

が成り立つときに、{xn } は直交系orthogonal system)であるという。また、直交系 {en } が内積で定まるノルムについて規格化されている(||en || = 1 である)、すなわち、


\langle e_m, e_n \rangle =\delta_{mn}

であるときに、{en } は正規直交系であるという。但し、δmnクロネッカーのデルタを表す。有限個または可算個の一次独立なベクトル {xn } が存在する場合、グラム・シュミットの正規直交化法により、{xn } から正規直交系を具体的に構成することができる。

内積で定まるノルムについて完備であるヒルベルト空間を論ずる際において、正規直交系は重要な役割を果たす。ヒルベルト空間において、正規直交系 {en } が完全系である、すなわち


\langle x, e_n \rangle = 0 \quad  \forall n
\Longrightarrow x=0

を満たすとき、{en } は完全正規直交系、または正規直交基底であるという。完全正規直交系においては、任意のベクトルx に対し、


x = \sum_{n} \langle x, e_n \rangle e_n

という展開が可能となる。但し、無限列についてはノルムに関する収束を表すものとする。

任意のヒルベルト空間において、完全正規直交系は存在するが、特に可分なヒルベルト空間であれば、高々可算個からなる完全正規直交系が存在する[1]

性質[編集]

完全正規直交系の性質を特徴付ける定理として、次の同値性が成り立つ。

定理

ヒルベルト空間H の正規直交系 {en } に対し、以下は同値となる。

  1. {en } が完全正規直交系をなす。
  2. {en } の一次結合全体がH稠密である。
  3. フーリエ級数 任意のxH について、
    
x = \sum_{n} \langle x, e_n \rangle e_n
    が成り立つ。
  4. リース・フィッシャーの等式英語版 任意のxH について、
    
||x||^2 = \sum_{n} |\langle x, e_n \rangle  |^2
    が成り立つ。
  5. パーセバルの等式 任意のx, yH について、
    
\langle x, y \rangle  = \sum_{n} \langle x, e_n \rangle  \langle e_n, y \rangle
    が成り立つ。

脚注[編集]

  1. ^ 有限次元の内積空間においては、次元と等しい個数からなる完全正規直交系が存在する

参考文献[編集]

関連項目[編集]