数学、特に線型代数学並びに関数解析学において正規直交系（せいきちょっこうけい、）とは、互いに直交して（内積が 0 であり）、かつその大きさが規格化されて 1 であるベクトルの集まりである。ONSとも表される。特に、正規直交系が完全系（任意のベクトルが正規直交系によって展開可能）である場合には、完全正規直交系（）または正規直交基底と呼ばれ、CONSと表される。ヒルベルト空間論の基礎的な概念であるとともに、正規直交系に基づく展開原理は物理学、工学への応用において重要となる。内積 を有するベクトル空間（内積空間）において、ベクトルの集合 が互いに直交し、内積についてが成り立つときに、 は直交系（）であるという。また、直交系 が内積で定まるノルムについて規格化されている（）、すなわち、であるときに、 は正規直交系であるという。但し、 はクロネッカーのデルタである。有限個または可算個の一次独立なベクトル が存在する場合、グラム・シュミットの正規直交化法により、 から正規直交系を具体的に構成することができる。内積で定まるノルムについて完備であるヒルベルト空間を論ずる際において、正規直交系は重要な役割を果たす。ヒルベルト空間において、正規直交系 が完全系である、すなわちを満たすとき、 は完全正規直交系、または正規直交基底であるという。完全正規直交系においては、任意のベクトル"x" に対し、という展開が可能となる。但し、無限列についてはノルムに関する収束を表すものとする。任意のヒルベルト空間において、完全正規直交系は存在するが、特に可分なヒルベルト空間であれば、高々可算個からなる完全正規直交系が存在する。完全正規直交系の性質を特徴付ける定理として、次の同値性が成り立つ。ヒルベルト空間 の正規直交系 に対し、以下は同値となる。 番目の成分だけ 1 でそれ以外を 0 とする数列で与えられる は 空間の完全正規直交系である。定数関数 と三角関数の列からなる は、 で完全正規直交系である。正弦関数の列からなる は、 で正規直交系をなすが、完全系ではない。実際、偶関数は では展開できない。区間 上では、で定義される。 は で正規直交系であるが、完全系ではない。グラム・シュミットの正規直交化法を応用することで、一次独立なベクトルの集合から正規直交系を構成することができる。区間 上の一次独立な関数列を で正規直交化することで、からなる正規直交系 を得る。これはルジャンドル多項式 に定数 を乗じた直交多項式である; 上で一次独立なを で正規直交化することで、からなる正規直交系 を得る。これはエルミート多項式 に を乗じた関数系である; で一次独立なを で正規直交化することで、正規直交系を得る。 はラゲール多項式 に を乗じた関数系である;

出典:wikipedia