Подмножество: различия между версиями
[непроверенная версия] | [непроверенная версия] |
·1e0nid· (обсуждение | вклад) м →Определение: шаблон {видимый якорь} для перенаправления |
·1e0nid· (обсуждение | вклад) м →Свойства: оформление |
||
Строка 79: | Строка 79: | ||
* [[Пустое множество]] является подмножеством любого другого, поэтому оно является наименьшим множеством относительно отношения подмножества: |
* [[Пустое множество]] является подмножеством любого другого, поэтому оно является наименьшим множеством относительно отношения подмножества: |
||
*: <math>\varnothing \subset B</math> |
*: <math>\varnothing \subset B</math> |
||
* Для любых трёх множеств <math>A,</math> <math>B</math> и <math>X</math> таких, что <math>A,B\subset X,</math> все |
* Для любых трёх множеств <math>A,</math> <math>B</math> и <math>X</math> таких, что <math>A,B\subset X,</math> : равносильны все следующие утверждения:<ref>{{книга|автор=Келли Дж.[[:en:John L. Kelley|<sup>[en]</sup>]]|заглавие=Общая топология|ответственный=пер. с англ. [[Архангельский, Александр Владимирович|А.В. Архангельского]]|издание=2-е изд|место=М.|издательство=[[Наука (издательство)|Наука]]|год=1981|страницы=16|страниц=432|оригинал=General topology — 1957}}</ref> |
||
** <math>A \subset B;</math> |
** <math>A \subset B;</math> |
||
** <math>A \cap B = A;</math> |
** <math>A \cap B = A;</math> |
||
Строка 88: | Строка 88: | ||
** <math>(X \setminus A) \cup B = X;</math> |
** <math>(X \setminus A) \cup B = X;</math> |
||
** <math>B^{\complement} \subset A^{\complement}</math> |
** <math>B^{\complement} \subset A^{\complement}</math> |
||
: являются равносильными<ref>''Келли Дж.'' Общая топология. — М., Наука, 1981. — с. 16</ref>. |
|||
== Подмножества конечных множеств == |
== Подмножества конечных множеств == |
Версия от 11:07, 14 марта 2023
![]() | В статье не хватает ссылок на источники (см. рекомендации по поиску). |
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b0/Venn_A_subset_B.svg/150px-Venn_A_subset_B.svg.png)
Подмно́жество в теории множеств — это понятие части множества.
Определение
Множество называется подмножеством множества , если все элементы, принадлежащие , также принадлежат [1]. Формальное определение:
Существует две системы символических обозначений для подмножеств:
« является подмножеством (нестрогим)» обозначается | « является строгим подмножеством » обозначается | Примечание |
---|---|---|
Символ является аналогом , то есть в случае допускается равенство множеств;
символ является аналогом , то есть в случае в есть элементы, которых нет в . | ||
Для понятия «(нестрогое) подмножество» используется более простой символ, так как оно считается более «фундаментальным». |
Обе системы обозначений предусмотрены стандартом ISO 31-11, но используют символ в разных смыслах, что может привести к путанице. В данной статье мы будем использовать последнюю систему обозначений.
Множество называется надмно́жеством множества , если является подмножеством множества .
То, что является надмножеством множества , записывают , то есть
Множество всех подмножеств множества обозначается .
Множества и называются равными , только когда они состоят из одних и тех же элементов, то есть и .[2]
Собственное и несобственное подмножество
Любое множество среди своих подмножеств содержит само себя и пустое множество. Само множество и пустое множество называют несобственными подмножествами, остальные подмножества называют собственными[3].
То есть, если мы хотим исключить само и пустое множество из рассмотрения, мы пользуемся понятием со́бственного подмножества, которое определяется так:
- множество является собственным подмножеством множества , только если и , .
Зарубежная литература
В зарубежной литературе несобственные подмножества в вышеуказанном смысле (само множество B и пустое множество) называют тривиальными, а собственные — нетривиальными, а термин «собственное подмножество» (proper subset) применяется в значении «строгое включение A в B» или «подмножество A, строго входящее в множество B, то есть такое, которому не принадлежит как минимум один элемент множества B», то есть здесь понятие «собственное подмножество» уже, наоборот, включает пустое множество.
В этом случае, если вдобавок нужно исключить из рассмотрения пустое множество, нужно использовать понятие нетривиа́льного подмножества, которое определяется так:
- множество является нетривиальным подмножеством множества , если является собственным подмножеством (proper subset) и .
Примеры
- Множества являются подмножествами множества
- Множества являются тривиальными (несобственными) подмножествами множества все остальные подмножества из элементов множества — нетривиальными или собственными.
- Множества являются подмножествами множества
- Пусть Тогда
- Пусть . Тогда а также (то есть C не является ни строгим, ни нестрогим подмножеством A).
Свойства
Отношение подмножества обладает целым рядом свойств[4].
- Отношение подмножества является отношением частичного порядка:
- Отношение подмножества рефлексивно:
- Отношение подмножества антисимметрично:
- Отношение подмножества транзитивно:
- Отношение подмножества рефлексивно:
- Пустое множество является подмножеством любого другого, поэтому оно является наименьшим множеством относительно отношения подмножества:
- Для любых трёх множеств и таких, что : равносильны все следующие утверждения:[5]
Подмножества конечных множеств
Если исходное множество конечно, то у него существует конечное количество подмножеств. А именно, у -элементного множества существует подмножеств (включая пустое). Чтобы убедиться в этом, достаточно заметить, что каждый элемент может либо входить, либо не входить в подмножество, а значит, общее количество подмножеств будет -кратным произведением двоек. Если же рассматривать только подмножества -элементного множества из элементов, то их количество выражается биномиальным коэффициентом . Для проверки этого факта можно выбирать элементы подмножества последовательно. Первый элемент можно выбрать способами, второй способом, и так далее, и, наконец, -й элемент можно выбрать способом. Таким образом мы получим последовательность из элементов, и ровно таким последовательностям соответствует одно подмножество. Значит, всего найдётся таких подмножеств.
Примечания
- ↑ Биркгоф, 1976, с. 10.
- ↑ Мельников О. В., Ремеслеников В. Н., Романьков В. А. Общая алгебра. Том 1. — М., Наука, 1990. — с. 11
- ↑ Подмножество. // Математический энциклопедический словарь. / ред. Ю. В. Прохоров. — М., Советская энциклопедия, 1988. — с. 465
- ↑ В. А. Ильин, В. А. Садовничий, Бл. Х. Сендов. Глава 2. Вещественные числа // Математический анализ / Под ред. А. Н. Тихонова. — 3-е изд., перераб. и доп. — М.: Проспект, 2006. — Т. 1. — С. 65. — 672 с. — ISBN 5-482-00445-7.
- ↑ Келли Дж.[en]. Общая топология = General topology — 1957 / пер. с англ. А.В. Архангельского. — 2-е изд. — М.: Наука, 1981. — С. 16. — 432 с.
Литература
- Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств.. — 3-е изд., стереотип. — М.: МЦНМО, 2008. — 128 с. — ISBN 978-5-94057-321-0.
- Биркгоф Г., Барти Т. Современная прикладная алгебра. — М.: Мир, 1976. — 400 с.