Функция и отображение
Декартово произведение
Декартово произведение множеств
Ссылка на оригиналОпределение
Декартовым произведением множеств и называется множество то есть множество пар, в которых первый элемент берётся из множества , а второй – из множества .
Пример
для и получаем декартово произведение:
Соответствие множеств
Соответствие множеств
Соответсвтие множеств
Пусть и — множества. Рассмотрим их декартово произведение:
Это множество всех пар элементов этих множеств, взятых в указанном порядке. Его подмножества называют соответствиями между и .
Ссылка на оригиналПример
– соответствие между и .
(Многоточие означает, что могут быть и другие числа, в частности пустой набор.)
Функция
Функция
Ссылка на оригиналФункция
Соответствие между множествами и называется функцией из в , если:
Обозначение: , произносится « из в ».
Способы задания функции
Функция может быть задана перечислением пар , формулой либо другими средствами. Частным случаем является таблица для конечных множеств:
Здесь наглядно видно, какой образ имеет каждый элемент из множества .
Множества элементов первой и второй строки могут не совпадать. Если же они совпадают, то такая функция называется перестановкой.
Свойства функций
Свойства функций
Def. Областью определения функции будем называть множество
Def. Множеством значений функции называется множество
Def. Две функции равны, если совпадают их области определения, множества значений и выполнено:(при условии, что принадлежит области определения).
Ссылка на оригиналПоиск множества значений при разных областях определения
Пусть .
- (от значения в точке минимума до максимального из значений на концах интервала)
- прообраз (значения, меньшие двух, функция принимает на интервале .
- (такое значение функция не принимает)
Отображение
Отображение
Def. Если область определения функции , то функция называется отображением.
Def. Отображение называется тождественным, если т.е. если оно каждый элемент переводит в себя. Очевидно, что в этом случае область определения и множество значений совпадают с самим множеством .
Ссылка на оригинал
Образ и прообраз
Образ и прообраз
Def. Пусть функция . Множество называется образом относительно функции .
Если , то говорят, что отображает на .
Обозначение: .Def. Множество называется прообразом множества .
Ссылка на оригиналДополнение
Аналогично для конкретного элемента : элемент называется образом элемента , если . С другой стороны, называется прообразом элемента . Всё множество прообразов для , очевидно, это .
Прообраз множества может быть пуст, если .
Виды функций
Виды функций
Def 1. Функция называется инъективной (инъекция), если
Def. Функция называется сюръективной (сюръекция), если
То есть
Def. Если Функция инъективна и сюръективна, то она называется биективной (биекция).
Дополнение
Если множества равномощны (то есть элементы первого множества могут быть занумерованы с помощь второго и наоборот), то между ними можно построить биекцию
Примеры
Инъекция Сюръекция Биекция - - - - + - Ссылка на оригиналПример 2
Рассмотрим пример, в котором участвуют множества и разной природы. Дана функция:
Каждой матрице сопоставляется её определитель. Функция обладает свойством мультипликативности
Эта функция не инъективна (разные матрицы могут иметь одинаковый определитель), но сюръективна (каждое вещественное число может быть получено как ).
Композиция функций
Композиция функций
Def. Пусть заданы функции . Композицией (суперпозицией) функций и называется функция , заданная правилом:
Замечание
Множество , используемое в определениях и может не совпадать, а лишь пересекаться, поэтому область определения композиции может быть сужена.
Ссылка на оригиналПримеры
Пусть . Найти .
Теорема 1. Ассоциативность композиции
Теорема. Ассоциативность композиции функций
Теорема
Операция композиции функций ассоциативна, то есть для
выполнено:Доказательство
Замечание
Если , то, как правило, .
Ссылка на оригиналЗамечание 2
Другой вариант записи — — не используется в данном курсе.
Обратная функция
Обратная функция
Def. Пусть . Функция называется обратной к функции , если область определения равна множеству значений функции () и для любого из следует . Иначе говоря: где - тождественные отображения на и (либо их подмножествах)
Ссылка на оригиналЗамечание
Из определения тождественной функции следует, что для функций из в таковой является функция .
Теорема 2. Единственность обратной функции
Теорема. Единственность обратной функции
Теорема
Если обратная функция существует, то она единственна.
Ссылка на оригиналДоказательство
Пусть и — обратные функции к . Тогда
Теорема 3. Критерий обратимости функции
Теорема. Критерий обратимости функции
Теорема
Ссылка на оригиналДоказательство
Если обратима, то она сюръективна, и из равенства следует , то есть инъективна. Следовательно, биективна.
Обратно. Если биективна, то существует взаимно-однозначное соответствие . Определим функцию равенством . Тогда
Таким образом, и , то есть является обратной к
По итогам лекции нужно знать
-
Понятия:
-
Виды функций (инъекция, сюръекция, биекция)
-
Основные теоретические факты с доказательствами: