1679
правок
Изменения
→Теоремы о спектре самосопряженного оператора
2. <tex>\exists m > 0 : \forall x \in \mathcal{H} : \|(\lambda\mathcal{I}-\mathcal{A})x\| > m\|x\|</tex> {{---}} в силу прошлой теоремы.
Второй пункт:
Покажем в прямую сторону, для этого возьмем отрицание обратной стороны доказательства первого пункта: <tex>\forall m > 0 \exists x \in \mathcal{H} : \|(\lambda\mathcal{I}-\mathcal{A})x\| < \varepsilon</tex>
Второй пункт {{---}} проверить самим. Это просто логическое отрицание первого. {{TODO|t=запилите кто-нибудь}}
