完全系

完全系の概念

線型代数学や函数解析学において、「完全系」という用語は、特に無限次元のベクトル空間における重要な概念です。ある部分集合が完全であると言えるのは、それが全体空間の位相的生成系として働くときです。具体的には、この部分集合から形成される線型結合によって、空間内の任意のベクトルを表現できることを意味します。ただし、この場合、無限和の収束を取り扱うためには、位相を持つ線型空間である必要があります。

このような無限次元空間の一つとして、特定の空間上に定義された実数または複素数の函数から構成される関数空間がしばしば考慮されます。無限和を扱うことは、有限和の全体に対する位相的閉包をとることに等しいため、部分集合が空間内で稠密である場合には、その集合は完全と見なされます。

完全性の検討

通常、完全性について議論する際は、単なる部分集合に対して行われるのではなく、直交系など、特定の独立条件を満たすベクトルの集合が対象とされます。特に、完全な線型独立系は「基底」と呼ばれ、しばしばヒルベルト基底と関連付けて扱われます。

ヒルベルト空間における完全系

ヒルベルト空間（0 H）では、任意のベクトル |0 ψ⟩ は、同じ空間内のベクトル{ |1⟩, |2⟩, … }の線形結合として表現できます。この場合、{ |1⟩, |2⟩, … } はヒルベルト空間の完全系とみなされることになります。任意のベクトル |0 ψ⟩ は次のように書き表されます。

\[
n\rangle
\]

完全性関係

完全性関係とは次のように定義されます。
\[
\sum_{n}|n\rangle \langle n| = \hat{1}
\]

ここで、{ |n⟩ } がこの完全性関係を満たす場合、{ |n⟩ } は完全系を成すと言えます。ただし、{ |n⟩ } が完全系であることが、逆にこの完全性関係が成り立つためには、正規直交性も必要となることに注意が必要です。この点は、多くの物理教科書内で誤解が生じている部分です。

直交関数系の完全性

さらに、ある直交関数系で任意の関数が展開可能な場合、この直交関数系は完全系と称されます。例えば、{ 1, cos x, cos 2x, …, sin x, sin 2x, … } は完全系であり、これにより -π ≤ x ≤ π の範囲での任意の関数を線型結合として表すすことができます。また、球面調和関数やルジャンドル多項式も、直交関係を満たす完全系の例として挙げられます。

他の完全系の例

他に、エルミート多項式、ラゲール多項式、ゲーゲンバウアー多項式、ベッセル関数なども完全系として知られています。これらの系は、無限次元空間内での解析において重要な役割を果たすため、数学や物理学の幅広い領域で応用されています。

類似概念

完全系の概念は、環論における冪等元、完璧な数列、完全代表系とも関連しています。また、完全性関係は、特定の1の分割として捉えられ、計量的に複雑な問題の解決に寄与します。

このように、完全系の概念は、線型代数学や函数解析学に限らず、広範な数学の分野において多くの興味深い応用が存在します。

もう一度検索