Является ли множество а подмножеством в. Что такое подмножество? Свойства включения множеств

Множеством называется совокупность определенных вполне различаемых объектов, рассматриваемых как единое целое.

Под множеством понимается некоторая совокупность объектов, объединенных по какому-то общему признаку.

Отдельные объекты, из которых состоит множество, называются элементами множества.

Множество обозначают символом A = {x }, где x - общее наименование элементов множества A . Часто множество записывают в виде A = {a , b , c , ...}, где в фигурных скобках указаны элементы множества A . Будем пользоваться обозначениями:

N - множество всех натуральных чисел;
Z - множество всех целых чисел;
Q - множество всех рациональных чисел;
R - множество всех действительных чисел;
C - множество всех комплексных чисел;
Z 0 - множество всех неотрицательных целых чисел.

a принадлежит множеству A .

Запись (или ) означает, что элемент a не принадлежит множеству A .

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

Множество B , все элементы которого принадлежат множеству A , называется подмножеством множества A , и при этом записывают (или )

Всегда , так как каждый элемент множества, естественно, принадлежит A . Пустое множество, т. е. множество, не содержащее ни одного элемента, обозначим символом . Любое множество содержит пустое множество в качестве своего подмножества.

Если , то A и B называются равными множествами , при этом записывают A = B .

5. Операции над множествами: объединение множеств, свойства этой операции.

Объединение множеств А и В - это множество, состоящее из всех тех и только тех элементов, которые принадлежат хотя бы одному из множеств А или В, т.е. принадлежат А или принадлежат В.

объединением множеств A и B называется множество

6. Операции над множествами: пересечение множеств, свойства этой операции.

Пересечение множеств А и В - это множество, состоящее из всех тех и только тех элементов, которые принадлежат как множеству А, так и множеству В.

Пересечением подмножеств A и B называется множество

7. Элементы комбинаторики: Перестановки.

Все разнообразие комбинаторных формул может быть выведено из двух основных утверждений, касающихся конечных множеств – правило суммы и правило произведения .

Правило суммы : пусть имеется n попарно непересекающихся множеств A 1 , A 2 , …, A n , содержащих m 1 , m 2 , …, m n элементов соответственно. Число способов, которыми можно выбрать один элемент из всех этих множеств, равно m 1 + m 2 + … + m n .

Пример . Если на первой полке стоит X книг, а на второй Y , то выбрать книгу с первой или второй полки, можно X+Y способами.

Правило произведения : пусть имеется n множеств A 1 , A 2 , …, A n содержащих m 1 , m 2 , …, m n элементов соответственно. Число способов, которыми можно выбрать по одному элементу из каждого множества, т. е. построить кортеж (а 1 , а 2 , ..., а n ), где а i Î А i1 (i = 1, 2, …, n ), равно m 1 · m 2 · … · m n .

Пример . Если на первой полке стоит 5 книг, а на второй 10, то выбрать одну книгу с первой полки и одну со второй можно 5*10=50 способами.

Факториал. Так называют часто встречающуюся в практике функцию, определенную для целых неотрицательных чисел. Название функции происходит от английского математического термина factor - «сомножитель». Обозначается она . Для каждого целого положительного числа функция равна произведению всех целых чисел от 1 до . Например: . Для удобства полагают по определению . Особенно часто встречается факториал в комбинаторике. Например, количество способов выстроить школьников в одну шеренгу равняется

Определение. Если в некотором множестве переставлять местами элементы, оставляя неизменным их количество, то каждая полученная таким образом комбинация называется перестановкой .

Общее число перестановок из m элементов обозначается P m и вычисляется по формуле:

8. Элементы комбинаторики: Сочетания.

Определение. Если из т элементов составлять группы по п элементов в каждой, не обращая внимания на порядок элементов в группе, то получившиеся при этом комбинации называются сочетаниями из т элементов по п .

Общее число сочетаний находится по формуле:

9. Элементы комбинаторики: Размещения.

«Под множеством мы понимаем объединение в одно целое определенных, вполне различимых объектов нашей интуиции или нашей мысли» - так описал понятие «множество» Георг Кантор, основатель теории множеств.
Основные предпосылки канторовской теории множеств сводятся к следующему:
Множество может состоять из любых различимых объектов.
Множество однозначно определяется набором составляющих его объектов.
Любое свойство определяет множество объектов, которые этим свойством обладают.

Если х - объект, Р - свойство, Р(х) - обозначение того, что х обладает свойством Р, то через {х|Р(х)} обозначают весь класс объектов, обладающих свойством Р. Объекты, составляющие класс или множество, называют элементами класса или множества.

Термин «множество » употребляется как синоним понятий совокупность, собрание, коллекция некоторых элементов. Так, можно говорить о:
а) множестве пчёл в улье,
б) множестве точек отрезка,
в) множестве вершин квадрата или о множествах его сторон и диагоналей,
г) множестве студентов в аудитории и т.д.
В приведённых примерах в случаях а), в)-г) соответствующие множества состоят из определённого конечного числа предметов, такие множества называются конечными . Множество точек отрезка (пример б)) пересчитать невозможно, поэтому такие множества называются бесконечными . Множество, не содержащее ни одного элемента, называется пустым множеством.

Наиболее простая форма задания множества — перечисление его элементов, например А={4, 7, 13} (множество А состоит из трёх элементов — целых чисел 4, 7, 13). Другая часто применяемая форма задания — указание свойств элементов множества, например A = {x| x^2 ≤ 4} — множество чисел х, удовлетворяющих указанному условию.

Множества обычно обозначаются большими буквами А, В, С,…., а их элементы — малыми: а, в, с,… Запись а ∈ А (читается: а принадлежит А) или A ∋ a (читается: А содержит а) означает, что а есть элемент множества А. Пустое множество обозначается значком Ø.

Если каждый элемент множества В является также элементом множества А, множество В называется подмножеством множества А (обозначение — B ⊆ A или A ⊇ B).

Каждое множество является своим подмножеством (это самое «широкое» подмножество множества). Пустое множество является подмножеством любого множества (это самое «узкое» подмножество). Любое другое подмножество множества А содержит хотя бы один элемент множества А, но не все его элементы. Такие подмножества называются истинными, или собственными подмножествами. Для истинных подмножеств множества А применяется обозначение B ⊂ A или A ⊃ B. Если одновременно B ⊆ A и A ⊆ B, т.е каждый элемент множества В принадлежит А, и в то же время каждый элемент А принадлежит В, то А и В, очевидно, состоят из одних и тех же элементов и, следовательно, совпадают. В этом случае применяется знак равенства множеств: A = B. (Символы ∈, ∋, ⊂, ⊃, ⊆, ⊇ называются символами включения).

Геометрически множества обычно изображаются как некоторые множества точек плоскости. В любой имеющей смысл задаче обычно рассматриваются подмножества некоторого «наибольшего» множества U, которое называют универсальным множеством. Так, на рис. 1 изображено универсальное множество U и два его подмножества — множества А и В, B ⊂ A. Сами картинки типа рис. 1 называются диаграммами Эйлера-Венна .

Раздел очень прост в использовании. В предложенное поле достаточно ввести нужное слово, и мы вам выдадим список его значений. Хочется отметить, что наш сайт предоставляет данные из разных источников – энциклопедического, толкового, словообразовательного словарей. Также здесь можно познакомиться с примерами употребления введенного вами слова.

Значение слова подмножество

подмножество в словаре кроссвордиста

Энциклопедический словарь, 1998 г.

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

понятие теории множеств. Подмножество множества А - множество В (обозначается В? А), каждый элемент которого принадлежит А. Напр., множество всех четных чисел является подмножеством множества всех целых чисел.

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

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

Википедия

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

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

Примеры употребления слова подмножество в литературе.

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

Представленный документ МОЖЕТ быть как подмножеством оригинальной версии, так и содержать сведения, которые в ней не были представлены.

Хармсовский ноль как некое множество, включающее в себя бесконечный ряд нулевых подмножеств , -- это мир бесконечности.

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

Создание индекса с правилом фрагментации, не совпадающим с правилом фрагментации таблицы, полезно в тех случаях, когда в разных приложениях выборки из таблицы осуществляются на основе разных подмножеств ее атрибутов.

Принадлежащие A, также принадлежит B. Формальное определение:

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

Множество B называется надмно́жеством множества A, если A - подмножество 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.

Свойства

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

  • Отношение подмножества является отношением частичного порядка :
    • Отношение подмножества рефлексивно : B \subset B
    • Отношение подмножества антисимметрично : (A \subset B \; \and \; B \subset A) \Leftrightarrow (A = B)
    • Отношение подмножества транзитивно : (A \subset B \;\and \; B \subset C) \Rightarrow (A \subset C)
  • Пустое множество является подмножеством любого другого, поэтому оно является наименьшим множеством относительно отношения подмножества: \varnothing \subset B
  • Для любых двух множеств A и B следующие утверждения эквивалентны:
    • A \subset B.
    • A \cap B = A.
    • A \cup B = B.
    • B^{\complement} \subset A^{\complement}.

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

Если исходное множество конечно, то у него существует конечное количество подмножеств. А именно, у 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. Начала теории множеств.. - 3-е изд., стереотип. - М .: МЦНМО, 2008. - 128 с. - ISBN 978-5-94057-321-0 .

Отрывок, характеризующий Подмножество

– Я не виноват, что разговор зашел при других офицерах. Может быть, не надо было говорить при них, да я не дипломат. Я затем в гусары и пошел, думал, что здесь не нужно тонкостей, а он мне говорит, что я лгу… так пусть даст мне удовлетворение…
– Это всё хорошо, никто не думает, что вы трус, да не в том дело. Спросите у Денисова, похоже это на что нибудь, чтобы юнкер требовал удовлетворения у полкового командира?
Денисов, закусив ус, с мрачным видом слушал разговор, видимо не желая вступаться в него. На вопрос штаб ротмистра он отрицательно покачал головой.
– Вы при офицерах говорите полковому командиру про эту пакость, – продолжал штаб ротмистр. – Богданыч (Богданычем называли полкового командира) вас осадил.
– Не осадил, а сказал, что я неправду говорю.
– Ну да, и вы наговорили ему глупостей, и надо извиниться.
– Ни за что! – крикнул Ростов.
– Не думал я этого от вас, – серьезно и строго сказал штаб ротмистр. – Вы не хотите извиниться, а вы, батюшка, не только перед ним, а перед всем полком, перед всеми нами, вы кругом виноваты. А вот как: кабы вы подумали да посоветовались, как обойтись с этим делом, а то вы прямо, да при офицерах, и бухнули. Что теперь делать полковому командиру? Надо отдать под суд офицера и замарать весь полк? Из за одного негодяя весь полк осрамить? Так, что ли, по вашему? А по нашему, не так. И Богданыч молодец, он вам сказал, что вы неправду говорите. Неприятно, да что делать, батюшка, сами наскочили. А теперь, как дело хотят замять, так вы из за фанаберии какой то не хотите извиниться, а хотите всё рассказать. Вам обидно, что вы подежурите, да что вам извиниться перед старым и честным офицером! Какой бы там ни был Богданыч, а всё честный и храбрый, старый полковник, так вам обидно; а замарать полк вам ничего? – Голос штаб ротмистра начинал дрожать. – Вы, батюшка, в полку без году неделя; нынче здесь, завтра перешли куда в адъютантики; вам наплевать, что говорить будут: «между павлоградскими офицерами воры!» А нам не всё равно. Так, что ли, Денисов? Не всё равно?
Денисов всё молчал и не шевелился, изредка взглядывая своими блестящими, черными глазами на Ростова.
– Вам своя фанаберия дорога, извиниться не хочется, – продолжал штаб ротмистр, – а нам, старикам, как мы выросли, да и умереть, Бог даст, приведется в полку, так нам честь полка дорога, и Богданыч это знает. Ох, как дорога, батюшка! А это нехорошо, нехорошо! Там обижайтесь или нет, а я всегда правду матку скажу. Нехорошо!
И штаб ротмистр встал и отвернулся от Ростова.
– Пг"авда, чог"т возьми! – закричал, вскакивая, Денисов. – Ну, Г"остов! Ну!
Ростов, краснея и бледнея, смотрел то на одного, то на другого офицера.
– Нет, господа, нет… вы не думайте… я очень понимаю, вы напрасно обо мне думаете так… я… для меня… я за честь полка.да что? это на деле я покажу, и для меня честь знамени…ну, всё равно, правда, я виноват!.. – Слезы стояли у него в глазах. – Я виноват, кругом виноват!… Ну, что вам еще?…
– Вот это так, граф, – поворачиваясь, крикнул штаб ротмистр, ударяя его большою рукою по плечу.
– Я тебе говог"ю, – закричал Денисов, – он малый славный.
– Так то лучше, граф, – повторил штаб ротмистр, как будто за его признание начиная величать его титулом. – Подите и извинитесь, ваше сиятельство, да с.
– Господа, всё сделаю, никто от меня слова не услышит, – умоляющим голосом проговорил Ростов, – но извиняться не могу, ей Богу, не могу, как хотите! Как я буду извиняться, точно маленький, прощенья просить?
Денисов засмеялся.
– Вам же хуже. Богданыч злопамятен, поплатитесь за упрямство, – сказал Кирстен.
– Ей Богу, не упрямство! Я не могу вам описать, какое чувство, не могу…
– Ну, ваша воля, – сказал штаб ротмистр. – Что ж, мерзавец то этот куда делся? – спросил он у Денисова.
– Сказался больным, завтг"а велено пг"иказом исключить, – проговорил Денисов.
– Это болезнь, иначе нельзя объяснить, – сказал штаб ротмистр.
– Уж там болезнь не болезнь, а не попадайся он мне на глаза – убью! – кровожадно прокричал Денисов.
В комнату вошел Жерков.
– Ты как? – обратились вдруг офицеры к вошедшему.
– Поход, господа. Мак в плен сдался и с армией, совсем.
– Врешь!
– Сам видел.
– Как? Мака живого видел? с руками, с ногами?
– Поход! Поход! Дать ему бутылку за такую новость. Ты как же сюда попал?
– Опять в полк выслали, за чорта, за Мака. Австрийской генерал пожаловался. Я его поздравил с приездом Мака…Ты что, Ростов, точно из бани?
– Тут, брат, у нас, такая каша второй день.
Вошел полковой адъютант и подтвердил известие, привезенное Жерковым. На завтра велено было выступать.
– Поход, господа!
– Ну, и слава Богу, засиделись.

Кутузов отступил к Вене, уничтожая за собой мосты на реках Инне (в Браунау) и Трауне (в Линце). 23 го октября.русские войска переходили реку Энс. Русские обозы, артиллерия и колонны войск в середине дня тянулись через город Энс, по сю и по ту сторону моста.

В математике понятие множества является одним из основных, фундаментальным, однако единого определения множества не существует. Одним из наиболее устоявшихся определений множества является следующее: под множеством понимают любое собрание определённых и отличных друг от друга объектов, мыслимых как единое целое. Создатель теории множеств немецкий математик Георг Кантор (1845-1918) говорил так: "Множество есть многое, мыслимое нами как целое".

Ели ли Вы сегодня обед? Сейчас станет известна страшная тайна. Обед является множеством. А именно, множеством блюд, из которых он состоит. В нём (как правило) нет одинаковых блюд, и во множестве все элементы должны быть разными. А, если на обед у Вас был тот же самый салат, что и на завтрак, то этот салат является пересечением множеств "Обед" и "Завтрак".

Взгляните на книгу, лежащую на столе или стоящую на полке. Она является множеством страниц. Все страницы в ней отличаются друг от друга, по меньшей мере номерами.

А улица, на которой Вы живёте? Она является собранием многих разных объектов, но обязательно есть множество домов, расположенных на этой улице. Поэтому множество домов является подмножеством множества "Улица".

Итак, мы рассмотрели не только примеры множеств, но и пример операции над множествами - пересечение, а также отношение включения подмножества во множество. Все эти понятия будем рассматривать подробно на этом уроке.

Но пока ещё один пример практического рассмотрения множеств.

Множества как тип данных оказались очень удобными для программирования сложных жизненных ситуаций, так как с их помощью можно точно моделировать объекты реального мира и компактно отображать сложные логические взаимоотношения. Множества применяются в языке программирования Паскаль и один из примеров решения мы ниже разберём.

Пример 0 (Паскаль). Существует набор продуктов, продаваемых в нескольких магазинах города. Определить: какие продукты есть во всех магазинах города; полный набор продуктов в городе.

Решение. Определяем базовый тип данных Food (продукты), он может принимать значения, соответствующие названиями продуктов (например, hleb). Объявляем тип множества, он определяет все подмножества, составленные из комбинаций значений базового типа, то есть Food (продукты). И формируем подмножества: магазины "Солнышко", "Ветерок", "Огонёк", а также производные подмножества: MinFood (продукты, которые есть во всех магазинах), MaxFood (полный набор продуктов в городе). Далее прописываем операции для получения производных подмножеств. Подмножество MinFood получается в результате пересечения подмножеств Solnyshko, Veterok и Ogonyok и включает те и только те элементы этих подмножеств, которые включены в каждое их этих подмножеств (в Паскале операция пересечения множеств обозначается звёздочкой: A * B * C, математическое обозначение пересечения множеств дано далее). Подмножество MaxFood получается в результате объединения тех же подмножеств и включает элементы, которые включены во все подмножества (в Паскале операция объединения множеств обозначается знаком "плюс": A + B + C, математическое обозначение объединения множеств дано далее).

Код PASCAL

Program Shops; type Food=(hleb, moloko, myaso, syr, sol, sahar, maslo, ryba); Shop = set of Food; var Solnyshko, Veterok, Ogonyok, MinFood, MaxFood: Shop; Begin Solnyshko:=; Veterok:=; Ogonyok:=; ... MinFood:=Solnyshko * Veterok * Ogonyok; MaxFood:=Solnyshko + Veterok + Ogonyok; End.

Какие бывают множества

Объекты, составляющие множества - объекты нашей интуиции или интеллекта - могут быть самой различной природы. В примере в первом параграфе мы разобрали множества, включающие набор продуктов. Множества могут состоять, например, и из всех букв русского алфавита. В математике изучаются множества чисел, например, состоящие из всех:

Натуральных чисел 0, 1, 2, 3, 4, ...

Простых чисел

Чётных целых чисел

и т.п. (основные числовые множества рассмотрены в этого материала).

Объекты, составляющие множество, называются его элементами. Можно сказать, что множество - это "мешок с элементами". Очень важно: в множестве не бывает одинаковых элементов.

Множества бывают конечными и бесконечными. Конечное множество - это множество, для которого существует натуральное число, являющееся числом его элементов. Например, множество первых пяти неотрицательных целых нечётных чисел является конечным множеством. Множество, не являющееся конечным, называется бесконечным. Например, множество всех натуральных чисел является бесконечным множеством.

Если M - множество, а a - его элемент, то пишут: a M , что означает "a принадлежит множеству M ".

Из первого (нулевого) примера на Паскале с продуктами, которые есть в тех или иных магазинах:

hleb VETEROK ,

что означает: элемент "hleb" принадлежит множеству продуктов, которые есть в магазине "VETEROK".

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

Множество можно задать, перечислив все его элементы, например:

VETEROK = {hleb , syr , maslo } ,

A = {7 , 14 , 28 } .

Перечислением можно задать только конечное множество. Хотя можно сделать это и описанием. Но бесконечные множества можно задать только описанием.

Для описания множеств используется следующий способ. Пусть p (x ) - некоторое высказывание, которое описывает свойства переменной x , областью значений которых является множество M . Тогда через M = {x | p (x )} обозначаентся множество, состоящее из всех тех и только тех элементов, для которых высказывание p (x ) истинно. Это выражение читается так: "Множество M , состоящее из всех таких x , что p (x ) ".

Например, запись

M = {x | x ² - 3x + 2 = 0}

Пример 6. Согласно опросу 100 покупателей рынка, купивших цитрусовые, апельсины купили 29 покупателей, лимоны - 30 покупателей, мандарины - 9, только мандарины - 1, апельсины и лимоны - 10, лимоны и мандарины - 4, все три вида фруктов - 3 покупателя. Сколько покупателей не купили ни одного вида перечисленных здесь цитрусовых? Сколько покупателей купили только лимоны?

Операция декартова произведения множеств

Для определения ещё одной важной операции над множествами - декартова произведения множеств введём понятие упорядоченного набора длины n .

Длиной набора называется число n его компонент. Набор, составленный из элементов , взятых именно в этом порядке, обозначается . При этом i я () компонента набора есть .

Сейчас последует строгое определение, которое, возможно, не сразу понятно, но после этого определения будет картинка, по которой станет понятно, как получить декартово произведение множеств.

Декартовым (прямым) произведением множеств называется множество, обозначаемое и состоящее из всех тех и только тех наборов длины n , i -я компонента которых принадлежит .