Теорема Стоуна о представлении булевых алгебр: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Tosha (обсуждение | вклад) |
Tosha (обсуждение | вклад) |
||
Строка 31:
Это один из первых содержательных примеров двойственности категорий.
Доказательство требует [[Аксиома выбора|аксиомы выбора]] или её слабой формы.
==Вариации и обобщения==
|