Компактность и ограниченные линейные операторы

Мотивация: конечномерность в бесконечномерном мире

В конечномерных пространствах замкнутый и ограниченный шар компактен. В бесконечномерных — нет: ортонормированная последовательность eₙ в l² не имеет сходящейся подпоследовательности. Компактные операторы — «промежуточный класс»: они переводят бесконечномерные шары в предкомпактные множества. Это ключевой инструмент для теории уравнений Фредгольма и интегральных уравнений.

Компактность в метрических пространствах

Компактное множество K: из любой последовательности в K можно извлечь подпоследовательность, сходящуюся к точке в K (секвенциальная компактность).

Критерий Хаусдорфа: K компактно ⟺ K полно и вполне ограничено (для каждого ε > 0 существует конечная ε-сеть: K ⊆ ∪_{a∈A} B(a,ε), |A| < ∞).

Теорема Гейне–Бореля: В ℝⁿ: K компактно ⟺ K замкнуто и ограничено. В бесконечномерных — неверно: замкнутый единичный шар l² — замкнут и ограничен, но не компактен.

Теорема Арцела–Асколи

Теорема: Семейство F ⊂ C[a,b] предкомпактно (компактно замыкание) ⟺ F:

1. Равномерно ограничено: sup_{f∈F} ‖f‖_∞ < ∞.
2. Равностепенно непрерывно: ∀ε > 0 ∃δ > 0: |x−y| < δ ⟹ |f(x)−f(y)| < ε для всех f ∈ F.

Применение: доказательство теоремы Пеано о существовании решений ОДУ; компактность операторов интегрального типа.

Ограниченные линейные операторы

Линейный оператор T: X→Y: T(αx+βy) = αTx+βTy. Для линейного оператора эквивалентны:

• Непрерывность в нуле.
• Непрерывность всюду.
• Ограниченность: ‖T‖ = sup_{‖x‖≤1} ‖Tx‖ < ∞.

Пространство L(X,Y): ограниченные линейные T: X→Y с нормой ‖T‖. При Y — Банаховом: L(X,Y) — Банахово.

Компактный оператор T: X→Y: образ единичного шара предкомпактен. Примеры: операторы конечного ранга; операторы Гильберта–Шмидта (интегральные с L²-ядром).

Численный пример

Задача: Проверить предкомпактность семейства F = {fₙ}_{n≥1} в C[0,1], где fₙ(x) = sin(nx)/n.

Шаг 1. Равномерная ограниченность: |fₙ(x)| = |sin(nx)|/n ≤ 1/n ≤ 1. Значит sup_n ‖fₙ‖_∞ ≤ 1 < ∞ ✓.

Шаг 2. Равностепенная непрерывность: |fₙ(x) − fₙ(y)| = |sin(nx) − sin(ny)|/n ≤ n|x−y|/n = |x−y|. При δ = ε: |x−y| < δ ⟹ |fₙ(x)−fₙ(y)| < ε для всех n ✓.

Шаг 3. По теореме Арцела–Асколи: F предкомпактно в C[0,1]. Фактически: ‖fₙ‖_∞ = 1/n → 0 → fₙ → 0 равномерно ✓.

Шаг 4. Сравнение: gₙ(x) = sin(nx) (без деления на n). |gₙ(x) − gₙ(y)| ≤ n|x−y| — коэффициент n → ∞. Равностепенная непрерывность нарушена. Действительно, {sin(nx)} не имеет равномерно сходящейся подпоследовательности в C[0,1]: sin(nₖx) ⇀ 0 слабо в L², но не по норме C[0,1].

Шаг 5. Норма оператора Вольтерра: T: C[0,1]→C[0,1], Tf(x) = ∫₀ˣ f(t)dt. ‖Tⁿ‖ ≤ 1/n! → 0. Это компактный оператор (образ ограниченного множества — равностепенно непрерывное семейство по неравенству из шага 1 предыдущей статьи).

Реальное приложение

Обработка сигналов: операторы сжатия (JPEG, MP3) — компактные операторы. Теорема Фредгольма (следствие компактности) гарантирует, что задача восстановления сигнала либо единственно разрешима, либо имеет конечномерное пространство исключений.

Дополнительные аспекты

В бесконечномерных пространствах единичный шар не компактен — это центральное препятствие в анализе и причина появления компактных операторов. Компактный оператор T: X → Y переводит ограниченные множества в относительно компактные. Спектральная теория компактных операторов (теорема Рисса–Шаудера) утверждает, что спектр счётен, единственная возможная точка накопления — 0, и каждое ненулевое собственное значение имеет конечнократный собственный подпространство. Это база метода Фредгольма для интегральных уравнений и численных методов для эллиптических задач (МКЭ, метод Галёркина): получаемые матрицы — конечномерные приближения компактных операторов, и сходимость гарантируется общей теорией.

Связь с другими разделами математики

В теории дифференциальных уравнений компактность операторов лежит в основе теорем существования решений. Теорема Лере–Шаудера и теорема Шаудера о неподвижной точке рассматривают компактный оператор в банаховом пространстве и дают существование решений нелинейных краевых задач для эллиптических и параболических уравнений. Линейные эллиптические задачи сводятся к уравнениям Фредгольма, где линейный замкнутый оператор расщепляется на изоморфизм плюс компактный оператор, что позволяет применять теорему Фредгольма–Рисса.

В функциональном анализе и топологии компактные операторы тесно связаны с понятием слабой топологии. Теорема Эберлайна–Шмульяна описывает относительную слабую компактность в банаховом пространстве через секвенциальную компактность и применяется к образам единичного шара под компактным оператором. В локально выпуклых пространствах компактные множества описываются через полную ограниченность в системе полунорм, что соединяет теорию операторов с общетопологическими конструкциями (работы Гро-тендика о ядерных пространствах).

В теории вероятностей компактность играет роль в предельных теоремах. Критерий Прокхорова формулирует относительную компактность семейства распределений через равномерную ограниченность масс на компактах; в пространствах непрерывных траекторий (пространство Скорохода) это приводит к условиям Колмогорова–Ченса на модуль непрерывности, формально очень близким к теореме Арцела–Асколи. В численном анализе компактность обеспечивает устойчивость аппроксимаций: при схемах Галёркина для интегральных и эллиптических задач используются конечномерные подпространства, а сходимость решений к истинному обеспечивается, в частности, компактностью включений Соболева (теорема Реллиха–Кондрашова).

Историческая справка и развитие идеи

Первые систематические исследования компактных операторов связаны с работами Эрнста Фредгольма (Acta Mathematica, 1903), который изучал интегральные уравнения с ядром в L² и ввел детерминант и резольвенту. Давид Гильберт, развивая эту теорию в начале XX века, сформулировал спектральные свойства интегральных операторов и заложил основу понятия гильбертового пространства.

Работы Рисса (1918–1920) и Шаудера в 1930-е годы обобщили спектральную теорию на абстрактные банаховы пространства; теорема Рисса–Шаудера стала центральным результатом. В те же годы Арцела и Асколи сформулировали критерий компактности в пространствах непрерывных функций, который быстро стал стандартным инструментом в теории OДУ (книга Карратеодори, 1935) и PDE (монография Соболева, 1938).

Во второй половине XX века Гро-тендик расширил понятие компактности на ядерные операторы и тензорные произведения топологических векторных пространств (Mémoire de l’Académie des Sciences, 1955–1956). В теории вероятностей ключевые компактностные результаты были систематизированы в книге Биллинга–Конвера (Measure Theory, 1970-е). В XXI веке компактные операторы естественно возникают в теории операторных алгебр, нелинейном функциональном анализе и в регуляризационных методах инверсных задач (монография Энгля и Ханке, 1996; дальнейшее развитие в работах о тотальной вариации и спарс-регуляризации).