Остаточное множество

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

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

Примеры

Множество лиувиллевых чисел остаточно, и, тем самым, его элементы «типичны» с топологической точки зрения (хотя и нетипичны с точки зрения теории меры — лиувиллевы числа имеют меру ноль).

Ссылки

Finch, Barnaby. Residual set (англ.) на сайте Wolfram MathWorld.

 

Prefix: a b c d e f g h i j k l m n o p q r s t u v w x y z 0 1 2 3 4 5 6 7 8 9

Portal di Ensiklopedia Dunia