689
правок
Изменения
м
→Теорема Гильберта-Шмидта
Но все собственные числа <tex>\mathcal{A}</tex> задействованы в <tex>M_\lambda</tex> <tex>r_\sigma(\mathcal{A}_0) = 0</tex> <tex>\Rightarrow</tex> <tex>\|\mathcal{A}_0\| = 0</tex> <tex>\Rightarrow</tex> оператор тривиальный <tex>M^\bot = \operatorname{Ker} \mathcal{A}_0</tex>
Если бы у <tex>\mathcal{A}</tex> было нетривиальное ядро, то оно стало бы собственным подпространосвомподпространством, значит, было бы задействовано в <tex>\bigoplus</tex>. Значит, <tex>\operatorname{Ker} \mathcal{A}_0 = \{0\}</tex>.
}}
Если <tex>\mathcal{A}</tex>{{---}} самосопряжённый компактный оператор, то ОНС базис <tex>\mathcal{H}</tex> можно построить из собственных векторов, соответствующим собственным числам <tex>\varphi_1, \varphi_2ldots \varphi_n, \ldots</tex>. Любой <tex>x \in \mathcal{H}</tex> можно разложить в ряд Фурье по свойствам гильбертова пространства. Значит,
Любой <tex>x \in \mathcal{H}</tex> можно разложить в ряд Фурье по свойствам гильбертова пространства. Значит, <tex>\mathcal{A}x = \sum\limits_{n=1}^\infty \langle x, \varphi_n\rangle \mathcal{A}\varphi_n = \sum\limits_{n=1}^\infty \lambda_n \langle x, \varphi_n\rangle \varphi_n</tex>.
Получаем структуру сопряжённого компактного оператора: <tex>\lambda \in \rho(\mathcal{A})</tex> (<tex>\lambda\mathcal{I}-\mathcal{A}</tex> непрерывно обратим) <tex>\Rightarrow</tex> <tex>y = \sum\limits_{n=1}^\infty \langle y, \varphi_n\rangle \varphi_n</tex>, <tex>y = \lambda x - \mathcal{A}x</tex>
<tex>\sum\limits_{n=1}^\infty \langle y, \varphi_n\rangle \varphi_n = \sum \lambda\langle x, \varphi_n\rangle\varphi_n - \sum\lambda_n\langle x, \varphi_n\rangle\varphi_n = \sum(\lambda-\lambda_n)\langle x, \varphi_n\rangle \varphi_n</tex>.
Можно приравнять коэффициенты: <tex>\langle y, \varphi_n\rangle = (\lambda-\lambda_n)\langle x, \varphi_n\rangle</tex>.
<tex>\langle x, \varphi_n\rangle = \frac{\langle y, \varphi_n\rangle}{\lambda-\lambda_n}</tex> (нуля быть не может, потому что <tex>y \in \rho(\mathcal{A})</tex>).
<tex>R_\lambda(y) = \sum\limits_{n=1}^\infty \frac{\langle y, \varphi_n\rangle}{\lambda-\lambda_n}\varphi_n</tex>.
[[Категория: Функциональный анализ 3 курс]]
