Теорема о компактности сопряжённого оператора

Пусть [math]A[/math] является компактным оператором. Тогда сопряженный к нему оператор [math]A^*[/math] также является компактным.

Доказательство теоремы

Итак, рассмотрим оператор [math]A^*: F^* \to E^*[/math]. По определению сопряженного оператора, если [math]\phi \in F^*[/math], то [math]A^*\phi = \phi A[/math].

Для доказательства необходимо показать, что множество [math]\{A^*\phi \mid \|\phi\| \le 1\}[/math] будет относительно компактно в [math]E^*[/math]. Для этого надо показать, что если взята последовательность [math]\{\phi_n\}[/math] такая, что [math]\|\phi_n\| \le 1\[/math], то можно выбрать [math]\{\phi_{n_k}\}[/math] такую, что [math]A^*\phi_{n_k}[/math] сходится в [math]E^*[/math].

Рассмотрим в [math]E[/math] единичный замкнутый шар [math]\overline{V}[/math]. По компактности оператора [math]K = Cl(A(\overline{V})) \subset F[/math] будет метрическим компактом. Рассмотрим сужение функционалов [math]\phi_n[/math] на [math]K[/math]. (?еще что-то)

Докажем равностепенную непрерывность этой последовательности: рассмотрим [math]y, z \in K[/math]. Норма

[math]\|\phi_n(z) - \phi_n(y)\| = \|\phi_n(z - y)\| \le \|\phi_n\| \|z - y\| \le \|z - y\|[/math]

не зависит от [math]n[/math], а следовательно [math]\{\phi_n\}[/math] равностепенно непрерывна.

Выполняется и равномерная ограниченность последовательности. Для любого [math]y \in K[/math]:

[math]\|\phi_n(y)\| \le \|\phi_n\| \|y\| \le \|y\| \le const[/math].

Таким образом [math]\{\phi_n\}[/math] равномерно ограничена и равностепенно непрерывна, следовательно, по теореме Арцела — Асколи из нее можно выделить равномерно сходящуюся последовательность [math]\{\phi_{n_m}\}[/math] в [math]K[/math].

Для доказательства теоремы осталось показать, что [math]A^*\{\phi_{n_m}\}[/math] сходится в [math]E^*[/math]. Для этого достаточно выяснить, что [math]A^*\{\phi_{n_m}\}[/math] равномерно сходится (при устремлении [math]m[/math] к бесконечности) на [math]\overline{V}[/math].