WikiDer > Компактная конвергенция

Эта статья нужны дополнительные цитаты для проверка. Пожалуйста помоги улучшить эту статью к добавление цитат в надежные источники. Материал, не полученный от источника, может быть оспорен и удален Найдите источники: «Компактная сходимость» – Новости · газеты · книги · ученый · JSTOR (Январь 2010 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

В математика компактная сходимость (или же равномерная сходимость на компактах) является разновидностью конвергенция что обобщает идею равномерное схождение. Это связано с компактно-открытая топология.

Определение

Позволять ${displaystyle (X, {mathcal {T}})}$ быть топологическое пространство и ${displaystyle (Y, d_ {Y})}$ быть метрическое пространство. Последовательность функций

${displaystyle f_ {n}: X o Y}$, ${displaystyle nin mathbb {N},}$

говорят компактно сходятся в качестве ${displaystyle n o infty}$ к какой-то функции ${displaystyle f: X o Y}$ если для каждого компактный набор ${displaystyle Ksubseteq X}$,

${displaystyle f_ {n} | _ {K} o f | _ {K}}$

равномерно на ${displaystyle K}$ в качестве ${displaystyle n o infty}$. Это означает, что для всех компактных ${displaystyle Ksubseteq X}$,

${displaystyle lim _ {n o infty} sup _ {xin K} d_ {Y} left (f_ {n} (x), f (x) ight) = 0.}$

Примеры

• Если ${displaystyle X = (0,1) subteq mathbb {R}}$ и ${displaystyle Y = mathbb {R}}$ с их обычными топологиями, с ${displaystyle f_ {n} (x): = x ^ {n}}$, тогда ${displaystyle f_ {n}}$ компактно сходится к постоянной функции со значением 0, но не равномерно.
• Если ${displaystyle X = (0,1]}$, ${displaystyle Y = mathbb {R}}$ и ${displaystyle f_ {n} (x) = x ^ {n}}$, тогда ${displaystyle f_ {n}}$ сходится точечно функции, которая равна нулю на ${displaystyle (0,1)}$ и один в ${displaystyle 1}$, но последовательность не сходится компактно.
• Очень мощный инструмент для демонстрации компактной конвергенции - это Теорема Арцела – Асколи. Существует несколько версий этой теоремы, грубо говоря, она утверждает, что каждая последовательность равностепенный и равномерно ограниченный map имеет подпоследовательность, которая компактно сходится к некоторому непрерывному отображению.

Характеристики

• Если ${displaystyle f_ {n} o f}$ равномерно, то ${displaystyle f_ {n} o f}$ компактно.
• Если ${displaystyle (X, {mathcal {T}})}$ это компактное пространство и ${displaystyle f_ {n} o f}$ компактно, то ${displaystyle f_ {n} o f}$ равномерно.
• Если ${displaystyle (X, {mathcal {T}})}$ является локально компактный, тогда ${displaystyle f_ {n} o f}$ компактно тогда и только тогда, когда ${displaystyle f_ {n} o f}$ локально равномерно.
• Если ${displaystyle (X, {mathcal {T}})}$ это компактно порожденное пространство, ${displaystyle f_ {n} o f}$ компактно, и каждый ${displaystyle f_ {n}}$ является непрерывный, тогда ${displaystyle f}$ непрерывно.

Смотрите также

• Способы сходимости (аннотированный указатель)
• Теорема Монтеля

Рекомендации

• Р. Реммерт Теория сложных функций (1991 Springer) стр. 95