正規直交系

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

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

定義[編集]

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

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

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

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

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

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

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

性質[編集]

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

定理

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

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

正規直交系の例[編集]

完全系の例[編集]

自乗総和可能数列空間の基底

n 番目の成分だけ 1 でそれ以外を 0 とする数列

で与えられる {en}l2 空間の完全正規直交系である。

三角関数系

定数関数 1/ と三角関数の列

からなる {1/, cos(nπt)/π, sin(nπt)/π }n=1,2,… は、L2([−π, π]) で完全正規直交系である。

完全系でない例[編集]

正弦関数系

正弦関数の列

からなる { sin(nπt)/π }n=1,2,… は、L2([−π,π]) で正規直交系をなすが、完全系ではない。実際、偶関数は { sin(nπt)/π }n=1,2,… では展開できない。

ラーデマッハ関数系

区間 [0, 1] 上でラーデマッハ関数英語版は、

で定義される。{rn(t)}L2([0, 1]) で正規直交系であるが、完全系ではない。

正規直交化法による構成[編集]

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

直交多項式の例[編集]

ルジャンドル多項式

区間 [−1, 1] 上の一次独立な関数列

L2([−1, 1]) で正規直交化することで、

からなる正規直交系 {pn(t)} を得る。これはルジャンドル多項式 Pn(t) に定数 (n + 1/2)1/2 を乗じた直交多項式である;

エルミート多項式

R 上で一次独立な

L2(R) で正規直交化することで、

からなる正規直交系 {hn(t)} を得る。これはエルミート多項式 Hn(t)(2π)−1/4(n!)−1/2et2/2 を乗じた関数系である;

ラゲール多項式

[0, ∞) で一次独立な

L2([0, ∞)) で正規直交化することで、正規直交系

を得る。{ln(t)}ラゲール多項式 Ln(t)et/2 を乗じた関数系である;

脚注[編集]

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

参考文献[編集]

関連項目[編集]