汎函数計算とは? わかりやすく解説

汎函数計算

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/02/16 13:53 UTC 版)

数学における汎函数計算(はんかんすうけいさん、: functional calculus)は、作用素函数を適用する(函数の引数に作用素をとる)方法を与える理論である。現在のところ、函数解析学(あるいはその周辺の)の分野での理論と見做されており、スペクトル論との関連が深い[* 1]

導入

f が函数(実数を変数に持つという意味で数値的な函数)で、M が作用素であるとき、形式的に組み立てられた数式 "f(M)" が意味を持ち何を表すべきものであるか、ということについてはそもそも必然的な理由というものが存在しない。また、仮にそういった理由があったとしても、ここで用いた函数 f は、既にもともとの数値的な f とは定義域が違ってしまう(ある種の記号の濫用)。これは例えば演算子法において、作用素(演算子)に関する代数的な数式が作用素それ自体の持つ意味とは無関係に単に記号的に扱われることと似た状況である。しかし例えば、数値的な函数 f(x) = x2n×n 行列 M を考えた場合に、特に抵抗なく代入が行われて「行列の平方をとる」というような言い回しをしたりすることが通用しているのも事実である。こういった意味で、汎函数計算の概念というのは、ある種の概念の上書き(オーバーロード)についての「原理的な」手法を作り出すことになっていると受け取らねばならない。

いま言った例を推し広げて、最も直ちに考え付くのは正方行列多項式函数を適用するという事例である。話が有限次元の場合であるならば、この多項式汎函数計算から得られる作用素の情報というのは極めてたくさんある。例えば、ある作用素 T を零化するような多項式族を考えると、この族は多項式環のイデアルであり、さらに言えば非自明なイデアルである(零化イデアル)。つまり、行列環の有限な次元 n について {I, T, T2, …, Tn} は線型従属だから、
i
αiTi = 0
を満たす少なくとも一つが 0 でないスカラー αi が存在するが、これはつまり多項式
i
αixi
が件のイデアルに属することを意味する。さて多項式環は主イデアル整域であるから、件のイデアルはある多項式 m によって生成され、それはまさに作用素(今の場合は行列) T最小多項式に他ならない。だから例えば、スカラー α が行列 T の固有値となるための必要十分条件が、α が最小多項式 m の根となることなどがわかる。また、行列 T の指数函数を計算するのにも最小多項式 m を利用することができる。

一方、無限次元の場合の多項式汎函数計算はあまり有益なものとならない。例えばずらし作用素 (unilateral shift) の多項式汎函数計算を考えれば、この作用素の零化イデアルは自明なものとなり、従って考察の対象は多項式よりも一般の写像を用いた汎函数計算へと移っていくことになる。そういった一般の汎函数計算を主題とする研究は、対角行列乗算作用素に対してその汎函数計算の意味がどのようなものであるべきかがはっきりするという理由からスペクトル論と近しい関係にあるものと考えられる。

汎函数計算の技術的な取扱いについては、以下の各項へ:

注釈

  1. ^ 歴史的なことを言えば、変分法の同義語として汎函数計算の語が用いられていたのだが、この用法は廃れている。これについては汎函数微分の項へ譲る。また函数方程式の一種または論理学における述語計算の系などに関連して、functional caclulus(函数微積分学または函数計算)の語が用いられることもある

参考文献


汎函数計算

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2015/02/09 04:23 UTC 版)

ヒルベルト空間上のコンパクト作用素」の記事における「汎函数計算」の解説

T がある無限次元ヒルベルト空間 H 上のコンパクト作用素であるなら、T は可逆ではなく、したがって T のスペクトル σ(T) には常に 0 が含まれる。するとスペクトル定理により、σ(T) は T の固有値 {λn} と(0 が固有値含まれていない場合には)0 から構成されることが分かるそのような集合 σ(T) は、実直線に含まれるコンパクト部分空間であり、固有値σ(T) において稠密である。 どのようなスペクトル定理も、汎函数計算の観点から再構成することが出来る。ここでは次の定理触れる: 定理 C(σ(T)) を、σ(T) 上の連続関数C*-環とする。このとき、Φ(1) = I および Φ(f) = T を恒等関数 f(f(λ)= λ)に対して満たすような等長準同型写像 Φ: C(σ(T)) → L(H) が唯一存在する。さらに、σ(f(T)) = f(σ(T)) が成立する。 汎函数計算写像 Φ は自然な方法定義される:{en} を H の固有ベクトル正規直交基底とし、対応する固有値は {λn} とする。f ∈ C(σ(T)) に対して、汎函数計算写像 Φ(f) は に等しい。Φ の他の性質については簡単に確かめられる逆に、この定理条件を満たすような任意の準同型写像 Ψ は、f が多項式である場合には Φ と一致するワイエルシュトラスの近似定理より、多項式函数は C(σ(T)) において稠密であり、Ψ = Φ が成立する。このことから Φ は一意的であることが分かる。 より一般的な連続汎函数計算(英語版)は、ヒルベルト空間上の任意の自己共役複素数場合には、正規)な有界線型作用素に対して定義される。ここで述べたコンパクトな場合は、汎函数計算の特に簡単なであった

※この「汎函数計算」の解説は、「ヒルベルト空間上のコンパクト作用素」の解説の一部です。
「汎函数計算」を含む「ヒルベルト空間上のコンパクト作用素」の記事については、「ヒルベルト空間上のコンパクト作用素」の概要を参照ください。

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


英和和英テキスト翻訳>> 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