В математике , то пустое множество является уникальным множество не имеющие элементов ; его размер или количество элементов (количество элементов в наборе) является нулевым . [1] [2] Некоторые аксиоматические теории множеств гарантируют, что пустое множество существует, включая аксиому пустого множества , в то время как в других теориях его существование может быть выведено. Многие возможные свойства множеств пусто верны для пустого множества.
В некоторых учебниках и популяризациях пустой набор называется «нулевым набором». [2] Однако нулевое множество - это отдельное понятие в контексте теории меры , в которой оно описывает множество нулевой меры (которое не обязательно является пустым). Пустой набор можно также назвать пустым набором .
Обозначение
Общие обозначения для пустого набора включают "{}", "»и« ∅ ». [1] Последние два символа были введены группой Бурбаки (в частности, Андре Вейлем ) в 1939 году, вдохновившись буквой Ø в датском и норвежском алфавитах. [3] В прошлом,« 0 » иногда использовался как символ для пустого множества, но теперь это считается неправильным использованием обозначений. [4]
Символ ∅ доступен в точке Unicode U + 2205. [5] Его можно закодировать в HTML как & empty; и как & # 8709; . Его можно закодировать в LaTeX как \ varnothing . Символкодируется в LaTeX как \ emptyset .
При письме на таких языках, как датский и норвежский, где символ пустого набора можно спутать с буквенной буквой Ø (как при использовании символа в лингвистике), вместо него можно использовать символ Unicode U + 29B0 REVERSED EMPTY SET ⦰. [6]
Характеристики
В стандартной аксиоматической теории множеств по принципу протяженности два множества равны, если они имеют одинаковые элементы. В результате может быть только один набор без элементов, поэтому используется «пустой набор», а не «пустой набор».
В следующем документе перечислены некоторые из наиболее примечательных свойств, связанных с пустым набором. Для получения дополнительной информации об используемых в нем математических символах см. Список математических символов .
Для любого набора A :
- Пустое множество является подмножеством из A :
- Союз из А с пустым множеством :
- Пересечение из А с пустым множеством является пустым множеством:
- Декартово произведение из А и пустого множества является пустым множеством:
Пустой набор имеет следующие свойства:
- Его единственное подмножество - это само пустое множество:
- Булеан пустого множества является множество , содержащее только пустое множество:
- Количество элементов пустого множества (т. Е. Его мощность ) равно нулю:
Однако связь между пустым множеством и нулем идет дальше: в стандартном теоретико-множественном определении натуральных чисел множества используются для моделирования натуральных чисел. В этом контексте ноль моделируется пустым множеством.
Для любого свойства P :
- Для каждого элемента , свойство P выполнено ( пустая истина ).
- Нет элемента для которых свойство P имеет.
И наоборот, если для некоторого свойства P и некоторого множества V выполняются следующие два утверждения:
- Для каждого элемента V свойство Р имеет место
- Там нет элемента V , для которых свойство Р имеет место
тогда V = ∅.
По определению подмножества , пустое множество является подмножеством любого множества A . То есть каждый элемент x изпринадлежит A . В самом деле, если бы это было неправдой, каждый элементнаходится в A , то будет хотя бы один элемент изчто нет в А . Поскольку нет элементов вообще нет элемента что не в A . Любое утверждение, которое начинается "для каждого элемента"не делает никаких существенных претензий; это пустая истина . Это часто перефразируется как" все верно для элементов пустого множества ".
Операции над пустым множеством
Когда говорят о сумме элементов конечного множества, неизбежно приводят к соглашению, что сумма элементов пустого множества равна нулю. Причина этого в том, что ноль - это тождественный элемент для сложения. Точно так же произведение элементов пустого набора следует рассматривать как единицу (см. Пустой продукт ), поскольку единица является единичным элементом для умножения.
Психоз является перестановкой множества без неподвижных точек . Пустое множество можно рассматривать как нарушение самого себя, потому что оно имеет только одну перестановку (), и совершенно верно, что ни один элемент (из пустого набора) не может быть найден, который сохранил бы свое исходное положение.
В других областях математики
Расширенные действительные числа
Поскольку пустой набор не имеет члена, когда он рассматривается как подмножество любого упорядоченного набора , каждый член этого набора будет верхней границей и нижней границей для пустого набора. Например, если рассматривать как подмножество действительных чисел с его обычным порядком, представленным линией действительных чисел , каждое действительное число является как верхней, так и нижней границей пустого набора. [7] Если рассматривать как подмножество расширенных вещественных чисел, образованных добавлением двух «чисел» или «точек» к действительным числам (а именно отрицательной бесконечности , обозначеннойкоторое определяется как меньшее, чем любое другое расширенное действительное число, и положительная бесконечность , обозначаемая которое определяется как большее, чем любое другое расширенное действительное число), мы имеем следующее:
а также
То есть наименьшая верхняя граница (sup или supremum ) пустого множества - отрицательная бесконечность, а наибольшая нижняя граница (inf или infimum ) - положительная бесконечность. По аналогии с вышеизложенным, в области расширенных вещественных чисел отрицательная бесконечность является единичным элементом для операторов максимума и супремума, в то время как положительная бесконечность является единичным элементом для операторов минимума и инфимума.
Топология
В любом топологическом пространстве X , пустое множество открыто по определению, как X . Поскольку дополнение к открытому множеству замкнуто, а пустое множество и X являются дополнениями друг друга, пустое множество также замкнуто, что делает его открытым множеством . Более того, пустое множество компактно в силу того, что каждое конечное множество компактно.
Замыкание пустого множества пусто. Это известно как «сохранение недействительных союзов ».
Теория категорий
Если A - множество, то существует ровно одна функция f из ∅ в A , пустая функция . В результате, пустое множество является единственным исходным объектом в категории множеств и функций.
Пустое множество можно превратить в топологическое пространство , называемое пустым пространством, только одним способом: определив пустое множество как открытое . Это пустое топологическое пространство является единственным исходным объектом в категории топологических пространств с непрерывными отображениями . Фактически, это строгий начальный объект : только пустой набор имеет функцию для пустого набора.
Теория множеств
В конструкции ординалов фон Неймана 0 определяется как пустое множество, а преемник ординала определяется как. Таким образом, мы имеем, , , и так далее. Конструкция фон Неймана, наряду с аксиомой бесконечности , которая гарантирует существование хотя бы одного бесконечного множества, может быть использована для построения множества натуральных чисел,, такая, что выполняются аксиомы арифметики Пеано .
Под вопросом существование
Аксиоматическая теория множеств
В теории множеств Цермело существование пустого множества гарантируется аксиомой пустого множества , а его единственность следует из аксиомы экстенсиональности . Однако аксиому о пустом множестве можно показать как минимум двумя способами:
- Стандартная логика первого порядка подразумевает, просто из логических аксиом , что что- то существует, и, говоря языком теории множеств, эта вещь должна быть множеством. Теперь существование пустого множества легко следует из аксиомы разделенности .
- Даже при использовании свободной логики (которая логически не подразумевает, что что-то существует) уже существует аксиома, подразумевающая существование по крайней мере одного набора, а именно аксиома бесконечности .
Философские вопросы
Хотя пустое множество является стандартной и широко принятой математической концепцией, оно остается онтологическим курьезом, значение и полезность которого обсуждают философы и логики.
Пустое множество - это не то же самое, что ничего ; скорее, это набор, внутри которого ничего нет, а набор - это всегда что-то . Эту проблему можно решить, рассматривая набор как мешок - пустой мешок, несомненно, все еще существует. Дарлинг (2004) объясняет, что пустой набор - это не ничто, а скорее «набор всех треугольников с четырьмя сторонами, набор всех чисел, которые больше девяти, но меньше восьми, и набор всех начальных ходов в шахматах, которые привлечь короля ". [8]
Популярный силлогизм
- Нет ничего лучше вечного счастья; бутерброд с ветчиной лучше, чем ничего; поэтому бутерброд с ветчиной лучше вечного счастья
часто используется для демонстрации философского отношения между концепцией «ничто» и пустым множеством. Дарлинг пишет, что контраст можно увидеть, переписав утверждения «Нет ничего лучше вечного счастья» и «Сэндвич с ветчиной лучше, чем ничего» в математическом тоне. Согласно Дарлингу, первое эквивалентно: «Набор всего, что лучше вечного счастья, - это"и последнее к" Набор {бутерброд с ветчиной} лучше, чем набор ". Первый сравнивает элементы наборов, а второй сравнивает сами наборы. [8]
Джонатан Лоу утверждает, что пока пустой набор:
- «несомненно, была важной вехой в истории математики,… мы не должны предполагать, что ее полезность в вычислениях зависит от того, действительно ли она обозначает какой-либо объект».
также бывает, что:
- «Все, что нам когда-либо сообщали о пустом множестве, это то, что оно (1) является множеством, (2) не имеет членов и (3) уникально среди множеств тем, что не имеет членов. Однако есть очень много вещей, которые ' не имеют членов в теоретико-множественном смысле, а именно все не-множества. Совершенно ясно, почему у этих вещей нет членов, поскольку они не являются множествами. Неясно, как может быть уникально среди множеств, набор, который не имеет членов. Мы не можем вызвать такую сущность к существованию простым условием ". [9]
Джордж Булос утверждал, что многое из того, что до сих пор было получено теорией множеств, может быть так же легко получено путем множественной количественной оценки индивидов, без овеществления множеств как единичных сущностей, имеющих в качестве членов другие сущности. [10]
Смотрите также
- 0
- Жилой комплекс
- Ничего такого
- Набор мощности
Рекомендации
- ^ а б «Исчерпывающий список символов теории множеств» . Математическое хранилище . 2020-04-11 . Проверено 11 августа 2020 .
- ^ а б Вайсштейн, Эрик В. «Пустой набор» . mathworld.wolfram.com . Проверено 11 августа 2020 .
- ^ Раннее использование символов теории множеств и логики.
- ^ Рудин, Вальтер (1976). Принципы математического анализа (3-е изд.). Макгроу-Хилл. п. 300. ISBN 007054235X.
- ^ Стандарт Юникода 5.2
- ^ например, Нина Гроннум (2005, 2013) Фонетик и фонологи: Альмен и данск. Академиск форлаг, Копенгаген.
- Перейти ↑ Bruckner, AN, Bruckner, JB, and Thomson, BS (2008). Элементарный действительный анализ , 2-е издание, с. 9.
- ^ а б DJ Darling (2004). Универсальная книга математики . Джон Уайли и сыновья . п. 106. ISBN 0-471-27047-4.
- ^ Э. Дж. Лоу (2005). Локк . Рутледж . п. 87.
- ^ Джордж Булос (1984), «Быть - значит быть значением переменной», The Journal of Philosophy 91: 430–49. Перепечатано в 1998 г., Logic, Logic and Logic ( Ричард Джеффри и Берджесс, Дж., Ред.) Harvard University Press , 54–72.
дальнейшее чтение
- Халмос, Пол , Наивная теория множеств . Принстон, Нью-Джерси: D. Van Nostrand Company, 1960. Перепечатано Springer-Verlag, Нью-Йорк, 1974. ISBN 0-387-90092-6 (издание Springer-Verlag). Перепечатано Martino Fine Books, 2011. ISBN 978-1-61427-131-4 (издание в мягкой обложке).
- Jech, Thomas (2002), Теория множеств , Монографии Springer по математике (изд. 3-го тысячелетия), Springer, ISBN 3-540-44085-2
- Грэм, Малкольм (1975), Современная элементарная математика (2-е изд.), Харкорт Брейс Йованович , ISBN 0155610392
Внешние ссылки
- Вайсштейн, Эрик В. «Пустой набор» . MathWorld .