Изменения

<tex>\Longleftarrow</tex>: существование Существование резольвентного оператора , определенного на <tex> R(\lambda\mathcal{I}-\mathcal{A}) </tex> следует из [[Теорема Банаха об обратном операторе#invlb|одной из теорем об обратных операторах]]. Покажем, что <tex> R(\lambda \mathcal{I} - \mathcal{A}) = \mathcal{H} </tex>. По одному из предыдущих утверждений, <tex>\mathcal{H} = \operatorname{Ker} (\lambda\mathcal{I}-\mathcal{A}) \oplus \operatorname{Cl} R(\lambda\mathcal{I}-\mathcal{A})</tex>. Поскольку <tex> \|(\lambda\mathcal{I}-\mathcal{A})x\| \ge m\|x\| </tex>, то <tex> \operatorname{Ker} (\lambda\mathcal{I}-\mathcal{A}) = \{ 0 \} </tex>. Так как оператор <tex> \lambda\mathcal{I}-\mathcal{A} </tex> допускает, по условию, априорную оценку решений, то <tex> R(\lambda\mathcal{I}-\mathcal{A}) = \operatorname{Cl} R(\lambda\mathcal{I}-\mathcal{A})</tex>, откуда следует, что резольвентный оператор непрерывен и определен на всем <tex> \mathcal{H} </tex>.

{{TODO|t=почему-то не используется самосопряженность}} Второй пункт — просто логическое отрицание первого. {{TODO|t=ну понятно же, мне лень писать}}