нормированное векторное пространство