Подмножество


Подмножество
На диаграмме кругов Эйлера видно, что A является подмножеством B, а B является надмножеством A.

Подмно́жество в теории множеств — это понятие части множества.

Содержание

Определение

Множество A является подмножеством множества B, если любой элемент, принадлежащий A, также принадлежит B. Формальное определение:

(A \subset B) \Leftrightarrow ( x \in A \Rightarrow x \in B ).

Множество B называется надмно́жеством множества A, если A — подмножество B.

Существует два символических обозначения для подмножеств:

«A является подмножеством B» обозначается «A является собственным подмножеством B» обозначается Примечание
A \subseteq B A \subset B Внешний вид символа \subseteq намекает, что если A=B, то A \subseteq B.
A \subset B A \subsetneq B Для понятия «подмножество» используется более простой символ, так как это понятие является более «фундаментальным».

К сожалению, обе системы обозначений используют символ \subset в разных смыслах, что может привести к путанице. В данной статье мы будем использовать последнюю систему обозначений.

То, что B называется надмножеством A, часто записывают B \supset A.

Множество всех подмножеств множества A обозначается \mathcal{P}A и называется множеством-степенью.

Собственное подмножество

Любое множество B является своим подмножеством. Если мы хотим исключить B из рассмотрения, мы пользуемся понятием со́бственного подмножества, которое определяется так:

Множество A является собственным подмножеством множества B, если A \subset B и A \ne B.

Пустое множество является подмножеством любого множества. Если мы вдобавок хотим исключить из рассмотрения пустое множество, мы пользуемся понятием нетривиа́льного подмножества, которое определяется так:

Множество A является нетривиальным подмножеством множества B, если A является собственным подмножеством B и A \ne \varnothing.

Примеры

  • Множества \varnothing, \{0\}, \{1,3,4\}. являются подмножествами множества \{ 0,1,2,3,4,5\}
  • Множества \{ \varnothing, \uparrow, moose \}, \{ $,%,*,\uparrow \}, \{\varnothing\}, \varnothing являются подмножествами множества \{ $, %, \varnothing, \uparrow, *, moose \}
  • Пусть A = \{a,b\}, тогда \mathcal{P}A = \{\varnothing, \{a\}, \{b\}, \{a,b\} \}.
  • Пусть A = \{1,2,3,4,5\},\; B = \{1,2,3\},\; C = \{4,5,6,7\}. Тогда B \subset A,\; C \not\subset A.

Свойства

Отношение подмножества обладает целым рядом свойств[1].

Подмножества конечных множеств

Если исходное множество конечно, то у него существует конечное количество подмножеств. А именно, у n-элементного множества существует 2^n подмножеств (включая пустое). Чтобы убедиться в этом, достаточно заметить, что каждый элемент может либо входить, либо не входить в подмножество, а значит, общее количество подмножеств будет n-кратным произведением двоек. Если же рассматривать только подмножества n-элементного множества из k\le n элементов, то их количество выражается биномиальным коэффициентом \textstyle\binom{n}{k}. Для проверки этого факта можно выбирать элементы подмножества последовательно. Первый элемент можно выбрать n способами, второй n-1 способом, и так далее, и, наконец, k-й элемент можно выбрать n-k+1 способом. Таким образом мы получим последовательность из k элементов, и ровно k! таким последовательностям соответствует одно подмножество. Значит, всего найдется \textstyle\frac{n(n-1)\dots(n-k+1)}{k!}=\binom{n}{k} таких подмножеств.

Примечания

  1. В. А. Ильин, В. А. Садовничий, Бл. Х. Сендов. Глава 2. Вещественные числа // Математический анализ / Под ред. А. Н. Тихонова. — 3-е изд., перераб. и доп. — М.: Проспект, 2006. — Т. 1. — С. 65. — 672 с. — ISBN 5-482-00445-7

См. также

Ссылки

Логотип Викисловаря
В Викисловаре есть статья «подмножество»

Wikimedia Foundation. 2010.

Синонимы:

Смотреть что такое "Подмножество" в других словарях:

  • ПОДМНОЖЕСТВО — понятие теории множеств. Подмножество множества А множество В (обозначается В ? А), каждый элемент которого принадлежит А. Напр., множество всех четных чисел является подмножеством множества всех целых чисел …   Большой Энциклопедический словарь

  • подмножество — совокупность; множество Словарь русских синонимов. подмножество сущ., кол во синонимов: 1 • множество (88) Словарь синонимов ASIS. В.Н. Тришин …   Словарь синонимов

  • ПОДМНОЖЕСТВО — нем. Teilgesamtheit. Множество, каждый элемент к рого является элементом другого множества. Antinazi. Энциклопедия социологии, 2009 …   Энциклопедия социологии

  • Подмножество — [subset] см. Множество …   Экономико-математический словарь

  • подмножество — — [http://www.rfcmd.ru/glossword/1.8/index.php?a=index&d=4609] Тематики защита информации EN subset …   Справочник технического переводчика

  • подмножество — а; ср. Матем. Множество элементов, каждый из которых принадлежит другому, более крупному, большому множеству. * * * подмножество понятие теории множеств. Подмножество множества А  множество В (обозначается ), каждый элемент которого принадлежит А …   Энциклопедический словарь

  • подмножество — ▲ множество ↑ частичный подмножество множество, являющееся частью большего множества. под... (подсистема). подгруппа. | фракция. сочетание целое подмножество (матем). сочетать. ▼ вид ↓ выделять (из прочих) с …   Идеографический словарь русского языка

  • Подмножество —         множества А (математическое), любое множество, каждый элемент которого принадлежит А. Например, множество всех чётных чисел является П. множества всех целых чисел. Если к числу множеств причислить «пустое» множество, совсем не содержащее… …   Большая советская энциклопедия

  • ПОДМНОЖЕСТВО — понятие теории множеств. П. множества А множество В (обозначается В с Л), каждый элемент к рого принадлежит А. Напр., множество всех чётных чисел является П. множества всех целых чисел …   Естествознание. Энциклопедический словарь

  • подмножество — подмн ожество, а …   Русский орфографический словарь

Книги

Другие книги по запросу «Подмножество» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.