logo
АТЧ_Моисеев_С

§ 5. Функции

Функции как упорядоченные тройки. Равенство двух функций. Область отправления, область прибытия, график функции. Область определения и множество значений функции. f: A ® B. f: a b. D(f). E(f). Функция = всюду определённая функция. Инъекция, сюръекция, биекция. Тождественное отображение. eА.

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

Если f – функция, то отношение f -1 является функцией тогда и только тогда, когда f – биекция.

Композиция функций. g°f.

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

1°. Композиция не коммутативна.

2°. Композиция ассоциативна.

3°. Если f: A ® B, то f°eА = eB°f = f.

4°. Если f: A ® B – биекция, то f -1°f = eА, f°f -1 = eB.

5°. Если f: A ® B, g: B ® A и g°f = eА, f°g = eB, то f – биекция и f -1 = g.

6°. Если f – биекция, то f -1 – также биекция, причём (f -1)-1 = f.

7°. Если f: A ® B и g: B ® С – биекции, то g°f – биекция и (g°f)-1 = f -1°g -1.

Образ и полный прообраз множества.