Алгебра (теория множеств) | это... Что такое Алгебра (теория множеств)? (original) (raw)

Алгебра (теория множеств)

Алгебра (теория множеств)

Алгебра (теория множеств)

Алгебра множеств в теории множеств — это непустая система подмножеств, замкнутая относительно операций дополнения (разности) и объединения (суммы).

Определение

Семейство \mathfrak{A} \subset 2^{X} подмножеств множества X называется алгеброй, если оно удовлетворяет следующим свойствам:

  1. \mathfrak{A} содержит пустое множество \emptyset.
  2. Если A\in \mathfrak{A}, то и его дополнение X\setminus A\in\mathfrak{A}.
  3. Объединение двух множеств A,B\in \mathfrak{A} также принадлежит \mathfrak{A}.

Замечания

Алгебра событий

Алгебра событийтеории вероятностей) — алгебра подмножеств пространства элементарных событий ~\Omega, элементами которого служат элементарные события.

Как и положено алгебре множеств алгебра событий содержит невозможное событие (пустое множество) и замкнута относительно теоретико-множественных операций, производимых в конечном числе. Достаточно потребовать, чтобы алгебра событий была замкнута относительно двух операций, например, пересечения и дополнения, из чего сразу последует её замкнутость относительно любых других теоретико-множественных операций. Алгебра событий, замкнутая относительно счётного числа теоретико-множественных операций, называется сигма-алгеброй событий.

В теории вероятностей встречаются следующие алгебры и сигма-алгебры событий:

Алгебры и сигма-алгебры событий — это области определения вероятности \mathbf{P}. Если \mathbf{P} (x)=0, то событие x \subseteq \Omega называется невозможным событием; если \mathbf{P}(x)=1, то событие x \subseteq \Omega называется достоверным событием;

Любая сигма-аддитивная вероятность на алгебре событий однозначно продолжается до сигма-аддитивной вероятности, определенной на сигма-алгебре событий, порожденной данной алгеброй событий.

См. также

Литература

Wikimedia Foundation.2010.

Полезное

Смотреть что такое "Алгебра (теория множеств)" в других словарях: