1679
правок
Изменения
→30 Продолжение линейного оператора по непрерывности.
|statement=
Пусть <tex>Y</tex> {{---}} линейное пространство, <tex>Cl Y = X</tex>, <tex>A: Y \to Z</tex> {{---}} линейный ограниченный оператор, <tex>Z</tex> {{---}} банахово.
Тогда <tex>\exists ! B: X \to Z</tex>:
# <tex>B|_Y = A</tex>
# <tex>\|B\| = \|A\|</tex>
