Ультрафильтр: различия между версиями
[непроверенная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Tosha (обсуждение | вклад) |
|||
Строка 27:
== Свойства ==
* ультрафильтр на конечном множестве всегда является [[фильтр (математика)|главным]].
* любой ультрафильтр на бесконечном множестве содержит [[фильтр (математика)|
* если <math>F</math> главный ультрафильтр на множестве <math>X</math>, то его главный элемент является пересечением всех элементов ультрафильтра.
* если <math>F</math> неглавный ультрафильтр на множестве <math>X</math>, то пересечение всех его элементов пусто.
|