Ультрафильтр: различия между версиями
| [непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
м викификация |
Tosha (обсуждение | вклад) |
||
Строка 11:
* для любого элемента <math>F</math>, все его надмножества лежат в <math>F</math>
* для любого подмножества <math>Y \subseteq X</math> либо <math>Y \in F</math>, либо <math>X \backslash Y \in F</math>
Иначе говоря, если рассмотреть функциюна множествах <math>S\subset X</math>,
<math>\omega_F(S)=1</math> если <math>S\in F</math> и в противном случае <math>\omega_F(S)=0</math>, то <math>\omega_F</math> образует [[конечно аддитивная мера|конечно аддитивную]] [[вероятностная мера]] на <math>X</math>.
== Ультрафильтры в булевых алгебрах ==
| |||