>>880 バナッハ空間によって完備化されたノルム空間において、内積を定義できる。
内積でノルムを定めると、内積に対するベクトルの値が定められるので、これは比。
有利化すると、稠密性が生じる。
ノルムが定義する距離に対して完備な空間がバナッハであるから、
バナッハ空間はつくられたときから無限を含んでいる。
もしそうでないと、完備化を満たさない。
それを切り抜けてつくれるものなのか?