
- •Раздел 1. Элементы математической логики, теории множеств. Основные понятия алгебраических структур: группы, кольца, поля. Глава 1. Элементы математической логики и теории множеств. Содержание
- •Введение
- •§1. Высказывания, операции над высказываниями п.1. Высказывания.
- •П.2. Отрицание высказывания.
- •П.3. Дизъюнкция высказываний.
- •П.4. Конъюнкция высказываний.
- •П.5. Импликация высказываний.
- •П.6. Равносильность (эквивалентность) высказываний.
- •§2. Формулы алгебры высказываний. Законы логики п.1. Определение формул алгебры высказываний.
- •П.2. Законы логики.
- •§3. Предикаты. Кванторы общности и существования п.1. Определение предиката.
- •П.2. Логические операции алгебры предикатов.
- •П.3.Равносильность предикатов.
- •П.4. Квантор общности.
- •П.5. Квантор существования.
- •П.6.Построение отрицания высказываний, содержащих кванторы. Законы Де Моргана.
- •§4. Взаимно обратные теоремы. Необходимые и достаточные условия. Взаимно противоположные теоремы. Доказательство от противного п.1.Стандартная форма записи теоремы.
- •П.2. Обратные теоремы. Необходимые и достаточные условия.
- •П.3. Противоположные теоремы.
- •П.4. Теорема, противоположная обратной (доказательство от противного).
- •§5. Элементы теорий множеств (интуитивная теория множеств). П.1. Множества.
- •П.2. Подмножества.
- •П3. Пустое множество.
- •П.4. Операции над множествами.
- •П.5. Свойства операций над множествами.
- •П.6. Универсальные множества. Дополнение и его свойства.
- •§6. Прямое произведение двух множеств. Бинарные отношения. Отношения эквивалентности и фактор множества. Функции. Отношение порядка. П.1. Прямое произведение множеств.
- •П.2. Бинарные отношения.
- •Виды бинарных отношений.
- •Изображение бинарных отношений графами.
- •Запишем это бинарное отношение как множество пар:
- •П.3. Отношение эквивалентности и фактор множества.
- •П.4. Отношение порядка.
- •Упорядоченные множества.
- •П.5. Функции (отображения).
- •Сужение функции.
- •Виды функций.
- •Композиция функции (сложная функция). Суперпозиция функции.
- •Тождественная (единичная) функция.
- •Обратные функции.
- •Обратные тригонометрические функции.
- •Задачи.
Композиция функции (сложная функция). Суперпозиция функции.
Определение.
Пусть
,
.
Композицией функции
и
(обозначается
)
называется такая функция, что её значение
определяется функцией
- внешняя функция, - внутренняя функция.
Сначала на элементы действует внутренняя, а затем внешняя функция.
Пример.
.
-
внешняя функция;
,
,
-
первая, вторая и третья внутренние
функции.
В общем случае композиция функций не коммутативна.
Теорема. Композиция
функции ассоциативна, т.е
;
;
и выполняется свойство:
Доказательство.
Равенство
-
это равенство функций. Проверим выполнение
двух условия определения равенства
функций:
1)
2)
Из 1) и 2) следует справедливость свойства .
Тождественная (единичная) функция.
Определение.
Функция
называется тождественной на множестве
,
если
.
Свойства:
1. Пусть
,
-
тождественная функция на
,
тогда
Доказательство.
а)
б)
Из а) и б) следует
2. Пусть
,
-
тождественная функция на
,
тогда
Доказательство.
а)
б)
.
Из а) и б) следует .
Обратные функции.
Пусть - биекция (т.е. каждый элемент из множества является образом единственного элемента из множества ).
Определим функцию
.
Другими словами, если функция
элемент
переводит в
,
то
элемент
переводит в
- биекция; называется обратной функцией к .
Свойства:
Для любой биекции выполняются свойства:
1.
,
где
-
единичная функция на
.
Проверим два условия равенства
функции.
а)
б)
Из а) и б) следует
.
2.
где
-
единичная функция на
.
а)
б)
Из а) и б) следует
Обратные тригонометрические функции.
1. Функция
.
;
- не является инъекцией
- сюръекция
- не является биекцией
Следовательно не имеет обратной функции.
Рассмотрим сужение sin.
;
Это сужение является инъекцией, сюръекцией, биекцией.
Следовательно имеет обратную функцию.
Г
рафик
функции arcsin
симметричен графику сужения функции
относительно биссектрисы 1 и 3 координатных
углов.
,
,
2. Функция
.
;
- не является инъекцией
- сюръекция
- не является биекцией
Следовательно не имеет обратной функции.
Рассмотрим сужение cos.
;
Это сужение является инъекцией, сюръекцией, биекцией. Следовательно имеет обратную функцию:
График функции
arccos
симметричен графику сужения функции
относительно биссектрисы 1 и 3 координатных
углов.
,
,
3. Функция arctg.
;
- не является инъекцией
- сюръекция
- не является биекцией
Следовательно не имеет обратной функции.
Рассмотрим сужение tg:
;
Это сужение является инъекцией, сюръекцией, биекцией. Следовательно имеет обратную функцию:
Г
рафик
функции arctg
симметричен графику сужения функции
относительно биссектрисы 1 и 3 координатных
углов.
,
,
4. Функция arcctg.
;
- не является инъекцией
- сюръекция
- не является биекцией
Следовательно не имеет обратной функции.
Рассмотрим сужение сtg:
;
Это сужение является инъекцией, сюръекцией, биекцией. Следовательно имеет обратную функцию:
График функции
arсctg
симметричен графику сужения функции
относительно биссектрисы 1 и 3 координатных
углов.
,
,