Как найти дополнение отрезка

Порой обучение продвигается с трудом. Сложная теория, непонятные задания… Хочется бросить. Не сдавайтесь, все сложности можно преодолеть. Рассказываем, как

Не понятна формулировка, нашли опечатку?

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

Что-то не получается в уроке?

Загляните в раздел «Обсуждение»:

  1. Изучите вопросы, которые задавали по уроку другие студенты — возможно, ответ на ваш уже есть
  2. Если вопросы остались, задайте свой. Расскажите, что непонятно или сложно, дайте ссылку на ваше решение. Обратите внимание — команда поддержки не отвечает на вопросы по коду, но поможет разобраться с заданием или выводом тестов
  3. Мы отвечаем на сообщения в течение 2-3 дней. К «Обсуждениям» могут подключаться и другие студенты. Возможно, получится решить вопрос быстрее!

Подробнее о том, как задавать вопросы по уроку

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

Определение.
Разностью множеств А и В называют
множество, содержащее все элементы,
которые принадлежат множеству А и не
принадлежат множеству В.

Разность множеств
А и В обозначают А В. По определению: А
В ={х/х∈А
и х∉В}.

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

Определение:
Пусть В⊂ А.
Дополнением множества В до множества
А называется множество, содержащее все
элементы множества А, которые не
принадлежат множеству В.

По определению:
В´А
={х/х∈А
и х∉В}.

Выясним, как
находить дополнение подмножества на
конкретных примерах.

Если элементы
множеств А и В перечислены и В ⊂
А, достаточно перечислить элементы,
принадлежащие множеству А и не
принадлежащие множеству В. Например, А
= {1, 2, 3, 4, 5}, В = {2, 4}, то В´А
= {1, 3, 5}.

В том случае, когда
указаны характеристические свойства
элементов множеств А и В и известно, что
В ⊂ А, то
множество В´А
задают также с помощью характеристического
свойства, общий вид которого «х∈А
и х∉В».
Так, если А – множество четных чисел, а
В – множество кратных 4 чисел, то В´А
– это множество, содержащее такие
четные числа, которые не делятся на 4.
Например, 22∈
В´А.

Вычитание
это третья операция над множествами.
Условились считать, чтопересечение
– более «сильная» операция, чем вычитание
.Что касается вычитания и объединения,
то их считают равноправными.

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

1) (А
В) С =
(А С) В);

2)
(А∪ В)
С = (А С)∪ (В
С);


  1. В)∩ С
    = (А∩ С)
    (В∩ С);

  2. А
    (В∪ С)
    = (А В)
    ∩(А С);

  3. А
    (В∩ С)
    = (А В)
    ∪(А С).

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

Понятия множества
и операций над множествами позволяют
уточнить наше представление о классификации
– действии распределения объектов по
классам.

Классификацию мы
выполняем достаточно часто. Так,
натуральные числа представляем как два
класса – четные и нечетные. Углы на
плоскости разбиваем на три класса:
прямые, острые и тупые.

Любая классификация
связана с разбиением некоторого множества
объектов на подмножества. При этом
считают, что множество Х разбито на
классы Х₁, Х₂,
…, Хn,…, если:

  1. подмножества Х₁,
    Х₂, …, Хn,…
    попарно не пересекаются;

  2. объединение
    подмножеств Х₁,
    Х₂, …, Хn,
    … совпадает с множеством Х.

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

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

Рассмотрим,
например, множество натуральных чисел.
Его элементы обладают различными
свойствами.
Положим,.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000что нас интересуют числа, обладающие
свойством «быть кратным 3». Это свойство
позволяет выделить из множества
натуральных чисел подмножество, состоящее
из чисел, кратных 3. Тогда про остальные
натуральные числа можно сказать, что
они не кратны 3, т.е. получаем еще одно
подмножество множества натуральных
чисел. Так как выделенные подмножества
не пересекаются, а их объединение
совпадает с множеством натуральных
чисел, то имеем разбиение этого множества
на два класса.

NN

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

Рассмотрим ситуацию,
когда для элементов множества заданы
два свойства. Например, «быть кратным
3» и «быть кратным 5». При помощи этих
свойств из множества натуральных чисел
можно выделить два подмножества: А –
подмножество чисел, кратных 3, и В –
подмножество чисел, кратных 5. Эти
множества пересекаются, но ни одно из
них не является подмножеством другого.
Проанализируем получившийся рисунок
(справа). Конечно, разбиения множества
натуральных чисел на подмножества А и
В не произошло. Но круг, изображающий
множество N, можно
рассматривать как состоящий из четырех
непересекающихся областей – на рисунке
они пронумерованы. Каждая область
изображает некоторое подмножество
множестваN. ПодмножествоIсостоит из чисел, кратных
3 и 5; подмножествоII– из
чисел, кратных 3 и не кратных 5; подмножествоIII– из чисел, кратных 5
и не кратных 3; подмножествоIY– из чисел, не кратных 3 и не кратных 5.
Объединение этих четырех подмножеств
есть множествоN.

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

Не следует думать,
что задание двух свойств элементов
множества всегда приводит к разбиению
этого множества на четыре класса.
Например, при помощи двух таких свойств
«быть кратным 3» и «быть кратным 6»
множество натуральных чисел разбивается
на три класса: I– класс
чисел, кратных 6;II– класс
чисел, кратных 3; но не кратных 6;III- класс чисел, не кратных 3.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]

  • #
  • #
  • #
  • #
  • #
  • #
  • #
  • #
  • #
  • #
  • #

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

Одна и та же математическая модель может описывать свойства различных реальных явлений. Само реальное явление рассматривается вновь после решения математической задачи и ее анализа, на основании которого могут быть сделаны выводы
не только о состоянии явления, но и о его развитии. В этом смысле без математики нет науки. Еще великий Леонардо да Винчи писал: «Никакой достоверности нет в науках там, где нельзя применить ни одну из математических наук, ив том, что не имеет связи с математикой.» И еще: » Ни одно человеческое исследование не может называться истинной наукой, если оно не прошло через математические доказательства.»

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

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

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

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

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

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

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

Для указания того факта, что объект принадлежит данному множеству, используют знак МножествоНапример, МножествоМножествоЕсли же объект не принадлежит данному множеству, то пишут знак МножествоНапример, Множество

Множество В называется подмножеством множества А, если каждый элемент В одновременно является элементом множества А. Это записывается так: Множество

Пример:

Пусть заданы множества МножествоОчевидно, что В есть подмножество А, т. е. Множество Из определения следует, что множество А есть подмножество самого себя, т. е. МножествоГоворят, что А — самое широкое подмножество А. Пустое множество является самым узким подмножеством любого множества. Множество А и пустое множество Множествоназываются несобственными подмножествами множества А. Все другие подмножества А называются собственными подмножествами А.

Пример:

Если Множеството оно имеет, следующие подмножества: МножествоМножествоВсего 8 подмножеств.

Если конечное множество А состоит из п элементов, то оно имеет ровно Множество подмножеств. Из них ровно Множество являются собственными подмножествами. Элементами множества могут также выступать и другие множества. В этом случае говорят не о множестве множеств, а о системе множеств. Частным случаем системы множеств является система всех подмножеств данного множества А и обозначается Р(А). Так, система подмножеств множества А из предыдущего примера имеет вид

Множество

Замечание. Не следует путать символы Множествои Множество. Символ Множествоупотребляется для обозначения отношения элемента к множеству. Символ Множество употребляется для обозначения отношения множества к множеству.

Зафиксированное каким-либо образом множество объектов, допустимых при данном рассмотрении, называют базовым или универсумом. Базовое множество обозначают буквой МножествоПримерами универсума являются: числа в арифметике, слова в языкознании, законы в юриспруденции и т.п.

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

Множества можно складывать и вычитать, то есть совершать операции.

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

Множества А и В считаются равными, если они состоят из одних и тех же элементов. Равенство множеств обозначают так: А=В. Если множества не равны, то пишут: А МножествоВ. Отсюда следует, что запись равенства двух множеств «А=В» эквивалентна записи Множество

Пример. Доказать, что множество Множестворавно множеству В корней уравнения МножествоМножество

Для доказательства решим уравнение. Получим: МножествоМножествоМножествоСледовательно, Множество или МножествоЗатем непосредственной подстановкой убеждаемся, что любое из чисел 0,2, 3 удовлетворяет уравнению, следовательно Множество или МножествоТеперь можно записать, что А=В.

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

Объединением множеств А и В называется такое множество С, каждый элемент которого содержится хотя бы в одном из множеств А или В. Обозначается: МножествоПример. Если Множество

Можно рассматривать объединение Множествомножеств:

Множество

при этом в А входят все элементы, которые входят хотя бы в одно из множеств МножествоНапример, множество всех дей-

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

Для наглядного представления соотношений между несколькими подмножествами какого-либо универсума часто используются круги Эйлера или диаграммы Венна. Универсум представляется множеством всех точек некоторого прямоугольника, а его подмножества — соответствующими кругами. Операция объединения и другие операции иллюстрируются кругами Эйлера представленными на рис. 1.1-1.5.

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

Пересечением множеств А и В называется множество D, составленное из общих для множеств А и В элементов. Обозначение: МножествоНапример: Множество

Можно рассматривать пересечение Множество множеств:

Множество

при этом в А входят только те элементы, которые входят во все множества МножествоПересечение двух множеств иллюстрируется на рис 1.2.

Пусть есть некоторое множество А. Говорят, что задано разбиение множества А на классы Множество если

Множество

для всех Множество причем Множество

Множество
Множество

Классы — это такие подмножества разбиваемого множества, которые не имеют общих элементов, а их объединение образует исходное множество А. Следовательно, каждый элемент множества А входит в один и только в один класс.

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

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

Если В — подмножество Множество то разность Множество называется дополнением к В до А. Например, если Множество и Множеството множество Множество дополнение к В до А. Операция дополнения иллюстрируется на рис. 1.4. Дополнение к А до универсума Множествоимеет особое обозначение: Множество(см. рис. 1.5).

Пример. Пусть МножествоТакое множество называется множеством неотрицательных чисел.

Тогда Множествоэто множество отрицательных чисел.

Операции над множествами подчиняются определенным законам. Перечислим их.

1.Коммутативный или переместительный закон

Множество

2.Ассоциативный или сочетательный закон

Множество

Так как порядок выполнения операций несущественен, то скобки в записи опускают.

3.Дистрибутивный или распределительный закон:

Множество

4.Закон идемпотентности:

Множество

5.Закон поглощения:

Множество

6.Закон двойственности де Моргана:

Множество

Множество

10.Если Множество и одновременно Множество

Множество

Из законов (1-12) следует принцип двойственности: всякое равенство, тождественно выполняемое в теории множеств, переходит также в тождественно выполняющееся равенство при замене знака объединения Множество на знак пересечения Множество множество универсум Множество на пустое множество Множество и наоборот.

Прямое произведение множеств

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

одинаковую длину, и все их соответствующие компоненты совпадают.

Элементы, составляющие кортеж, называются компонентами, которые в силу упорядоченности имеют номер: первый компонент, второй компонент, … Множество-ый компонент. Длиной кортежа называют число компонентов в кортеже. Когда вместо термина «кортеж» употребляется термин «вектор», то говорят соответственно о координатах и размерности вектора.

Примеры кортежей: Множество Это кортеж N длины 5, первый компонент которого — 8, второй — 7, третий — 4 и т. д.; Множествов этом случае Множествовторой, а Множествочетвертый компонент кортежа М.

Прямым произведением двух множеств А и В (обозначается Множествоназывается множество, состоящее из всех тех и только тех пар, первый компонент которых принадлежит А, второй -В. Если первый сомножитель имеет Множество элементов, а второй — Множеството их прямое произведение имеет Множествоэлементов, каждый из которых — упорядоченная пара. Например, если Множествои МножествоВ общем случае, если МножествоМножествоТем самым прямым произведением Множество множеств Множество называется множество всех кортежей длины Множество (Множество-ок), первый компонент которых принадлежит Множествовторой Множество-тый — Множество т. е.

Множество

где Множество-ый элемент множества Множество

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

Множество

Например: пусть R — множество действительных чисел, тогда Множество множество упорядоченных пар вида МножествоГеометрически R — множество точек числовой оси, тогда Множествомножество точек плоскости, где Множество координаты этих точек. Прямое произведение часто называют декартовым произведением множеств. Множество Р называется графиком, если

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

Проекцией кортежа Множество на і-ю ось Множествоназывается і-ый компонент кортежа, т. е. МножествоПроекция точки плоскости на первую ось Множествоназывается абсциссой, на вторую ось — ординатой МножествоИз определения прямого произведения следует, что оно не коммутативно, т. е. Множество

Пример:

Пусть А — отрезок [1,3], В — отрезок [2,5]. Тогда Множествомножество точек прямоугольника, заштрихованного на рис. 1.6, Множествопрямоугольник, заштрихованный на рис. 1.7.

Множество

Пример:

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

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

Понятие соответствия

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

Два соответствия равны тогда и только тогда, когда равны их области отправления, области прибытия и графики. Пример. Заданы четыре разных соответствия, имеющие одинаковые области отправления и прибытия:

Множество

На рис. 1.8а, 1.86, 1.8в, и 1.8г. различия этих соответствий видны достаточно наглядно.

Множество

В соответствии Множествомножество всех Множество которые сопоставляются элементу Множество называется образом МножествоМножество же всех Множество которым сопоставляют элемент Множествоназывается прообразом Множество

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

Соответствие Множество называется функциональным (или однозначным), если образом любого элемента из Множество является единственный элемент из МножествоГрафик такого соответствия называется функциональным. Это означает, что в нем нет пар с одинаковыми первыми и различными вторыми компонентами. Например, соответствие, представленное на рис. 1.8 б, нефункционально. Соответствие называется инъективным, если любому элементу из Множество соответствует единственный элемент из Множество, на рис. 1.8 в изображено инъективное соответствие.

Соответствие между Множество называется взаимно-однозначным (или биективным), если оно всюду определено, сюръективно, функционально и инъективно.

Пусть Множество — множества вещественных чисел. В этом случае график соответствия Множество может быть представлен некоторой линией на плоскости. Например. На рис. 1.9 представлено функциональное соответствие, но оно не инъективно (некоторым Множество соответствует более одного Множество), не всюду определено (Множество определен не для всех Множество), не сюръективно (Множество проектируется не на все Множество) и не биективно. На рис. 1.10 представлено нефункциональное соответствие, которое не всюду определено, сюръективно и не биективно. На рис. 1.11 представлено взаимно-однозначное соответствие.

Множество

Мощность множества

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

Множество называется бесконечным, если оно равномощно хотя бы одному из его собственных подмножеств. Бесконечное множество А называется счетным, если оно равномощно множеству всех натуральных чисел N. Примеры счетных множеств: множество целых чисел, четных чисел, рациональных чисел. Счетное множество образуется при объединении счетного множества конечных множеств (например, множество слов в любом конечном алфавите) и т. д. Счетным будет и объединение счетного множества счетных множеств (множество всех векторов с натуральными компонентами). Множество А называется не более чем счетным, дискретным, если оно конечно (в частности, пусто) или счетно. Счетное множество среди бесконечных множеств имеет наименьшую мощность.

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

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

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

Множества — основные понятия

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

Множество обычно обозначается заглавными латинскими буквами A, B, С, …, а их элементы — малыми а, b, с, ….

Утверждение ’’элемент х принадлежит множеству А” записывается так : «х ∈ А ”, а противоположное утверждение ” элемент х не принадлежит множеству А” записывается так : ”х ∉ А ”.

Определение:

Если все элементы множества А принадлежат также множеству В, то говорят, что ” А содержится в В” или: ” А является подмножеством В”, и записывают так: A В.

Определение:

Два множества называются равными (совпадающими), если они состоят из одних и тех же элементов: A = B.

Пример:

Сформулируйте словами утверждение:
A=B⇔ A ⊂ B и B ⊂ A и докажите его.

Конечное множество можно задать перечислением его элементов. Так, запись A = {1;2;3} означает, что множество А состоит из трех чисел 1,2,3. При этом порядок перечисления элементов не играет роли: {1;2;3} = {3;2;1}.

Бесконечное множество можно задать, написав условие, которое выполняется для всех элементов данного множества и не выполняется для других. Запись
В = {x | 1 < х < 2}
означает множество всех чисел, больших одного, но меньших двух, т.е. интервал (1;2).

Множество удобно схематически изображать в виде ’’диаграмм Эйлера” — геометрических фигур на плоскости, взаимное расположение которых отражает отношение между множествами. Так, например, если A ⊂ B и B ⊂ C, то A изображается частью В₁ а В частью C (рис. 1). C помощью диаграммы Эйлера на рис. 1 наглядно видно свойство транзитивности операции включения множеств: A ⊂ B ⊂ C ⟹ A ⊂ C.

множества

Рис. 1. Диаграмма Эйлера

Определение:

Множество называется пустым, если оно не содержит ни одного элемента. Пустое множество обозначается символом ⊘.

Так, например, множество отрицательных натуральных чисел пусто.

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

Определение:

Пересечением множеств A и B называется множество С, состоящее из всех элементов, одновременно входящих и в А, и в В. Это записывается следующим образом: A ∩ В = С.

Иллюстрация пересечения двух множеств с помощью диаграмм Эйлера приведена на рис. 2, где множество C заштриховано.

множества

Рис. 2. Пересечение множеств А и В

Пример:

Если множество А есть интервал (1 ;5) а множество В есть интервал (2;7), то пересечение множеств A и B есть интервал (2;5).

Свойства операции пересечения множеств приведем без доказательств:

  1. A ∩ В = В ∩ А(коммутативность).
  2. A ∩ (В ∩ С) = (A ∩ В) ∩ C = A ∩ В ∩ С(ассоциативность).
  3. A ⊂ В ⟹ А ∩ В = А.
  4. A∩A= А.
  5. A ∩ ⊘ = ⊘

Определение:

Объединением множеств A и B называется множество С, состоящее из всех элементов, каждый из которых принадлежит хотя бы одному из данных множеств или А, или В, или A u B одновременно. Это обозначается следующим образом : A В = С.

множества

Рис. 3. Объединение множеств А и В

Иллюстрация объединения с использованием диаграмм Эйлера приведена на рис. 3, где множество C заштриховано.

Пример:

Если множество А есть отрезок [1;3], множество В есть отрезок [2;5], то A B есть отрезок B=[1;5].

Свойства операции объединения множеств приведем без доказательств:
1) A ∪ B=B ∪ A (коммутативность).
2) A ∪ (B∪C)=(A ∪ B) ∪ C=A ∪ B ∪ C (ассоциативность).
3) A∩(B∪C)=(A∩B) ∪ (A∩C) (дистрибутивность).
4) A ⊂ B ⇒A ∪ B=B.
5) A ∪ A=A.
6) A ∪ ⊘=A.

Определение:

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

Операция вычитания множеств не коммутативна : A∖B≠B∖A.

Пример:

Если А = (1; 10), В = (3; 20), то АВ=(1;3], ВА =[10,20).

множества

Рис. 4. Разность множеств А и В

Кванторы общности и существования

При изложении материала мы будем использовать знак множества, называемый квантором общности, и знак Ǝ, называемый квантором существования. Символ множестваозначает: ’’для любого х«, ’’для всех х”, ’’для каждого х«, ’’какое бы ни было х«. Запись множества> 0 означает: ’’для всех положительных x” Запись множества∈ M читается: ’’для всех x, принадлежащих множеству М”.

Обозначение Ǝх означает: ’’существует такое х, что …”, ”по крайней мере для одного х…”, запись Ǝх > 0 читается: ’’существует такое положительное число х, что…”, запись Ǝх₁ ,x₂ Є M означает: ’’существуют такие х₁ ,x₂ — элементы множества М, что …”.

Нам также неоднократно придется использовать символы ⇒ и ⇔.

Запись логического следования А ⇒ В означает, что если верно утверждение А, то верно и утверждение В, то-есть из А следует В.

Запись логической равносильности ⇔ означает, что из А следует В и наоборот, из В следует А.

Так, например, запись: множества> ƎN множества> N ⇒ | f (x) — b| < ε читается следующим образом: ’’для любого ε больше 0 существует N такое, что для любых х, больших N, будет выполняться неравенство | f (x) — b∣< ε.”

Необходимое и достаточное условие

Любая теорема может быть сформулирована в виде: если выполняется условие А, то верно утверждение В. Будем называть это прямой теоремой и схематически запишем в виде:

Теорема:

А ⇒ В.

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

Теорема:

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

Условие А стоит после слова «если», утверждение В написано после
слова «то».

Определение:

А называется достаточным условием для
выполнения В. В свою очередь, В является необходимым условием для выполнения А.

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

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

Теорема:

Если человек здоров, то у него есть голова.

Здесь здоровье является достаточным условием наличия у человека головы. Наоборот, наличие головы является необходимым условием здоровья. Подумайте, будет ли это условие достаточным для того, чтобы человек был здоров? Реально ли вообще сформулировать достаточное условие того, что человек здоров?

Обозначим А утверждение, заключающееся в отрицании утверждения А(читается «не А»). Если справедлива прямая теорема 1.1, то методом «от противного» легко можно доказать справедливость следующего утверждения, которое называется
«противоположная к обратной теорема»:

Теорема:

В ⇒ А.

Доказательство:

Имеем А ⇒ В, нужно доказать, что В⇒ А Предположим противное: В ⇒ А, но в соответствии с теоремой 1.1 А ⇒ В. Полученное противоречие (В ⇒ В) доказывает теорему.

Аналогично можно доказать, что если справедлива теорема 1.4, то верна теорема 1.1, т. е. эти утверждения равносильны.

Для теоремы 1.2 противоположной к обратной будет теорема: ’’Если точка а не является точкой экстремума функции f ̕ непрерывной в этой точке, то производная f ̕ не меняет знак при переходе через эту точку”.

Для теоремы 1.3 противоположным к обратному будет утверждение: ’’Если у человека нет головы, то он не здоров”.

Проведите доказательство этого утверждения самостоятельно методом ”от противного».

Наряду с прямой теоремой 1.1 можно рассмотреть утверждение, называемое «обратной теоремой” :

Теорема:

В ⇒ А.

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

Если все же теорема 1.5 справедлива, то методом «от противного” исходя из нее доказывается справедливость утверждения, называемого «противоположная теорема”:

Теорема:

А ⇒ В

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

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

множества

Рис. 5. Логический квадрат

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

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

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

Определение:

Числа 1,2,3,… называются натуральными.

Сумма и произведение натуральных чисел будет числом натуральным, а разность и частное — не всегда. При вычитании натуральных чисел может получится отрицательное число, а при делении — не целое. Например, при делении множестваполучится целая часть 2 и 1 в остатке, что записывается следующим равенством: множества.

Приводя к общему знаменателю, получим равенство: 7 = 2 ∙ 3 + 1. В этих равенствах 7 называется делимым, 3 — делителем, 2 — целой частью и 1 — остатком (остаток всегда меньше делителя). Если остаток равен нулю, то говорят, что делимое делится на делитель, как, например, 6 делится на 3. Если натуральное число, большее единицы, делится только на 1 и на себя (что всегда справедливо), то оно называется простым. Простыми числами являются числа 2,3,5,7,11,13,17,19,23 и т. д. Любое натуральное число может быть представлено в виде произведения простых сомножителей. Например : 12 = 1 ∙ 2 2 3, 18 = 1 2 ∙ 3 3, 7 = 1 ∙ 7 и т. д.

Определение:

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

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

Наименьшее общее кратное 12 и 18 равно 36. Для того чтобы найти наименьшее общее кратное двух чисел, нужно первое число помножить на простые множители, входящие в разложение второго числа и не входящие в разложение первого: 12 ∙ 3 = 36.

Определение:

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

Для любых двух натуральных чисел всегда найдется наибольший общий делитель, поскольку любые два числа всегда делятся на единицу. Если у двух натуральных чисел нет других общих делителей кроме единицы, они называются взаимно простыми. Наибольший общий делитель 12 и 18 равен 6. Для того, чтобы найти наибольший общий делитель двух чисел, нужно перемножить общие простые множители, входящие в разложение и одного, и другого числа: 1 ∙ 2 ∙ 3 = 6.

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

Определение:

Натуральные, отрицательные натуральные числа и ноль образуют множество целых чисел (множество Z).

Сумма, произведение и разность целых чисел является целым числом, а частное — не всегда. Иногда множество отрицательных целых чисел обозначается Z_.

Множество натуральных чисел является подмножеством множества целых чисел: N ⊂ Z.

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

Определение:

Рациональными числами называются числа вида множества, где m — целое (m Є Z), n — натуральное (n Є N), тип взаимно простые. Множество рациональных чисел обозначается Q.

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

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

Пример:

множества=0,5; множества=0,8 ; множества=0,666…=0,(6) ; множества=7,31(06).

Две последние десятичные дроби бесконечные периодические. Повторяющиеся цифры называются периодом дроби и пишутся в скобках, количество этих цифр называется длиной периода. Для обратного преобразования конечной десятичной дроби ее нужно представить в виде простой и сократить: 0,8=множества=множества. На самом деле разница между конечной дробью и периодической непринципиальная. Так, 0,5=0,4(9).

Перевод периодической десятичной дроби в простую объясним на примере.

Пример:

Записать в виде простой дроби 0,(6).

Решение:

Периодическую дробь 0,(6) обозначим за x: 0,(6)=x, тогда, т. к. 10‧х — 10-0,666… = 6,666…, легко заметить, что 10∙х = 6 х. Решая это уравнение, получаем: 9‧x=6⇔x =множества = множества.

Определение:

Целой частью числа называется наибольшее целое число, не превосходящее данное. Целая часть числа х обозначается [x].

Примеры:

[3,56]=3; [0,12]=0; [-0,12]=-1; [-множества]=-4;
[5]=5; [0]=0.

Определение:

Дробной частью числа называется разность между самим числом и его целой частью. Дробная часть числа обозначается {x}. Она строго меньше единицы и находится в пределах : 0 ≤ {x} < 1.

Примеры:

{3,56}=0,56; {0,12}=0,12; {-0,12}=0,88;
{множества}=множества; {5}=0; {0}=0.

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

Определение:

Иррациональным числом называется бесконечная непериодическая десятичная дробь.

Примерами иррациональных чисел являются √2, √3, ∛11, π, е, и т. д. Заметим, что J ∩Q = ⊘ Иррациональное число нельзя представить в виде простой дроби, его также невозможно ’’выписать до конца” (представить в виде конечной десятичной дроби), поэтому запись √2 = 1,41 ошибочна, следует писать √2 ≈ 1,41.

Заданное бесконечной непериодической дробью иррациональное число определяет две последовательности конечных (рациональных) десятичных дробей, называемых десятичными приближениями по недостатку и по избытку. Например, для √2 можно написать:
1 √2<2,
1,4< √2<1,5,
1,41< √2<1,42.

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

Для иррациональных чисел можно также определить целую и дробную части, причем для х ∈ J ⇒ {τ} ∈ J.

Множество R действительных чисел

Определение:

Все рациональные и иррациональные числа образуют множество действительных (вещественных) чисел: R = QuJ.

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

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

Числовая ось

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

Число х называется координатой соответствующей точки на числовой оси. Из двух чисел больше будет то, которое расположено на числовой оси дальше в направлении стрелки (на рис. 6 — правее).

множества

Рис. 6. Числовая ось

Например, -1 > -2.

Числовые промежутки

Если известны два действительных числа а и b, a < b, то можно определить следующие множества действительных чисел, находящихся между двумя данными — числовые промежутки.

Отрезок (сегмент) [α; b]= {x | a ≤ х ≤ b},
Интервал (a; b)= {x | a < х < b}.
В частности, можно рассматривать бесконечные интервалы:

(- ∞; +∞)={x∈R}, (a;+∞)={x|x>a}, (- ∞ ;b)={x|x<b}.
Полуинтервал, [a;b)={x∣a≤x<b}, (a;b]={x∣a<x≤b}.

В частности, можно рассматривать бесконечные полуинтервалы: [a;+∞)={x∣x≥a}, (-∞;b]={x∣x≤b}.

Числовые промежутки изображают на числовой оси, причем если граничная точка принадлежит промежутку — она закрашена, если нет — изображается светлым кружком (’’выкалывается”). На рис 7 изображен полуинтервал (2;5].

множества

Рис. 7. Полуинтервал (2;5]

Числовые промежутки будем выделять штриховкой или утолщенной линией.

Примеры с решением на тему: «Множества«

При решении примеров данного практического занятия используется материал средней школы и материал лекции 1. Применение метода интервалов для решения неравенств иллюстрируется примерами 1.2-1.5

Пример:

Пусть A = [-3;5],B = (-5;7),C = [1;2). Найдите множество: A₀ = (4 ∩ В) U (В ∩ С).

Решение:

Для нахождения результата операций над числовыми промежутками их удобно изображать на числовых осях, расположенных одна под другой с согласованным началом и одинаковым масштабом. Если исходные промежутки А и В заштриховать, то их пересечением будет множество точек, заштрихованных на каждой из осей (рис. 8), а их объединением — множество точек, заштрихованных хотя бы на одной из осей (рис. 9).

Пользуясь этим правилом, последовательно получим A ∩ В, В ∩C и, наконец, (Л ∩ В) ∪ (В ∩ С) (рис. 8, 10, 11).
Ответ: A₀ ≈ [-3; 5].

Пример:

Найдите элементы множества:
A₀ = {x | (2 — 3x)(x + 4)(x — 2) > 0}.

Решение:

Неравенство (2 — 3x)(х + 4)(x — 2) > 0 решим методом интервалов, для чего нанесем на числовую ось значения х, при которых левая часть неравенства обращается в ноль: x₁ =множества,x₂ = -4,х₃ = 2. (рис. 12)

множества

Рис. 8. Нахождение пересечения [—3; 5] ∩ (—5; 7)
множества
Рис. 9. Нахождение объединения [-3; 5] ∪ (-5; 7)
множества
Рис. 10. Нахождение пересечения (—5; 7) ∩ [1; 2]

Сами эти значения не удовлетворяют неравенству, поэтому соответствующие точки “выколоты».

Знаки выражения в левой части неравенства определим, подставляя в него по одному значению из каждого интервала, на которые все множество R разбилось точками x₁,x₂,х₃. Отметим штриховкой те интервалы, на которых выражение в левой части неравенства положительно. Это множество является искомым.

Ответ: A₀=(-∞; -4) ∪ (множества; 2).

множества

Рис. 11. Решение примера 1.1
множества
Рис. 12. Решение примера 1.2

Пример:

Задайте характеристическим свойством множество: A₀ — множество всех натуральных чисел, меньших 5 или больших 10.

Решение:

В условии требуется,чтобы натуральные числа были меньше 5 или больше 10, т.е. искомое множество есть объединение двух подмножеств: множества натуральных чисел, меньших 5 и больших 10.

Ответ: A₀ = {x|x < 5, х ∈ N} ∪ {x|x > 10, х ∈ N}.

Пример:

Решите систему неравенств:
множества

Решение:

Решение системы неравенств есть пересечение множеств решений каждого из входящих в систему неравенств. Аналогично тому, как это делалось при решении примера 1.2, решим каждое из неравенств системы методом интервалов и найдем их пересечение (рис 13).

Ответ: х ∈ (-1; 2,5).

Пример:

Решите совокупность систем неравенств:
множества

множества

Рис. 13. Решение примера 1.4

Решение:

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

Решение совокупности систем методом интервалов представлено на рис. 14

множества

Рис. 14. Решение примера 1.5

Ответ: х ∈ (-2; 1)

Множества

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

Когда в математике говорят о множестве, то объединяют некоторые предметы в одно целое — множество, состоящее из этих пред­метов. Основатель теории множеств Георг Кантор (1845—1918) выразил это следующими словами: «Множество есть многое, мыслимое как единое».

Предметы (объекты), составляющие некоторое множество, называются его элементами. То обстоятельство, что объект а является элементом множества А, записывается так: Множества (словами: а есть элемент множества А; а принадлежит А; а содержится в А; А содержит а). Если объект а не является элементом мно­жества А, то это записывается так: Множества (словами: а не есть эле­мент множества А; а не принадлежит А; а не содержится в А; А не содержит а).

Например, если А есть множество всех четных натуральных чисел, то Множества

Множество иногда можно задать перечислением всех его элементов. В этом случае употребляют фигурные скобки, в которые помещают названия всех элементов множества, разделенные запя­тыми. Так, {1, 2, 3) обозначает множество, состоящее из чисел «один», «два», «три» и только из них.

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

Характеристическим свойством множества {1, 2, 3) может быть свойство совпадать с одним из членов списка, приведенного в фигур­ных скобках. Другим характеристическим свойством этого же множества является свойство быть корнем уравнения

Множества

Числовые множества

Множества могут состоять из объектов самой различной природы. Их элементами могут быть буквы, ато­мы, числа, уравнения, точки, углы и т. д. Именно этим объясняется чрезвычайная широта теории множеств и ее приложимость к са­мым разным областям знания (математике, механике, физике, лингвистике, экономике и т. д.). Для математики особо важную роль играют множества, составленные из «математических» объек­тов— корней уравнений, геометрических фигур и т. д. Чаще все­го нам будут встречаться числовые множества, то есть множества, элементами которых являются числа. Примерами числовых мно­жеств являются: а) множество всех действительных чисел; б) множество всех рациональных чисел; в) множество всех положительных чисел; г) множество всех чисел, удовлетворяющих неравенству Множества д) множество всех чисел вида Множества

Некоторые числовые множества имеют особые названия. Если даны два числа а и b, а < b, то множество всех чисел, удовлетворяющих неравенству Множества называют числовым отрезком или,

Множества

если это не вызывает недоразумений, просто отрезком и обознача­ют [а, b]. На числовой оси ему соответствует отрезок с концами а и b (рис. 1).

Множество чисел, удовлетворяющих неравенству а < х< b , называют числовым промежутком или, короче, промежутком и обозначают (а, b). На числовой оси ему соответствует отрезок, у которого отброшены концевые точки (рис. 2).

Множество чисел, удовлетворяющих неравенствам вида х > а (или х<а), называют (числовым) лучом. Его обозначают (а, Множества)

Множества

(или (—Множества, а)) (рис. 3). Иногда нам будут встречаться множества чисел, удовлетворяющих неравенствам Множества или Множества (рис. 4). Их называют (числовыми) полуотрезками и обозначают [а, b) и (а, b]. Заметим, что квадратная скобка означает, что соответствующий

Множества

конец включается в множество, а круглая — что он исключается.

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

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

В математике приходится иногда рассматривать множества, содержащие только один элемент, и даже множества, не имеющие ни одного элемента. Множество, не содержащее ни одного элемен­та, называют пустым. Его обозначают знаком Множества. На первый взгляд может показаться, что понятие пустого множества излишне. Но когда множество задано своим характеристическим свойством, заранее неизвестно, пусто оно или нет. Например, пусть некоторое множество состоит из всех прямоугольников с неравными диаго­налями. То, что свойство «быть прямоугольником с неравными диагоналями» задает пустое множество, составляет утверждение геометрической теоремы: «Во всяком прямоугольнике диагонали равны». Точно так же из теоремы Пифагора следует, что множество прямоугольных треугольников, для которых квадрат гипотенузы не равен сумме квадратов катетов, пусто. Вот еще несколько приме­ров задания пустого множества характеристическим свойством: а) множество рациональных чисел r таких, что Множества б) множество всех точек пересечения двух параллельных прямых; в) множество треугольников, сумма углов которых отлична от 180°; г) множество квадратных уравнений, имеющих более двух раз­ личных корней; д) множество решений системы уравнений

Множества

О некотором множестве может быть неизвестно, является ли оно пустым множеством или нет. Так, до сих пор неизвестно, пусто ли множество натуральных чисел n таких, что n > 2, а уравнение Множества

имеет положительные целочисленные решения (в этом состоит из­вестная проблема Ферма).

Пустое множество единственно: нет двух разных пустых множеств.

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

Пусть даны два множества A и B, причем каждый элемент первого множества является элементом второго множества. Тогда множество А называют подмножеством (или частью) множества В. В этом случае пишут: Множества

Примеры подмножеств: а) числовой отрезок [1,3] есть подмножество числового отрез­ка [0, 4];

Множества

б) множество всех квадратов есть подмножество множества всех прямоугольников; в) множество всех целых чисел есть подмножество множества всех рациональных чисел.

Отметим, что пустое множество Множества является подмножеством любого множества А. Каждое множество А яв­ляется одним из своих подмножеств. Эти два подмножества ( 0 и все множество) называют несобственными. Все остальные подмножества называют собственными.

Множества часто изображают наглядно как множество точек геометрической фигуры. Тогда подмножество — это множество то­ чек части фигуры (рис. 5).

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

Пусть даны множества А, В, С, … . Их пересечением называют множество X, содержащее те и только те элементы, которые входят в каждое из заданных множеств. Пере­ сечение двух множеств А и В обозначают АВ или Множества

Если множества А и В состоят из точек некоторых геометрических фигур, то Множества — множество общих точек этих фигур, то есть множество точек пересечения этих фигур в обычном смысле (рис. 6).

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

Множества

что многие свойства пересечения множеств напоминают свойства ум­ножения чисел.

Примеры пересечения множеств: а) пересечением числового отрезка [0, 4 ] с числовым отрезком [2, 5] является числовой отрезок [2, 4] (рис. 7);

Множества

б) пересечение числового отрезка [0, 2] с числовым отрезком [3, 5] пусто; в) пересечение множества всех ромбов с множеством всех прямоугольников есть множество всех квадратов; г) пересечением множества четных натуральных чисел с множеством натуральных чисел, делящихся на 3, является множество натуральных чисел, делящихся на 6.

Сложение множеств

Суммой (или объединением) множеств А, В, С, . . . называют множество X, состоящее из тех и только тех элементов, которые входят хотя бы в одно из этих («слагае­мых») множеств. Сумму двух мно­жеств А и В обозначают А + В или Множества. Мы увидим позже, что некоторые свойства суммы мно­жеств напоминают свойства сум­мы чисел.

Множества

Если какой-нибудь элемент вхо­дит в несколько слагаемых множеств, то в сумме он берется лишь один раз. Например, суммой числового отрезка [0, 4] и числового отрезка [2, 5] является числовой отрезок [0, 5]. При этом точки отрезка [2, 4] входят в оба слагаемые, но в сумме они берутся лишь один раз. Впрочем, выражения «некоторый элемент берется в данном множестве пять раз» и т. п., как это следует из принятого нами понимания терминов «множество» и «элемент», просто не имеют смысла.

Примеры а) Обозначим через А множество точек некоторой плоской области и через В — множество точек другой области (рис. 8). Тогда их суммой будет множество точек заштрихованной фигуры, ограни­ченной на рис. 8 жирной линией. б) Обозначим через А множество успевающих учеников в классе, через В — множество девочек в этом классе и через С — множество неуспевающих мальчиков. Тогда Множестваявляется мно­жеством всех учеников этого класса. (Имеют ли множества А и В общие элементы?) в) Обозначим через Множества множество всех положительных дробей со знаменателем n. Тогда Множества является множест­вом всех положительных дробей, то есть дробей вида Множества, где m и n — натуральные числа. г) Обозначим через Множества множество правильных n-угольников. Тогда Множества является множеством всех правильных многоугольников. д) Обозначим через A множество целых чисел вида 4n — 1, а через В — множество целых чисел вида 4n + 1. Тогда Множества — множество всех нечетных целых чисел.

Разбиение множеств

Пусть множество X является суммой множеств A, В, С. . . , причем никакие два из них не имеют общих элементов. Тогда говорят, что множество X разбито на (непересекающиеся) подмножества А, В, С, . . . .

Примеры разбиения множеств: а) Множество натуральных чисел разбивается на подмножества четных чисел и нечетных чисел. б) Множество всех учеников в классе разбивается на множе­ства учеников, фамилия которых начинается на букву «А», учени­ков, фамилия которых начинается на букву «Б», и т. д. вплоть до буквы «Я». Какое из этих множеств пусто, если взять ваш класс? Какие из этих множеств пусты для любого класса? в) Множество всех векторов на плоскости можно разбить на непересекающиеся подмножества, относя к одному подмножеству все векторы, равные друг другу по длине, параллельные и одинаково направленные. г) Это же множество можно разбить иначе, относя к одному под­ множеству векторы, выходящие из одной точки плоскости.

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

Если даны два множества A и В, то их разностью называют такое множество X = A В или (А — В), в которое входят все элементы из Л, не принадлежащие множест­ву В. При этом не предполагается, что множество В является час­тью множества A. Таким образом, при вычитании множества В из множества A из A удаляют общую часть (пересечение) A и В:

Множества

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

В случае, когда В — часть множества А, А В называют дополнением к В в множестве А и обозначают Множества (разумеется, одно и то же множество В имеет разные дополнения в разных содержащих его множествах А). Например, дополнением множества четных чисел в множестве всех целых чисел является множество нечетных чисел. Дополнением множества всех квадратов в множестве прямоугольников является множество всех прямоугольни­ков с неравными сторонами, а дополнением того же множества квадратов в множестве всех ромбов — множество ромбов с неравными диагоналями.

Отображение множеств

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

Если всякий Множества является образом некоторого Множества при отображе­нии Множества, то отображение Множества называют отображением множества X на множест­во У. В этом случае множество У называется областью значений функции Множества.

Приведем примеры отображений множеств: а) Пусть X — множество всех действительных чисел, У — множество всех неотрицательных чисел. Равенство Множества связывающее с элементом множества X элемент у множества У, задает отображение X на У. При этом числу 2 соответствует число 4, числу 6 — число 36 и т. д. б) Пусть X — множество всех действительных чисел, отличных от чис­ла 3, У — множество всех действительных чисел. Равенство Множества, связывающее с элементом х множества X элемент множества У, задает отобра­жение X в У. Является ли это отображение отображением на У? в) Пусть X — множество всех кругов, а У — множество всех действи­тельных чисел. Поставим каждому кругу в соответствие длину его радиуса. Мы получим отображение множества X в множество У. Другое отображе­ние X в У получится, если поставить каждому кругу в соответствие его пло­щадь. г) Пусть X — множество всех треугольников, а У — множество всех окружностей. Поставим каждому треугольнику в соответствие вписанную в него окружность. Получим отображение множества X в У. Другое отобра­жение X в У получится, если поставить в соответствие каждому треуголь­нику описанную вокруг него окружность. д) Пусть У — множество всех деревьев на земном шаре, а X — множе­ство всех плодов, растущих на этих деревьях. Поставим каждому плоду в соответствие дерево, на котором он растет. Получим отображение множества X в множество У.

Пусть Множества — отображение множества X в множество У и пусть Множества Множество всех элементов вида уМножестваназывается образом мно­жества Множества при отображении Множества и обозначается Множества

Рассмотрим некоторый элемент у из множества У и возьмем все элементы х из X, отображающиеся в у при отображении Множества. Множество всех этих элемен­тов называют полным прообразом элемента у при отображении Множества и обознача­ют Множества. В первом примере в) полным прообразом положительного числа r является множество всех кругов радиуса r. В первом примере г) полным прооб­разом любой данной окружности является множество всех треугольников, опи­санных вокруг этой окружности.

Если полный прообраз каждого элемента у из У при отображении Множества или пуст, или состоит только из одного элемента, то отображение Множества называется вложением в У. Например, функцияМножества с отрезком [1, 4] в качестве облас­ти определения определяет вложение этого отрезка в действительную ось.

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

Краткие исторические сведения

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

Исследования по бесконечным множествам начали чешский ученый Б. Больцано (1781— 1841) и немецкий математик Г. Кантор (родился в 1845 г. в Петербурге, умер в 1918 г. в Галле). Труд Больцано был опубликован лишь через много лет после его смерти. Основные заслуги в развитии теории мно­жеств принадлежат Кантору. Он пришел к проблемам этой теории, исходя из сравнительно узкой математической задачи (вопроса о сходимости и рас­ходимости тригонометрических рядов). Однако вскоре ему и его последова­телям стало ясно, что теория множеств имеет важнейшее значение для раз­личных областей математики. Сейчас теория множеств дает общепринятый язык для многих разделов математики. В целом ряде случаев применение теоретико-множественных понятий позволило привести в систему многие ветви математики. Большой вклад в теорию множеств сделан трудами со­ветских математиков П. С. Александрова, А. Н. Колмогорова, Н. Н. Лузина, П. С. Новикова, М. Я. Суслина и других. Советская школа теории множеств оказала сильное влияние на развитие этой части математики во всем мире.

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

Правила действий над высказываниями, во многом известные еще Ари­стотелю (создателю формальной логики), были более подробно сформулиро­ваны Г. В. Лейбницем, которого часто считают создателем математической логики. Алгебраическую форму этим правилам придали английские матема­тика Дж. Буль (1815— 1864) и А. де Морган (1806—1871). По сути дела, эти правила совпадают с указанными выше правилами действий над множест­вами. Большой вклад в развитие математической логики внесли Г. Фреге, Б. Рассел, Д. Гильберт, К. Гёдель, А. Тарский, советские математики П. С. Новиков, А. Н. Колмогоров, А. А. Марков и другие.

Дополнение к различным типам множеств

Различные типы множеств

Различные типы множеств

Различные типы множеств

Различные типы множеств

Различные типы множеств

Различные типы множеств

Различные типы множеств

Различные типы множеств

Различные типы множеств

Различные типы множеств

Различные типы множеств

Смотрите также:

Предмет математический анализ

Решение заданий и задач по предметам:

  • Математика
  • Высшая математика
  • Математический анализ
  • Линейная алгебра

Дополнительные лекции по высшей математике:

  1. Тождественные преобразования алгебраических выражений
  2. Функции и графики
  3. Преобразования графиков функций
  4. Квадратная функция и её графики
  5. Алгебраические неравенства
  6. Неравенства
  7. Неравенства с переменными
  8. Прогрессии в математике
  9. Арифметическая прогрессия
  10. Геометрическая прогрессия
  11. Показатели в математике
  12. Логарифмы в математике
  13. Исследование уравнений
  14. Уравнения высших степеней
  15. Уравнения высших степеней с одним неизвестным
  16. Комплексные числа
  17. Непрерывная дробь (цепная дробь)
  18. Алгебраические уравнения
  19. Неопределенные уравнения
  20. Соединения
  21. Бином Ньютона
  22. Число е
  23. Непрерывные дроби
  24. Функция
  25. Исследование функций
  26. Предел
  27. Интеграл
  28. Двойной интеграл
  29. Тройной интеграл
  30. Интегрирование
  31. Неопределённый интеграл
  32. Определенный интеграл
  33. Криволинейные интегралы
  34. Поверхностные интегралы
  35. Несобственные интегралы
  36. Кратные интегралы
  37. Интегралы, зависящие от параметра
  38. Квадратный трехчлен
  39. Производная
  40. Применение производной к исследованию функций
  41. Приложения производной
  42. Дифференциал функции
  43. Дифференцирование в математике
  44. Формулы и правила дифференцирования
  45. Дифференциальное исчисление
  46. Дифференциальные уравнения
  47. Дифференциальные уравнения первого порядка
  48. Дифференциальные уравнения высших порядков
  49. Дифференциальные уравнения в частных производных
  50. Тригонометрические функции
  51. Тригонометрические уравнения и неравенства
  52. Показательная функция
  53. Показательные уравнения
  54. Обобщенная степень
  55. Взаимно обратные функции
  56. Логарифмическая функция
  57. Уравнения и неравенства
  58. Положительные и отрицательные числа
  59. Алгебраические выражения
  60. Иррациональные алгебраические выражения
  61. Преобразование алгебраических выражений
  62. Преобразование дробных алгебраических выражений
  63. Разложение многочленов на множители
  64. Многочлены от одного переменного
  65. Алгебраические дроби
  66. Пропорции
  67. Уравнения
  68. Системы уравнений
  69. Системы уравнений высших степеней
  70. Системы алгебраических уравнений
  71. Системы линейных уравнений
  72. Системы дифференциальных уравнений
  73. Арифметический квадратный корень
  74. Квадратные и кубические корни
  75. Извлечение квадратного корня
  76. Рациональные числа
  77. Иррациональные числа
  78. Арифметический корень
  79. Квадратные уравнения
  80. Иррациональные уравнения
  81. Последовательность
  82. Ряды сходящиеся и расходящиеся
  83. Тригонометрические функции произвольного угла
  84. Тригонометрические формулы
  85. Обратные тригонометрические функции
  86. Теорема Безу
  87. Математическая индукция
  88. Показатель степени
  89. Показательные функции и логарифмы
  90. Множество действительных чисел
  91. Числовые множества
  92. Преобразование рациональных выражений
  93. Преобразование иррациональных выражений
  94. Геометрия
  95. Действительные числа
  96. Степени и корни
  97. Степень с рациональным показателем
  98. Тригонометрические функции угла
  99. Тригонометрические функции числового аргумента
  100. Тригонометрические выражения и их преобразования
  101. Преобразование тригонометрических выражений
  102. Комбинаторика
  103. Вычислительная математика
  104. Прямая линия на плоскости и ее уравнения
  105. Прямая и плоскость
  106. Линии и уравнения
  107. Прямая линия
  108. Уравнения прямой и плоскости в пространстве
  109. Кривые второго порядка
  110. Кривые и поверхности второго порядка
  111. Числовые ряды
  112. Степенные ряды
  113. Ряды Фурье
  114. Преобразование Фурье
  115. Функциональные ряды
  116. Функции многих переменных
  117. Метод координат
  118. Гармонический анализ
  119. Вещественные числа
  120. Предел последовательности
  121. Аналитическая геометрия
  122. Аналитическая геометрия на плоскости
  123. Аналитическая геометрия в пространстве
  124. Функции одной переменной
  125. Высшая алгебра
  126. Векторная алгебра
  127. Векторный анализ
  128. Векторы
  129. Скалярное произведение векторов
  130. Векторное произведение векторов
  131. Смешанное произведение векторов
  132. Операции над векторами
  133. Непрерывность функций
  134. Предел и непрерывность функций нескольких переменных
  135. Предел и непрерывность функции одной переменной
  136. Производные и дифференциалы функции одной переменной
  137. Частные производные и дифференцируемость функций нескольких переменных
  138. Дифференциальное исчисление функции одной переменной
  139. Матрицы
  140. Линейные и евклидовы пространства
  141. Линейные отображения
  142. Дифференциальные теоремы о среднем
  143. Теория устойчивости дифференциальных уравнений
  144. Функции комплексного переменного
  145. Преобразование Лапласа
  146. Теории поля
  147. Операционное исчисление
  148. Системы координат
  149. Рациональная функция
  150. Интегральное исчисление
  151. Интегральное исчисление функций одной переменной
  152. Дифференциальное исчисление функций нескольких переменных
  153. Отношение в математике
  154. Математическая логика
  155. Графы в математике
  156. Линейные пространства
  157. Первообразная и неопределенный интеграл
  158. Линейная функция
  159. Выпуклые множества точек
  160. Система координат

Дополнение множества

Пусть U — столь обширное множество, что все рассматриваемые множества окажутся его подмножествами.
U — универсальное множество (иначе оно называется основное множество). Универсальным множеством для элементарной арифметики является, например, множество Z — множество всех целых чисел; для аналитической геометрии универсальное множество есть R — множество всех действительных чисел (числовая прямая), а также R² — множество упорядоченных пар (числовая плоскость).
image122Дополнением множества А (обозначение Ā или сА) называется множество элементов универсального множества U, не принадлежащих множеству А.
Ā={x|xͼU, xɇA}. (1)
Если U изобразить в виде прямоугольника, то множество заштриховано на рис.
Основные свойства операции дополнения
image124
Свойства 6) и 7) называют правилами де Моргана.

Операция симметрической разности

Симметрической разностью (обозначение АΔВ) множеств А и В называется множество элементов, которые принадлежат только множеству А или только множеству В.
АΔВ={x| xͼA и xɇB} или АΔВ={x| xͼB и xɇA} (2)
Иначе можно записать:
АΔВ=(A/B)U(b/A) (2а)
На рис. 2 симметрическая разность АΔВ заштрихована.
image130

Рис. 2

Операции над множествами: объединение, пересечение, дополнение и различие

  • Редакция Кодкампа

17 авг. 2022 г.
читать 2 мин


Набор — это набор предметов.

Мы обозначаем набор с помощью заглавной буквы, а элементы в наборе определяем с помощью фигурных скобок. Например, предположим, что у нас есть некоторый набор под названием «A» с элементами 1, 2, 3. Мы запишем это так:

А = {1, 2, 3}

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

Союз

Операция объединения

Определение: Объединение множеств A и B — это множество элементов, которые находятся либо в A, либо в B.

Обозначение: А ∪ В

Примеры:

  • {1, 2, 3} ∪ {4, 5, 6} = {1, 2, 3, 4, 5, 6}
  • {1, 2} ∪ {1, 2} = {1, 2}
  • {1, 2, 3} ∪ {3, 4} = {1, 2, 3, 4}

Перекресток

Операция набора пересечений

Определение: Пересечение множеств A и B — это множество элементов, которые находятся как в A, так и в B.

Обозначение: А ∩ В

Примеры:

  • {1, 2, 3} ∩ {4, 5, 6} = {∅}
  • {1, 2} ∩ {1, 2} = {1, 2}
  • {1, 2, 3} ∩ {3, 4} = {3}

Дополнение

Операция набора дополнений

Определение: Дополнением множества A называется множество элементов, которые входят в универсальное множество U, но не входят в A.

Обозначение: A’ или A c

Примеры:

  • Если U = {1, 2, 3, 4, 5, 6} и A = {1, 2}, то A c = {3, 4, 5, 6}
  • Если U = {1, 2, 3} и A = {1, 2}, то A c = {3}

Разница

Операция набора разностей

Определение: Разность множеств А и В — это множество элементов, которые есть в А, но отсутствуют в В.

Обозначение: А – Б

Примеры:

  • {1, 2, 3} – {2, 3, 4} = {1}
  • {1, 2} – {1, 2} = {∅}
  • {1, 2, 3} – {4, 5} = {1, 2, 3}

Симметричная разница

Симметричная разница между двумя наборами

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

Обозначение: А Δ В

Примеры:

  • {1, 2, 3} ∆ {2, 3, 4} = {1, 4}
  • {1, 2} ∆ {1, 2} = {∅}
  • {1, 2, 3} Δ {4, 5} = {1, 2, 3, 4, 5}

Декартово произведение

Декартово произведение двух множеств

Определение: Декартово произведение множеств A и B — это множество упорядоченных пар из A и B.

Обозначение: А х В

Примеры:

  • Если A = {H, T} и B = {1, 2, 3}, то A x B = {(H, 1), (H, 2), (H, 3), (T, 1), ( Т, 2), (Т, 3)}
  • Если A = {T, H} и B = {1, 2, 3}, то A x B = {(T, 1), (T, 2), (T, 3), (H, 1), ( Н, 2), (Н, 3)}

Написано

Редакция Кодкампа

Замечательно! Вы успешно подписались.

Добро пожаловать обратно! Вы успешно вошли

Вы успешно подписались на кодкамп.

Срок действия вашей ссылки истек.

Ура! Проверьте свою электронную почту на наличие волшебной ссылки для входа.

Успех! Ваша платежная информация обновлена.

Ваша платежная информация не была обновлена.

Добавить комментарий