正規直交系

線型代数学並びに関数解析学における正規直交系（せいきちょっこうけい、、ONS）は互いに直交しかつそのノルムが1に規格化されたベクトルの集まりである。

特に、正規直交系が完全系（任意のベクトルが正規直交系によって展開可能）である場合には、完全正規直交系（）または正規直交基底と呼ばれ、CONSと表される。ヒルベルト空間論の基礎的な概念であるとともに、正規直交系に基づく展開原理は物理学、工学への応用において重要となる。

定義

直交系 
内積  を有するベクトル空間 （内積空間）において、ベクトル  の集合  が互いに直交する、すなわち内積について

が成り立つとき、 は直交系（）であるという。

正規直交系 
直交系  が内積で定まるノルムについて規格化されている（）、すなわち、

であるとき、 は正規直交系であるという。但し、 はクロネッカーのデルタである。

有限個または可算個の一次独立なベクトル  が存在する場合、グラム・シュミットの正規直交化法により、 から正規直交系を具体的に構成することができる。

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

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

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

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

性質

完全正規直交系 
完全正規直交系の性質を特徴付ける定理として、次の同値性が成り立つ。
定理
ヒルベルト空間  の正規直交系  に対し、以下は同値となる。
  が完全正規直交系をなす。
  の一次結合全体が  で稠密である。
 （フーリエ級数） 任意の  について、  が成り立つ。
 （リース・フィッシャーの等式） 任意の  について、  が成り立つ。
（パーセバルの等式） 任意の  について、  が成り立つ。

正規直交系の例

完全系の例 
自乗総和可能数列空間の基底
 番目の成分だけ 1 でそれ以外を 0 とする数列

で与えられる  は  空間の完全正規直交系である。

三角関数系
定数関数  と三角関数の列

からなる  は、 で完全正規直交系である。

完全系でない例 
正弦関数系
正弦関数の列

からなる  は、 で正規直交系をなすが、完全系ではない。実際、偶関数は  では展開できない。

ラーデマッハ関数系
区間  上では、

で定義される。 は  で正規直交系であるが、完全系ではない。

正規直交化法による構成 

グラム・シュミットの正規直交化法を応用することで、一次独立なベクトルの集合から正規直交系を構成することができる。

直交多項式の例 

ルジャンドル多項式
区間  上の関数列

を  で正規直交化することで、

からなる正規直交系  を得る。これはルジャンドル多項式  に規格化定数  を乗じた直交多項式である:

エルミート多項式
 上で一次独立な

を  で正規直交化することで、

からなる正規直交系  を得る。これはエルミート多項式  に  を乗じた関数系である;

ラゲール多項式
 で一次独立な

を  で正規直交化することで、正規直交系

を得る。 はラゲール多項式  に  を乗じた関数系である;

脚注

注釈

参考文献

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

線型代数学
関数解析学
数学に関する記事