Функция и отображение

Декартово произведение

Декартово произведение множеств

Определение

Декартовым произведением множеств и называется множество то есть множество пар, в которых первый элемент берётся из множества , а второй – из множества .

Ссылка на оригинал


Соответствие множеств

Соответствие множеств

Соответсвтие множеств

Пусть и множества. Рассмотрим их декартово произведение:

Это множество всех пар элементов этих множеств, взятых в указанном порядке. Его подмножества называют соответствиями между и .

Пример

– соответствие между и .
(Многоточие означает, что могут быть и другие числа, в частности пустой набор.)

функцияиотображение

Ссылка на оригинал


Функция

Функция

Функция

Соответствие между множествами и называется функцией из в , если:

Обозначение: , произносится « из в ».

функцияиотображение

Ссылка на оригинал


Свойства функций

Свойства функций

Def. Областью определения функции будем называть множество

Def. Множеством значений функции называется множество

Def. Две функции равны, если совпадают их области определения, множества значений и выполнено:(при условии, что принадлежит области определения).

Поиск множества значений при разных областях определения

Пусть .

  • (от значения в точке минимума до максимального из значений на концах интервала)
  • прообраз (значения, меньшие двух, функция принимает на интервале .
  • (такое значение функция не принимает)

функцияиотображение

Ссылка на оригинал


Отображение

Отображение

Def. Если область определения функции , то функция называется отображением.

Def. Отображение называется тождественным, если т.е. если оно каждый элемент переводит в себя. Очевидно, что в этом случае область определения и множество значений совпадают с самим множеством .

функцияиотображение

Ссылка на оригинал


Образ и прообраз

Образ и прообраз

Def. Пусть функция . Множество называется образом относительно функции .
Если , то говорят, что отображает на .
Обозначение: .

Def. Множество называется прообразом множества .

Дополнение

Аналогично для конкретного элемента : элемент называется образом элемента , если . С другой стороны, называется прообразом элемента . Всё множество прообразов для , очевидно, это .

Прообраз множества может быть пуст, если .

функцияиотображение

Ссылка на оригинал


Виды функций

Виды функций

Def 1. Функция называется инъективной (инъекция), если

Def. Функция называется сюръективной (сюръекция), если

То есть

Def. Если Функция инъективна и сюръективна, то она называется биективной (биекция).

Дополнение

Если множества равномощны (то есть элементы первого множества могут быть занумерованы с помощь второго и наоборот), то между ними можно построить биекцию

Примеры

ИнъекцияСюръекцияБиекция
---
-+-

Пример 2

Рассмотрим пример, в котором участвуют множества и разной природы. Дана функция:

Каждой матрице сопоставляется её определитель. Функция обладает свойством мультипликативности

Эта функция не инъективна (разные матрицы могут иметь одинаковый определитель), но сюръективна (каждое вещественное число может быть получено как ).

функцияиотображение

Ссылка на оригинал


Композиция функций

Композиция функций

Def. Пусть заданы функции . Композицией (суперпозицией) функций и называется функция , заданная правилом:

Замечание

Множество , используемое в определениях и может не совпадать, а лишь пересекаться, поэтому область определения композиции может быть сужена.

Примеры

Пусть . Найти .

функцияиотображение

Ссылка на оригинал


Теорема 1. Ассоциативность композиции

Теорема. Ассоциативность композиции функций

Теорема

Операция композиции функций ассоциативна, то есть для
выполнено:

Доказательство

Пусть :

и

Таким образом, обе композиции совпадают.

Замечание

Если , то, как правило, .

Замечание 2

Другой вариант записи — — не используется в данном курсе.

функцияиотображение

Ссылка на оригинал


Обратная функция

Обратная функция

Def. Пусть . Функция называется обратной к функции , если область определения равна множеству значений функции () и для любого из следует . Иначе говоря: где - тождественные отображения на и (либо их подмножествах)

Замечание

Из определения тождественной функции следует, что для функций из в таковой является функция .

функцияиотображение

Ссылка на оригинал


Теорема 2. Единственность обратной функции

Теорема. Единственность обратной функции

Теорема

Если обратная функция существует, то она единственна.

Доказательство

Пусть и обратные функции к . Тогда

функцияиотображение

Ссылка на оригинал


Теорема 3. Критерий обратимости функции

Теорема. Критерий обратимости функции

Теорема

Пусть для функции выполнено . Тогда обратима тогда и только тогда, когда она биективна.

Доказательство

Если обратима, то она сюръективна, и из равенства следует , то есть инъективна. Следовательно, биективна.

Обратно. Если биективна, то существует взаимно-однозначное соответствие . Определим функцию равенством . Тогда

Таким образом, и , то есть является обратной к

функцияиотображение

Ссылка на оригинал


По итогам лекции нужно знать

  1. Понятия:

  2. Виды функций (инъекция, сюръекция, биекция)

  3. Основные теоретические факты с доказательствами:

функцияиотображение