Dominio (función)

En matemática, el dominio (conjunto de definición o conjunto de partida) de una función $f\colon X\to Y\,$ es el conjunto de existencia de ella misma, es decir, los valores para los cuales la función está definida. Es el conjunto de todos los objetos que puede transformar, se denota $\operatorname {Dom} _{f}\,$ o bien $D_{f}\,$ .

Explicación

Ilustración que muestra f, una función de **dominio** X a codominio Y. El óvalo pequeño dentro de Y es la imagen de f, a veces llamado rango de f.

El dominio de definición de una función f:X→Y se define como el conjunto X de todos los elementos x para los cuales la función f asocia algún y perteneciente al conjunto Y de llegada, llamado codominio. Esto, escrito de manera formal:

$D_{f}=\;\left\{x\in X|\exists y\in Y:f(x)=y\right\}$

Referencias