Теорема Банаха-Штейнгауза: равномерная ограниченность

Теорема Банаха-Штейнгауза - один из трёх «китов» функционального анализа (вместе с теоремой Хана-Банаха и теоремой об открытом отображении). Её содержательная сила в том, что между двумя на вид совершенно разными свойствами семейства линейных операторов - поточечной и равномерной ограниченностью - стоит знак равенства, как только в источнике стоит банахово пространство. Этот переход «из точечного в равномерное» обеспечивает теорема Бэра о категориях, и именно через неё доказательство выглядит технически коротким, а по содержанию - глубоким.

Формулировка теоремы Банаха-Штейнгауза

Пусть $X$ - банахово пространство, $Y$ - нормированное пространство, и $\{T_\alpha\}_{\alpha \in A}$ - семейство ограниченных линейных операторов $T_\alpha: X \to Y$ (индексное множество $A$ произвольно). Тогда верна следующая альтернатива.

Если для каждого $x \in X$ семейство значений поточечно ограничено, $\sup_{\alpha \in A} \|T_\alpha x\|_Y < \infty,$ то семейство ограничено равномерно по норме оператора, $\sup_{\alpha \in A} \|T_\alpha\| < \infty.$

Иначе говоря, либо $\sup_\alpha \|T_\alpha\| = \infty$ (тогда есть «плохой» вектор $x$, на котором значения неограничены - причём такое $x$ образует плотное $G_\delta$-множество, по принципу сгущения особенностей), либо равномерная константа существует.

Принцип равномерной ограниченности: интуиция

Английское название - uniform boundedness principle (UBP). Смысл прост: банахово пространство «тесное» в смысле категории Бэра, и если операторы не имеют общей границы, обязательно найдётся точка, в которой их значения «взрываются». Никакая аккуратная конфигурация поточечно ограниченных, но равномерно неограниченных операторов в банаховом пространстве невозможна.

Этот принцип объясняет, почему в гильбертовом и банаховом пространствах удаётся брать пределы операторов: достаточно поточечной сходимости $T_n x \to T x$ на каждом $x$, и нормы $\|T_n\|$ автоматически ограничены - а значит, предел $T$ снова ограниченный оператор.

Подводящий пример и интерактив

Прежде чем разбирать доказательство, полезно увидеть, к какому семейству вы хотите применить принцип. Свёрточные ядра, частичные суммы рядов Фурье, квадратуры - все они подпадают под одну и ту же схему: поточечная ограниченность даёт оценку нормы, обратное часто упирается в контрпример Дюбуа-Реймона.

Набросок доказательства через теорему Бэра

Доказательство умещается в полстраницы и держится на теореме Бэра о категориях: полное метрическое пространство нельзя представить счётным объединением нигде не плотных множеств.

Положим $E_n = \{x \in X : \sup_{\alpha} \|T_\alpha x\| \le n\} = \bigcap_{\alpha} \{x : \|T_\alpha x\| \le n\}.$ Каждое $E_n$ замкнуто (пересечение замкнутых прообразов замкнутого шара под непрерывными $T_\alpha$). По условию поточечной ограниченности $X = \bigcup_n E_n$. Поскольку $X$ полное, по теореме Бэра хотя бы одно $E_{n_0}$ имеет непустую внутренность: найдётся шар $B(x_0, r) \subset E_{n_0}$.

Тогда для любого $h$ с $\|h\| \le r$ имеем $x_0 + h \in E_{n_0}$, откуда $\|T_\alpha(x_0 + h)\| \le n_0$. По линейности $\|T_\alpha h\| \le \|T_\alpha(x_0 + h)\| + \|T_\alpha x_0\| \le 2 n_0.$ Делением на $r$ получаем $\|T_\alpha\| \le 2 n_0 / r$ для всех $\alpha$. Это и есть равномерная оценка.

Следствия: сходимость последовательности операторов

Из теоремы Банаха-Штейнгауза мгновенно вытекает важная переформулировка для последовательностей. Если $T_n: X \to Y$ - последовательность ограниченных линейных операторов и для каждого $x$ существует предел $T x := \lim_{n} T_n x$, то:

1. нормы $\|T_n\|$ равномерно ограничены: $\sup_n \|T_n\| =: M < \infty$;
2. предельный оператор $T$ линеен и ограничен, причём $\|T\| \le M$.

Это та самая «банахово-штейнгаузовская» теорема о сходимости, которую часто формулируют как самостоятельный результат в учебниках. Она ключевая для теории аппроксимации операторов, спектральной теории и численных методов.

Расходимость ряда Фурье: пример Дюбуа-Реймона

Самое известное применение - отрицательное. Рассмотрим $X = C(\mathbb{T})$ - банахово пространство непрерывных $2\pi$-периодических функций, и операторы частичных сумм $S_n f(0) = \sum_{k=-n}^{n} \hat{f}(k) = \frac{1}{2\pi} \int_{-\pi}^{\pi} f(t) D_n(t)\, dt,$ где $D_n$ - ядро Дирихле. Норма $S_n$ как функционала $C(\mathbb{T}) \to \mathbb{R}$ равна константе Лебега: $\|S_n\| = L_n = \frac{1}{2\pi}\int_{-\pi}^{\pi} |D_n(t)|\,dt \sim \frac{4}{\pi^2}\ln n \to \infty.$

По теореме Банаха-Штейнгауза, если бы $S_n f(0)$ было ограничено для всех $f$, нормы $L_n$ были бы равномерно ограничены - противоречие. Значит, существует непрерывная функция, ряд Фурье которой расходится в точке $0$. Это и есть классический результат Дюбуа-Реймона (1873), доказанный изначально явным построением, а после Банаха-Штейнгауза получаемый «бесплатно» - экзистенциально.

Применения: квадратуры, аппроксимация, спектральная теория

• Численное интегрирование. Если квадратурные формулы $Q_n f = \sum_k w_k^{(n)} f(x_k^{(n)})$ сходятся к $\int f$ для всякой непрерывной $f$, то по UBP суммы модулей весов $\sum_k |w_k^{(n)}|$ ограничены равномерно. Отсюда формулы Гаусса (положительные веса) устойчивы, а интерполяционные с растущей суммой модулей - нет.
• Аппроксимация операторов. В спектральной теории при доказательстве сходимости резольвент $R_\lambda(T_n) \to R_\lambda(T)$ в сильной операторной топологии норма $R_\lambda(T_n)$ автоматически ограничена - даёт право переходить к пределам.
• Слабая ограниченность. Слабо ограниченное множество в банаховом пространстве сильно ограничено: если $\sup_\alpha |f(x_\alpha)| < \infty$ для всякого $f \in X^*$, то $\sup_\alpha \|x_\alpha\| < \infty$ (применяем UBP к $T_\alpha =$ оценка на $x_\alpha$ как функционал на $X^*$, который полон).

Сравнение с теоремой Хана-Банаха

Эти две теоремы часто стоят рядом, но решают разные задачи. Хан-Банах - про существование функционалов: продолжение с подпространства, разделение выпуклых множеств, богатство $X^*$. Банах-Штейнгауз - про оценки: переход от поточечных оценок к равномерным. Хан-Банах не требует полноты $X$ и работает на любом векторном пространстве; Банах-Штейнгауз без полноты ломается (см. ниже). В тройке «китов» Хан-Банах отвечает за двойственность, Банах-Штейнгауз - за устойчивость операторов, а теорема об открытом отображении - за «обратимость в среднем».

Контрпример без полноты

Полнота $X$ существенна. Пусть $X = c_{00}$ - пространство последовательностей с конечным носителем, с супремум-нормой. Это нормированное, но не полное пространство (пополнение - $c_0$). Определим операторы $T_n: X \to \mathbb{R}$ проекцией на $n$-ю координату с весом: $T_n x = n \cdot x_n$.

Для любого $x \in c_{00}$ почти все $x_n = 0$, поэтому $\sup_n |T_n x| < \infty$ - поточечная ограниченность есть. Но $\|T_n\| = n \to \infty$, равномерной нет. В пополнении $c_0$ этот контрпример сразу ломается: вектор $x_k = 1/\sqrt{k}$ даёт $T_n x = \sqrt{n} \to \infty$, и поточечная ограниченность нарушена - как и должно быть в банаховом пространстве.

Типовые задачи на экзамене

• Проверить, является ли семейство интегральных операторов с заданным ядром поточечно ограниченным, и вывести равномерную оценку нормы.
• Показать, что слабая сходимость $x_n \rightharpoonup x$ в банаховом пространстве влечёт ограниченность нормы $\sup_n \|x_n\| < \infty$.
• Построить контрпример к теореме без условия полноты или без линейности операторов.
• Получить оценку нормы предельного оператора через $\liminf \|T_n\|$ (полунепрерывность нормы снизу относительно сильной операторной сходимости).

Частые ошибки

• Забывают про полноту $X$. На неполном пространстве принцип неверен - обязательно проверять, что источник банахов; нормированности недостаточно.
• Путают равномерную ограниченность с равномерной сходимостью. UBP даёт первое, не второе: операторы могут быть ограничены константой, но сходиться лишь поточечно.
• Применяют теорему к нелинейным или неограниченным операторам. Линейность и непрерывность каждого $T_\alpha$ - условие, а не вывод.
• Думают, что $Y$ должно быть полным. На самом деле полнота требуется только от источника $X$; пространство значений $Y$ нормированное.
• Считают, что равномерная ограниченность влечёт сильную сходимость. Из $\sup_n \|T_n\| < \infty$ сходимость не следует - нужна дополнительно поточечная сходимость на плотном множестве.

FAQ

Почему доказательство опирается именно на теорему Бэра? Бэр обеспечивает, что в полном пространстве хотя бы одна из «оболочек» $E_n$ имеет внутренность. Это единственный шаг, где используется полнота, и именно он переводит «поточечно ограничено на каждой точке» в «ограничено на целом шаре», откуда уже линейность даёт оценку нормы.

Можно ли заменить банаховость на полноту по Фреше? Да. Теорема Банаха-Штейнгауза дословно переносится на пространства Фреше (полные локально выпуклые с метризуемой топологией) и даже на пространства Бэра. Достаточно того, что в источнике работает теорема о категориях.

В чём смысл «принципа сгущения особенностей»? Это усиление UBP: если $\sup_\alpha \|T_\alpha\| = \infty$, то множество $\{x : \sup_\alpha \|T_\alpha x\| = \infty\}$ не просто непусто - оно плотно и является пересечением счётного семейства открытых плотных множеств ($G_\delta$). Так доказывают плотность непрерывных функций с расходящимся рядом Фурье.

Коротко

Теорема Банаха-Штейнгауза утверждает: поточечная ограниченность семейства ограниченных линейных операторов из банахова пространства автоматически равномерна по норме. Доказательство - три строчки через теорему Бэра. Прикладной выход - устойчивость предельных операторов, ограниченность слабо сходящихся последовательностей и экзистенциальное доказательство расходимости рядов Фурье у непрерывных функций.