Dominio de definición

Para outras páxinas con títulos homónimos véxase: Dominio.

Función f, de **dominio** X a Y. O óvalo pequeno dentro de Y é o rango ou percorrido de f.

En Matemáticas, o dominio ou conxunto de definición dunha función $f\colon X\to Y\,$ é o conxunto dos valores nos que está definida, é dicir os valores que pode transformar. Denótase $\operatorname {Dom} _{f}\,$ ou $D_{f}\,$ .

O conxunto de todos os resultados posibles dunha función denomínase imaxe desa función.

Definición

O dominio de definición dunha función f:X→Y defínese como o conxunto X de todos os elementos x para os que a función f asocia algún y pertencente ao conxunto Y. De maneira formal:

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

Propiedades

Dadas dúas función reais:

$f\colon X_{1}\to \mathbb {R} \,\qquad {\mbox{y}}\quad g\colon X_{2}\to \mathbb {R} \,$

Verifícanse as seguintes propiedades:

$D_{(f+g)}=X_{1}\cap X_{2}$
$D_{(f-g)}=X_{1}\cap X_{2}$
$D_{(f\cdot g)}\ =X_{1}\cap X_{2}$
$D_{(f/g)}=\{x\in (X_{1}\cap X_{2})|g(x)\neq 0\}$

Cálculo do dominio dunha función real

Algunhas funcións reais teñen restricións que axudan a identificar o seu dominio. As máis habituais son:

Raíz n-ésima de f(x)

Se n é par, a función f(x) que representa a raíz n-ésima só estará definida nos valores nos que a expresión do radicando sexa positiva. Por exemplo:

y={\sqrt {7x-21}}

O índice da raíz é par (2), polo que $7x-21\geq 0$ ; dedúcese entón que debe cumprirse que x ≥ 3. O dominio será o conxunto dos números reais no intervalo [3,+∞).