689
правок
Изменения
Нет описания правки
случай нормированных пространств
|statement=
Пусть <tex>X</tex> {{---}} линейное нормированное пространство, <tex>Y</tex> {{---}} линейное подмножество подпространство <tex>X</tex>, <tex>f: Y \rightarrow \mathbb R</tex> {{---}} линейный ограниченный функционал.
Тогда существует линейный ограниченный функционал <tex>g: X \rightarrow \mathbb R</tex> такой, что <tex>g|_Y = f</tex>, <tex>\|g\| = \|f\|</tex>.
|proof=
