El dominio de definición es el conjunto sobre el que se define la función . En cada punto de este conjunto, se debe determinar el valor de la función.
Si una función se define en un conjunto que asigna el conjunto a otro conjunto, entonces el conjunto se denomina dominio de definición o dominio de la función.
Más formalmente, si se da una función que asigna un conjunto a , es decir: , entonces el conjunto se denomina dominio de definición [1] o dominio de configuración [2] de la función y se denota o (del dominio inglés - "área").
A veces también se consideran funciones definidas en un subconjunto de algún conjunto . En este caso, el conjunto se denomina área de partida de la función [3] .
Los ejemplos más ilustrativos de dominios los proporcionan las funciones numéricas . La medida y el funcional también proporcionan importantes tipos de dominios en las aplicaciones.
Las funciones numéricas son funciones que pertenecen a las siguientes dos clases:
donde y son los conjuntos de números reales y complejos, respectivamente.
Mapeo de identidadEl alcance de la función es el mismo que el área de origen ( o ).
Función armónicaEl dominio de la función es el plano complejo sin cero:
,porque la fórmula no establece el valor de la función en cero para algún número.
Funciones fraccionarias-racionalesAlcance de la función de vista
es la línea real o plano complejo excepto por un número finito de puntos, que son soluciones de la ecuación
.Estos puntos se llaman los polos de la función .
Entonces, la función está definida en todos los puntos donde el denominador no se anula, es decir, donde . Así es el conjunto de todos los números reales (o complejos) excepto 2 y -2.
Si cada punto del dominio de una función es un conjunto, por ejemplo, un subconjunto de un conjunto dado, entonces se dice que se da una función de conjunto .
Una medida es un ejemplo de tal función, donde un cierto conjunto de subconjuntos de un conjunto dado, que es, por ejemplo, un anillo o un semicírculo de conjuntos, actúa como el dominio de la función (medida).
Por ejemplo, la integral definida es una función de un intervalo orientado .
Sea una familia de mapeos de conjunto a conjunto . Entonces podemos definir un mapeo de la forma . Tal mapeo se llama funcional .
Si, por ejemplo, fijamos algún punto , entonces podemos definir una función que tome el mismo valor en el "punto" que la función misma en el punto .