対称作用素
において稠密に定義された線形作用素 が、すべての について を満たすとき、 を対称作用素という。これは と同値である。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理 証明で参照している 1 件
- Dirac 型作用素の熱作用素✓定理 7.1・熱核の漸近展開
において稠密に定義された線形作用素 が、すべての について を満たすとき、 を対称作用素という。これは と同値である。
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。