数学 › 関数解析と作用素論 › スペクトル定理と関数計算

射影値測度(スペクトル測度)

定義 3.1(「スペクトル定理と関数計算」§3)

(X,A)(X,\mathcal{A}) を可測空間とする。写像 E:A→B(H)E:\mathcal{A}\to B(\mathcal{H}) が次の 3 条件を満たすとき、EE を H\mathcal{H} 上の射影値測度(スペクトル測度)という。

  1. 各 B∈AB\in\mathcal{A} について E(B)E(B) は直交射影である: E(B)2=E(B)=E(B)∗E(B)^2=E(B)=E(B)^*。
  2. E(∅)=0E(\emptyset)=0、E(X)=1E(X)=1。
  3. (強可算加法性)互いに素な B1,B2,…∈AB_1,B_2,\ldots\in\mathcal{A} と任意の ψ∈H\psi\in\mathcal{H} について
E(⋃n=1∞Bn)ψ=∑n=1∞E(Bn)ψ(H のノルムで収束)E\Bigl(\bigcup_{n=1}^{\infty}B_n\Bigr)\psi=\sum_{n=1}^{\infty}E(B_n)\psi \quad(\mathcal{H}\text{ のノルムで収束})

X=RX=\mathbb{R} または Rn\mathbb{R}^n で A\mathcal{A} がボレル集合族のとき、EE の台 supp E\mathrm{supp}\,E を、E(U)≠0E(U)\neq0 となる開近傍 UU しか持たない点全体と定める。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理 証明で参照している 2 件

関連するノック 1 問