ホモロジー代数における完全系列あるいは完全列 (exact sequence)」とは異なります。
線型代数学あるいは函数解析学およびそれらの応用分野において、(主に無限次元の)ベクトル空間の与えられた部分集合が完全 (complete) である、または完全系(かんぜんけい、英: complete system[1], complete set[2]:31[3]; 完全集合)であるとは、それが全体空間の位相的生成系となるときに言う。
これはつまり、空間内の任意のベクトルがその部分集合の元の無限和を許す線型結合として書けることを意味するが、無限和の収束を扱うために、考えるベクトル空間は適当な位相を備えた位相線型空間でなければならない。そのような無限次元のベクトル空間として、しばしば適当な空間上で定義された実または複素数値の函数からなる適当な種類の函数空間が扱われる。無限和を許すことは有限和の全体(線型包)の(この位相に関する)閉包をとることと同じであるから、生成する部分空間が全体空間において稠密であるときその部分集合は完全である[3]。
通常は単なる部分集合に対してそれが完全かどうかを議論するものではなく、直交系など何らかの独立性を満たすベクトルからなる集合(あるいはベクトルの列)に対して完全性を吟味する[注釈 1]。完全な線型独立系は「基底」(ヒルベルト基底
)と呼ばれる。ヒルベルト空間 H {\displaystyle {\mathcal {H}}} 上のどんなベクトル 。 ψ ⟩ {\displaystyle |\psi \rangle } も、同じ H {\displaystyle {\mathcal {H}}} 上のベクトル達 { 。 1 ⟩ , 。 2 ⟩ , … } {\displaystyle \{|1\rangle ,|2\rangle ,\dots \}} の線形結合で表せる場合、 { 。 1 ⟩ , 。 2 ⟩ , ⋯ } {\displaystyle \{|1\rangle ,|2\rangle ,\cdots \}} は H {\displaystyle {\mathcal {H}}} の完全系を成す、と言う。このとき、任意のベクトル 。 ψ ⟩ {\displaystyle |\psi \rangle } は以下のように表される。 。 ψ ⟩ = c 1 。 1 ⟩ + c 2 。 2 ⟩ + ⋯ = ∑ n c n 。 n ⟩ {\displaystyle |\psi \rangle =c_{1}|1\rangle +c_{2}|2\rangle +\cdots =\sum _{n}c_{n}|n\rangle } 以下の関係を完全性関係(英語版
完全性関係
{ 。 n ⟩ } {\displaystyle \{|n\rangle \}} がこの完全性関係を満たす場合、 { 。 n ⟩ } {\displaystyle \{|n\rangle \}} は完全系を成す。また「逆に, { 。 n ⟩ } {\displaystyle \{|n\rangle \}} が完全系ならば、 { 。 n ⟩ } {\displaystyle \{|n\rangle \}} について完全性関係が成り立つ。」といった誤った記述が多くの物理の教科書に見られるが,完全性関係が成り立つためには, { 。 n ⟩ } {\displaystyle \{|n\rangle \}} が完全系を成すだけでなく,正規直交性を満たす必要がある。
直交関数系の完全性詳細は「直交基底」を参照
任意の関数が、ある直交関数系で展開できるとき、この直交関数系を完全系と呼ぶ。
{ 1 , cos x , cos 2 x , … , sin x , sin 2 x , … } {\displaystyle \{1,\cos x,\cos 2x,\dots ,\sin x,\sin 2x,\dots \}\ } は完全系である。よって、 − π ≤ x ≤ π {\displaystyle -\pi \leq x\leq \pi } の範囲における任意の関数をこの線形結合で表せる。
球面調和関数やルジャンドル多項式も、以下の直交関係を満たす完全系である。 ∫ θ = 0 π ∫ φ = 0 2 π Y ℓ m ( θ , φ ) Y ℓ ′ m ′ ∗ ( θ , φ ) sin θ d θ d φ = δ ℓ ℓ ′ δ m m ′ {\displaystyle \int _{\theta =0}^{\pi }\int _{\varphi =0}^{2\pi }Y_{\ell }^{m}(\theta ,\varphi )\,Y_{\ell '}^{m'*}(\theta ,\varphi )\,\sin \theta \,d\theta \,d\varphi =\delta _{\ell \ell '}\,\delta _{mm'}} ∫ − 1 1 P m ( x ) P n ( x ) d x = 2 2 n + 1 δ m n {\displaystyle \int _{-1}^{1}P_{m}(x)P_{n}(x)\,dx={2 \over {2n+1}}\delta _{mn}}
他の完全系の例としては、エルミート多項式、ラゲール多項式、ゲーゲンバウアー多項式、ベッセル関数などがある。