Точечная сходимость - Википедия - Pointwise convergence

В математика, поточечная сходимость это один из различных смыслов, в котором последовательность функций могут сходиться к конкретной функции. Он слабее чем равномерное схождение, с чем его часто сравнивают.[1][2]

Определение

Предполагать это последовательность функции разделяя тот же домен и codomain. Кодомен чаще всего реалы, а вообще может быть любой метрическое пространство. Последовательность сходится поточечно к функции , часто пишется как

если и только если

для каждого Икс в домене. Функция называется поточечной предельной функцией .

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

Эту концепцию часто противопоставляют равномерное схождение. Чтобы сказать это

Значит это

куда это общая область и . Это более сильное утверждение, чем утверждение о поточечной сходимости: каждая равномерно сходящаяся последовательность поточечно сходится к одной и той же предельной функции, но некоторые поточечно сходящиеся последовательности не сходятся равномерно. Например, если последовательность функций, определяемая , тогда поточечно на отрезке [0,1), но не равномерно.

Поточечный предел последовательности непрерывных функций может быть разрывной функцией, но только если сходимость не равномерная. Например,

принимает значение 1, когда Икс является целым числом и 0, когда Икс не является целым числом и поэтому не является непрерывным для каждого целого числа.

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

Топология

Поточечная сходимость аналогична сходимости в топология продукта в космосе YИкс, куда Икс это домен и Y это кодомен. Если кодомен Y является компактный, то по Теорема Тихонова, космос YИкс также компактный.

Почти везде конвергенция

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

Почти всюду поточечная сходимость на пространстве функций на пространстве с мерой не определяет структуру топология на пространстве измеримых функций на измерить пространство (хотя это структура конвергенции ). Ведь в топологическом пространстве, когда каждая подпоследовательность последовательности имеет подпоследовательность с тем же подпоследовательный предел, сама последовательность должна сходиться к этому пределу.

Но рассмотрим последовательность функций так называемых «скачущих прямоугольников». Позволять N = Этаж (бревно2 п) и k = п мод 2N. И разреши

Тогда любая подпоследовательность последовательности {жп}п имеет подпоследовательность, которая сама почти всюду сходится к нулю, например, подпоследовательность функций, не обращающихся в нуль в Икс=0. Но нигде исходная последовательность поточечно не сходится к нулю. Следовательно, в отличие от сходимость по мере и Lп сходимость, поточечная сходимость почти всюду - это не сходимость какой-либо топологии на пространстве функций.

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

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

  1. ^ Рудин, Вальтер (1976). Принципы математического анализа. Макгроу-Хилл. ISBN  0-07-054235-X.
  2. ^ Мункрес, Джеймс Р. (2000). Топология (2-е изд.). Prentice Hall. ISBN  0-13-181629-2.