定義
実数体または複素数体上の完備なノルム空間(過去スレ006の561)を
Banach 空間と言う。