Одиниця сім'ї множин

Одиниця (сім'ї множин) — поняття теорії множин з курсу теорія міри та інтеграла Лебега. Поняття одиниці сім'ї множин має важливе значення для визначення алгебри множин, в математичному аналізі та теорії ймовірностей.

Означення

Множина $E$ називається одиницею сім'ї множин $𝔊$, якщо вона належить $𝔊$ і якщо для будь-якого $A\in 𝔊$ має місце рівність $A\cap E=A$.

Таким чином, одиниця сім'ї множин $𝔊$ це максимальна множина цієї системи, що містить усі інші елементи сім'ї $𝔊$.

Кільце множин з одиницею називається алгеброю множин.

Приклади

1. Для будь-якої множини $A$ система $\Re (A)$ всіх її підмножин являє собою алгебру множин з одиницею $E=A$.

2. Для будь-якої непорожньої множини $A$ система {Ø, A}, що складається з множини $A$ і порожньої множини Ø, творить алгебру множин з одиницею $E=A$.

3. Система всіх скінченних підмножин довільної множини $A$ являє собою кільце множин. Це кільце буде алгеброю тоді і тільки тоді, коли сама множина $A$ скінченна.

4. Система всіх обмежених підмножин числової прямої - це кільце множин, що не містить одиниці.

Література

• Шаблон:Колмогоров.Фомин

Див. також

• Алгебра (теорія множин)
• Міра множини