403
правки
Изменения
м
→Теорема 1
Рассмотрим значение <tex>\widetilde{\varphi_0}(y)</tex>:
* С одной стороны, <tex>\widetilde{\varphi_0}(y) = \varphi_0(y) = \varphivarphi_0(0 + 1 y) = 1</tex>
* С другой стороны, <tex>y \in (\operatorname{Ker}A^*)^\perp</tex>, а значит, на любом функционале из ядра <tex>A^*</tex>, в том числе, и на <tex>\widetilde{\varphi_0}</tex>, должно выполняться <tex>\widetilde{\varphi_0}(y) = 0</tex>
