Изменения
→Теорема об обратимости линейного отображения, близкого к обратимому
Лемма: пусть <tex>\exists{c > 0} : \forall{x} |Bx| \ge c|x|</tex>
Тогда <tex>B</tex> — обратимообратим, <tex>||B^{-1}|| \le \frac{1}{c}</tex>
Это правда, потому что <tex>\operatorname{Ker}{B} = \{0\}</tex>, значит, <tex>B</tex> — биекция(пусть <tex>B(x_1)=B(x_2): B(x_1)-B(x_2)=0 \Leftrightarrow B(x_1 - x_2) = 0 \Rightarrow x_1 = x_2</tex>)
