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

Многозна́чная фу́нкция — обобщение понятия функции, допускающее наличие нескольких значений функции для одного аргумента^[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]}$ и т. д.

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

Характерный пример многозначных функций —

Например, корень n-й степени из любого ненулевого комплексного числа принимает ровно ${\displaystyle n}$ значений. У комплексного логарифма число значений бесконечно, одно из них объявлено главным.

В комплексном анализе понятие многозначной функции тесно связано с понятием римановой поверхности — поверхности в многомерном комплексном пространстве, на которой данная функция становится однозначной.

• Многозначное отображение

• 1972
  .
• 1969
  . — 577 с.