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

  • Обозначают объединение множеств A и B символом : A

  • Пересечение множеств A и B обозначают символом : A

  • Лекция 1. Элементы дискретной математики. Кафедра высшей математики 31 августа 2020 г


    Скачать 367.67 Kb.
    НазваниеКафедра высшей математики 31 августа 2020 г
    Дата29.09.2022
    Размер367.67 Kb.
    Формат файлаpdf
    Имя файлаЛекция 1. Элементы дискретной математики.pdf
    ТипДокументы
    #705329

    НГТУ
    Кафедра высшей математики
    31 августа 2020 г.

    Элементы дискретной математики
    Множества
    1

    Теория множеств является одной из сравнительно молодых математических дисциплин. Основоположником еј считает- ся немецкий математик Георг Кантор (18451918). В основе этой теории лежит понятие множества. Согласно Г. Кантору,
    ѕмножество есть многое, мыслимое нами как единоеї.
    Другими словами, множество  это совокупность предме- тов, рассматриваемая как один предмет. Это не является определением множества, а всего лишь поясняет его. Мно- жество  самое широкое понятие математики, оно не может быть определено через другие, более простые понятия.
    2

    Обозначения
    Произвольные множества : A, B, C, D, . . .;
    пустое множество  символом ?.
    Элементы множества: a, b, c, d, . . . или a
    1
    , a
    2
    , . . . , a n
    , a n+1
    , . . .
    Отношение между элементами и множеством выражают сло- вами ѕявляется элементомї или ѕпринадлежитї. Предло- жение ѕЭлемент a принадлежит множеству Aї запишем с использованием символа: ? (a ? A). Если же a не является элементом множества A, то будем писать a /? A.
    3

    Обозначения наиболее часто используемых числовых множеств
    N
     множество натуральных чисел
    N
    0
     множество целых неотрицательных чисел (или Z
    +
    )
    Z
     множество целых чисел
    Q
     множество рациональных чисел
    R
     множество действительных чисел
    R
    +
     множество неотрицательных действительных чисел
    R
    ?
     множество неположительных действительных чисел
    4

    Способы задания множеств
    Множество считается заданным, если о любом объекте мож- но сказать, принадлежит он этому множеству или не принад- лежит.
    Перечислением всех его элементов в произвольном порядке.
    Например, если множество A состоит из однозначных нечјт- ных чисел, то запишем: A = {1, 3, 5, 7, 9} . Это множество можно записать и так: A = {3, 5, 1, 9, 7} или A = {9, 7, 1, 3, 5},
    или с перечислением элементов в каком-то другом порядке.
    Следует отличать символы a и {a} . Так, a обозначает эле- мент множества, {a}  одноэлементное множество.
    5

    Задания множества через указание характеристического свой- ства его элементов.
    Определение 1 . Характеристическим свойством, определя- ющим множество, называется такое свойство, которым об- ладает каждый элемент, принадлежащий данному множеству,
    и не обладает ни один элемент, ему не принадлежащий.
    Множество B, определяемое некоторым характеристическим свойством P , будем обозначать: B = {x|P (x)} ; эта запись чи- тается так: ѕB есть множество всех x таких, что x обладает свойством P ї, или ѕB есть множество всех x , обладающих свойством P ї.
    6

    Например, запись B = {x|x ? Z, ?2 ? x < 3} означает, что множество B состоит из целых чисел, больших или равных
    ?2
    и меньших 3, а множество корней уравнения 2z
    2
    ?z ?3 = 0
    можно описать как: C = {z|2z
    2
    ? z ? 3 = 0}
    Часто одно и то же множество может задаваться обоими способами. Например, заданные выше с помощью характе- ристического свойства множества B и C могут быть заданы и перечислением: B = {?2, ?1, 0, 1, 2}, C = {?1, 3/2}.
    7

    Отношения между множествами
    Диаграммы ЭйлераВенна
    Пусть даны два произвольных множества A и B. Рассматри- вая вопрос об отношениях между ними, необходимо прежде всего отметить две возможности.
    I.
    Множества A и B не имеют общих элементов, то есть из того, что x ? A, следует, что x /? B , а из того, что y ? B, сле- дует, что y /? A. На диаграммах ЭйлераВенна нет элементов,
    которые принадлежали бы одновременно A и B
    II.
    Множества A и B имеют общие элементы, то есть суще- ствуют такие элементы x, для которых верно то, что x ? A и x ? B
    8

    1. Не все элементы множества A принадлежат множеству B,
    и не все элементы множества B принадлежат множеству
    A
    . В этом случае говорят, что множества A и B находятся в отношении пересечения.
    9

    Примеры множеств, находящихся в отношении пересечения:
    а) A = {п, и, о, н, е, р}; B = {у, ч, е, н, и, к};
    б) A  множество натуральных делителей числа 72; B 
    множество натуральных делителей числа 85.
    10

    2. Все элементы множества A принадлежат множеству B ,
    но множество B может содержать элементы, не принад- лежащие множеству A. В этом случае говорят, что мно- жества A и B находятся в отношении включения. На диа- грамме ЭйлераВенна каждая точка множества A нахо- дится внутри фигуры, изображающей множество B (рис.
    в)
    Например, A  множество чисел, кратных четырјм, и B 
    множество чисел, кратных двум, находятся в отношении вклю- чения.
    11

    Определение 2 . Множество A называется подмножеством
    (или частью) множества B, если каждый элемент множества
    A
    является элементом множества B.
    Обозначают включение символом ?: A ? B  и читают ѕA
    включается в Bї или ѕA  подмножество Bї.
    12

    Свойства отношения включения:
    1) рефлексивность: A ? A , то есть всякое множество вклю- чается в себя, или всякое множество является подмно- жеством самого себя;
    2) транзитивность: из того что A ? B и B ? C, следует, что
    A ? C
    ;
    3) для всякого множества A справедливо включение ? ? A.
    Поскольку ? не имеет элементов, то естественно считать его подмножеством любого множества.
    13

    Само множество A и пустое множество ? называют несоб- ственными подмножествами множества A. Все остальные под- множества множества A называются собственными.
    3. Все элементы множества B принадлежат множеству A, но множество A может содержать элементы, не принадлежа- щие множеству B. В этом случае множество B включает- ся во множество A . Диаграмма ЭйлераВенна для такого варианта включения представлена на рис. г.
    14

    4. Все элементы множества A принадлежат множеству B, и все элементы множества B принадлежат множеству A. В
    этом случае говорят, что множества A и B равны.
    Определение 3 . Два множества A и B называются равными или совпадающими, если A ? B и B ? A.
    Равенство множеств обозначают символом = (A = B), и чи- тают ѕA равно Bї. На диаграмме ЭйлераВенна контуры множеств A и B совпадают (рис. д).
    15

    Пусть, например, A  множество гласных букв в слове ѕбе- локї, B  множество гласных букв в слове ѕпрогрессї. Оче- видно, что множества A = {е, о} и B = {о, е} равны между собой.
    Можно дать и другое определение равенства множеств.
    Определение 4 . Два множества A и B называются равны- ми, если они состоят из одних и тех же элементов.
    16

    Отношение равенства множеств обладает следующими свой- ствами:
    1) рефлексивностью: A = A, то есть всякое множество рав- но самому себе;
    2) симметричностью: если A = B, то и B = A;
    3) транзитивностью: если A = B и B = C, то A = C.
    17

    Определение 5 . Множество, относительно которого все мно- жества, рассматриваемые в данной задаче, являются под- множествами, называется универсальным.
    Например, множество действительных чисел R является уни- версальным для рассмотренных выше числовых множеств.
    Универсальное множество будем обозначать буквой U, а на диаграммах ЭйлераВенна  в виде прямоугольника (рис. е).
    18

    Отношение между числовыми множествами
    N ? Z ? Q ? R ? C
    19

    Операции над множествами
    Объединение множеств
    Дано: A = {15, 30, 45, 60, 75, 90}  множество двузначных чи- сел, кратных 15; B = {18, 36, 54, 72, 90}  множество двузнач- ных чисел, кратных 18.
    Образуем новое множество, состоящее из элементов этих множеств. Полученное множество {15, 18, 30, 36, 45, 60, 72, 75, 90}
    называется объединением множеств A и B . Число 90 за- писали один раз, поскольку элементы множеств не должны повторяться.
    20

    Определение 6 . Объединением множеств A и B называется множество, состоящее из тех и только тех элементов, кото- рые принадлежат множеству A или множеству B.
    Союз ѕилиї здесь не выполняет разделительную функцию.
    Другими словами, если элемент принадлежит объединению множеств, то он принадлежит или A, или B, или обоим мно- жествам одновременно.
    21


    Обозначают объединение множеств A и B символом ?: A ?
    B
    . Аналогично определяется объединение трјх и более мно- жеств. Определение объединения можно записать в таком виде: A ? B := {x|x ? A или x ? B}. На рис. объединению со- ответствует заштрихованная часть. На рис. б B ? A; поэтому
    A ? B = A
    22

    Пересечение множеств
    Пусть имеем два множества: A = {1, 2, 3, 4, 6, 12}  множе- ство натуральных делителей числа 12; B = {1, 3, 6, 9, 18} 
    множество натуральных делителей числа 18.
    Образуем множество, состоящее из общих элементов мно- жеств A и B. Вновь полученное множество {1, 3, 6} называют пересечением множеств A и B.
    23

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

    Пересечение множеств A и B обозначают символом ?: A ?
    B
    . Аналогично определяется пересечение трјх и более мно- жеств. Определение пересечения можно записать в таком ви- де:
    A ? B := {x|x ? A
    и x ? B}.
    Как следует из определения пересечения, x ? A ? B тогда и только тогда, когда x ? A и x ? B. Соответственно, x /? A ? B
    тогда и только тогда, когда x /? A или x /? B.
    24

    Если множества A и B изобразить с использованием диа- грамм ЭйлераВенна, то пересечению будет соответствовать заштрихованная часть. На рис. б B ? A, поэтому A ? B = B.
    На рис. в A ? B = ?.
    25

    Свойства объединения и пересечения множеств
    1. A ? B = B ? A  коммутативность объединения.
    2. A ? B = B ? A  коммутативность пересечения.
    3. A ? (B ? C) = (A ? B) ? C  ассоциативность объединения.
    4. A ? (B ? C) = (A ? B) ? C  ассоциативность пересечения.
    5. A ? (B ? C) = (A ? B) ? (A ? C)  дистрибутивность пересе- чения относительно объединения.
    6. A ? (B ? C) = (A ? B) ? (A ? C)  дистрибутивность объеди- нения относительно пересечения.
    26

    7. A ? A = A.
    8. A ? A = A.
    9. A ? ? = A.
    10. A ? ? = ?.
    11. A ? U = U.
    12 A ? U = A.
    Свойства 712 называются законами поглощения.
    27

    Разность двух множеств. Дополнение
    Пусть A  множество равнобедренных треугольников, B 
    множество треугольников, не имеющих прямого угла. То- гда множество равнобедренных прямоугольных треугольни- ков состоит из тех и только тех элементов множества A,
    которые не принадлежат множеству B. Это множество назы- вается разностью множеств A и B.
    28

    Определение 8 . Разностью множеств A и B называется множество, состоящее из тех и только тех элементов мно- жества A, которые не принадлежат множеству B.
    Разность множеств A и B обозначают символом \.
    A \ B
    : читается ѕA без Bї.
    Определение разности можно записать в таком виде:
    A \ B := {x|x ? A
    и x /? B}.
    Операция, при помощи которой находится разность множеств,
    называется вычитанием.
    29

    Если B ? A, то разность A \ B называется дополнением мно- жества B до множества A.
    Обозначают дополнение символом B
    A
    Если множество B является подмножеством универсального множества U, то дополнение B до U обозначается B.
    Итак, по определению, B = U \ B.
    Из этого определения следует, что x ? B тогда и только то- гда, когда x /? B, и x /? B тогда и только тогда, когда x ? B.
    30

    Замечания. В некоторых случаях удобно рассматривать сим- метричную разность двух множеств A и B, которая опреде- ляется как объединение разностей A \ B и B \ A. Симмет- ричную разность множеств A и B будем обозначать симво- лом ч; A ч B (или A4B). Таким образом, по определению,
    A ч B = (A \ B) ? (B \ A)
    Последовательность выполнения операций над множествами
    (операции даны по убыванию приоритетов): A, A \ B, A ? B,
    A ? B
    , A ч B.
    31

    Свойства разности и дополнения
    Разность не обладает свойствами коммутативности и ассо- циативности, то есть A \ B 6= B \ A; A \ (B \ C) 6= (A \ B) \ C.
    1. ? = U.
    2. U = ?.
    3. A \ ? = A.
    4. A = A.
    5. A ? A = ?.
    6. A ? A = U.
    7. A ? B = A ? B.
    8. A ? B = A ? B.
    9. A \ (B ? C) = (A \ B) ? (A \ C).
    10. A \ (B ? C) = (A \ B) ? (A \ C).
    32

    Декартово произведение множеств
    Пусть имеем число 46, записанное с помощью цифр 4 и 6.
    Цифры в числе расположены в определјнном порядке. Если их поменять местами, то получится другое число 64. Говорят,
    что 4, 6  упорядоченная пара цифр.
    В общем случае под упорядоченной парой будем понимать два элемента, расположенные в определјнном порядке. Упо- рядоченную пару с первым элементом a и вторым элементом b
    обозначим (a, b). Элементы a и b пары называют еј компо- нентами. Две пары (a
    1
    , b
    1
    )
    и (a
    2
    , b
    2
    )
    считаются равными тогда и только тогда, когда a
    1
    = a
    2
    и b
    1
    = b
    2
    . В общем случае, ес- ли a 6= b , то (a, b) 6= (b, a), то есть две пары, отличающиеся только порядком расположения элементов, будут различны.
    33

    Упорядоченные пары можно образовать и из элементов двух различных множеств. Пусть A = {t, p}; B = {a, o, e}. Составим всевозможные пары, первые элементы которых принадлежат множеству A, а вторые  множеству B.
    Получим множество {(t, a), (t, o), (t, e), (p, a), (p, o), (p, e)}, кото- рое называют декартовым (или прямым) произведением мно- жеств A и B.
    34

    Определение 9 . Декартовым произведением двух непустых множеств A и B называется множество, состоящее из всех упорядоченных пар вида (a, b), где a ? A и b ? B.
    Декартово произведение множеств A и B обозначают сим- волом Ч, A Ч B. Приведјнное определение можно записать короче: A Ч B = {(a, b)|a ? A и b ? B}.
    Декартово произведение A Ч A называют декартовым квад- ратом множества A и обозначают A
    2
    Операция, с помощью которой находится декартово произ- ведение множеств, называется декартовым умножением.
    Декартово умножения не обладает свойствами коммутатив- ности и ассоциативности.
    35

    Свойства декартова произведения
    1. Если A 6= B, то A Ч B 6= B Ч A.
    2. Если ни одно из множеств A, B и C не является пустым,
    то A Ч (B Ч C) 6= (A Ч B) Ч C.
    3. A Ч (B ? C) = (A Ч B) ? (A Ч C).
    4. (A ? B) Ч C = (A Ч C) ? (B Ч C).
    5. A Ч (B ? C) = (A Ч B) ? (A Ч C).
    6. (A ? B) Ч C = (A Ч C) ? (B Ч C).
    7. A Ч (B \ C) = (A Ч B) \ (A Ч C).
    8. (A \ B) Ч C = (A Ч C) \ (B Ч C).
    36

    Понятие упорядоченной пары естественным образом распро- страняется на наборы из n элементов. Под упорядоченной n
    -кой (читается ѕэнкаї) будем понимать n элементов, рас- положенных в определјнном порядке. Обозначают n-ку сим- волом (a
    1
    , a
    2
    , . . . , a n
    )
    и называют кортежем длины n.
    Определение 10 . Декартовым произведением непустых мно- жеств A
    1
    , A
    2
    , . . . , A
    n называется множество всевозможных кортежей длины n, первая компонента которых принадлежит множеству A
    1
    , вторая  множеству A
    2
    , . . . , n-я  множеству
    A
    n
    Декартово произведение множеств A
    1
    , A
    2
    , . . . , A
    n обозначают
    A
    1
    Ч A
    2
    Ч . . . Ч A
    n
    37

    R Ч R = R
    2
     множество точек плоскости.
    RЧRЧR = R
    3
     множество точек трјхмерного пространства.
    R Ч R Ч R . . . Ч R = R
    n
     множество точек n-мерного простран- ства.
    38

    Бинарные отношения
    Определение 11 . Бинарным отношением (соответствием)
    между множествами A и B называется любое подмножество
    F
    декартова произведения A на B. F бинарное отношение
    ?? F ? A Ч B
    Для бинарного соответствия P ? X Ч Y множество X на- зывают областью отправления, множество Y  областью прибытия, а множество P  графиком соответствия ?. Ес- ли (x, y) ? P , то говорят, что при соответствии ? элементу x соответствует элемент y, и записывают: x ? y.
    39

    Пусть даны два непустых множества X и Y .
    Определение 12 . Соответствие f, которое каждому элемен- ту x ? X сопоставляет один и только один элемент y ? Y на- зывается функцией и записывается y = f(x), x ? X : X ? Y.
    f отображает множество X на множество Y .
    X
     область определения функции f: D(f).
    Y
     множество значений функции f: E(f).
    Если X и Y  числовые множества, то f  числовая функ- ция. В этом случае x  аргумент или независимая перемен- ная, а y  функция или зависимая переменная.
    40

    Элементы математической логики
    Логика  наука, изучающая понятия с формальной точки зрения: методы их определения и преобразования, суждения о них и структуры доказательных рассуждений.
    Исследования в логике тесно связаны с изучением ѕвыска- зыванийї. С помощью высказываний устанавливаются свой- ства, взаимосвязи между объектами. Высказывание истинно,
    если оно адекватно отображает эту связь, в противополож- ном случае оно ложно.
    Определение 13 . Высказывание  повествовательное пред- ложение (утверждение об объектах), имеющее однозначный,
    точно определенный смысл, о котором можно говорить: оно истинно или ложно.
    41

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

    1. Логические связки применяются к высказываниям, в ре- зультате образуют новое высказывание.
    Например: ѕнеї, ѕилиї, ѕне только . . . , но и . . . ї и др.
    2. Модальности применяются к высказываниям и изменяют наше отношение к ним.
    Например: ѕпо сведениям Западно-Сибирского гидрометцен- тра . . . ї, ѕМаша сказала, что . . . ї и др.
    3. Кванторные конструкции применяются к совокупности однородных (отличающихся лишь значениями некоторых па- раметров) высказываний либо выражений и дают единое вы- сказывание либо выражение, которые не зависят от упомя- нутых выше параметров.
    Например: ѕбольшинство. . . ї, ѕвсе. . . ї, ѕнайдется. . . ї и др.
    43

    Логические связки
    Для обозначения высказываний обычно используются про- писные или строчные буквы латинского алфавита: A, B, C,
    X
    , Y , p, q, r, s, t и др. Составные высказывания получаются из простых при помощи так называемых логических свя- зок (операций):
    НЕ (отрицание), И (конъюнкция), ИЛИ (дизъюнкция), СЛЕ-
    ДУЕТ (импликация), ТОГДА И ТОЛЬКО ТОГДА, КОГДА
    (эквивалентность).
    44

    A
    A
    0 1 1 0
    A
    B
    A ? B
    A ? B
    A ? B
    A ? B
    0 0 0
    0 1
    1 0 1 0
    1 1
    0 1 0 0
    1 0
    0 1 1 1
    1 1
    1 45

    Кванторные конструкции
    Квантор  общее название для логических операций, ограни- чивающих область истинности какого-либо предиката и со- здающих высказывание.
    Символ ? для квантора всеобщности введјн Герхардом Ген- ценом
    ?
    в 1935 году по аналогии с символом квантора суще- ствования ?, введјнным Джузеппе Пеано

    в 1897 году.
    ?
    Герхард Карл Эрих Генцен  немецкий математик и логик, 24 ноября
    1909  4 августа 1945

    Джузеппе Пеано  27 августа 1858  20 апреля 1932  итальянский математик
    46

    ДЛЯ ВСЕХ
    Утверждение ѕдля всех x верно A(x)ї символически записы- вается ?xA(x). Символ ? называется квантором всеобщно- сти. Эта же связка используется при переводе утверждений:
    ѕA верно при любом значении xї, ѕдля произвольного x име- ет место A(x)ї, ѕкаково бы ни было x, справедливо A(x)ї и т. п.
    Утверждение ?xA(x) истинно ттт A(x) истинно при любом фиксированном значении x.
    Утверждение ?xA(x) ложно ттт имеется хотя бы одно кон- кретное значение x,  такое, что A(x) ложно.
    47

    Определение же истинностного значения формулы ?xA(x) не всегда сводится к простому вычислению.
    Например, при данных конкретных натуральных x, y, z, n утвер- ждение x n+2
    + y n+2 6= z n+2
    можно проверить простым вы- числением, а проблема, верно или неверно на множестве N
    утверждение ?x ?y ?z ?n(x n+2
    + y n+2 6= z n+2
    )
    . Эта проблема известна под названием великой теоремы Ферма
    ?
    . На обыч- ном математическом языке она формулируется следующим образом: уравнение x n
    + y n
    = z n
    при n > 2 не имеет решений в положительных целых числах.
    ?
    В общем виде теорема была сформулирована Пьером Ферма в 1637
    году на полях ѕАрифметикиї Диофанта. Доказана в 1994 году Эндрю
    Уайлсом с коллегами (доказательство опубликовано в 1995 году).
    48

    СУЩЕСТВУЕТ
    Утверждение ѕсуществует такое x, что A(x)ї записывается на языке математики как ?xA(x). Знак ? называется кван- тором существования. Эта же запись применяется при пе- реводе утверждений: ѕA(x) верно при некоторых xї, ѕA(x)
    иногда верної, ѕесть такое x, при котором A(x)ї, ѕможно найти такое x, при котором A(x)ї и т. п.
    Высказывание ?xA(x) истинно, если в нашем универсе най- дется хотя бы одно значение c, при котором A(c) истинно.
    ?xA(x)
    ложно, если при любом значении c ложно A(c).
    49

    Нахождение истинностного значения ?xA(x) также может со- ставлять проблему. Например, натуральное число n называ- ется совершенным, если сумма его делителей (исключая са- мо n) равна n.
    Например: 6  совершенное число, т. к. 6 = 1 + 2 + 3; 28
    также совершенное число, т. к. 28 = 1 + 2 + 4 + 7 + 14. Яс- но, что при данном n проверка условия ѕn  совершенное числої является чисто механическим процессом; ее можно поручить компьютеру. Но проблема ѕсуществует ли нечетное совершенное число?ї стоит уже более 2000 лет, и пока нет способа ее решения.
    50

    Пример определения, записанного с помощью кванторных конструкций
    Число A называется пределом последовательности {x n
    }
    , ес- ли для любого положительного числа ? найдјтся такое на- туральное числ n
    0
    = n
    0
    (?)
    , что при всех n > n
    0
    выполняется неравенство: |x n
    ? A| < ?

    , lim n??
    x n
    = A
    (A : ?? > 0 ? n
    0
    ? N : ?n > n
    0
    ? |x n
    ? A| < ? ? lim n??
    x n
    = A.)
    51


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