Проективный предел: различия между версиями

[непроверенная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
мНет описания правки
Строка 1:
{{Значения|Предел}}
'''Проективный''' (или '''обратный''') '''предел''' — конструкция, возникшая первоначально в [[теория множеств|теории множеств]] и [[топология|топологии]], а затем нашедшая широкое применение во многих разделах математики. Проективный предел мономожно определить в произвольной [[теория категорий|категории]]. [[Двойственность (теория категорий)|Двойственное]] понятие — [[прямой предел]].
 
Эта конструкция позволяет построить новый объект <math>X</math> по семейству (индексированному [[направленное множество|направленным множеством]]) однотипных объектов <math>X_i</math> и набору отображений <math>f_{ij}:X_j\to X_i</math>, <math>i\leqslant j</math>.