Проективный предел: различия между версиями
[непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Нет описания правки |
Нет описания правки |
||
Строка 14:
Множество <math>X</math> называется ''проективным пределом семейства множеств'' <math>X_i</math> и отображений <math>f_{ij}</math>, или <math>X=\varprojlim X_i</math>, если выполнены следующие условия:
# существует такое семейство отображений <math>\pi_i:X\to X_i</math>, что <math>\pi_j=f_{ij}\circ\pi_i</math> для любых <math>i\leqslant j</math>;
# для любого семейства отображений <math>\psi_i:Y\to X_i</math>, произвольного множества <math>Y</math>, для которого выполнены равенства <math>\psi_j=f_{ij}\circ\psi_i</math> для
Конструктивно проективный предел можно описать как подмножество в [[прямое произведение|прямом произведении]] <math>\prod_{i\in I}X_i</math>
|