Im

agenes y preimagenes de uniones e intersecciones

de familias de conjuntos

Objetivos. Demostrar las formulas principales para las imagenes y preimagenes de las uniones
e intersecciones de familias de conjuntos.

Requisitos. Imagenes y preimagenes de conjuntos bajo funciones, union e interseccion de una

familia de conjuntos, propiedades de los cuantificadores.

1. Definicion de la uni
on de una familia de conjuntos. Sea (Ai )iI una familia de con-
juntos. Entonces
[
x Ai ...
iI

2. Definici
on de la intersecci
on de una familia de conjuntos. Sea (Ai )iI una familia de
conjuntos. Entonces
\
x Ai ...
iI

3. Definici
on de la uni
on y de la intersecci
on. Indique las correspondencias con flechitas:
[
x pertenece a todos x Ci
i I x Ci
los conjuntos Ci iI

\
x pertenece por lo menos x Ci
i I x Ci
a uno de los conjuntos Ci iI

Propiedades de imagenes y preimagenes, familias de conjuntos, pagina 1 de 9

Propiedades de las preim
agenes
on de la preimagen (repaso). Sean X, Y conjuntos, sea f : X Y una funcion
4. Definici
y sea B Y . Entonces
f 1 [B] = {x X : }.
| {z }
?

5. C
omo construir razonamientos con preim agenes. Sean X, Y conjuntos, sea f : X Y
una funcion y sea B Y . Entonces para cualquier x X tenemos la siguiente equivalencia:

x f 1 [B] ...

6. Preimagen de la uni on de una familia de conjuntos. Sean X, Y conjuntos, sea f : X

Y una funcion y sea (Bi )iI una familia de conjuntos tales que Bi Y . Demuestre que
" #
[ [
f 1 Bi = f 1 [Bi ].
iI iI

Solucion. Sea x un elemento arbitrario de X. Vamos a demostrar que son equivalentes las
siguientes condiciones:
" #
por demostrar
[ [
x f 1 Bi ========= x f 1 [Bi ].
iI iI

Construyamos una cadena de equivalencias usando las definiciones de la preimagen y de la

union:
" #
por def. de la preimagen
[
x f 1 Bi =============== ...
iI

por def. de la uni

on
============ ...

por def. de la preimagen

=============== ...

por def. de la uni

on
[
============ x f 1 [Bi ].
iI

Propiedades de imagenes y preimagenes, familias de conjuntos, pagina 2 de 9

7. Preimagen de la intersecci on de una familia de conjuntos. Sean X, Y conjuntos, sea
f : X Y una funcion y sea (Bi )iI una familia de conjuntos tales que Bi Y . Demuestre
que " #
\ \
f 1 Bi = f 1 [Bi ].
iI iI

Propiedades de imagenes y preimagenes, familias de conjuntos, pagina 3 de 9

Propiedades de las im
agenes
on de la imagen (repaso). Sean X, Y conjuntos, sea f : X Y una funcion y
8. Definici
sea A X. Entonces

f [A] = {y Y : }.
| {z }
?

Repasemos algunas propiedades de los cuantificadores.

9. Propiedad conmutativa de los cuantificadores existenciales. Sea P un predicado de

dos variables que vamos a denotar por a y b y que pertenecen a algunos conjuntos A y B res-
pectivamente. Establezca una relacion logica (=, , =) entre las siguientes afirmaciones:

a A b B P (a, b) b B a A P (a, b).

| {z }
?

10. Intercambio del cuantificador existencial con el universal. Sea P un predicado de

dos variables que vamos a denotar por a y b y que pertenecen a algunos conjuntos A y B res-
pectivamente. Establezca una relacion logica (=, , =) entre las siguientes afirmaciones:

a A b B P (a, b) b B a A P (a, b).

| {z }
?

11. Propiedad de absorci on del cuantificador universal. Sea P un predicado de una

variable que vamos a denotar por a y que pertenece a un conjunto A, y sea Q una afirmacion
(no dependiente de a). Establezca una relacion logica (=, , =) entre las siguientes
afirmaciones:
   
a A P (a) Q a A P (a) Q .
| {z }
?

12. Propiedad de absorci on del cuantificador existencial. Sea P un predicado de una

variable que vamos a denotar por a y que pertenece a un conjunto A, y sea Q una afirmacion
(no dependiente de a). Establezca una relacion logica (=, , =) entre las siguientes
afirmaciones:
   
a A P (a) Q a A P (a) Q .
| {z }
?

Propiedades de imagenes y preimagenes, familias de conjuntos, pagina 4 de 9

13. Imagen de la uni on de una familia de conjuntos. Sean X, Y conjuntos, sea f : X Y
una funcion y sea (Ai )iI una familia de conjuntos tales que Ai X. Demuestre que
" #
[ [
f Ai = f [Ai ].
iI iI

Solucion. Sea y un elemento arbitrario de Y . Vamos a demostrar que son equivalentes las
siguientes condiciones:
" #
por demostrar
[ [
yf Ai ========= x f [Ai ].
iI iI

Construyamos una cadena de equivalencias usando las definiciones de la preimagen y de la

union:
" #  
por def. de la imagen
[ [
yf Ai ============= x X x Ai
iI iI

 
por def. de la uni
on

============ x X i I

por la propiedad  
de absorci
on
=========== x X i I

 
intercabio de con
============== i I x X

por def. de la imagen

============= i I y

por def. de la uni

on
[
============ y f [Ai ].
iI

Propiedades de imagenes y preimagenes, familias de conjuntos, pagina 5 de 9

14. Imagen de la intersecci on de una familia de conjuntos. Sean X, Y conjuntos, sea
f : X Y una funcion y sea (Ai )iI una familia de conjuntos tales que Ai X. Demuestre
que " #
\ \
f Ai f [Ai ].
iI iI

Propiedades de imagenes y preimagenes, familias de conjuntos, pagina 6 de 9

Ejemplos cuando la imagen de la intersecci on
no coincide con la intersecci
on de las im
agenes
15. Ejemplo con la funci on sen. Se considera la funcion f : R R, f (x) = sen(x) para
todo x R. Construya una sucesion de conjuntos Ak R, k {0, 1, 2, . . .}, tal que
" #
\ \
f Ak 6= f [Ak ].
k=0 k=0

Solucion. Dibujamos la grafica de la funcion. Hay muchsimas maneras de elegir los conjuntos
Ak que cumplan con la condicion requerida. Por ejemplo:
y

2
3
2 2 3
7
2 4 5

x
0 2 A0 5
A1 9
A2
2 2

Es decir, pongamos
h i h i h i
A0 = , , A1 = 2 + , 2 + , A2 = , ...
2 2
La formula general para los conjuntos Ak :
h i
Ak = , k {0, 1, 2, . . .}.

En cada uno de los intervalos Ak la funcion sen decrece y toma valores de 1 a 0, as que
f [Ak ] = [0, 1].
Por lo tanto,

\
f [Ak ] = [0, 1].
k=0
Por otro lado, los intervalos Ak son ajenos y su interseccion es ... :

\
Ak =
k=0

Por consecuencia, la imagen de la interseccion tambien es ... :

" #
\
f Ak =
k=0

Propiedades de imagenes y preimagenes, familias de conjuntos, pagina 7 de 9

16. Ejemplo con la funci on cos. Se considera la funcion f : R R, f (x) = cos(x). Construya
una sucesion de conjuntos Ak , k {0, 1, 2, . . .}, tal que
" #
\ \
f Ak 6= f [Ak ].
k=0 k=0

x
0 2 3 4

Propiedades de imagenes y preimagenes, familias de conjuntos, pagina 8 de 9

17. Ejemplo con una funci on constante. Se considera la funcion f : R R, f (x) = 7 para
todo x R. Construya una sucesion de conjuntos Ak , k {0, 1, 2, . . .}, tal que
" #
\ \
f Ak 6= f [Ak ].
k=0 k=0

Propiedades de imagenes y preimagenes, familias de conjuntos, pagina 9 de 9