Hilbert空間論

Th. 
可分な∞次元Hilbert空間はl2に同型

Def. 可分
X：Banach Sp.
Xが可分とは，Xにおいて稠密な可算集合が存在することをいう。