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