前回の続き. 定理「関数Kが半正定値⇒再生核Kをもつヒルベルト空間が一意的に存在する」の証明.
[つっこまれた内容]
なぜ一意的にヒルベルト空間Hがに存在するか? また, どのようなものが一意的に定まるのか?
> Hの内積はH_0(⊂H)で定義される内積を持つので, リースの表現定理からH_0とHの再性核Kは等しい. つまり, H_0の再生核が決まれば, Hの再生核が一意的に存在することがいえる.
(証明にこのことが記述されてなかったので, 事前にチェックする必要があった. 2ページ程の証明に根を上げててはこの先重いな.)
