装备 Hilbert 空间与归纳极限

我们将 Hilbert 空间 $H$ 的有限维子空间的归纳极限构造为一个核空间 $\Phi$，使得 $(\Phi,H,\Phi')$ 成为一个装备 Hilbert 空间，从而简化了 Bellomonte 和 Trapani 的构造。