Кільце множин

Непорожня система множин $ℛ$ називається кільцем множин, якщо вона є замкнута щодо операцій об'єднання та перетину множин.

Тобто $\mathrm{\forall }A,B\in ℛ$ виконується:

1. $A\cup B\in ℛ$
2. $A\cap B\in ℛ$

Дана алгебраїчна структура не є алгебраїчним кільцем, а є дистрибутивною ґраткою.

Вищенаведене визначення задовільняють системи із однієї множини — сінглетони. Щоб уникнути цього, в теорії міри, кільцем множин називають непорожню систему множин, що є замкнутою відносно двох операцій:

• операцій об'єднання та різниці множин:

1. $A\cup B\in ℛ$
2. $A\setminus B\in ℛ$

• або операцій перетину та симетричної різниці множин (при даному визначенні кільце множин є алгебраїчним кільцем):

1. $A\cap B\in ℛ$
2. $A\mathrm{△}B\in ℛ$

Обидва визначення є строгішими ніж початкове, а також еквівалентними оскільки виражаються:

• перше через друге:
  • $A\cup B=(A\mathrm{△}B)\mathrm{△}(A\cap B)$
  • $A\mathrm{\setminus }B=A\mathrm{△}(A\cap B)$
• друге через перше:
  • $A\cap B=A\setminus (A\setminus B)$
  • $A\mathrm{△}B=(A\setminus B)\cup (B\setminus A)$

Властивості

• $\mathrm{\varnothing }\in ℛ$
• Виконується дистрибутивний закон:

$A\cap (B\mathrm{△}C)=(A\cap B)\mathrm{△}(A\cap C)$

Поле множин

Полем множин — називається кільце множин замкнуте відносно доповнення множин.

Поле множин ще називають алгеброю множин, хоча алгеброю множин частіше називають ту частину теорії множин, що вивчає властивості теоретико-множинних операцій.

Насправді, поле множин з точки зору абстрактної алгебри не є ні алгебраїчним полем, ні алгеброю над полем, а є булевим кільцем.

Сигма-алгебра

• Сигма-кільцем називається кільце, замкнуте відносно зліченного об'єднання елементів.
• Дельта-кільцем називається кільце, замкнуте відносно зліченного перетину елементів.

Аналогічно визначається сигма-алгебра та дельта-алгебра (до речі, довільна дельта-алгебра є сигма-алгеброю і навпаки).

Теорема Стоуна

• Ґратка є дистрибутивною тоді і тільки тоді, коли вона ізоморфна деякому кільцю множин.
• Ґратка є булевою алгеброю тоді і тільки тоді, коли вона ізоморфна деякому полю множин.

Див. також

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

Джерела

• Кільце множин на PlanetMath Шаблон:Webarchive