Обозначим через (5) полученное таким образом линейное нормированное пространство.