Понятие множеств в дискретной математике

Проблема сложности вычислений как одна из важнейших проблем в дискретной математики. Множества и основные операции над ними. Основные законы операций над множествами. Прямые произведения и функции. Теорема Кантора. Матричный способ задания множеств.

Рубрика Математика
Вид реферат
Язык русский
Дата добавления 16.05.2012
Размер файла 26,6 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.

Размещено на http://www.allbest.ru/

Понятие множеств в дискретной математике

Введение

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

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

В дисциплине мало методов, но много определений и терминов. В основе дискретной математике 4 раздела:

Язык дискретной математики;

Логические функции и автоматы;

Теория алгоритмов;

Графы и дискретные экстремальные задачи.

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

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

Теория сложности вычислений помогает оценить расход времени и памяти при решении задач на ЭВМ. Теория сложности позволяет выделить объективно сложные задачи (задачи перебора) и неразрешимые задачи.

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

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

Одно из основных понятий математики - множество.

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

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

Множество обозначают: M, N ….

m1, m2, mn - элементы множества.

Символика

A M - принадлежность элемента к множеству;

А М - непринадлежность элемента к множеству.

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

1,2,3,… множество натуральных чисел N;

…, - 2, - 1,0,1,2,… - множество целых чисел Z.

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

I - множество иррациональных чисел.

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

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

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

А В-А подмножество В (нестрогое включение)

Множества А и В равны, если их элементы совпадают.

A = B

Если А В и А В то А В (строгое включение).

Множества бывают конечные и бесконечные.

|М| - мощность множества (число его элементов).

Конечное множество имеет конечное количество элементов.

Пустое множество не содержит элементов: M = .

Пример: пустое множество:

1) множество действительных корней уравнения x2+1=0 пустое: M = .

2) множество , сумма углов которого 1800 пустое: M = .

Если дано множество Е и множество и мы рассматриваем все его подмножества, то множество Е называется униварсельным.

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

Если универсальное множество состоит из n элементов, то число подмножеств = 2n.

Если , состоящее из элементов E, не принадлежащих А, называется дополненным.

Множество можно задать:

Списком элементов {a, b, c, d, e};

Интервалом 1<x<5;

Порождающей процедурой: xk=k sinx=0;

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

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

А В

Отношение множеств наглядно иллюстрируется с помощью диаграмм Венна.

Диаграмма Венна - это замкнутая линия, внутри которой расположены элементы множества.

Объединение двух множествОбъединение системы множеств можно записать

- объединение системы n множеств.

Пересечение прямой и плоскости

если прямые || пл., то множество пересечений - единственная точка;

если прямые II пл., то M ;

если прямые совпадают, то множество пересечений = множество прямой.

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

Разностью 2-х множеств А и В называется множество, состоящее из всех элементов А, не входящих в В.

A = {a, b, d}; B = {b, c, d, h} C = A \ B={a}.

В отличии от предыдущих операций разность: 1) строго двухместна;

2) не коммутативна, т.е. A\B B\A.

4) дополнение

E - универсальное множество.

- дополнение

Операции объединения, пересечения и дополнения называются Булевыми.

3. Основные законы операций над множествами

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

Основные свойства

AUB=BUA; AB=BA - переместительный закон объединения и пересечения.

UB) UC = AU(BUC); (AB)C=A(BC) - сочетательный закон.

АU=A, A=, A \ =A, A \ A=

1,2,3 - есть аналог в алгебре.

3.а) \ A = - нет аналога.

; E \ A =; A \ E=; AUA=A; AA=A; AUE=E; AE=A;

5.а) свойства 1-4 очевидны и не нуждаются в доказательствах.

A(BUC)=(AB) (AC) - есть аналогичный распределительный закон относительно U.

4. Прямые произведения и функции

Прямым декартовым «х» множеством А и В называется множество всех пар (a; b), таких, что аА, bB.

С=AхВ, если А=В то С=А2.

Прямыми «х» n множеств A1x,…, xAn называется множество векторов (a1,… an) таких, что a1A1,…, AnAn.

Через теорию множеств введем понятие функции.

Подмножество FMx x My называется функцией, если для каждого элемента хMx найдется yМу не более одного.

(x; y)F, y=F(x).

Определение: Между множествами MX и MY установлено взаимноодназночное соответствие, если каждому хMX соответствует 1 элемент yMY и обратное справедливо.

Пусть даны две функции f: AB и g: BC, то функция y:AC называется композицией функций f и g.

Y=f o g o - композиция.

Способы задания функций:

таблицы, определены для конечных множеств;

формула;

графики;

Способы 1-3 частные случаи выч. процедуры.

Пример процедуры, не относящейся к 3 способам задания функций n!

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

Определение: Множества равномощны |A|=|B| если между ними взаимнооднозначное соответствие.

Теорема: Если для конечного множества А мощность равна |A| то количество всех подмножеств 2|A|=2n.

Множества равномощные N называются счетными, т.е. в них можно выполнить нумерацию элементов. N - множество натуральных чисел.

Множество N2 - счетно.

Доказательство
Разобьем N2 на классы
Ко 2-му классу N2 {(1; 2), (2; 1)}
К i-му классу Ni {(a; b)| (a+b=i+1)
Каждый класс будет содержать i пар.
Упорядоченный классы по возрастанию индекса i, а пары внутри класса упорядоченные по направлению первого элемента а.
Занумеруем последовательность классов, что и доказывает счетность множества N2.
Аналогично доказывается счетность множеств N3,…, Nk.
Теорема Кантора:
Множество всех действительных чисел на отрезке [0; 1] не является счетным.

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

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

1-я 0, a11, a12 ….

2-я 0, а21, a22 ….

………………….

Возьмем произвольное число 0, b1, b2, b3

b1 a11, b2 a22, …

Эта дробь не может выйти в последовательность т.к. отличается от всех чисел, значит нельзя пронумеровать числа на отрезке [0; 1].

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

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

Отношение

Пусть дано RMn - n местное отношение на множество М.

Будем изучать двухместные или бинарные отношения. Если а и b находятся в отношении R, то записывается а R b.

Проведем отношение на множество N:

А) отношение выполняется для пар (7,9) (7,7_

Б) (9,7) не выполняется.

Пример отношения на множество R

А) отношение находится на одинаковом расстоянии от начала координат выполняется для пар (3; 4) и (2; 21)

Б) (3; 4) и (1; 6) не выполняется.

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

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

Матрица бинарного отношения на множество M={1; 2; 3; 4}, тогда матрица отношения С равна

множество операция кантор матричный

С=

1

2

3

4

1

1

1

1

1

2

0

1

1

1

3

0

0

1

1

4

0

0

0

1

Отношение Е заданные единичной матрицей называется отношением равенства.

Отношением назовется обратным к отношением R, если ajRai тогда и только тогда, когда ajRai обозначают R-1.

Свойства отношений

1. Если aRa ==> очн. рефлексивное и матрица содержит на главной диагонали единицу

если ни для какого а не … ==> отношение антирефлексивное

главная диагональ содержит нули

Пр. отношений

рефлексивное

< антирефлексивное

2. Если из aRb следует bRa, ==> отношение R симметричное. В матрице отношения элементы сумм Cij=Cji. Если из aRb и bRa следует a=b ==> отношение R - антисимметричное.

Пр. Если а b и b a ==> a=b

3. Если дано a, b, c из aRb и aRc следует aRC ==> отношение называемое транзитивным.

4. Отношение называется отношением эквивалентности, если оно рефлексивно, симметрично и транзитивно.

Пр. отношение равенства E

5. Отношение называется отношением нестрогого порядка, если оно рефлексивно, антисимметрично и транзитивно. Отношение называется отношением строгого порядка, если оно антирефлексивно, антисимметрично и транзитивно.

Пр. а) отношение u для чисел отношение нестрогого

б) отношение < u > для чисел отношение строгого

Размещено на Allbest.ru


Подобные документы

  • Определение понятия множеств Г. Кантора, их примеры и обозначения. Способы задания, включение и равенство множеств, операции над ними: объединение, пересечения, разность, дополнение, их определение и наглядное представление на диаграмме Эйлера-Венна.

    реферат [70,9 K], добавлен 11.03.2009

  • Понятие множества, его трактование Георгом Кантором. Условные обозначения множеств. Виды множеств, способы их задания. Операции над множествами (пересечение, объединение, разность и дополнение), условия их равенства и основные свойства, отношения.

    презентация [1,2 M], добавлен 12.12.2012

  • Понятие множества и его элементов. Обозначение принадлежности элемента множеству. Конечные и бесконечные множества. Строгое и нестрогое включение. Способы задания множеств. Равенство множеств и двухсторонее включение. Диаграммы Венна для трех множеств.

    презентация [564,8 K], добавлен 23.12.2013

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

    курсовая работа [358,3 K], добавлен 07.12.2012

  • Множество как ключевой объект математики, теории множеств и логики. Операции над множествами, числовые последовательности. Множества действительных чисел. Бесконечно малые и большие функции. Непрерывность функции в точке. Свойства непрерывных функций.

    лекция [540,0 K], добавлен 25.03.2012

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

    реферат [126,6 K], добавлен 14.12.2011

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

    контрольная работа [369,0 K], добавлен 03.09.2010

  • Мономорфные стрелки. Эпиморфные стрелки. Изострелки. КатегориЯ множеств. Мономорфизм в категории множеств. Эпиморфизм в категории множеств. Начальные и конечные объекты в категории множеств. Произведение в категории множеств.

    дипломная работа [144,3 K], добавлен 08.08.2007

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

    лекция [253,7 K], добавлен 01.12.2009

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

    дипломная работа [440,3 K], добавлен 30.03.2011

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.