- Проективный предел
-
Проективный (или обратный) предел — конструкция, возникшая первоначально в теории множеств и топологии, а затем нашедшая широкое применение во многих разделах математики.
Эта конструкция позволяет построить новый объект по последовательности однотипных объектов и набору отображений , . Для проективного предела обычно используется обозначение
- , или .
Определение
Пусть — множество, снабжённое отношением предпорядка (например, множество целых чисел), и каждому элементу сопоставлено множество , а каждой паре , , в которой , сопоставлено отображение , причём — тождественные отображения и .
Множество называется проективным пределом семейства множеств и отображений , или , если выполнены следующие условия:
- существует такое семейство отображений , что для любой пары ;
- для любого семейства отображений , произвольного множества , для которого выполнены равенства для любой пары , существует такое однозначно определенное отображение , что , для всех .
Конструктивно проективный предел можно описать как подмножество в прямом произведении
Если все снабжены дополнительной однотипной структурой, которая переносится на , то при естественных предположениях на отображения , эта же структура индуцируется и в проективном пределе. Поэтому можно говорить о проективных пределах групп, модулей, топологических пространств и т. д.
Примеры
- Целые -адические числа являются проективным пределом последовательности с естественными отображениями , при .
- Канторово множество гомеоморфно проективному пределу произведений двуточечных множеств с проекциями на первые координаты как отображения.
Вариации и обобщения
Естественным обобщением понятия проективного предела является понятие проективного предела функтора.
В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена.
Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники.
Эта отметка установлена 14 мая 2011.Категории:- Абстрактная алгебра
- Общая топология
Wikimedia Foundation. 2010.