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

Результат про властивості класів неперервних відображень, що діють на лінійних топологічних просторах.

Покладаємо, що $X$ і $Y$ є топологічними векторними просторами; $\mathrm{\Gamma }$ — набір неперервних лінійних відображень із $X$ у $Y$, а $B$ — множина усіх $x\in X$, що їх орбіти $\mathrm{\Gamma }:=\{\mathrm{\Lambda }(x)|\mathrm{\Lambda }\in \mathrm{\Gamma }\}$ обмежені у $Y$.

Якщо тепер $B$ є множиною другої категорії у $X$, то $B=x$ і $\mathrm{\Gamma }$ — рівномірно неперерна.

Дамо також наступне формулювання, застосовне в багатьох часткових випадках:

Нехай, $X$ і $Y$ — повні метричні простори, $\mathrm{\Gamma }:=\{\mathrm{\Lambda }|\mathrm{\Lambda }:X\to Y\}$ — набір неперервних лінійних відображень; також, $\mathrm{\forall }x\in X,\underset{\mathrm{\Lambda }\in \mathrm{\Gamma }}{\sup }\Vert \mathrm{\Lambda }(x)\Vert <\mathrm{\infty }$.

Тоді $\underset{\mathrm{\Lambda }\in \mathrm{\Gamma }}{\sup }\Vert \mathrm{\Lambda }\Vert <\mathrm{\infty }$.

Простір $X$ у точній верхній межі у другому формулюванні можна замінити на будь-яку підмножину другої категорії в $X$. У принципі рівномірної обмеженості простори можна вважати локально опуклими за умови $X$ — бочковий простір. Вкажемо тут означення бочкового простору. Множина $A$ — збалансована, якщо $\mathrm{\forall }\alpha \in ℂ,|\alpha |\le 1:\alpha A\subset A$ (поелементне множення на скаляр); збалансована множина є поглинаючою, якщо $\mathrm{\forall }x\in X\mathrm{\exists }\alpha :x\in \alpha A$. Тепер бочковий простір — той, у якому кожна замкнена збалансована поглинаюча опукла множина є околом нуля.

Теорема може бути доведена з використанням теореми Бера про категорії.

Див. також

• Множина першої категорії
• Теорема Банаха про обернений оператор
• Стефан Банах
• Гуго Штейнгауз
• Список об'єктів, названих на честь Стефана Банаха

Примітки

[[[:Шаблон:Функційний аналіз]]

[Категорія:Теореми функціонального аналізу]]