数学 › 関数解析と作用素論 › スペクトル定理と関数計算
射影値測度(スペクトル測度)
定義 3.1(「スペクトル定理と関数計算」§3)
(X,A) を可測空間とする。写像 E:A→B(H) が次の 3 条件を満たすとき、E を H 上の射影値測度(スペクトル測度)という。
- 各 B∈A について E(B) は直交射影である: E(B)2=E(B)=E(B)∗。
- E(∅)=0、E(X)=1。
- (強可算加法性)互いに素な B1,B2,…∈A と任意の ψ∈H について
E(n=1⋃∞Bn)ψ=n=1∑∞E(Bn)ψ(H のノルムで収束)X=R または Rn で A がボレル集合族のとき、E の台 suppE を、E(U)=0 となる開近傍 U しか持たない点全体と定める。
本文で読む(前後の説明と例)→
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理 証明で参照している 2 件
関連するノック 1 問