演習問題もやっていかないといけないな。 ☍5 線形汎関数 5.1 線形汎関数の定義 定義 5.1. 線形汎関数は線形空間から係数体への線形作用素。 連続、有界などの定義もそのまま輸入できる。 定理 5.1. をノルム空間で定義された線形汎関数とする。以下の三つは…

いよいよ有名定理が出て来て最初の山場に入ってきたことを感じる。 一様有界性、開写像、閉グラフ定理 4.1. 一様有界性定理 Baireのカテゴリー定理から入る Baireのカテゴリー定理 を完備な距離空間とする。の可算個の閉部分集合がを覆っているとき、少なく…

線形作用素のお話。基礎作り。 第２章 線形作用素 ☍3. 線形作用素 3.1. 線形作用素の定義 定義 3.1. を実数体または複素数体としたときに、を上の線形空間とする。の線形部分空間からへの作用素が以下の二つの条件を満たすときに、をからへの線形作用素とす…