Imagen (matemática)

conjunto de valores de una función

En matemáticas, la imagen, campo de valores o rango de una función , también llamada la imagen de bajo , es el conjunto contenido en formado por todos los valores que puede llegar a tomar la función.

Ejemplo de imagen: La imagen del conjunto X es el conjunto Y, porque todos sus valores son imagen de alguno del conjunto X. Imágenes particulares de los valores: la imagen de 1 será D, la de 2 será B, la de 3 será C y la de 4 será C también.
Ejemplo de Subconjunto imagen: Subconjunto imagen de X (D,B,A) dentro del conjunto Y (aquí Y no es imagen de X, porque no todos sus valores son imagen de algún valor del conjunto de X). Imágenes particulares de los valores: La imagen de 1 será D, la de 2 será B, la de 3 será A, y C no es imagen de nadie (no tiene antiimagen).

Se puede denotar como , , o bien y formalmente está definida por:

Adicionalmente, es posible hablar de la imagen de un elemento (del dominio) para hacer referencia al valor que le corresponde bajo la función. Esto es, si es una función, entonces la imagen del elemento es el elemento .

Diferencia con el codominio

editar
 
El conjunto imagen siempre es un subconjunto del codominio.

Es importante diferenciar el concepto de codominio del concepto de conjunto imagen.

Si   es una función, al conjunto   se le conoce como codominio, mientras que el conjunto imagen consta únicamente de los valores que realmente toma.

Por ejemplo, la función   tiene por codominio el conjunto   (todos los números reales), pero como   nunca toma valores negativos, el conjunto imagen está formado únicamente por los números reales no negativos y se representa con el conjunto:

 

En general, el conjunto imagen es un subconjunto del codominio, y cuando el rango coincide con el codominio se dice que la función es sobreyectiva o suprayectiva.

Véase también

editar

Enlaces externos

editar