Una función multivaluada es una generalización del concepto de función que permite varios valores de función para un argumento [1] .
Una función que asocia cada elemento del conjunto con un cierto subconjunto del conjunto se llama función multivaluada [2] si al menos para uno el valor contiene más de un elemento
Las funciones ordinarias (de un solo valor) se pueden considerar como un caso especial de las de varios valores, en las que el valor consiste exactamente en un elemento.
El ejemplo más simple es una función de raíz cuadrada de dos valores de un número positivo, tiene dos valores que difieren en signo. Por ejemplo, la raíz cuadrada de 16 tiene dos significados, y
Otro ejemplo son las funciones trigonométricas inversas (por ejemplo, arcoseno ), ya que los valores de las funciones trigonométricas directas se repiten con un período , o luego los valores de las funciones inversas son multivaluados ("infinitos") , todos tienen la forma o donde es un número entero arbitrario.
Las funciones multivaluadas son inconvenientes para usar en fórmulas, por lo tanto, a menudo se destaca uno de sus valores, que se llama el principal . Para una raíz cuadrada, este es un valor no negativo, para un arcoseno, un valor que cae dentro del intervalo , y así sucesivamente.
La función antiderivada ( integral indefinida ) también se puede considerar como una función de valor infinito, ya que se define hasta una constante de integración .
Un ejemplo típico de funciones multivaluadas son algunas funciones analíticas en análisis complejo . La ambigüedad surge de la continuación analítica por diferentes caminos . También, a menudo, las funciones de valores múltiples se obtienen tomando funciones inversas .
Por ejemplo, la raíz enésima de cualquier número complejo distinto de cero toma valores exactos . El logaritmo complejo tiene un número infinito de valores, uno de ellos se declara el principal.
En el análisis complejo, el concepto de función multivaluada está estrechamente relacionado con el concepto de superficie de Riemann, una superficie en un espacio complejo multidimensional en el que una función dada se convierte en un solo valor.