Изменения

Если <tex>L(X)</tex> (пространство линейных ограниченных операторов <tex>A: X \rightarrow to X</tex>) банахово, то в нем можно рассматривать операторно степенные ряды <tex>\sum\limits_{n=0}^{\infty} A_n\lambda^n</tex>, их свойства копируют свойства обычных степенных рядов. Воспользуемся аналитичностью резольвенты: если <tex>\sigma(A) = \emptyset</tex>, то <tex> \rho(A) = \mathbb{C}</tex>, то есть в пределах любого круга и в бесконечно удаленой точке резольвента ограничена, тогда по [http://en.wikipedia.org/wiki/Liouville%27s_theorem_(complex_analysis) теореме Лиувилля] (если на всей комплексной плоскости функция <tex>f(z)</tex> равномерно ограничена, она тождественно равна постоянной) ({{TODO|t=требуется ограниченность всех точек в совокупности, непонятно почему это выполняется. Еще она формулируется для фунции в C, а не в операторы, что меня смущает. Вот [http://www.mathforum.ru/forum/read/1/572/ тут], возможно, есть объяснение}}), <tex>R_\lambda</tex> — константная функция, но тогда бы все <tex>A - \lambda I</tex> были бы одинаковы, чего, очевидно, быть не может, то есть получили противоречие и спектр непуст.