Функция , которая каждому элементу множества ставит в соответствие некоторое подмножество множества называется многозначной функцией[2], если хотя бы для одного значение содержит более одного элемента
Обычные (однозначные) функции можно рассматривать как частный случай многозначных, у которых значение состоит ровно из одного элемента.
Примеры
Простейший пример — двузначная функция квадратного корня из положительного числа, у неё два значения, различающиеся знаком. Например, квадратный корень из 16 имеет два значения — и
Многозначные функции неудобно использовать в формулах, поэтому из их значений нередко выделяют одно, которое называют главным. Для квадратного корня это неотрицательное значение (то есть, арифметический квадратный корень), для арксинуса — значение, попадающее в интервал и т. д.
В комплексном анализе понятие многозначной функции тесно связано с понятием
римановой поверхности — поверхности в многомерном комплексном пространстве, на которой данная функция становится однозначной.