Многозначная функция

---

Многозна́чная фу́нкция — обобщение понятия функции, допускающее наличие нескольких значений функции для одного аргумента^[1].

Функция ${\displaystyle F}$, которая каждому элементу множества ${\displaystyle X}$ ставит в соответствие некоторое подмножество множества ${\displaystyle Y,}$ называется многозначной функцией^[2], если хотя бы для одного ${\displaystyle x\in X}$ значение ${\displaystyle F(x)}$ содержит более одного элемента ${\displaystyle Y.}$

Обычные (однозначные) функции можно рассматривать как частный случай многозначных, у которых значение состоит ровно из одного элемента.

Простейший пример — двузначная функция квадратного корня из положительного числа, у неё два значения, различающиеся знаком. Например, квадратный корень из 16 имеет два значения — ${\displaystyle +4}$ и ${\displaystyle -4.}$

Другой пример — обратные тригонометрические функции (например, арксинус) — поскольку значения прямых тригонометрических функций повторяются с периодом ${\displaystyle 2\pi }$ или ${\displaystyle \pi ,}$ то значения обратных функций многозначны («бесконечнозначны»), все они имеют вид ${\displaystyle \varphi +2k\pi }$ или ${\displaystyle \varphi +k\pi ,}$ где ${\displaystyle k}$ — произвольное целое число.

Многозначные функции неудобно использовать в формулах, поэтому из их значений нередко выделяют одно, которое называют главным. Для квадратного корня это неотрицательное значение (то есть, арифметический квадратный корень), для арксинуса — значение, попадающее в интервал ${\displaystyle \left[-{\frac {\pi }{2}},{\frac {\pi }{2}}\right]}$ и т. д.

---