Банахово пространство -- это нормированное векторное пространство, полное по метрике, порождённой нормой.
