Остаточное множество
В математике, остаточным называют подмножество в пространстве Бэра, представимое как пересечение счётного числа открытых всюду плотных множеств. Эквивалентно, остаточное множество — дополнение до множества первой категории. В определённом смысле, можно считать, что остаточные множества — «большие» с топологической точки зрения.
Понятие остаточности часто применяется для характеризации типичности в бесконечномерных пространствах, не снабжённых какой-либо естественной мерой. В частности, многие утверждения в теории динамических систем формулируются для отображений, принадлежащих остаточному (в соответствующей топологии) множеству: именно такой результат приносит выполнение счётного числа последовательных малых возмущений.
[править] Примеры
Множество лиувиллевых чисел остаточно, и, тем самым, его элементы «типичны» с топологической точки зрения (хотя и нетипичны с точки зрения теории меры — лиувиллевы числа имеют меру ноль).
[править] Ссылки
Finch, Barnaby Residual set (англ.) на сайте Wolfram MathWorld.
 |
Это заготовка статьи по математике. Вы можете помочь проекту, исправив и дополнив её. |
