Множества и операции над множествами. Свойства операций над множествами

Множество - это совокупность объектов, рассматриваемая как одно целое. Понятие множества принимается за основное, т. е. не сводимое к другим понятиям. Объекты, составляющие данное множество, называются его элементами. Основное отношение между элементом 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).

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

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

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

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

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

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

Если – элемент множества 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. Поэтому их и называют законами алгебры множеств.

Что такое множество в математике? Математическое множество - это несколько отдельных элементов, рассматриваемых, как единое целое. Если обозначить такой элемент буквой a, а само множество - буквой А, то запись будет выглядеть следующим образом:

проговаривается эта запись так: a принадлежит А, или А содержит а, или а - элемент А.

Для перечисления элементов множества используются фигурные скобки - {}. То есть, например, множество, в котором а ∈ А, b ∈ A и c ∈ A, будет записываться в таком виде:

Виды множеств.

Пустые множества.

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

Примером пустого множества может служить любое нелогичное понятие , противоречащее самому себе - «множество птиц, живущих на дне океана», или «множество деревьев на Луне». Поскольку оба множества лишены смысла и не отвечают реальности, то, следовательно, они являются пустыми. Скажем, количество деревьев на Луне – 0, поэтому «множество деревьев на Луне» будет пустым (не будет содержать ни одного элемента).

Равные множества.

Равные множества – это два или более множеств, состоящих из равных наборов элементов. Приведём пример. Скажем, все члены Вашей семьи находятся на кухне. Таким образом, Множество «Члены семьи на кухне» будет равно множеству «Члены семьи в квартире».

Если два множества - А и B - состоят из одинакового набора элементов, то они будут равны, то есть А = B. Элементы множеств могут перечисляться в любой последовательности, на результат это никак не влияет. Множество {a, b, c} можно с тем же успехом записать, как {a, c, b}, или {с, b, a}, или {b, c, a}.

Подмножества и надмножества.

Если множества А и B состоят из одинаковых элементов {a, b, c}, то А будет считаться подмножеством B, а B - надмножеством А. Записывается это следующим образом:

A ⊆ B, B ⊇ A.

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

Иначе говоря, если А ⊆ В, но при этом А ≠ В, то А ⊂ В, В ⊃ А.


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

Теорию множеств создал Георг Кантор. В частности, определил множество как «единое имя для совокупности всех объектов, обладающих данным свойством». Эти объекты он назвал элементами множества. Т.е. элемент множества – это объект, принадлежащий данному множеству.

Бертран Рассел (также основоположник теории множеств) дал такое определение множества: «Множество есть любое собрание определённых и различимых между собою объектов нашей интуиции или интеллекта, мыслимое как единое целое».

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

Множества обозначаются большими латинскими буквами (например, А , В , Х , Y и т.д.), а элементы этих множеств – малыми буквами (например, a , b , x , y ).

Если множество содержит конечное число элементов, его называют конечным , если в нём бесконечно много элементов – бесконечным .

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

Знаком Î обозначается отношение принадлежности некоторого элемента тому или иному множеству. Например, выражение означает, что элемент а принадлежит множеству А . Если же а не является элементом множества А , то это записывается .

Если два множества А и В состоят из одних и тех же элементов, то они считаются равными. Если А и В равны, то пишем А=В , в противном случае - . Например, возьмём множество {1,3,5}, состоящее из трёх положительных нечётных чисел. Поскольку {1,3,5} и{1,5,3} состоят из одних и тех же элементов, они являются равными множествами, т.е. {1,3,5}={1,5,3}. По этой же причине {1,3,5}={1,3,3,5,5,5}.

Элементы какого либо множества сами могут быть множествами. Например, {{1,2},{3,4},{5,6}} – множество из трёх элементов {1,2},{3,4},{5,6}.

Множества {{1,2},{2,3}} и {1,2,3} не равны, т.к. элементами первого являются {1,2} и {2,3}, а элементами второго - 1,2 и 3.

Множества {{1,2}} и {1,2} также не равны, т.к. поскольку первое множество состоит из одного и только одного элемента {1,2} (одноэлементное множество), а второе имеет два элемента 1 и 2. Потому, в общем виде, следует различать объект и множество, единственным элементом которого является этот объект.

Задача 1.1. Среди следующих множеств указать равные:

А = {3, 5, x , y }; B = {3, 2, 5, x , y }; C = {y , y , 5, 3, x , x }; D = {3, 4, 5, x , y }.

Решение. A = C , поскольку качественно оба множества состоят из элементов 3, 5, x и y . Количество элементов множества А равно 4. Множество В , на первый взгляд, содержит больше элементов. Однако среди них есть повторяющиеся: 2 раза х и столько же у . Для множества же неважно, сколько раз повторяется один и тот же элемент, важно лишь, чтобы элементы отличались друг от друга. Что же касается множеств B иD , то они не равны, так как содержат разные элементы.

1.2. СПОСОБЫ ЗАДАНИЯ МНОЖЕСТВ

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

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

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

Множество M объектов, обладающих свойством , Г. Кантор обозначил - «множество всех x, обладающих свойством », где - характеристическое свойство(предикат) множества М;

3) порождающей процедурой f , то есть указать правило, по которому формируются элементы данного множества: ;

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

4) геометрическим способом – с помощью графиков или диаграмм. Этот способ применим как к конечным, так и бесконечным множествам;

Пример 1.1. Некоторые примеры множеств, заданных различными способами.

а) M 1 ={1;2;3;4};

б) M 2 ={x| , -4};

в) M 3 ={x|x=2n+1, };

г) M 4 = {(x,y)ôxÎR, yÎR ; £ 4};

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

1) { xô x есть делитель числа 100};

2) { xô x есть простой делитель числа 100};

3) { xô x есть простой множитель числа 100};

4) { xô x ÎN; – 1 = 0 и – 4 = 0};

5) { xô x есть буква слова «академия»};

6) { xô x ÎN; 2 = 1};

7) { xô x ÎN; }.

Решение.

1. Данное множество состоит из всех делителей числа 100, то есть в него включаются лишь те числа, которые делят число 100 нацело. Очевидно, что налицо задание множества с помощью характеристического предиката «быть делителем числа 100». Перечислим все эти числа: 2, 4, 5, 10, 20, 25, 50. Добавив сюда число 1 и самое 100, получим искомое множество. Обозначим его А. Тогда А = {1, 2, 4, 5, 10, 20, 25, 50, 100}.

2. Множество задано с помощью характеристического предиката «быть простым делителем числа 100». Среди делителей предыдущей задачи отберём лишь простые числа, которыми будут 2 и 5. Все же остальные делители являются составными. Число 1, как известно из курса школьной арифметики, не относится ни к простым, ни к составным числам. Обозначив это множество В, получим: В = {2, 5}.

3. Множество задано с помощью характеристического предиката «быть простым множителем числа 100». Разложим 100 на простые множители. Получим следующее тождество: 100 = 2×2×2×5. Эти числа и будут элементами искомого множества, которое обозначим С = {2, 2, 5, 5}. Ответ можно было бы оставить в таком виде, однако в теории множеств количество одинаковых элементов, как правило, игнорируется. Поэтому будет корректнее ответ представить в виде: С = {2, 5}.

4. Данное множество можно считать заданным с помощью порождающей процедуры, которой является процедура решения квадратных уравнений и отбора корней по признаку принадлежности их к множеству натуральных чисел. Однако, справедливости ради, следует отметить, что часто при определении способа задания множества бывает достаточно трудно утверждать, что множество задано этим и только этим способом. В данном примере вполне можно утверждать, что способ задания множества – с помощью характеристического предиката «отбор корней уравнения по признаку принадлежности к множеству N». Решаем оба уравнения: , его корни +1 и -1; , его корни +2 и -2. Поскольку числа -1 и -2 не являются натуральными, искомое множество, которое мы обозначим D, будет таким: D = {1, 2}.

5. Способ задания – с помощью характеристического предиката. Обозначим множество Е. Получим: Е = {а, к, д, е, м, и, я}, где буква «а» упомянута лишь один раз.

6. Способ задания данного множества аналогичен примеру 4). Решим данное показательно-логарифмическое уравнение 2 = 1. ОДЗ данного уравнения – все х³0. = 1, откуда = 0, корни х равны 2. Натуральным числом является 2. Значит, наше множество, которое обозначим через F, будет состоять только из одного элемента: F = {2}.

7. Способ задания данного множества аналогичен примеру 4). Решаем данное иррациональное неравенство . ОДЗ – все х ³ 1. Обе части возведём в квадрат: х – 1 ³ 4, откуда х ³ 5. Это не противоречит ОДЗ, поэтому область решения данного неравенства х ³ 5. Другими словами, х Î . Очевидно, что натуральных чисел на данном интервале будет бесчисленное множество. Поэтому данное множество G будет бесконечным: G = {5, 6, 7, … n,…}.

Задача 1.3. Записать множества с помощью свойстваP (х ):

2) {1, 3, 9, 27, 81, 243};

3) {s, t, u, d, e, n, t}.

Решение.

1) подобрать характеристический предикат можно, например, так. Перемножим все числа. Получим: 2×3×11 = 66. Тогда

А = {aôa – простой делитель числа 66};

2) все представленные числа являются степенями числа 3 (30=1, 31=3, 32=9 и т.д.). Поэтому множество В можно задать с помощью свойства: В = {bôb – степень числа 3 с показателем от 0 до 5};

3) C = {côc – буква слова «student»}.

Задача 1.4. Изобразить следующие множества графически:

1) А = {(x,y)ôxÎR, yÎR ; £ 4};

2) B = {(x,y)ôxÎR, yÎR ; x + y >0, x + y – 2 £ 0};

3) C = {(x,y)ôxÎR, yÎR ; |x | £ 1 и |y + 2| £ 4};

4) D = {(x,y)ôxÎR, yÎR и };

5) E = {(x,y)ôxÎR, yÎR и y £ |sin x|};

6) F = {(x,y)ôxÎR, yÎR и }.

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

1. Построим границу множества А. Для этого от неравенства перейдём к равенству: = 4. Из курса аналитической геометрии известно, что это уравнение есть уравнение окружности с центром в начале координат и радиусом 2. Она и будет являться границей множества. Далее следует выяснить, какую часть плоскости нам следует выбрать: ту, что лежит внутри окружности либо ту, что лежит извне. Для этого зададимся координатами какой-либо точки, которая явно находится в выбранной области. Например, точка начала координат О(0;0). Подставим значения х = 0 и у = 0 в неравенство £ 4. Получим: £ 4, то есть в точке О (0;0) данное неравенство справедливо. Следовательно, нам нужно выбрать часть плоскости внутри окружности. Если взять координаты других точек внутри окружности и подставить их в неравенство, результат будет таким же. Напротив, для точек извне неравенство будет ложным. Например, точка Q(10;10): = 200, а это никак не меньше 4! Подытоживая всё сказанное, можем утверждать, что множество А – это круг радиуса 2 с центром в начале координат.

2. Для построения границ множества В рассмотрим равенства: x + y =0, x + y – 2 = 0. Первая прямая (её уравнение можно записать как у = - х) есть биссектриса 2-го и 4-го координатных углов. Она разделяет координатную плоскость на две части: ту, которая лежит выше (или правее) прямой и ту, которая ниже (или левее) прямой. Чтобы выбрать нужную часть, возьмем пробную точку с координатами, например, Q(10;10) и подставим её координаты в неравенство x + y > 0. Получим: 10 +10 > 0 то есть неравенство справедливо для части плоскости выше (правее) прямой x + y =0. Вторая прямая (её уравнение x + y – 2 = 0 может быть записано в отрезках на осях ) отсекает на обеих осях отрезки длиной по 2 единицы и проходит параллельно первой прямой через 2-й, 1-й и 3-й квадранты. Она также разделяет координатную плоскость на две части: одна выше (правее) и вторая ниже (левее). Для выбора нужной нам части можно использовать, например, точку О(0;0). Подставляем х = 0 и у = 0 в неравенство x + y – 2 £ 0. Получим: 0 + 0 – 2 £ 0 - справедливо. Следовательно выбираем ту часть плоскости по отношению ко второй прямой, где лежит точка О(0;0). В итоге получаем область, координаты точек которой удовлетворяют обоим неравенствам (например, это точки (1;1), (0;1), (1;0); (2;-1) и т.д.). Это полоса, лежащая между двумя параллельными прямыми, включая и точки, принадлежащие второй прямой (поскольку неравенство нестрогое). Данная область и определяет искомое множество В.

3. Неравенство |x | £ 1 эквивалентно двум: -1 £ х £ 1. Казалось бы, что это множество точек отрезка [-1; 1]. Если бы мы рассматривали множество из одного элемента, это было бы так. Однако наше множество С состоит из пар действительных чисел (х; у). Поэтому геометрически неравенство -1 £ х £ 1 представляет собой множество точек, лежащих внутри вертикальной полосы между прямыми х = 1 и х = -1. Неравенство |y + 2| £ 4 также эквивалентно двум: -4 £ y + 2 £ 4. Перенося 2 влево и вправо, получаем: -6 £ y £ 2. Геометрически это будет множество точек, лежащих внутри горизонтальной полосы между прямыми y = -6 и y = 2. Итак, мы получили две пересекающиеся полосы. Какую же часть необходимо выбрать для искомого множества С? В условии задачи оба неравенства соединены союзом «и». А это значит, что необходимо выбрать те точки из обеих полос, координаты которых одновременно удовлетворяют обоим неравенствам. В результате получаем прямоугольник. Это и есть наше множество С.

4. Рассмотрим неравенство . Чтобы оно стало «узнаваемым», возведём в квадрат левую и правую его части. Это можно сделать потому, что справа - неотрицательная величина арифметического корня. Слева величина у также неотрицательна, ибо в противном случае неравенство теряло бы всякий смысл. После возведения во вторую степень обеих частей и некоторого преобразования получаем: Это неравенство описывает часть координатной плоскости, лежащей вне эллипса Однако исходное неравенство имеет вид , причём, как было сказано, величина у неотрицательна. Значит, описываемая область будет включать лишь верхнюю часть координатной плоскости, лежащей вне эллипса. Рассмотрим последнее неравенство х ³ 0, которое описывает правую часть координатной плоскости. Сопоставляя все выкладки, получим множество точек, расположенных в первом квадранте вне эллипса. Это и будет искомое множество D.

5. Построим график функции у = sin x, а затем ту его часть, которая находится ниже оси абсцисс, зеркально отразим на верхнюю полуплоскость. Получим график у = |sin x|. Неравенство же y £ |sin x| определит искомое множество Е, точки которого будут находиться между осью абсцисс и дугами отраженной вверх синусоиды.

6. В отличие от предыдущих задач, здесь имеем равенство x2 = y2 , которое, как известно, определяет некоторую линию. Для «узнавания» данной линии сделаем ряд тождественных преобразований: = 0, (х – у) (х + у) = 0. Далее приходим к совокупности х – у = 0 и х + у = 0. Получаем пару пересекающихся прямых - биссектрис 1− 3-го и 2 – 4-го квадрантов. Множество F и представляет собой точки этих прямых.

Задачи для самостоятельного решения.

1. Перечислить все элементы следующих множеств:

а) { x ô x есть делитель чисел 6 и 8}; (ответ: 2);

б) { x ô x ÎN; x 3 - 5x 2 + 4 = 0}; (ответ: 1);

в) { x ô x ÎR; x + 1/x > 2; x > 0}; (ответ: х Î(0, ¥));

г) { x ô x – буква слова «университет»};

д) { x ô x ÎZ; sin x < 0; cos x > 0}; (ответ: -1).

2. Изобразить следующие множества графически:

а) { (x , y y £ 2x 2 };

б) { (x , y y ³ |x | + 1};

в) { (x , y x 2 + y 2 – 25 > 0}.

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

Особо выделяется универсальное (или фундаментальное ) множество , т.е. такое множество, которое состоит из всех элементов исследуемой предметной области (обозначается буквой U и читается «универсум», а в геометрической интерпретации изображается множеством точек внутри некоторого прямоугольника).

Отметим, что «универсальное множество» понятие относительное: оно выбирается для какого-нибудь определенного раздела науки и при том часто даже явно не определяется, а просто подразумевается.

Так, например, в элементарной планиметрии в качестве универсального множества принято рассматривать множество всех точек плоскости.

В элементарной арифметике универсальным множеством считается множество Z всех целых рациональных чисел и т. д.

1.3. ПУСТОЕ МНОЖЕСТВО

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