定義
K を非アルキメデス的完備体(>>26)とする。
K 上の完備なノルム空間(>>28)を K-Banach空間または単にBanach空間と呼ぶ。