- •Содержание
- •Часть 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. Задачники.
- •Учебники и учебные пособия.
§ 9 Отображение.
Возьмем два множества А, В
Р
ассмотрим
как могут соотносится эти два множества
Df1. Отображением множества А во множество В называется такое соответствие двух множеств А и В, при котором каждому элементу множества А сопоставляется точно один элемент множества В.
f:
А
В
– отображение А в В.
ГВ(А)
– отображение А в В: y
= f(x),
где х
А
y
В.
В такой записи х называется прообразом, у – образом.
f: А = В
Виды отображений:
1. Сюръекция (отображение на) отображение А на В.
Df2.
Если каждому элементу из множества В
сопоставляется хотя бы один
элемент из
множества А, то такое отображение f:
А
В
называется сюръекцией (или отображением
множества А на множество В)
2. Инъекция («впрыскивание»).
Df3.
Если каждому элементу из множества В
сопоставляется не более одного элемента
из множества А, то такое отображение f:
А
В
называется инъекцией.
3. Биекция.
Df4.
Если каждому элементу из множества В
сопоставляется точно один элемент из
множества А, то такое отображение f:
А
В
называется биекцией.
Биекция есть очевидно одновременно отображение сюръективное и инъективное. Биекция используется для определения мощности в силу установления одно-однозначного отображения двух множеств. Если множества А и В имеют одинаковое число элементов, то между ними устанавливается биективное отображение. Такие множества называются равночисленными. Если А и В – бесконечные множества и между ними устанавливается биективное отображение, то такие множества называются равномощными.
A = N = {1, 2, 3…}
B = Nчет = {2, 4, 6…}
f:
n
2n,
где n
A,
2n
B
=> биекция – мощности равны (парадокс).
Парадоксы, когда часть множества равна целому, могут встречаться только если множества бесконечные.
Df5. Если множества А и В связаны инъективным (биективным) отображением, то они называются эквивалентными (А~В).
Свойства эквивалентности множеств (А~В):
1) рефлексивность: А~А,
2) симметричность:
А~В
В~А,
3) транзитивность: А~В, В~С → А~С.
Для того, чтобы определить счетно ли множество необходимо установить, что оно биективно или эквивалентно множеству N.
Свойства отображений:
Если f: x→y, то говорят, что f -1: х←у – это отображение называется обратным, при
э
f
A
x y B
f
-1
том
два множества (А, В)связаны средством
включения:
1)
,
2)
,
3)
.
§10 График.
Df1.
Графиком у при отображении f:
А→В называется множество Гf,
состоящее из упорядоченных пар (кортежей)
<х, у>, где
.
Г
{<x,
y>|
y
= f(x),
}
В
yn
y = f(x)
.
пр2
Гf
.
y1
пр1
Гf
.
А
х1
………….хn
A
![]()
А – 0.0.Г (область определения)
В – 0.3.Г (область значения)
Виды графиков:
1) функциональный,
2) инъективный.
Df2. Функциональным графиком называется график, не содержащий пар с одинаковыми первыми и различными вторыми компонентами.
Df3. Инъективным графиком называется график, не содержащий пар с различными первыми и одинаковыми вторыми компонентами.
Операции над графиками:
В силу того, что
график есть множество, то над ним имеют
место все теоретико-множественные
операции:
![]()
Так как график – это упорядоченное множество, то над ним выполняются дополнительные операции:
1
)
инверсия графика
у
{<x,
y>|
y
= f(x),
}
у -1
{<y,
х>| х = f
-1(у),
}
2) композиция двух
графиков (
),
где А и В – графики, называется такой
третий график С, который определяется
следующим образом
=
С
![]()
