Непорожня система множин називається кільцем множин, якщо вона є замкнута щодо операцій об'єднання та перетину множин.
Тобто виконується:
Дана алгебраїчна структура не є алгебраїчним кільцем, а є дистрибутивною ґраткою.
Вищенаведене визначення задовільняють системи із однієї множини — сінглетони. Щоб уникнути цього, в теорії міри, кільцем множин називають непорожню систему множин, що є замкнутою відносно двох операцій:
- операцій об'єднання та різниці множин:
- або операцій перетину та симетричної різниці множин (при даному визначенні кільце множин є алгебраїчним кільцем):
Обидва визначення є строгішими ніж початкове, а також еквівалентними оскільки виражаються:
- перше через друге:
- друге через перше:
Властивості
- Виконується дистрибутивний закон:
Поле множин
Полем множин — називається кільце множин замкнуте відносно доповнення множин.
Поле множин ще називають алгеброю множин, хоча алгеброю множин частіше називають ту частину теорії множин, що вивчає властивості теоретико-множинних операцій.
Насправді, поле множин з точки зору абстрактної алгебри не є ні алгебраїчним полем, ні алгеброю над полем, а є булевим кільцем.
Сигма-алгебра
- Сигма-кільцем називається кільце, замкнуте відносно зліченного об'єднання елементів.
- Дельта-кільцем називається кільце, замкнуте відносно зліченного перетину елементів.
Аналогічно визначається сигма-алгебра та дельта-алгебра (до речі, довільна дельта-алгебра є сигма-алгеброю і навпаки).
Теорема Стоуна
- Ґратка є дистрибутивною тоді і тільки тоді, коли вона ізоморфна деякому кільцю множин.
- Ґратка є булевою алгеброю тоді і тільки тоді, коли вона ізоморфна деякому полю множин.
Див. також
Джерела
- Кільце множин на PlanetMath [ 30 вересня 2007 у Wayback Machine.]
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Neporozhnya sistema mnozhin R displaystyle mathcal R nazivayetsya kilcem mnozhin yaksho vona ye zamknuta shodo operacij ob yednannya ta peretinu mnozhin Tobto A B R displaystyle forall A B in mathcal R vikonuyetsya A B R displaystyle A cup B in mathcal R A B R displaystyle A cap B in mathcal R Dana algebrayichna struktura ne ye algebrayichnim kilcem a ye distributivnoyu gratkoyu Vishenavedene viznachennya zadovilnyayut sistemi iz odniyeyi mnozhini singletoni Shob uniknuti cogo v teoriyi miri kilcem mnozhin nazivayut neporozhnyu sistemu mnozhin sho ye zamknutoyu vidnosno dvoh operacij operacij ob yednannya ta riznici mnozhin A B R displaystyle A cup B in mathcal R A B R displaystyle A setminus B in mathcal R abo operacij peretinu ta simetrichnoyi riznici mnozhin pri danomu viznachenni kilce mnozhin ye algebrayichnim kilcem A B R displaystyle A cap B in mathcal R A B R displaystyle A triangle B in mathcal R Obidva viznachennya ye strogishimi nizh pochatkove a takozh ekvivalentnimi oskilki virazhayutsya pershe cherez druge A B A B A B displaystyle A cup B A triangle B triangle A cap B A B A A B displaystyle A backslash B A triangle A cap B druge cherez pershe A B A A B displaystyle A cap B A setminus A setminus B A B A B B A displaystyle A triangle B A setminus B cup B setminus A Vlastivosti R displaystyle emptyset in mathcal R Vikonuyetsya distributivnij zakon A B C A B A C displaystyle A cap B triangle C A cap B triangle A cap C Pole mnozhinPolem mnozhin nazivayetsya kilce mnozhin zamknute vidnosno dopovnennya mnozhin Pole mnozhin she nazivayut algebroyu mnozhin hocha algebroyu mnozhin chastishe nazivayut tu chastinu teoriyi mnozhin sho vivchaye vlastivosti teoretiko mnozhinnih operacij Naspravdi pole mnozhin z tochki zoru abstraktnoyi algebri ne ye ni algebrayichnim polem ni algebroyu nad polem a ye bulevim kilcem Sigma algebraSigma kilcem nazivayetsya kilce zamknute vidnosno zlichennogo ob yednannya elementiv Delta kilcem nazivayetsya kilce zamknute vidnosno zlichennogo peretinu elementiv Analogichno viznachayetsya sigma algebra ta delta algebra do rechi dovilna delta algebra ye sigma algebroyu i navpaki Teorema StounaDokladnishe Teorema Stouna pro predstavlennya bulevih algebr Gratka ye distributivnoyu todi i tilki todi koli vona izomorfna deyakomu kilcyu mnozhin Gratka ye bulevoyu algebroyu todi i tilki todi koli vona izomorfna deyakomu polyu mnozhin Div takozhAlgebra teoriya mnozhin Sigma algebraDzherelaKilce mnozhin na PlanetMath 30 veresnya 2007 u Wayback Machine