Бана'хово пространство (по имени С. Банаха ), полное нормированное линейное пространство .