Función matemática

1. Función:

Desde un punto de vista formal, se dice que f es una función o aplicación de A en B y se denota:

y satisface:

1.

2. Si

Esto significa que a cada elemento a de A, le corresponde por f un elemento b, y sólo uno, de B, al que se denomina imagen de a por f y que se denota en vez de .

En algunos textos de matemática se reserva la palabra función para el caso en que el conjunto B es un conjunto numérico y se utiliza aplicación para el caso más general de conjuntos cualesquiera. Esta distinción no está generalizada y se trata, en todo caso, de una distinción informal y de uso discrecional.

El dominio de una función es el conjunto de existencia de la misma, o sea los valores para los cuales la función está definida. Entonces, el dominio de una función f es el conjunto de todos los objetos que puede transformar. Se denota Dom f o Df.

Obsérvese que la condición de existencia de la definición de función garantiza que , si es una función, entoncesDf = A

El codominio de una función es el conjunto B.

Obsérvese que algunos elementos del codominio pueden no ser imagen de ningún elemento del dominio. Puede haber algún tal que .

El conjunto imagen, también llamado recorrido o rango, está formado por los valores que alcanza la función. Entonces, la imagen de una función f es el conjunto de todos los valores que toma la variable dependiente. Se denota Im f o If.

Por ejemplo, la función f(x) = x + 1 tiene como dominio e imagen todos los números reales, pero una función g(x) = x², si bien tendrá como dominio a todos los reales, sólo tendrá como imagen los valores comprendidos entre 0 y + Infinito que sean el cuadrado de un número real (de hecho, todos lo son).

Siempre es posible restringir tanto el conjunto dominio e imagen de una función con un propósito determinado. Por ejemplo, si se quiere restringir f(x) = x² para que sea biyectiva, es posible tomar una sola de las ramas de modo que el dominio restringido y el conjunto imagen tomen valores del intervalo [0,+ Infinito).

- Función Inyectiva:Si cada elemento del conjunto es imagen de un único elemento del dominio. es inyectiva.

;

o lo que es lo mismo: .

- Función Sobreyectiva: es sobreyectiva si el conjunto imagen coincide con el conjunto B (conjunto

...