完全性関係とは? わかりやすく解説

完全系

(完全性関係 から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/04/28 07:47 UTC 版)

線型代数学あるいは函数解析学およびそれらの応用分野において、(主に無限次元の)ベクトル空間の与えられた部分集合完全 (complete) である、または完全系(かんぜんけい、: complete system[1], complete set[2]:31[3]; 完全集合)であるとは、それが全体空間の位相的生成系となるときに言う。

これはつまり、空間内の任意のベクトルがその部分集合の元の無限和を許す線型結合として書けることを意味するが、無限和の収束を扱うために、考えるベクトル空間は適当な位相を備えた位相線型空間でなければならない。そのような無限次元のベクトル空間として、しばしば適当な空間上で定義されたまたは複素数値の函数からなる適当な種類の函数空間が扱われる。無限和を許すことは有限和の全体(線型包)の(この位相に関する)閉包をとることと同じであるから、生成する部分空間が全体空間において稠密であるときその部分集合は完全である[3]

通常は単なる部分集合に対してそれが完全かどうかを議論するものではなく、直交系など何らかの独立性を満たすベクトルからなる集合(あるいはベクトルの)に対して完全性を吟味する[注釈 1]。完全な線型独立系は「基底」(ヒルベルト基底)と呼ばれる。

定義

ヒルベルト空間 上のどんなベクトル も、同じ 上のベクトル達 の線形結合で表せる場合、 の完全系を成す、と言う。このとき、任意のベクトル は以下のように表される。

完全性関係

以下の関係を完全性関係英語版と呼ぶ。

がこの完全性関係を満たす場合、 は完全系を成す。また「逆に, が完全系ならば、 について完全性関係が成り立つ。」といった誤った記述が多くの物理の教科書に見られるが,完全性関係が成り立つためには,が完全系を成すだけでなく,正規直交性を満たす必要がある。

直交関数系の完全性

任意の関数が、ある直交関数系で展開できるとき、この直交関数系を完全系と呼ぶ。

  • は完全系である。よって、 の範囲における任意の関数をこの線形結合で表せる。
  • 球面調和関数ルジャンドル多項式も、以下の直交関係を満たす完全系である。

類似概念

  • 環論における冪等元の完全系 (complete system of idempotents), 特に中心冪等元あるいは直交冪等元の成す完全系により、(線型空間および線型写像の固有分解(スペクトル分解)に対応する)環あるいは環上の加群およびその元の冪等元分解(スペクトル分解)ができる。
  • 完全数列英語版: その適当な部分列の総和として任意の自然数を表すことができる自然数列
  • 完全代表系 (complete system of representatives)
  • 完全性関係はある種の1の分割 (resolution of the identity) である。

注釈

  1. ^ 「生成系の各元が独立であることを示す」か「独立系が完全であることを示す」のが基底(「線型独立」な「生成系」)であることを示す議論では典型的である。過剰生成系が与えられたなら独立部分集合を選び出せばよいし、不完全な独立系が与えられたなら適当なベクトルを追加して完全になるかどうかを問題にすることもできる。

出典

  1. ^ 文部省 著、日本物理学会 編『学術用語集 物理学編』培風館、1990年。ISBN 4-563-02195-4 
  2. ^ 清水明 (2004), 新版 量子論の基礎, サイエンス社 
  3. ^ a b Voitsekhovskii 2001.

参考文献

関連項目

外部リンク


完全性関係

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/05/09 08:51 UTC 版)

完全系」の記事における「完全性関係」の解説

以下の関係を完全性関係(英語版)と呼ぶ。 ∑ n | n ⟩ ⟨ n | = 1 ^ {\displaystyle \sum _{n}|n\rangle \langle n|={\hat {1}}} { | n ⟩ } {\displaystyle \{|n\rangle \}} がこの完全性関係を満たす場合、 { | n ⟩ } {\displaystyle \{|n\rangle \}} は完全形を成す。逆に、 { | n ⟩ } {\displaystyle \{|n\rangle \}} が完全系ならば、 { | n ⟩ } {\displaystyle \{|n\rangle \}} について完全性関係が成り立つ。

※この「完全性関係」の解説は、「完全系」の解説の一部です。
「完全性関係」を含む「完全系」の記事については、「完全系」の概要を参照ください。

ウィキペディア小見出し辞書の「完全性関係」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「完全性関係」の関連用語

完全性関係のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



完全性関係のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの完全系 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの完全系 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS