Главная страница
Навигация по странице:

  • 2.2. Диаграммы Венна. Свойства операций над множествами.

  • Отображение множеств. Декартово произведение множеств

  • Определение.

  • П р и м е р.

  • Т е о р е м а 1

  • Следствие.

  • Курс содержит четыре раздела элементы теории множеств, алгебра логики, элементы комбинаторики и теория графов


    Скачать 2 Mb.
    НазваниеКурс содержит четыре раздела элементы теории множеств, алгебра логики, элементы комбинаторики и теория графов
    Дата08.07.2018
    Размер2 Mb.
    Формат файлаdoc
    Имя файлаLektsii_diskr_matem_konspekt.doc
    ТипДокументы
    #48405
    страница2 из 8
    1   2   3   4   5   6   7   8

    П р и м е р на дополнение множества:
    Пусть С = {(x,y): x2 + y21} – множество точек плоскости, находящихся в круге радиуса 1, тогда - область за пределами единичного круга.

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


    Рис. 1. Графическое изображение алгебраических операций над множествами А и В.
    Введенные нами ранее операции над множествами обладают следующими свойствами:



    11. А\В=А;
    12.
    13.
    14.
    15.
    Любое из этих тождеств может быть доказано методом двух включений.

    Докажем, например, тождество 11. Сначала установим , что Пусть x– произвольный элемент множества . Тогда по определению разности множеств имеем

    и , следовательно, и , значит . Теперь покажем, что . Если , то и , поэтому и . Значит

    . На основании включений и делаем вывод, что
    А\В=А.
    В качестве другого примера докажем тождество 12. Пусть . Тогда согласно определению симметрической разности . Это означает, что

    или . Если , то и , т.е. и при этом . Если же , то и , откуда и . Итак, в любом случае из следует и , т.е . Таким образом, доказано, что

    .

    Покажем теперь обратное включение .

    Пусть . Тогда и . Из следует, что или . Если , то с учетом имеем , и поэтому . Если же

    , то опять-таки в силу получаем, что и . Итак, или

    . Следовательно,



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

    Докажем методом эквивалентных преобразований тождество 15, пользуясь тождествами 1-12. Преобразуем левую часть к правой:
    =



    .

    Тождество доказано.



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




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


    Пусть А и В произвольные множества. Неупорядоченная пара на множествах А и В – это любое множество {a,b}, где или . Если А=В, то говорят о неупорядоченной паре на множестве А.

    Упорядоченная пара на множествах А, В обозначается как (a,b) и определяется не только самими элементами , но и порядком, в котором они записаны. В этом состоит ее существенное отличие от неупорядоченной пары. Если А=В, то говорят об упорядоченной паре на множестве А.

    Простейший и важнейший пример упорядоченной пары дает аналитическая геометрия. Если на плоскости введена некоторая прямоугольная система координат, то каждая точка плоскости однозначно задается упорядоченной парой действительных чисел – координатами этой точки. (Точка, заданная координатами (1,3), совсем не то же самое, что точка с координатами (3,1).

    Обобщением понятия упорядоченной пары является упорядоченный n-набор, или кортеж. В отличие от конечного множества {a1,a2,…,an} кортеж (a1,a2,…,an) на множествах А12,…,Аn характеризуется не только входящими в него элементами , но порядком, в котором перечисляются.
    Определение. Два кортежа (a1,a2,…,an) и (b1,b2,…,bn)на множествах А12,…,Аn равны,

    тогда и только тогда, когда a1=b1, a2=b2,…, an=bn. Последнюю систему равенств более коротко принято записывать так ai=bi, i= . Число nназывается длиной кортежа (или размерностью кортежа).

    Проекцией кортежа на i-ую компоненту называется его i-ая компонента, что принято обозначать так:

    Прi(x1;x2;...;xn)=(xi)
    Проекцией кортежа на i-ую, j-ую,m-ую компоненты называется кортеж, компоненты которого принимают значения i-ой, j-ой,m-ой компонент исходного кортежа, что принято обозначать так:

    Прi;j;...m (x1;x2;...xi;...xj;...xm;...xn)=(xi;xj;...xm).

    Определение. Декартовым (прямым) произведением множеств А и В и называется множество всех упорядоченных пар (a,b) таких, что .
    В частности, если А=В то обе координаты принадлежат множеству А и такое произведение обозначается А2.
    П р и м е р.
    Пусть A={1,2,3} и B={2,3,4}. Тогда множество A×B состоит из следующих девяти элементов: (1,4), (2,4), (3,4), (1,3), (2,3), (3,3), (1,2), (2,2), (3,2). Графически элементы произведения множеств A.B удобно помещать на «координатной плоскости», считая, что первый множитель A расположен на горизонтальной полуоси, а второй множитель B – на вертикальной. Например,

    (1,4) (2,4) (3,4)

    (1,3) (2,3) (3,3)

    (1,2) (2,2) (3,2)
    Аналогично, можно дать определение декартова произведения множеств А12,…,Аn.
    Определение. Декартовым произведением множеств А12,…,Аn называется множество всех упорядоченных наборов (кортежей) (a1,a2,…,an) длины nтаких, что и обозначают. Таким образом:

    = {(a1,a2,…,an): }.

    Если же все множества Аi, i = равны между собой , т.е. А12=…=Аn, то указанное декартово произведение называют n – ой декартовой степенью множества А и обозначают Аn. В частности, при n=2 получаем декартов квадрат, а приn=3 – декартов куб множества А. Если одно из множеств произведения пусто, то пусто и все прямое произведение.

    Заданное множество кортежей всегда является подмножеством прямого произведения множеств, т.е.

    {(a1; a2;...; an)| a1A1, a2A2, ...,anAn}(A1×A2×...×An).
    По определению полагают, что первая декартова степень любого множества А есть само множество А, т.е. А1 = А.
    Т е о р е м а 1. Пусть - конечные множества и Тогда мощность множества равна произведению мощностей множеств А]2,...,Ап, т.е.



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

    Для доказательства применим метод математической индукции.

    Для п = \ теорема верна. Предположим, что теорема верна для п= k. Докажем, что утверждение теоремы справедливо для п = k+1.

    По предположению . Возьмем любой набор

    Припишем справа к нему элемент ak+1из Ak+1. Это можно сделать тk+1разными способами. При этом получится mk+1 различных наборов из A1 х А2х... х Ak+1. Таким образом, из всех наборов можно получить путем приписывания справа элементов m1,m2,…,mk+1 всевозможных различных наборов из . Значит, теорема верна для п = k + \ и, следовательно, верна для любого п.

    Таким образом, |А1×А2×…×Аn|=m1m2...mn, что определяет максимальное число кортежей.
    Следствие.

    При обработке данных на компьютере прямое произведение множеств широко используют в формировании составных типов данных. Например, на алгоритмическом языке Фортран предложение INTEGER*2VECT(10) описывает составное данное (кортеж) с именем VECT, содержащим 10 компонент типа INTEGER, причем для каждой компоненты в памяти выделено поле размером 2 байта. В базах данных такой кортеж называют записью(record).
    Свойства декартова произведения :

    1)

    2)

    3) ∅ = ∅
    Эти свойства нетрудно доказать методом двух включений.

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

    Обратим теперь внимание на третье тождество. Из него вытекает, что пустое множество при построении декартовых произведений множеств играет ту же роль, что и нуль при умножении чисел. Докажем справедливость этого тождества. В самом деле, множество ∅ (для любого А) есть множество всех упорядоченных пар (x,y), таких, что ∅ и . Но таких элементов x, что ∅, не существует, и, следовательно, упорядоченных пар (x,y), принадлежащих декартову произведению ∅ , не существует, т.е. ∅= ∅. Аналогично доказывается, что∅ = ∅ .
    1   2   3   4   5   6   7   8


    написать администратору сайта