- •Содержание
- •Часть I Классическая математика ЧастьIi Дискретная математика
- •Раздел I элементы теории множеств.
- •§1 Определение множеств.
- •§2 Операции над множествами.
- •§3 Отношения между множествами.
- •§4 Основные свойства теоретико-множественных операций.
- •§5 Доказательство тождеств в алгебре множеств.
- •§6 Разбиение.
- •§7 Кортеж (вектор).
- •§8 Декартово (прямое) произведение.
- •§ 9 Отображение.
- •§10 График.
- •§11 Соответствие.
- •Основные свойства соответствий:
- •Cужение соответствия:
- •Прообраз соответствия:
- •Свойства прообразов соответствия:
- •§12 Отношение.
- •Раздел II. Элементы математической логики.
- •Часть 1. Исчисление высказываний.
- •§1 Высказывания.
- •§2. Свойства логических операций.
- •§3. Логические формулы.
- •§4. Функции алгебры логики (фал). (функции алгебры высказываний)
- •§5. Способы вычисления фал.
- •§6. Проблема разрешения.
- •§7. Аналитические способы представления фал.
- •§8 Интерпретация алгебры логики.
- •§8.1 Интерпретация алгебры логики в исчисление высказываний.
- •§8.2 Интерпретация алгебры логики в теории множеств.
- •§8.3 Интерпретация алгебры логики в теории конечных автоматов.
- •§9 Анализ простейших рассуждений.
- •§10 Методы доказательств.
- •§11 Предикаты.
- •§12 Кванторы.
- •§13 Формулы исчесления предикатов.
- •§13.1 Операции логики высказываний над предикатами.
- •§14 Равносильные формулы в исчислении предикатов.
- •§15 Подходы к построению выводов.
- •§16 Минимизация булевых функций.
- •§17 Геометрическое представление булевых функций.
- •§18 Методы минимизации булевых функций.
- •1. Метод неопределенных коэффициентов.
- •2. Метод минимизирующих карт (Гарвардский метод).
- •§19 Основные классы булевых функций.
- •Раздел III. Элементы теории графов.
- •§1 Основные определения.
- •§2 Связь бинарных отношений и графов.
- •§3 Связность в графах.
- •§4 Эйлеровы графы.
- •1. Учебники и учебные пособия.
- •2. Задачники.
- •1. Учебники и учебные пособия.
- •2. Задачники.
- •Учебники и учебные пособия.
§11 Соответствие.
Df1.
Соответствие Г называют тройку множеств
<G,
X,
Y>,
где
![]()
- график.
Х – область отправления, Y – область прибытия
Пример:
Х
{a,
b,
c}
a
b
c

график
соответствия Г![]()
Y
{
}
α
β
γ
пр1
Г = {
}
пр2
Г = {
}
пр2 Г – берутся элементы Y такие, что для всех х существует пара, соответствующая условию
<x,
y>![]()
Поскольку основным свойством соответствия является подмножество G декартового произведения, то все ранее рассмотренные свойства графиков относятся и к свойствам соответствия.
Основные свойства соответствий:
1. а) Соответствие
имеет вид
- полное множество.
Г
(полное соответствие).
б) Г
- не берем ни одного элемента из множествX
и Y.
Г – пустое соответствие. Все остальные
графики лежат между этими двумя.
2. Над соответствием можно выполнять инверсию:
Г -1
,
гдеY
– область отправления, X
– область прибытия.
Для выполнения инверсии достаточно, например:
Х
{a,
b,
c}
a
b
c
График

Y
{
}
α
β
γ
Х
{a,
b,
c}
a
b
c
Инверсия
Y
{
}
α β
γ
Достаточно стрелки
направить в обратном направлении Г(х =
пр1
G)
пр2
G
= у.
3. Композиция соответствия. Имеет смысл для двух и более соответствий.
Рассмотрим для двух соответствий
<H,
V,
W>
- основное условие
Г
<G,
X,
Y>
![]()
<
,
X,
W>
Заданы 2 соответствия, требуется найти их композицию. Прежде чем находить композицию необходимо в первую очередь проверить равенство области прибытия Y, области отправления V.
4. Под Г(А) понимают
множество элементов из области , для
которого существует
из заданного графика.
Г
(А)
{
}
Полный образ множества А при соответствии Г.
5. Если А есть подмножество В, если над ними взять одинаковые соответствия, то Г(А) будет вложено в Г(В).
![]()
Например, Г(А) =
,
то вновь введенное множество А и пр1G
не пересекутся.
Г(А) =
![]()
А
пр1G
=
.
Х
{a,
b, c} - пр1G
a b c

Y
{
}
– пр2G
α
β
γ
Пусть А = Х Г(Х =
пр1G)
пр2G
= Y
Cужение соответствия:
Между Г(А) =
и Г(А=Х) =Y
лежат все остальные
ГА – сужение соответствия Г на множество А.
Ч
Y
Y
Y
B
A
X
.
Сужение соответствия Г определяется через сужение графика данного соответствия.
ГА![]()
В двойственном определенном смысле есть понятие продолжения соответствия.
ГВ![]()
![]()
Прообраз соответствия:
Г-1(А)
![]()
Элементы множества А – элементы области прибытия
Свойства прообразов соответствия:
1.
,
2.
.
,
.
Поскольку соответствие задается не только в виде графика, это есть некоторое отображение множества Х на множество Y, которое задается в виде графика Y, т.е. смысл говорить о соответствии как об отображении. Соответствия как и отображения могут быть сюрьективным, биективным и инъективным.
Соответствие Г является:
1) функциональным, если
Г
<G,
X,
Y>
- G
– функциональный.
2) инъективным, если G – инъективный.
3) всюду определенным, если график G всюду определен.
4) сюрьективное,
если график G:
сюрьективный (отображение на).
5) взаимнооднозначное
(биективное), если график G:
- биективный (во-первых, Г всюду определено,
во-вторых, оно и функциональное и
инъективное, в-третих, является
сюрьективным).
