Изменения

Пусть <tex> X^* </tex> обозначает теперь более узкий класс линейных ограниченных функционалов. То, что <tex>\|f\|</tex> — норма, проверяется так же, как свойства [[Линейные_ограниченные_операторы | нормы линейного оператора]], то есть получили, что <tex>X^*</tex> — НП, сопряженное с <tex>X</tex>.