А также множество элементов которые. Операции над множествами и их свойства

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

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

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

Математическая дисциплина, изучающая общие свойства множеств, т. е. свойства множеств, не зависящие от природы составляющих их предметов, называется теорией множеств. Эта дисциплина начала бурно развиваться в конце XIX и начале XX в. Основатель научной теории множеств - немецкий математик Г. Кантор.

Работы Кантора по теории множеств выросли из рассмотрения вопросов сходимости тригонометрических рядов. Это весьма обычное явление: очень часто рассмотрение конкретных математических задач ведет к построению весьма абстрактных и общих теорий. Значение таких абстрактных построений определяется тем, что они оказываются связанными не только с той конкретной задачей, из которой они выросли, но имеют приложения и в ряде других вопросов. В частности, именно так обстоит дело и с теорией множеств. Идеи и понятия теории множеств проникли буквально во все разделы математики и существенно изменили ее лицо. Поэтому нельзя получить правильного представления о современной математике, не познакомившись с элементами теории множеств. Особенно большое значение имеет теория множеств для теории функций действительного переменного.

Множество считается заданным, если относительно любого предмета можно сказать, принадлежит он множеству или не принадлежит. Иными словами, множество вполне определяется заданием всех принадлежащих ему предметов. Если множество \(M\) состоит из предметов \(a,\,b,\,c,\,\ldots\) и только из этих предметов, то пишут

\(M=\{a,\,b,\,c,\,\ldots\}\)

Предметы, составляющие какое-либо множество, принято называть его элементами. Тот факт, что предмет т является элементом множества \(M\) , записывается в виде

\(\Large{m\in M}\)

и читается: " \(m\) принадлежит \(M\) ", или " \(m\) есть элемент \(M\) ". Если же предмет \(m\) не принадлежит множеству \(M\) , то пишут: \(m\notin M\) . Каждый предмет может служить лишь одним элементом заданного множества; иными словами, все элементы (одного и того же множества отличны
друг от друга.

Элементы множества \(M\) могут сами быть множествами, однако, во избежание противоречий, приходится требовать, чтобы само множество \(M\) не было одним из своих собственных элементов: \(M\notin M\) .

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

\(x^2+1=0\)

есть пустое множество. Пустое множество в дальнейшем будем обозначать через \(\varnothing\) .

Если для двух множеств \(M\) и \(N\) каждый элемент \(x\) множества \(M\) является также элементом множества \(N\) , то говорят, что \(M\) входит в \(\) , что \(M\) есть часть \(N\) , что \(M\) есть подмножество \(M\) или что \(M\) содержится в \(N\) ; это записывается в виде

\(M\subseteq N\) или \(N\supseteq M\)

Например, множество \(M=\{1,2\}\) есть часть множества \(N=\{1,2,3\}\) .

Ясно, что всегда \(M\subseteq M\) . Удобно считать, что пустое множество есть часть любого множества.

Два множества равны , если они состоят из одних и тех же элементов. Например, множество корней уравнения \(x^2-3x+2=0\) и множество \(M=\{1,2\}\) между собою равны.

Определим правила действий над множествами .

Объединение или сумма множеств

Пусть имеются множества \(M,N,P,\ldots\) . Объединением или суммой этих множеств называется множество \(X\) , состоящее из всех элементов, принадлежащих хотя бы одному из "слагаемых"

\(X=M+N+P+\ldots\) или \(X=M\cup N\cup P\cup\ldots\)

При этом, даже если элемент \(x\) принадлежит нескольким слагаемым, то он входит в сумму \(M\) лишь один раз. Ясно, что

\(M+M=M\cup M=M\)

и если \(M\subseteq N\) , то

\(M+N=M\cup N=N\)

Пересечение множеств

Пересечением или общей частью множеств \(M,N,P,\ldots\) . называется множество \(Y\) , состоящее из всех тех элементов, которые принадлежат одновременно всем множествам \(M,N,P,\ldots\) .

Ясно, что \(M\cdot M=M\) , и если \(M\subseteq N\) , то \(M\cdot N=M\) .

Если пересечение множеств \(M\) и \(N\) пусто: \(M\cdot N=\varnothing\) , то говорят, что эти множества не пересекаются .

Для обозначения операции суммы и пересечения множеств употребляют также знаки \(\textstyle{\sum}\) и \(\textstyle{\prod}\) . Таким образом,

\(E=\sum E_i\) есть сумма множеств \(E_i\) , a \(F=\prod E_i\) - их пересечение.

\(M(N+P)=MN+MP,\)

а также законом

\(M+NP=(M+N)(M+P).\)

Разность множеств

Разностью двух множеств \(M\) и \(N\) называется множество \(Z\) всех тех элементов из \(Z\) , которые не принадлежат \(N\) :

\(Z=M-N\) или \(Z=M\setminus N\) .

Если \(N\subseteq M\) , то разность \(Z=M\setminus N=M-N\) называют также дополнением к множеству \(N\) относительно \(M\) .

Нетрудно показать, что всегда

\(M(N-P)=MN-MP\) и \((M-N)+MN=M.\)

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

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

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

Рассмотрим два каких-либо множества \(M\) и \(N\) и поставим вопрос о том, одинаково или нет количество элементов в этих множествах.

Если множество \(M\) конечно, то количество его элементов характеризуется некоторым натуральным числом - числом его элементов. В этом случае для сравнения количества элементов множеств \(M\) и \(N\) достаточно сосчитать число элементов в \(M\) , число элементов в \(N\) и сравнить полученные числа. Естественно также считать, что если одно из множеств \(M\) и \(N\) конечно, а другое бесконечно, то бесконечное множество содержит больше элементов, чем конечное.

Однако, если оба множества \(M\) и \(N\) бесконечны, то путь простого счета элементов ничего не дает. Поэтому сразу возникают такие вопросы: все ли бесконечные множества имеют одинаковое количество элементов, или же существуют бесконечные множества с большим и меньшим количеством элементов? Если верно второе, то каким способом можно сравнивать между собой количество элементов в бесконечных множествах? Этими вопросами мы теперь и займемся.

Взаимно однозначное соответствие множеств

Пусть снова \(M\) и \(N\) - два конечных множества. Как узнать, какое из этих множеств содержит больше элементов, не считая числа элементов в каждом множестве? Для этого будем составлять пары, объединяя в пару один элемент из \(M\) и один элемент из \(N\) . Тогда, если какому-нибудь элементу из \(M\) не найдется парного к нему элемента из \(N\) , то в \(M\) больше элементов, чем в \(N\) . Поясним это рассуждение примером.

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

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

\(M=\{1,\,2,\,3,\,4,\,\ldots\}\)

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

\(N=\{2,\,4,\,6,\,8,\,\ldots\}\)

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

Таблица 1

\({\color{blue}\begin{array}{c|c|c|c|c|c} {\color{black}M} &{\color{black}1} &{\color{black}2} &{\color{black}3} &{\color{black}4} &{\color{black}\cdots}\\\hline {\color{black}N} &{\color{black}2} &{\color{black}4} &{\color{black}6} &{\color{black}8} &{\color{black}\cdots} \end{array}}\)

Ни один элемент \(M\) и ни один элемент \(N\) не остается без пары. Правда, мы могли бы также образовать пары и так:

Таблица 2

\({\color{blue}\begin{array}{c|c|c|c|c|c|c} {\color{black}M}&{\color{black}1}&{\color{black}2}&{\color{black}3}&{\color{black}4}&{\color{black}5}&{\color{black}\cdots}\\\hline {\color{black}N}&{\color{black}-}&{\color{black}2}&{\color{black}-}&{\color{black}4}&{\color{black}-}&{\color{black}\cdots} \end{array}}\)

Тогда многие элементы из \(M\) остаются без пар. С другой стороны, мы могли бы составить пары и так:

Таблица 3

\({\color{blue}\begin{array}{c|c|c|c|c|c|c|c|c} {\color{black}M}&{\color{black}-}&{\color{black}1}&{\color{black}-}&{\color{black}2}&{\color{black}-}&{\color{black}3}&{\color{black}-}&{\color{black}\cdots}\\\hline {\color{black}N}&{\color{black}2}&{\color{black}4}&{\color{black}6}&{\color{black}8}&{\color{black}10}&{\color{black}12}&{\color{black}14}&{\color{black}\cdots} \end{array}}\)

Теперь многие элементы из \(M\) остаются без пар.

Таким образом, если множества \(A\) и \(B\) бесконечны, то различным способам образования пар соответствуют разные результаты. Если существует такой способ образования пар, при котором у каждого элемента \(A\) и каждого элемента \(B\) имеется парный к нему элемент, то говорят, что между множествами \(A\) и \(B\) можно установить взаимно однозначное соответствие . Например, между рассмотренными выше множествами \(M\) и \(N\) можно установить взаимно однозначное соответствие, как
это видно из табл. 1.

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

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

Счетные множества. Если можно установить взаимно однозначное соответствие между элементами множества \(A\) и элементами множества всех натуральных чисел

\(Z=\{1,\,2,\,3,\,\ldots\},\)

то говорят, что множество \(A\) счетно . Иными словами, множество \(A\) счетно, если все его элементы можно занумеровать посредством натуральных чисел, т. е. записать в виде последовательности

\(a_1,~a_2,~\ldots,~a_n,~\ldots\)

Таблица 1 показывает, что множество всех четных чисел счетно (верхнее число рассматривается теперь как номер соответствующего нижнего числа).

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

Если два непустых конечных множества не пересекаются, то их сумма содержит больше элементов, чем каждое из слагаемых. Для бесконечных множеств это правило может и не выполняться. В самом деле, пусть \(G\) есть множество всех четных чисел, \(H\) - множество всех нечетных чисел и \(Z\) - множество всех натуральных чисел. Как показывает таблица 4, множества \(G\) и \(H\) счетны. Однако множество \(Z=G+H\) вновь счетно.

Таблица 4

\({\color{blue}\begin{array}{c|c|c|c|c|c} {\color{black}G}&{\color{black}2}&{\color{black}4}&{\color{black}6}&{\color{black}8}&{\color{black}\cdots}\\\hline {\color{black}H}&{\color{black}1}&{\color{black}3}&{\color{black}5}&{\color{black}7}&{\color{black}\cdots}\\\hline {\color{black}Z}&{\color{black}1}&{\color{black}2}&{\color{black}3}&{\color{black}4}&{\color{black}\cdots} \end{array}}\)

Нарушение правила "целое больше части" для бесконечных множеств показывает, что свойства бесконечных множеств качественно отличны от свойств конечных множеств. Переход от конечного к бесконечному сопровождается в полном согласии с известным положением диалектики - качественным изменением свойств.

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

Таблица 5

\(\)

Здесь в первой строке помещены все натуральные числа в порядке их возрастания, во второй строке 0 и целые отрицательные числа в порядке их убывания, в третьей строке - положительные несократимые дроби со знаменателем 2 в порядке их возрастания, в четвертой строке - отрицательные несократимые дроби со знаменателем 2 в порядке их убывания и т. д. Ясно, что каждое рациональное число один и только один раз находится в этой таблице. Перенумеруем теперь
все числа этой таблицы в том порядке, как это указано стрелками. Тогда все рациональные числа разместятся в порядке одной последовательности:

Номер места, занимаемого
рациональным числом 1 2 3 4 5 6 7 8 9 . . .
Рациональное число 1. 2, О, 3, - 1, 4 -2 _

Этим установлено взаимно однозначное соответствие между всеми рациональными числами и всеми натуральными числами. Поэтому множество всех рациональных чисел счетно.

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

Если можно установить взаимно однозначное соответствие между элементами множества \(M\) и точками отрезка \(0\leqslant x\leqslant1\) , то говорят, что множество \(M\) имеет мощность континуума . В частности, согласно этому определению, само множество точек отрезка \(0\leqslant x\leqslant1\) имеет мощность континуума.

Из рис. 1 видно, что множество точек любого отрезка \(AB\) имеет мощность континуума. Здесь взаимно однозначное соответствие устанавливается геометрически, посредством проектирования.

Нетрудно показать, что множества точек любого интервала \(x\in\) и всей числовой прямой \(x\in[-\infty,+\infty]\) - имеют мощность континуума.

Значительно более интересен такой факт: множество точек квадрата \(0\leqslant x\leqslant1,\) \(0\leqslant y\leqslant1\) имеет мощность континуума. Таким образом, грубо говоря, в квадрате «столько же» точек, сколько и в отрезке.

В вашем браузере отключен Javascript.
Чтобы произвести расчеты, необходимо разрешить элементы ActiveX!

Из огромного многообразия всевозможных множеств особый интерес представляют так называемые числовые множества , то есть, множества, элементами которых являются числа. Понятно, что для комфортной работы с ними нужно уметь их записывать. С обозначений и принципов записи числовых множеств мы и начнем эту статью. А дальше рассмотрим, как числовые множества изображаются на координатной прямой.

Навигация по странице.

Запись числовых множеств

Начнем с принятых обозначений. Как известно, для обозначения множеств используются заглавные буквы латинского алфавита. Числовые множества, как частный случай множеств, обозначаются также. Например, можно говорить о числовых множествах A , H , W и т.п. Особую важность имеют множества натуральных, целых, рациональных, действительных, комплексных чисел и т.п., для них были приняты свои обозначения:

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

Отсюда понятно, что не стоит обозначать множество, состоящее, к примеру, из двух чисел 5 и −7 как Q , это обозначение будет вводить в заблуждение, так как буквой Q обычно обозначают множество всех рациональных чисел. Для обозначения указанного числового множества лучше использовать какую-нибудь другую «нейтральную» букву, например, A .

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

Также напомним про обозначение принадлежности и непринадлежности элемента множеству. Для этого используют знаки ∈ - принадлежит и ∉ - не принадлежит. Например, запись 5∈N означает, что число 5 принадлежит множеству натуральных чисел, а 5,7∉Z – десятичная дробь 5,7 не принадлежит множеству целых чисел.

И еще напомним про обозначения, принятые для включения одного множества в другое. Понятно, что все элементы множества N входят в множество Z , таким образом, числовое множество N включено в Z , это обозначается как N⊂Z . Также можно использовать запись Z⊃N , которая означает, что множество всех целых чисел Z включает множество N . Отношения не включено и не включает обозначаются соответственно знаками ⊄ и ⊅. Также используются знаки нестрогого включения вида ⊆ и ⊇, означающие соответственно включено или совпадает и включает или совпадает.

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

Начнем с числовых множеств, содержащих конечное и небольшое количество элементов. Числовые множества, состоящие из конечного числа элементов, удобно описывать, перечисляя все их элементы. Все элементы-числа записываются через запятую и заключаются в , что согласуется с общими правилами описания множеств . Например, множество, состоящее из трех чисел 0 , −0,25 и 4/7 можно описать как {0, −0,25, 4/7} .

Иногда, когда число элементов числового множества достаточно велико, но элементы подчиняются некоторой закономерности, для описания используют многоточие. Например, множество всех нечетных чисел от 3 до 99 включительно можно записать как {3, 5, 7, …, 99} .

Так мы плавно подошли к описанию числовых множеств, число элементов которых бесконечно. Иногда их можно описать, используя все тоже многоточие. Для примера опишем множество всех натуральных чисел: N={1, 2. 3, …} .

Также пользуются описанием числовых множеств посредством указания свойств его элементов. При этом применяют обозначение {x| свойства} . Например, запись {n| 8·n+3, n∈N} задает множество таких натуральных чисел, которые при делении на 8 дают остаток 3 . Это же множество можно описать как {11,19, 27, …} .

В частных случаях числовые множества с бесконечным числом элементов представляют собой известные множества N , Z , R , и т.п. или числовые промежутки. А в основном числовые множества представляются как объединение составляющих их отдельных числовых промежутков и числовых множеств с конечным числом элементов (о которых мы говорили чуть выше).

Покажем пример. Пусть числовое множество составляют числа −10 , −9 , −8,56 , 0 , все числа отрезка [−5, −1,3] и числа открытого числового луча (7, +∞) . В силу определения объединения множеств указанное числовое множество можно записать как {−10, −9, −8,56}∪[−5, −1,3]∪{0}∪(7, +∞) . Такая запись фактически означает множество, содержащее в себе все элементы множеств {−10, −9, −8,56, 0} , [−5, −1,3] и (7, +∞) .

Аналогично, объединяя различные числовые промежутки и множества отдельных чисел, можно описать любое числовое множество (состоящее из действительных чисел). Здесь становится понятно, почему были введены такие виды числовых промежутков как интервал, полуинтервал, отрезок, открытый числовой луч и числовой луч: все они в купе с обозначениями множеств отдельных чисел позволяют описывать любые числовых множества через их объединение.

Обратите внимание, что при записи числового множества составляющие его числа и числовые промежутки упорядочиваются по возрастанию. Это не обязательное, но желательное условие, так как упорядоченное числовое множество проще представить и изобразить на координатной прямой. Также отметим, что в подобных записях не используются числовые промежутки с общими элементами, так как такие записи можно заменить объединением числовых промежутков без общих элементов. Например, объединение числовых множеств с общими элементами [−10, 0] и (−5, 3) есть полуинтервал [−10, 3) . Это же относится и к объединению числовых промежутков с одинаковыми граничными числами, например, объединение (3, 5]∪(5, 7] представляет собой множество (3, 7] , на этом мы отдельно остановимся, когда будем учиться находить пересечение и объединение числовых множеств .

Изображение числовых множеств на координатной прямой

На практике удобно пользоваться геометрическими образами числовых множеств – их изображениями на . Например, при решении неравенств , в которых необходимо учитывать ОДЗ, приходится изображать числовые множества, чтобы найти их пересечение и/или объединение. Так что полезно будет хорошо разобраться со всеми нюансами изображения числовых множеств на координатной прямой.

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

А часто даже не указывают начало отсчета и единичный отрезок:

Теперь поговорим про изображение числовых множеств, представляющих собой некоторое конечное число отдельных чисел. Для примера, изобразим числовое множество {−2, −0,5, 1,2} . Геометрическим образом данного множества, состоящего из трех чисел −2 , −0,5 и 1,2 будут три точки координатной прямой с соответствующими координатами:

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

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

И остается остановиться лишь на изображении числовых множеств, представляющих собой объединение нескольких числовых промежутков и множеств, состоящих из отдельных чисел. Здесь нет ничего хитрого: по смыслу объединения в этих случаях на координатной прямой нужно изобразить все составляющие множества данного числового множества. В качестве примера покажем изображение числового множества (−∞, −15)∪{−10}∪[−3,1)∪ {log 2 5, 5}∪(17, +∞) :

И остановимся еще на достаточно распространенных случаях, когда изображаемое числовое множество представляет собой все множество действительных чисел, за исключением одной или нескольких точек. Такие множества частенько задаются условиями типа x≠5 или x≠−1 , x≠2 , x≠3,7 и т.п. В этих случаях геометрически они представляют собой всю координатную прямую, за исключением соответствующих точек. Иными словами, из координатной прямой нужно «выколоть» эти точки. Их изображают кружочками с пустым центром. Для наглядности изобразим числовое множество, соответствующее условиям (это множество по сути есть ):

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

Список литературы.

Алгебра: учеб. для 8 кл. общеобразоват. учреждений / [Ю. Н. Макарычев, Н. Г. Миндюк, К. И. Нешков, С. Б. Суворова]; под ред. С. А. Теляковского. - 16-е изд. - М. : Просвещение, 2008. - 271 с. : ил. - ISBN 978-5-09-019243-9.
Мордкович А. Г. Алгебра. 9 класс. В 2 ч. Ч. 1. Учебник для учащихся общеобразовательных учреждений / А. Г. Мордкович, П. В. Семенов. - 13-е изд., стер. - М.: Мнемозина, 2011. - 222 с.: ил. ISBN 978-5-346-01752-3.

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

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

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

Содержание урока

Обозначения

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

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

Обозначим множество наших друзей через заглавную латинскую букву 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

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

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

В математике понятие множества является одним из основных, фундаментальным, однако единого определения множества не существует. Одним из наиболее устоявшихся определений множества является следующее: под множеством понимают любое собрание определённых и отличных друг от друга объектов, мыслимых как единое целое. Создатель теории множеств немецкий математик Георг Кантор (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 -я компонента которых принадлежит .

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

Основные понятия теории множеств

Понятие множества является фундаментальным понятием современной математики. Мы будем считать его первоначальным и теорию множеств строить интуитивно. Дадим описание этого первоначального понятия.

Множество – это совокупность объектов (предметов или понятий), которая мыслится как единое целое. Объекты, входящие в эту совокупность, называются элементами множества.

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

Множества будем обозначать большими буквами латинского алфавита, а его элементы малыми.

Если – элемент множества M , то говорят « принадлежит M » и пишут: . Если некоторый объект не является элементом множества, то говорят « не принадлежит M » и пишут (иногда ).

Существует два основных способа задания множеств: перечисление его элементов и указание характеристического свойства его элементов. Первый из этих способов применяется, в основном, для конечных множеств. При перечислении элементов рассматриваемого множества его элементы обрамляются фигурными скобками. Например, обозначает множество, элементами которого являются числа 2, 4 , 7 и только они. Этот способ применим не всегда, так как, например, множество всех действительных чисел таким образом задать невозможно.

Характеристическое свойство элементов множества M – это такое свойство, что всякий элемент, обладающий этим свойством, принадлежит M , а всякий элемент, не обладающий этим свойством, не принадлежит M . Множество элементов, обладающих свойством , обозначается так:

или .

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

N = – множество всех натуральных чисел;

Z = – множество всех целых чисел;

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

R – множество всех действительных (вещественных) чисел, т.е. рациональных чисел (бесконечных десятичных периодических дробей) и иррациональных чисел (бесконечных десятичных непериодических дробей);

– множество всех комплексных чисел.

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

Пример 1. Множество всех натуральных делителей числа 48 можно записать так: (запись используется только для целых чисел , и означает, что делится на ).

Пример 2. Множество всех положительных рациональных чисел, меньших 7, записывается следующим образом: .

Пример 3. – интервал действительных чисел с концами 1 и 5; – отрезок действительных чисел с концами 2 и 7.

Слово «множество» наводит на мысль, что оно содержит много элементов. Но это не всегда так. В математике могут рассматриваться множества, содержащие только один элемент. Например, множество целых корней уравнения . Более того, удобно говорить о множестве, не содержащем ни одного элемента. Такое множество называется пустым и обозначается через Ø. Например, пустым является множество действительных корней уравнения .

Определение 1. Множества и называются равными (обозначается А=В ), если эти множества состоят из одних и тех же элементов.

Определение 2. Если каждый элемент множества принадлежит множеству , то называют подмножеством множества .

Обозначения: (« включается в »); (« включает »).

Ясно, что Ø и само множество являются подмножествами множества . Всякое другое подмножество множества называется его правильной частью . Если и , то говорят, что « А – собственное подмножество »или что «А строго включается в » и пишут .

Очевидно следующее утверждение: множества и равны тогда и только тогда, когда и .

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

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

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

Операции над множествами и их свойства

Над множествами можно выполнять действия (операции), напоминающие сложение, умножение и вычитание.

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

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

Краткая запись определения 1:

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

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

Краткая запись определения 2:

Например, если , , то , .

Множества можно изображать в виде геометрических фигур, что позволяет наглядно иллюстрировать операции над множествами. Такой метод был предложен Леонардом Эйлером (1707–1783) для анализа логических рассуждений, широко применялся и получил дальнейшее развитие в трудах английского математика Джона Венна (1834–1923). Поэтому такие рисунки называют диаграммами Эйлера-Венна .

Операции объединения и пересечения множеств можно проиллюстрировать диаграммами Эйлера–Венна следующим образом:

– заштрихованная часть; – заштрихованная часть.

Можно определить объединение и пересечение любой совокупности множеств , где – некоторое множество индексов.

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

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

В случае, когда множество индексов конечно, например, , то для обозначения объединения и пересечения совокупности множеств в этом случае обычно пользуются обозначениями:

и .

Например, если , , , то , .

С понятиями объединения и пересечения множеств неоднократно встречаются в школьном курсе математики.

Пример 1. Множество М решений системы неравенств

является пересечением множеств решений каждого из неравенств этой системы: .

Пример 2. Множество М решений системы

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

Пример 3. Множество решений уравнения

где , является объединением множеств решений каждого из уравнений , , т.е.

Определение 3. Разностью множеств и называется множество, обозначаемое через , и состоящее из всех тех и только тех элементов, которые принадлежат , но не принадлежат .– заштрихованная часть; . с операциями объединения, пересечения и дополнения. Полученную математическую структуру называют алгеброй множеств илиалгеброй Булямножеств (вчесть ирландского математика и логика Джорджа Буля (1816–1864)). Через будем обозначать множество всех подмножеств произвольного множества и называть его булеаном множества .

Перечисленные ниже равенства справедливы для любых подмножеств A, B, C универсального множества U. Поэтому их и называют законами алгебры множеств.