Из чего состоит множество. Основные свойства множеств. Какие бывают множества

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

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

Для математического описания таких совокупностей и было введено понятие множества. По словам одного из создателей теории множеств – немецкого математика Георга Кантора (1845-1918), «множество есть многое, мыслимое нами как единое». Разумеется, эти слова не могут рассматриваться как математически строгое определение множества, такого определения не существует, поскольку понятие множества является исходным, на основе которого строятся остальные понятия математики. Но из этих слов ясно, что можно говорить о множестве натуральных чисел, множестве треугольников на плоскости.

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

Если элемент принадлежит множеству , то пишут: , в противном случае пишут: или . Множества, состоящие из одних и тех же элементов, называют равными (совпадающими). Например, равны множество равносторонних треугольников и множество равноугольных треугольников, так как это одни и те же треугольники: если в треугольнике все стороны равны, то равны и все его углы; обратно, из равенства всех трех углов треугольника вытекает равенство всех трех его сторон. Очевидно, что равны два конечных множества, отличающиеся друг от друга лишь порядком их элементов, например .

Всякий квадрат является прямоугольником. Говорят, что множество квадратов является частью множества прямоугольников, или, как говорят в математике, является подмножеством множества прямоугольников. Если множество является подмножеством множества , то пишут: или . Для любого множества верны включения и .

Из данных множеств и можно построить новые множества, применяя операции пересечения, объединения и вычитания. Пересечением множеств и называют их общую часть, т.е. множество элементов, принадлежащих как , так и . Это множество обозначают: . Например, пересечением двух геометрических фигур является их общая часть, пересечением множества ромбов с множеством прямоугольников – множество квадратов и т.д.

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

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

С помощью свойств операций над множествами можно преобразовывать выражения, содержащие множества, подобно тому как с помощью свойств операций над числами преобразовывают выражения в обычной алгебре. Возникающая таким путем алгебра называется булевой алгеброй, по имени английского математика и логика Дж. Буля (1815-1864), который занимался ею в связи с проблемами математической логики. Булевы алгебры находят многочисленные применения, в частности в теории электрических сетей.

Основной характеристикой конечного множества является число его элементов (например, множество вершин квадрата содержит 4 элемента). Если в множествах и поровну элементов, например если , , то из элементов этих множеств можно составить пары , причем каждый элемент из , равно как и каждый элемент из , входит в одну, и только одну, пару. Говорят, что в этом случае между элементами множеств и установлено взаимно-однозначное соответствие. И наоборот, если между двумя конечными множествами и можно установить взаимно-однозначное соответствие, то в них поровну элементов.

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

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

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

Множество — это набор каких-либо объектов, которые называются элементами этого множества.

Например: множество школьников, множество машин, множество чисел .

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

Обозначения

Множество чаще всего обозначают заглавными буквами латинского алфавита, а его элементы - строчными. При этом элементы заключаются в фигурные скобки.

Например, если наших друзей зовут Том, Джон и Лео , то мы можем задать множество друзей, элементами которого будут Том, Джон и Лео.

Обозначим множество наших друзей через заглавную латинскую букву F (friends ), затем поставим знак равенства и в фигурных скобках перечислим наших друзей:

F = { Том, Джон, Лео }

Пример 2 . Запишем множество делителей числа 6.

Обозначим через любую заглавную латинскую букву данное множество, например, через букву D

затем поставим знак равенства и в фигурных скобках перечислим элементы данного множества, то есть перечислим делители числа 6

D = { 1, 2, 3, 6 }

Если какой-то элемент принадлежит заданному множеству, то эта принадлежность указывается с помощью знака принадлежности ∈ . К примеру, делитель 2 принадлежит множеству делителей числа 6 (множеству D ). Записывается это так:

Читается как: «2 принадлежит множеству делителей числа 6»

Если какой-то элемент не принадлежит заданному множеству, то эта не принадлежность указывается с помощью зачёркнутого знака принадлежности ∉. К примеру, делитель 5 не принадлежит множеству D . Записывается это так:

Читается как: «5 не принадлежит множеству делителей числа 6″

Кроме того, множество можно записывать прямым перечислением элементов, без заглавных букв. Это может быть удобным, если множество состоит из небольшого количества элементов. Например, зададим множество из одного элемента. Пусть этим элементом будет наш друг Том :

{ Том }

Зададим множество, которое состоит из одного числа 2

{ 2 }

Зададим множество, которое состоит из двух чисел: 2 и 5

{ 2, 5 }

Множество натуральных чисел

Это первое множество с которым мы начали работать. Натуральными числами называют числа 1, 2, 3 и т.д.

Натуральные числа появились из-за потребности людей сосчитать те иные объекты. Например, посчитать количество кур, коров, лошадей. Натуральные числа возникают естественным образом при счёте.

В прошлых уроках, когда мы употребляли слово «число» , чаще всего подразумевалось именно натуральное число.

В математике множество натуральных чисел обозначается заглавной латинской буквой N .

Например, укажем, что число 1 принадлежит множеству натуральных чисел. Для этого записываем число 1, затем с помощью знака принадлежности ∈ указываем, что единица принадлежит множеству N

1 ∈ N

Читается как: «единица принадлежит множеству натуральных чисел»

Множество целых чисел

Множество целых чисел включает в себя все положительные и , а также число 0.

Множество целых чисел обозначается заглавной латинской буквой Z .

Укажем, к примеру, что число −5 принадлежит множеству целых чисел:

−5 ∈ Z

Укажем, что 10 принадлежит множеству целых чисел:

10 ∈ Z

Укажем, что 0 принадлежит множеству целых чисел:

В будущем все положительные и отрицательные числа мы будем называть одним словосочетанием — целые числа .

Множество рациональных чисел

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

Рациональное число — это число, которое может быть представлено в виде дроби , где a — числитель дроби, b — знаменатель.

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

Например, представим, что вместо a стоит число 10, а вместо b — число 2

10 разделить на 2 равно 5. Видим, что число 5 может быть представлено в виде дроби , а значит число 5 входит во множество рациональных чисел.

Легко заметить, что число 5 также относится и ко множеству целых чисел. Стало быть множество целых чисел входит во множество рациональных чисел. А значит, во множество рациональных чисел входят не только обыкновенные дроби, но и целые числа вида −2, −1, 0, 1, 2.

Теперь представим, что вместо a стоит число 12, а вместо b — число 5.

12 разделить на 5 равно 2,4. Видим, что десятичная дробь 2,4 может быть представлена в виде дроби , а значит она входит во множество рациональных чисел. Отсюда делаем вывод, что во множество рациональных чисел входят не только обыкновенные дроби и целые числа, но и десятичные дроби.

Мы вычислили дробь и получили ответ 2,4. Но мы могли бы выделить в этой дроби целую часть:

При выделении целой части в дроби , получается смешанное число . Видим, что смешанное число тоже может быть представлено в виде дроби . Значит во множество рациональных чисел входят и смешанные числа.

В итоге мы приходим к выводу, что множество рациональных чисел содержат в себе:

• целые числа
• обыкновенные дроби
• десятичные дроби
• смешанные числа

Множество рациональных чисел обозначается заглавной латинской буквой Q .

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

∈ Q

Укажем, что десятичная дробь 4,5 принадлежит множеству рациональных чисел:

4,5 ∈ Q

Укажем, что смешанное число принадлежит множеству рациональных чисел:

∈ Q

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

Понравился урок?
Вступай в нашу новую группу Вконтакте и начни получать уведомления о новых уроках

Множество - это совокупность объектов, рассматриваемая как одно целое. Понятие множества принимается за основное, т. е. не сводимое к другим понятиям. Объекты, составляющие данное множество, называются его элементами. Основное отношение между элементом a и содержащим его множеством A обозначается так (a есть элемент множества A ; или a принадлежит A , или A содержит a ). Если a не является элементом множества A , то пишут (a не входит в A , A не содержит a ). Множество можно задать указанием всех его элементов, причем в этом случае употребляются фигурные скобки. Так {a , b , c } обозначает множество трех элементов. Аналогичная запись употребляется и в случае бесконечных множеств, причем невыписанные элементы заменяются многоточием. Так, множество натуральных чисел обозначается {1, 2, 3, ...}, а множество четных чисел {2, 4, 6, ...}, причем под многоточием в первом случае подразумеваются все натуральные числа, а во втором - только четные.

Два множества A и B называются равными , если они состоят из одних и тех же элементов, т. е. A принадлежит B и, обратно, каждый элемент B принадлежит A . Тогда пишут A = B . Таким образом, множество однозначно определяется его элементами и не зависит от порядка записи этих элементов. Например, множество из трех элементов a , b , c допускает шесть видов записи:

{a , b , c } = {a , c , b } = {b , a , c } = {b , c , a } = {c , a , b } = {c , b , a }.

Из соображений формального удобства вводят еще так называемое "пустое множество", а именно, множество, не содержащее ни одного элемента. Его обозначают , иногда символом 0 (совпадение с обозначением числа нуль не ведет к путанице, так как смысл символа каждый раз ясен).

Если каждый элемент множества A входит во множество B , то A называется подмножеством B , а B называется надмножеством A . Пишут (A входит в B или A содержится в B , B содержит A ). Очевидно, что если и , то A = B . Пустое множество по определению считается подмножеством любого множества.

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

Заметим еще, что надо различать элемент a и множество {a }, содержащее a в качестве единственного элемента. Такое различие диктуется не только тем, что элемент и множество играют неодинаковую роль (отношение не симметрично), но и необходимостью избежать противоречия. Так, пусть A = {a , b } содержит два элемента. Рассмотрим множество {A }, содержащее своим единственным элементом множество A . Тогда A содержит два элемента, в то время как {A } - лишь один элемент, и потому отождествление этих двух множеств невозможно. Поэтому рекомендуется применять запись , и не пользоваться записью .

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

Математическое множество

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

• M = {a, b, c…}

Принадлежность предмета к множеству обозначается знаком « Є ». Все элементы множества должны отличаться друг от друга. Если в множество не входит ни один элемент, его принято называть пустым.

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

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

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

• Объединение. Сумма заданных множеств обозначается как Х= N+M+P. Объединение должно вмещать в себя совокупность всех элементов минимум одного из слагаемых.
• Пересечение. Общая часть нескольких множеств называется пересечением и обозначается как Y. При пустом пересечении множеств считается, что они не пересекаются.
• Разность. Разностью называется совокупность элементов одного множества, не принадлежащих другому.

Множество чисел

Множество, состоящее из чисел, называется числовым.

В соответствии с видами входящих элементов множества могут обозначаться:

• Z - состоящие из целых чисел (диапазон бесконечности положительных и отрицательных чисел);
• Q - состоящие из рациональных чисел (т.е. представленных дробью);
• N - состоящие из натуральных чисел (натуральные числа - это те, которые мы используем при счете. Они возникают естественным образом);
• R - состоящие из действительных чисел (положительные, отрицательные числа и ноль называют действительными. Они бывают рациональными и иррациональными. Иррациональные числа можно выразить только в формате десятичной дроби (9,999999999).

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

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

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

Пример 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 -я компонента которых принадлежит .

Например, если , , ,