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

Тогда множество-носитель проективного предела направленного семейства — это [[фактормножество]] ''X'' [[прямое произведение множеств|прямого произведения]] <math>X_i</math> по [[транзитивное замыкание|транзитивному замыканию]] отношения эквивалентности, говорящего, что каждый элемент эквивалентен «меньшим» элементам:

: <math>\varprojlim X_i = \bigg\{(x_i)\in\prod_{i\in I}X_i\mid x_i=f_{ij}(x_j) \forall i\leqslant j\bigg\}.</math>

 

=== Общий случай ===