Все рассматриваемые далее пространства считаем Банаховыми.
== Естественное вложение ={{Определение|definition= <tex> E^* </tex> {{---}} множество линейных непрерывных функционалов над <tex> E </tex>. <tex> E^* </tex> , его называют пространством, сопряженным к <tex> E </tex>.<br>
Аналогично, <tex> E^{**} </tex> {{---}} пространство, сопряженное к <tex> E^* </tex>.
}}
Между == Естественное вложение ==Покажем, что между <tex> E </tex> и <tex> E^{**} </tex> существует так называемый '''естественный изоморфизм''', сохраняющий норму точки. {{TODO|t=?}}
Введем <tex> F_x </tex> следующим образом: <tex> F_x (f) = f(x), f \in E^{*} </tex>.
