英: normalized orthogonal system

Wikipedia preview

出典(authority):フリー百科事典『ウィキペディア（Wikipedia）』「2018/03/14 03:10:35」(JST)

wiki ja

数学、特に線型代数学並びに関数解析学において正規直交系（せいきちょっこうけい、英: 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}

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

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

性質

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

定理

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

${e n}$ が完全正規直交系をなす。
${e n}$ の一次結合全体が $H$ で稠密である。
（フーリエ級数） 任意の $x \in H$ について、

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

が成り立つ。
（リース・フィッシャーの等式） 任意の $x \in H$ について、

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

が成り立つ。
（パーセバルの等式） 任意の $x, y \in H$ について、

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

が成り立つ。

正規直交系の例

完全系の例

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

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

e_{n}=(0,0,\cdots ,0,1,0,\cdots )\quad (n=1,2,\cdots )

で与えられる ${e n}$ は $l 2$ 空間の完全正規直交系である。

三角関数系

定数関数 $1/ \sqrt 2π$ と三角関数の列

{\frac {1}{\sqrt {2\pi }}},\,{\frac {\cos {\pi t}}{\sqrt {\pi }}},\,{\frac {\sin {\pi t}}{\sqrt {\pi }}},\,{\frac {\cos {2\pi t}}{\sqrt {\pi }}},\,{\frac {\sin {2\pi t}}{\sqrt {\pi }}},\cdots

からなる ${1/ \sqrt 2π, cos(n π t)/ \sqrt π, sin(n π t)/ \sqrt π} n =1,2,\dots$ は、 $L 2 ([-π, π])$ で完全正規直交系である。

完全系でない例

正弦関数系

正弦関数の列

{\frac {\sin {\pi t}}{\sqrt {\pi }}},\,{\frac {\sin {2\pi t}}{\sqrt {\pi }}},\,{\frac {\sin {3\pi t}}{\sqrt {\pi }}},\cdots

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

ラーデマッハ関数系

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

r_{n}(t)=\operatorname {sgn} (\sin {2^{n}\pi t})\quad (n=0,1,2,\cdots )

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

正規直交化法による構成

詳細は「グラム・シュミットの正規直交化法」を参照

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

直交多項式の例

詳細は「直交多項式」を参照
ルジャンドル多項式

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

1,\,t,\,t^{2},\cdots

を $L 2 ([-1, 1])$ で正規直交化することで、

p_{n}(t)={\frac {1}{2^{n}n!}}{\biggl (}n+{\frac {1}{2}}{\biggr )}^{1/2}{\frac {d^{n}}{dt^{n}}}(t^{2}-1)^{n}\quad (n=0,1,2,\cdots )

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

p_{n}(t)={\biggl (}n+{\frac {1}{2}}{\biggr )}^{1/2}P_{n}(t).

エルミート多項式

$R$ 上で一次独立な

e^{-{\frac {t^{2}}{2}}},\,te^{-{\frac {t^{2}}{2}}},\,t^{2}e^{-{\frac {t^{2}}{2}}},\cdots

を $L 2 (R)$ で正規直交化することで、

h_{n}(t)={\frac {1}{\sqrt {n!{\sqrt {2\pi }}}}}(-1)^{n}{\frac {d^{n}}{dt^{n}}}e^{-{\frac {t^{2}}{2}}}\quad (n=0,1,2,\cdots )

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

h_{n}(t)={\frac {1}{\sqrt {n!{\sqrt {2\pi }}}}}e^{-{\frac {t^{2}}{2}}}H_{n}(t).

ラゲール多項式

$[0, \infty)$ で一次独立な

e^{-{\frac {t}{2}}},\,te^{-{\frac {t}{2}}},\,t^{2}e^{-{\frac {t}{2}}},\cdots

を $L 2 ([0, \infty))$ で正規直交化することで、正規直交系

l_{n}(t)={\frac {1}{n!}}e^{\frac {t}{2}}{\frac {d^{n}}{dt^{n}}}(e^{-t}t^{n})\quad (n=0,1,2,\cdots )

を得る。 ${l n (t)}$ はラゲール多項式 $L n (t)$ に $e - t/2$ を乗じた関数系である;

l_{n}(t)=e^{-{\frac {t}{2}}}L_{n}(t).

脚注

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

参考文献

藤田宏; 伊藤清三; 黒田成俊『関数解析（岩波基礎数学選書）』岩波書店、1991年。ISBN 978-4000078108。
吉田耕作; 河田敬義; 岩村聯『位相解析の基礎』岩波書店、1960年。ISBN 4000050257。

UpToDate Contents

全文を閲覧するには購読必要です。 To read the full text you will need to subscribe.

1. 二次性中枢神経系リンパ腫の臨床症状および診断 clinical presentation and diagnosis of secondary central nervous system lymphoma
2. 中枢神経系病変を有するHIV感染患者に対するアプローチ approach to hiv infected patients with central nervous system lesions
3. 中枢神経系シャントおよび他のデバイスの感染 infections of central nervous system shunts and other devices
4. 成人における中枢神経系の原発性血管炎 primary angiitis of the central nervous system in adults
5. 心不全におけるアンギオテンシン変換酵素阻害剤およびアンギオテンシン受容体拮抗剤：作用機序 angiotensin converting enzyme inhibitors and receptor blockers in heart failure mechanisms of action

Japanese Journal

眼科のための光学入門(1) : 波面収差とゼルニケ多項式

宮前博
視覚の科学 = Japanese journal of visual science 33(1), 8-13, 2012-04-15
NAID 10030627469

対称行列を変数とする関数の最適化の一手法

武内良樹,田邊健人
自動制御連合講演会講演論文集 54(0), 294-294, 2011
… 確率的な種々の問題においては，共分散行列などをはじめとして，非負定値対称行列を扱う場面が頻出する．対称行列は固有ベクトルがすべて１次独立で正規直交系をなすという特徴をもつ．本研究では，決定変数が対称行列で表現できる最適化問題に対して，対称行列の直交対角変換と直交行列の多次元極座標表現を導入し，直交行列と対角行列への決定変数の変換，および，制約条件付き問題の制約条件なし問題へ …
NAID 130005026125