линейный оператор

[Oleg Zubelevich]

Пусть $X$ нормированное пространство. Доказать, что существует оператор $A:X\to X'$ такой что
1) $\ker A=\{0\}$
2) $\|A\|\le 1$

[Oleg Zubelevich]

задача снимается