正規直交系

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

定義

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

$\langle x_{m},x_{n}\rangle =0\quad (m\neq n)$

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

$\langle e_{m},e_{n}\rangle =\delta _{mn}$

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

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

$\langle x,e_{n}\rangle =0\quad \forall n\Longrightarrow x=0$

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

$x=\sum _{n}\langle x,e_{n}\rangle e_{n}$

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

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

性質

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

定理

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

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

参考文献

• 藤田宏、伊藤清三、 黒田成俊 『関数解析 (岩波基礎数学選書)』岩波書店（1991）ISBN 978-4000078108

関連項目

• 基底 - 正規直交基底
• 関数解析 - ヒルベルト空間
• フーリエ級数