
- •Введение
- •Лекция 0 Кванторы и символы математической логики
- •Лекция 1 Множества
- •Способы задания множеств
- •Подмножества
- •Особые множества
- •Мощность множества
- •Лекция 2 Операции над множествами
- •Диаграммы Эйлера-Венна
- •Объединение множеств
- •Пересечение множеств
- •Разность множеств
- •Дополнение множества
- •Симметрическая разность
- •Основные законы алгебры множеств
- •Приоритеты операций над множествами
- •Покрытие и разбиение множества
- •Лекция 3 Кортеж
- •Декартово произведение множеств
- •Лекция 4. Соответствие. Отображение. Функция. Соответствие
- •Отображение
- •Функция
- •Лекция 5 Отношения
- •Одноместные отношения
- •Бинарные отношения
- •Лекция 6 Специальные типы отношений
- •Отношение эквивалентности
- •Отношение порядка
- •Отношение доминирования
- •Отношение толерантности
- •Функциональное отношение
- •Лекция 7 Системы счисления
- •Лекция 8 Основы знаковой арифметики
- •Лекция 9 Алгебра высказываний
- •Лекция 10 Булевы функции
- •Аксиомы и законы алгебры логики
- •Лекция 11 Аналитическое представление функций алгебры логики
- •Дизъюнктивная нормальная форма (днф)
- •Конъюнктивная нормальная форма (днф)
- •Лекция 12 Минимизация булевых функций с помощью аналитических преобразований
Отображение
Полностью определенное соответствие называется отображением.
Пусть A и B – произвольные непустые множества. Если задано такое соответствие, при котором область определения совпадает с областью отправления (ARA), то есть каждому элементу aA может быть сопоставлен хотя бы один элемент bB, то говорят, что задано отображение G множества A на множество B. Для обозначения отображения используется запись
G : A → B.
С математической точки зрения отображение определяется тройкой множеств <A, B, G> и является частным случаем соответствия. Графически отображение соответствует рис. 4.2.
Если каждому элементу aA отображение G ставит в соответствие некоторое подмножество G(a)B, то образом элемента a будет подмножество G(a), а отображение G будет называться многозначным отображением. Если же |G(a)|=1, то имеем дело с однозначным отображением.
Отображения бывают инъективными, сюръективными, функциональными и биективными. Студентам предлагается самим придумать примеры отображений данных типов.
Функция
Функцией f называется функциональное соответствие, то есть такое, при котором для <a1, b1>f и <a2, b2>f из a1=a2 следует b1=b2. Обозначение функции:
f: AB или f(a) = b.
Здесь элемент a называют аргументом функции, элемент b – значением функции.
Если область определения функции совпадает с областью отправления, то функцию называют полностью определенной. В противном случае она считается частично определенной или частичной функцией.
Если |B|=1, то функция называется функцией-константой.
Функция называется инъективной, если
a1, a2, b : b=f(a1), b=f(a2) a1=a2,
то есть каждому значению функции соответствует единственное значение аргумента.
Функция называется сюръективной, если
bB aA : b=f(a),
то есть каждому значению b соответствует некоторый аргумент a.
Функция называется биективной, если она одновременно сюръективна и инъективна.
Студентам предлагается самостоятельно нарисовать графические представления различных типов функций по аналогии с рисунками 4.2-4.6.
В качестве примера рассмотрим три функции, заданные на множестве действительных чисел и принимающих значения в этом же множестве:
1. Функция f(x)=ex. Она инъективна (поскольку каждое значение функции определено только для одного аргумента), но не сюръективна, (поскольку отрицательным значениям функции не сопоставлено ни одно значение аргумента).
2. Функция f(x)=x3-x. Она сюръективна (так как может принимать все значения на множестве действительных чисел), но не инъективна (например, значение, равное нулю, она принимает на трех различных аргументах: при x=0, x=1 и x=-1);
3. Функция f(x)=2x+1 – биективна (в качестве аргументов и значений могут выступать все элементы множества действительных чисел, причем каждому значению аргумента соответствует только одно значение функции, и наоборот).
Функция типа A1A1…AnB называется n-местной функцией. В этом случае принято считать, что функция имеет n аргументов: f (a1, a2, …, an) = b, где a1A1, a2A2, …, anAn, bB. Например, сложение, умножение, вычитание и деление являются двухместными функциями на множестве вещественных чисел R, то есть функциями типа R2R.
Если соответствие, обратное к функции
f:AB
является функциональным, то оно называется
функцией, обратной к f
и обозначается
f
–1. Очевидно, что в обратном
соответствии образы и прообразы меняются
местами, поэтому для существования
обратной функции f
–1 требуется, чтобы каждый
элемент из области значения
имел бы единственный прообраз. Это
означает, что для функции f:AB
обратная функция f
–1 существует тогда и только
тогда, когда f является
биективным соответствием между своей
областью определения и областью значений.
Например, функция sin(x) имеет тип RR. Отрезок [–/2; /2] она взаимно однозначно отображает на отрезок [–1; 1]. Поэтому для неё на отрезке [–1; 1] существует обратная функция arcsin(x).