Теорема Банаха — Штейнгауза

Теорема Банаха — Штейнгауза (также известная как принцип равномерной ограниченности) — фундаментальное утверждение функционального анализа, устанавливающее связь между поточечной и равномерной ограниченностью семейства непрерывных линейных операторов, действующих из банахова пространства в нормированное векторное пространство. Теорема является одним из ключевых результатов, наряду с теоремой Хана — Банаха и теоремой об открытом отображении, составляющих основу теории банаховых пространств. Она была доказана польскими математиками Стефаном Банахом и Хуго Штейнгаузом в 1927 году.

Формулировка

Пусть \(X\) — банахово пространство, \(Y\) — нормированное векторное пространство, а \(\{T_\alpha\}_{\alpha \in A}\) — семейство непрерывных линейных операторов из \(X\) в \(Y\). Если для каждого \(x \in X\) выполняется условие \[ \sup_{\alpha \in A} \|T_\alpha x\| < \infty, \] то есть семейство поточечно ограничено, то \[ \sup_{\alpha \in A} \|T_\alpha\| < \infty, \] то есть семейство равномерно ограничено по операторной норме.

Иными словами, если для каждой точки пространства \(X\) значения операторов ограничены одной константой (зависящей от точки), то существует единая константа, ограничивающая нормы всех операторов. Это утверждение часто называют принципом равномерной ограниченности.

Эквивалентная формулировка

Если семейство непрерывных линейных операторов \(\{T_\alpha\}\) не является равномерно ограниченным, то существует такое множество второй категории (в смысле Бэра) в \(X\), на котором операторы неограничены поточечно. Более точно, множество точек \(x \in X\), для которых \(\sup_{\alpha} \|T_\alpha x\| = \infty\), является плотным \(G_\delta\)-множеством в \(X\).

История

Теорема была опубликована в 1927 году в работе Стефана Банаха и Хуго Штейнгауза «Sur le principe de la condensation de singularités» (фр. «О принципе сгущения особенностей»). Работа вышла в журнале Fundamenta Mathematicae, одном из ведущих математических изданий того времени. Банах и Штейнгауз работали во Львовской математической школе, которая в 1920–1930-х годах была мировым центром функционального анализа. Теорема стала обобщением более ранних результатов, полученных в начале XX века, в частности, принципа сгущения особенностей, который использовался для построения примеров расходящихся рядов Фурье.

Интересно, что первоначально теорема была доказана для случая последовательностей операторов, а затем обобщена на произвольные семейства. В современной литературе её часто называют просто «принципом равномерной ограниченности», подчёркивая содержательную суть.

Доказательство

Доказательство теоремы опирается на теорему Бэра о категориях, которая утверждает, что полное метрическое пространство (в данном случае банахово пространство) не может быть представлено как счётное объединение нигде не плотных множеств. Рассмотрим множества \[ E_n = \left\{ x \in X \mid \sup_{\alpha} \|T_\alpha x\| \leq n \right\}, \quad n \in \mathbb{N}. \] Каждое \(E_n\) замкнуто, так как является пересечением замкнутых множеств \(\{x \mid \|T_\alpha x\| \leq n\}\) по всем \(\alpha\). По условию поточечной ограниченности, \(X = \bigcup_{n=1}^\infty E_n\). По теореме Бэра, хотя бы одно \(E_n\) имеет непустую внутренность. Тогда существует шар \(B(x_0, r) \subset E_n\). Для любого \(x \in X\) с \(\|x\| \leq r\) имеем \(x_0 + x \in B(x_0, r)\), откуда \(\|T_\alpha (x_0 + x)\| \leq n\) для всех \(\alpha\). Следовательно, \[ \|T_\alpha x\| \leq \|T_\alpha (x_0 + x)\| + \|T_\alpha x_0\| \leq n + n = 2n, \] что даёт равномерную оценку нормы операторов: \(\|T_\alpha\| \leq 2n / r\).

Следствия и применения

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

Если последовательность непрерывных линейных операторов \(T_n : X \to Y\) сходится поточечно к некоторому оператору \(T\) (то есть \(T_n x \to T x\) для каждого \(x \in X\)), то из теоремы Банаха — Штейнгауза следует, что \(\sup_n \|T_n\| < \infty\). Более того, предельный оператор \(T\) также является непрерывным линейным оператором. Это свойство часто используется при анализе рядов Фурье, интегральных операторов и в теории аппроксимации.

Принцип сгущения особенностей

Классическое применение — построение функций, ряды Фурье которых расходятся в заданной точке. Если семейство операторов (например, частичных сумм Фурье) не является равномерно ограниченным, то существует множество точек второй категории, в которых эти суммы неограничены. Это объясняет, почему сходимость рядов Фурье непрерывных функций может быть весьма «плохой» — существуют непрерывные функции, чьи ряды Фурье расходятся на множестве второй категории.

Устойчивость численных методов

В вычислительной математике теорема используется для анализа устойчивости разностных схем. Если семейство разностных операторов равномерно ограничено, то схема устойчива; в противном случае возможна катастрофическая потеря точности.

Теория распределений

В теории обобщённых функций (распределений) принцип равномерной ограниченности применяется для доказательства непрерывности линейных функционалов на пространствах основных функций.

Обобщения

Локально выпуклые пространства

Теорема допускает обобщение на случай, когда \(X\) — бочечное пространство (класс локально выпуклых пространств, включающий банаховы, фреше и некоторые другие). В этом случае поточечная ограниченность семейства непрерывных линейных операторов влечёт их равностепенную непрерывность.

Нелинейные операторы

Существуют аналоги теоремы для некоторых классов нелинейных операторов, например, для сублинейных или выпуклых функционалов, но они требуют дополнительных условий (например, полунепрерывности снизу).

Примеры

Пример 1: Расходящийся ряд Фурье

Рассмотрим пространство \(C([0, 2\pi])\) непрерывных \(2\pi\)-периодических функций с равномерной нормой. Операторы \(S_n\) — частичные суммы ряда Фурье порядка \(n\). Известно, что \(\|S_n\|\) растёт как \(\frac{4}{\pi^2} \ln n + O(1)\), то есть неограниченно. Следовательно, по теореме Банаха — Штейнгауза, существует множество функций второй категории, для которых \(\sup_n |S_n f(0)| = \infty\), то есть ряд Фурье расходится в точке 0. Это классический результат, показывающий, что сходимость рядов Фурье непрерывных функций не является равномерной.

Пример 2: Конечномерные пространства

Если \(X\) — конечномерное нормированное пространство (например, \(\mathbb{R}^n\)), то любое поточечно ограниченное семейство линейных операторов автоматически равномерно ограничено. Это следует из того, что в конечномерном пространстве все нормы эквивалентны, а единичный шар компактен. Теорема Банаха — Штейнгауза в этом случае тривиальна, но её сила проявляется именно в бесконечномерных пространствах.

Критика и ограничения

Теорема существенно опирается на полноту пространства \(X\). Если \(X\) — неполное нормированное пространство, то утверждение может не выполняться. Например, в пространстве финитных последовательностей с нормой \(\ell^\infty\) можно построить последовательность функционалов, поточечно ограниченную, но не равномерно. Это показывает, что условие полноты является существенным.

Кроме того, теорема не даёт конструктивного способа нахождения равномерной границы — она лишь утверждает её существование. В прикладных задачах часто требуется явная оценка, что может потребовать дополнительных вычислений.

Источники

• Банах С., Штейнгауз Г. «Sur le principe de la condensation de singularités» // Fundamenta Mathematicae, 1927, т. 9, с. 50–61.
• Колмогоров А. Н., Фомин С. В. «Элементы теории функций и функционального анализа» — М.: Наука, 1976.
• Люстерник Л. А., Соболев В. И. «Элементы функционального анализа» — М.: Наука, 1965.
• Рудин У. «Функциональный анализ» — М.: Мир, 1975.
• Крейн С. Г. «Функциональный анализ» — М.: Наука, 1972.