La imagen inversa, antiimagen o contraimagen de una aplicación es la aplicación que a cada subconjunto del conjunto final de la aplicación le hace corresponder el conjunto de elementos del conjunto inicial cuya imagen se encuentra en este conjunto.Introducción a la teoría de conjuntos y a la topología. Kazimierz Kuratovwsi. Vicens Universidad. Es una aplicación que a un conjunto le hace corresponder otro conjunto.

Definición

Sea una aplicación e . La imagen inversa de se define como sigue:

Propiedades

La imagen inversa resulta ser compatible con todas las operaciones con conjuntos:

Unión

Intersección

Complementario

Diferencia de conjuntos

Aplicaciones

La imagen inversa se usa frecuentemente en topología y teoría de la medida.

Referencias

Categoría:Funciones