Imagen inversa
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.[1] Es una aplicación que a un conjunto le hace corresponder otro conjunto.
Definición editar
Sea una aplicación e . La imagen inversa de se define como sigue:
Propiedades editar
La imagen inversa resulta ser compatible con todas las operaciones con conjuntos:
Unión editar
Intersección editar
Complementario[2] editar
Diferencia de conjuntos editar
Aplicaciones editar
La imagen inversa se usa frecuentemente en topología y teoría de la medida.