1302
правки
Изменения
м
Нет описания правки
Обозначим <tex>X^*</tex> — совокупность линейных функционалов, определенных на множестве <tex>X</tex>.
<tex> \mathrm{Ker}\, f = \{x | \mid f(x) = 0 \} </tex> — '''ядро функционала'''.
}}
Заметим: <tex> 0 \cdot \alpha = 0 \forall \alpha \in \mathbb{R}</tex>. По линейности <tex>f(\alpha \cdot 0) = \alpha f(0)</tex>, следовательно, <tex>f(0) = 0</tex>.
