完全系

線型代数学あるいは函数解析学およびそれらの応用分野において、（主に無限次元の）ベクトル空間の与えられた部分集合が完全 (complete) である、または完全系（かんぜんけい、, complete set; 完全集合）であるとは、それが全体空間の位相的生成系となるときに言う。
これはつまり、空間内の任意のベクトルがその部分集合の元の無限和を許す線型結合として書けることを意味するが、無限和の収束を扱うために、考えるベクトル空間は適当な位相を備えた位相線型空間でなければならない。そのような無限次元のベクトル空間として、しばしば適当な空間上で定義された実または複素数値の函数からなる適当な種類の函数空間が扱われる。無限和を許すことは有限和の全体（線型包）の（この位相に関する）閉包をとることと同じであるから、生成する部分空間が全体空間において稠密であるときその部分集合は完全である。
通常は単なる部分集合に対してそれが完全かどうかを議論するものではなく、直交系など何らかの独立性を満たすベクトルからなる集合（あるいはベクトルの列）に対して完全性を吟味する。完全な線型独立系は「基底」（ヒルベルト基底）と呼ばれる。
定義.
ヒルベルト空間 formula_1 上のどんなベクトル formula_2 も、同じ formula_1 上のベクトル達 formula_4 の線形結合で表せる場合、formula_5 は formula_1 の完全系を成す、と言う。このとき、任意のベクトル formula_2 は以下のように表される。
完全性関係.
以下の関係をと呼ぶ。
formula_10 がこの完全性関係を満たす場合、formula_10 は完全系を成す。また「逆に，formula_10 が完全系ならば、formula_10 について完全性関係が成り立つ。」といった誤った記述が多くの物理の教科書に見られるが，完全性関係が成り立つためには，formula_10が完全系を成すだけでなく，正規直交性を満たす必要がある。
直交関数系の完全性.
任意の関数が、ある直交関数系で展開できるとき、この直交関数系を完全系と呼ぶ。