Наборы с этим символом:
- Твиттер
- Вконтакте
Юникод — это зарегистрированная торговая марка консорциума Юникод в США и других странах. Этот сайт никак не связан с консорциумом Юникод. Официальный сайт Юникода располагается по адресу www.unicode.org
Мы используем 🍪cookie, чтобы сделать сайт максимально удобным для вас. Подробнее
В Word можно вставлять математические символы в уравнения и текст.
На вкладке Вставка в группе Символы щелкните стрелку рядом с надписью Формула и выберите Вставить новую формулу.
В области Работа с формулами в группе Символы на вкладке Конструктор щелкните стрелку Еще.
Щелкните стрелку рядом с названием набора символов и выберите набор символов, который вы хотите отобразить.
Щелкните нужный символ.
Доступные наборы символов
В группе Символы в Word доступны указанные ниже наборы математических символов. Щелкнув стрелку Еще, выберите меню в верхней части списка символов, чтобы просмотреть группы знаков.
Основные математические символы
Часто используемые математические символы, такие как > и
Пусто́е мно́жество (в математике) — множество, не содержащее ни одного элемента. Из аксиомы объёмности следует, что есть только одно множество, обладающее таким свойством. Пустое множество является своим (тривиальным) подмножеством, но не является своим элементом.
Пустое множество является конечным множеством и имеет наименьшую мощность среди всех множеств. Пустое множество — единственное множество, для которого класс множеств, равномощных ему, состоит из единственного элемента (самого́ пустого множества). Также, пустое множество — единственное множество, имеющее ровно 1 подмножество (само себя), и единственное множество, равномощное любому своему подмножеству.
Пустое множество тривиальным образом является разрешимым (а значит, перечислимым и арифметическим), транзитивным и вполне упорядоченным множеством (для любого отношения порядка). Пустое множество является наименьшим порядковым числом и наименьшим кардинальным числом. В топологии, пустое множество является одновременно замкнутым и открытым множеством.
∈ <displaystyle in > -цепочка, начинающаяся с произвольного множества, каждый последующий член которой является элементом предыдущего, всегда через конечное число шагов завершается пустым множеством (см. аксиому регулярности). Таким образом, пустое множество является «строительным кирпичиком», из которого строятся все остальные множества.
В некоторых формулировках теории множеств существование пустого множества постулируется (см. аксиому пустого множества), в других — доказывается.
Пустое множество играет исключительно важную роль в математике. [1]
Содержание
Обозначения пустого множества [ править | править код ]
Обычно пустое множество обозначают как ∅ <displaystyle varnothing > , ∅ <displaystyle emptyset > или < ><displaystyle <>> .
Реже пустое множество обозначают одним из следующих символов: 0 <displaystyle 0> и Λ <displaystyle Lambda > .
В Юникоде имеется специальный символ «пустое множество» (U+2205, ∅).
Символы ∅ <displaystyle varnothing > и ∅ <displaystyle emptyset > введены в употребление группой Бурбаки (в частности, Андре Вейлем) в 1939 году.
Символ ∅ <displaystyle varnothing > идентичен букве Ø в датско-норвежском алфавите [2] .
Свойства пустого множества [ править | править код ]
- Ни одно множество не является элементом пустого множества. Иначе говоря, ∀ a ( a ∉ ∅ ) <displaystyle forall a (a
otin varnothing )>и, в частности, ∅ ∉ ∅ <displaystyle varnothing
otin varnothing >. - Пустое множество является подмножеством любого множества. Иначе говоря, ∀ a ( ∅ ⊆ a ) <displaystyle forall a (varnothing subseteq a)>и, в частности, ∅ ⊆ ∅ <displaystyle varnothing subseteq varnothing >.
- Объединение пустого множества с любым множеством равно последнему [указанному множеству]. Иначе говоря, ∀ a ( ∅ ∪ a = a ) <displaystyle forall a (varnothing cup a=a)>и, в частности, ∅ ∪ ∅ = ∅ <displaystyle varnothing cup varnothing =varnothing >.
- Пересечение пустого множества с любым множеством равно пустому множеству. Иначе говоря, ∀ a ( ∅ ∩ a = ∅ ) <displaystyle forall a (varnothing cap a=varnothing )>и, в частности, ∅ ∩ ∅ = ∅ <displaystyle varnothing cap varnothing =varnothing >.
- Пересечение любого множества с его дополнением равно пустому множеству. Иначе говоря, ∀ a ( a ∩ a ¯ = ∅ ) <displaystyle forall a (acap <overline >=varnothing )>.
- Исключение пустого множества из любого множества равно последнему [указанному множеству]. Иначе говоря, ∀ a ( a ∖ ∅ = a ) <displaystyle forall a (asetminus varnothing =a)>и, в частности, ∅ ∖ ∅ = ∅ <displaystyle varnothing setminus varnothing =varnothing >.
- Исключение любого множества из пустого множества равно пустому множеству. Иначе говоря, ∀ a ( ∅ ∖ a = ∅ ) <displaystyle forall a (varnothing setminus a=varnothing )>и, в частности, ∅ ∖ ∅ = ∅ <displaystyle varnothing setminus varnothing =varnothing >.
- Симметрическая разность пустого множества с любым множеством равна последнему [указанному множеству]. Иначе говоря, ∀ a ( ∅ △ a = a ∧ a △ ∅ = a ) <displaystyle forall a (varnothing riangle a=a land a riangle varnothing =a)>и, в частности, ∅ △ ∅ = ∅ <displaystyle varnothing riangle varnothing =varnothing >
- Декартово произведение пустого множества на любое множество равно пустому множеству. Иначе говоря, ∀ a ( ∅ × a = ∅ ∧ a × ∅ = ∅ ) <displaystyle forall a (varnothing imes a=varnothing land a imes varnothing =varnothing )>и, в частности, ∅ × ∅ = ∅ <displaystyle varnothing imes varnothing =varnothing >.
- Пустое множество — транзитивно. Иначе говоря, T r a n s ( ∅ ) <displaystyle mathrm
(varnothing )>, где T r a n s ( ∅ ) ⇔ ∀ b ( b ∈ ∅ → b ⊆ ∅ ) <displaystyle mathrm (varnothing )Leftrightarrow forall b (bin varnothing o bsubseteq varnothing )>. - Пустое множество — ординал. Иначе говоря, O r d ( ∅ ) <displaystyle mathrm
(varnothing )>, где O r d ( ∅ ) ⇔ T r a n s ( ∅ ) ∧ ∀ b ( b ∈ ∅ → T r a n s ( b ) ) <displaystyle mathrm (varnothing )Leftrightarrow mathrm (varnothing ) land forall b (bin varnothing o mathrm (b))>. - Мощность пустого множества равна нулю. Иначе говоря, | ∅ | = 0 <displaystyle |varnothing |=0>.
- Мера пустого множества равна нулю. Иначе говоря, μ ( ∅ ) = 0 <displaystyle mu (varnothing )=0>
См. также [ править | править код ]
Ссылки [ править | править код ]
Если — как это и предполагается в нашей системе — члены любого множества также суть множества (в том числе пустое множество), а не индивиды, то само собой разумеется, что единственным первичным конституентом. любого множества оказывается пустое множество.