Связанные определения/теоремы/следствия/утверждения: Линейное нормированное пространство Линейный оператор