数学 › 関数解析と作用素論 › 非有界作用素

定義域を持つ線形作用素

定義 3.1(「非有界作用素」§3)

H\mathcal{H} の部分空間 D(T)D(T) と線形写像 T ⁣:D(T)→HT\colon D(T)\to\mathcal{H} の組を、H\mathcal{H} における線形作用素といい、単に TT と書く。D(T)D(T) を定義域、Ran(T)={Tx:x∈D(T)}\mathrm{Ran}(T)=\{Tx: x\in D(T)\} を値域、Ker(T)={x∈D(T):Tx=0}\mathrm{Ker}(T)=\{x\in D(T): Tx=0\} を核という。D(T)D(T) が H\mathcal{H} で稠密なとき、TT は稠密に定義されているという。

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

閉包の状態

定義

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

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

これを使っている定理

証明で明示的に参照している定理は、まだありません。