Поро́жня множина́ в математиці — множина, яка не містить жодного елемента. Така множина позначається як ∅ або {}.
Наприклад, якщо досліджується множина об'єктів, які повинні задовольняти певній властивості, і надалі з'ясовується, що таких об'єктів не існує, то зручніше сказати, що шукана множина порожня, ніж оголосити її неіснуючою. Порожню множину можна означити за допомогою будь-якої суперечливої властивості, наприклад: ∅ = {x|x≠x} тощо. Разом із тим, твердження множина M — непорожня можна замінити рівносильним йому твердженням існують елементи, які належать множині M.
Позначення
Загальноприйнятими позначеннями порожньої множини можуть бути символи {}, , і ∅. Останні два символи були запропоновані групою Бурбакі (зокрема Андре Вейлем) в 1939, які запозичили символ Ø, що є літерою в (норвезькій) і данській абетках (і це не має стосунку до грецької літери Φ). У минулому[] для позначення порожньої множини інколи вживався також «0» (нуль), але зараз[] таке вживання вважається неправильним.
Символ ∅ присутній у таблиці Юнікод під кодом U+2205. Він також доступний у розмітці HTML і задається як ∅ і як ∅. У форматі LaTeX він кодується як \varnothing. Символ можна закодувати в LaTeX як \emptyset.
Властивості
У стандартній аксіоматичній теорії множин, відповідно до принципу екстенсивності, дві множини є рівними тоді, коли вони мають однаковий набір елементів, таким чином може бути лише одна множина, яка не містить жодного елемента. Тому може існувати лише одна порожня множина.
- Для будь-якої множини A, порожня множина є підмножиною A:
- ∀A: {} ⊆ A
- Для будь-якої множини A, об'єднання множин A та порожньої множини є A:
- ∀A: A ∪ {} = A
- Для будь-якої множини A, перетин множин A та порожньої множини є порожня множина:
- ∀A: A ∩ {} = {}
- Для будь-якої множини A, Декартів добуток A та порожньої множини є порожня множина:
- ∀A: A × {} = {}
- Єдиною підмножиною порожньої множини є сама порожня множина :
- ∀A: A ⊆ {} ⇒ A = {}
- Потужність порожньої множини є нуль:
- |{}| = 0
В алгебрі множин порожня множина є нейтральним елементом відносно операції об'єднання множин ∪.
Див. також
Примітки
- Earliest Uses of Symbols of Set Theory and Logic.
- Rudin, Walter (1976). Principles of Mathematical Analysis (вид. 3rd). McGraw-Hill. с. 300. ISBN .
- Unicode Standard 5.2
Ця стаття потребує додаткових для поліпшення її . (січень 2020) |
Це незавершена стаття з теорії множин. Ви можете проєкту, виправивши або дописавши її. |
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Ne plutati z o bukvoyu latinskoyi abetki Poro zhnya mnozhina v matematici mnozhina yaka ne mistit zhodnogo elementa Taka mnozhina poznachayetsya yak abo Simvol porozhnoyi mnozhini Napriklad yaksho doslidzhuyetsya mnozhina ob yektiv yaki povinni zadovolnyati pevnij vlastivosti i nadali z yasovuyetsya sho takih ob yektiv ne isnuye to zruchnishe skazati sho shukana mnozhina porozhnya nizh ogolositi yiyi neisnuyuchoyu Porozhnyu mnozhinu mozhna oznachiti za dopomogoyu bud yakoyi superechlivoyi vlastivosti napriklad x x x tosho Razom iz tim tverdzhennya mnozhina M neporozhnya mozhna zaminiti rivnosilnim jomu tverdzhennyam isnuyut elementi yaki nalezhat mnozhini M PoznachennyaZagalnoprijnyatimi poznachennyami porozhnoyi mnozhini mozhut buti simvoli displaystyle emptyset i Ostanni dva simvoli buli zaproponovani grupoyu Burbaki zokrema Andre Vejlem v 1939 yaki zapozichili simvol O sho ye literoyu v norvezkij i danskij abetkah i ce ne maye stosunku do greckoyi literi F U minulomu koli dlya poznachennya porozhnoyi mnozhini inkoli vzhivavsya takozh 0 nul ale zaraz koli take vzhivannya vvazhayetsya nepravilnim Simvol prisutnij u tablici Yunikod pid kodom U 2205 Vin takozh dostupnij u rozmitci HTML i zadayetsya yak i yak amp 8709 U formati LaTeX vin koduyetsya yak varnothing Simvol displaystyle emptyset mozhna zakoduvati v LaTeX yak emptyset VlastivostiPorozhnya mnozhina ne mistit zhodnogo elementu U standartnij aksiomatichnij teoriyi mnozhin vidpovidno do principu ekstensivnosti dvi mnozhini ye rivnimi todi koli voni mayut odnakovij nabir elementiv takim chinom mozhe buti lishe odna mnozhina yaka ne mistit zhodnogo elementa Tomu mozhe isnuvati lishe odna porozhnya mnozhina Dlya bud yakoyi mnozhini A porozhnya mnozhina ye pidmnozhinoyu A A A Dlya bud yakoyi mnozhini A ob yednannya mnozhin A ta porozhnoyi mnozhini ye A A A A Dlya bud yakoyi mnozhini A peretin mnozhin A ta porozhnoyi mnozhini ye porozhnya mnozhina A A Dlya bud yakoyi mnozhini A Dekartiv dobutok A ta porozhnoyi mnozhini ye porozhnya mnozhina A A Yedinoyu pidmnozhinoyu porozhnoyi mnozhini ye sama porozhnya mnozhina A A A Potuzhnist porozhnoyi mnozhini ye nul 0 V algebri mnozhin porozhnya mnozhina ye nejtralnim elementom vidnosno operaciyi ob yednannya mnozhin Div takozhPortal Matematika Teoriya mnozhin Tablicya matematichnih simvoliv en PrimitkiEarliest Uses of Symbols of Set Theory and Logic Rudin Walter 1976 Principles of Mathematical Analysis vid 3rd McGraw Hill s 300 ISBN 007054235X Unicode Standard 5 2 Cya stattya potrebuye dodatkovih posilan na dzherela dlya polipshennya yiyi perevirnosti Bud laska dopomozhit udoskonaliti cyu stattyu dodavshi posilannya na nadijni avtoritetni dzherela Zvernitsya na za poyasnennyami ta dopomozhit vipraviti nedoliki Material bez dzherel mozhe buti piddano sumnivu ta vilucheno sichen 2020 Ce nezavershena stattya z teoriyi mnozhin Vi mozhete dopomogti proyektu vipravivshi abo dopisavshi yiyi