Scribd
Cargar
388 vistas3 páginas

Images and Preimages

Este documento repasa las definiciones y propiedades básicas de imágenes y preimágenes de conjuntos bajo mapeos. Define preimágenes como el conjunto de elementos cuya imagen está en un subconjunto dado, e imágenes como el conjunto de valores que toma la función sobre un subconjunto. Explica propiedades como que la preimagen del vacío es el vacío, las preimágenes y imágenes crecen de forma monótona, y las operaciones sobre conjuntos (unión, intersección) se distribuyen sobre preimágenes e imágenes. También

Cargado por

adheol
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
388 vistas3 páginas

Images and Preimages

Este documento repasa las definiciones y propiedades básicas de imágenes y preimágenes de conjuntos bajo mapeos. Define preimágenes como el conjunto de elementos cuya imagen está en un subconjunto dado, e imágenes como el conjunto de valores que toma la función sobre un subconjunto. Explica propiedades como que la preimagen del vacío es el vacío, las preimágenes y imágenes crecen de forma monótona, y las operaciones sobre conjuntos (unión, intersección) se distribuyen sobre preimágenes e imágenes. También

Cargado por

adheol
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

Im

agenes y preim
agenes (repaso)
Objetivos. Repasar las definiciones y propiedades elementales de imagenes y preimagenes
de conjuntos bajo mapeos.
Requisitos. Operaciones con conjuntos y sus propiedades, operaciones con familias de
conjuntos y sus propiedades.

Preim
agenes
1. Definici
on (preimagen de un conjunto bajo un mapeo). Sea f : X Y y sea
B Y . La preimagen (o la imagen inversa) de B bajo f es
f 1 [B] = {x X : f (x) B}.
2. Preimagen del conjunto vaco. Sea f : X Y . Entonces
f 1 [] = .
3. Propiedad mon
otona de la preimagen. Sea f : X Y y sean B1 B2 Y .
Entonces
f 1 [B1 ] f 1 [B2 ].
4. Preimagen de la uni
on de dos conjuntos. Sea f : X Y y sean B1 , B2 Y .
Entonces
f 1 [B1 B2 ] = f 1 (B1 ) f 1 (B2 ).
5. Preimagen de la intersecci
on de dos conjuntos. Sea f : X Y y sean B1 , B2
Y . Entonces
f 1 [B1 B2 ] = f 1 [B1 ] f 1 [B2 ].
6. Preimagen de la uni
on de una familia de conjuntos. Sea f : X Y y sea (Bi )iJ
una familia de subconjuntos de Y . Entonces
"
#
[
[
f 1
Bi =
f 1 [Bi ].
iJ

iJ

7. Preimagen de la intersecci
on de una familia de conjuntos. Sea f : X Y y
sea (Bi )iJ una familia de subconjuntos de Y . Entonces
"
#
\
\
f 1
Bi =
f 1 [Bi ].
iJ

iJ

8. Preimagen del complemento. Sea f : X Y y sea B Y . Entonces


f 1 [Y \ B] = X \ f 1 [B].
Imagenes y preimagenes (repaso), pagina 1 de 3

Im
agenes
9. Definici
on (imagen de un conjunto bajo un mapeo). Sea f : X Y y sea
A X. La imagen del conjunto A bajo el mapeo f es
f [A] = {y Y : x A f (x) = y}.
10. Sea f : X Y , sea A X y sea p A. Entonces
f (p) f [A].
11. Imagen del conjunto vaco. Sea f : X Y . Entonces
f [] = .
12. Propiedad mon
otona de la imagen. Sea f : X Y y sean A1 A2 X.
Entonces
f [A1 ] f [A2 ].
13. Imagen de la uni
on de dos conjuntos. Sea f : X Y y sean A1 , A2 X.
Entonces
f [A1 A2 ] = f [A1 ] f [A2 ].
14. Imagen de la uni
on de una familia de conjuntos. Sea f : X Y y sea (Ai )iJ
una familia de subconjuntos de X. Entonces
"
#
[
[
f
Ai =
f [Ai ].
iJ

iJ

15. Imagen de la intersecci


on de dos conjuntos. Sea f : X Y y sean A1 , A2 X.
Entonces
f [A1 A2 ] f [A1 ] f [A2 ].
16. Construya un par de conjuntos X, Y , una funcion f : X Y y un par de conjuntos
A1 , A2 X tales que
f [A1 A2 ] 6= f [A1 ] f [A2 ].
17. Sea f : X Y una funcion inyectiva y sean A1 , A2 X. Entonces
f [A1 A2 ] = f [A1 ] f [A2 ].
18. Imagen del complemento. Sea f : X Y y sea A X. Entonces
f [X \ A] Y \ f [A].
Dar un ejemplo cuando f [X \ A] 6= Y \ f [A].
19. Tarea adicional. Que condicion acerca de la funcion f garantiza que f [X \ A] =
Y \ f [A] para todo A X?. Es suficiente que f sea suprayectiva?. Es suficiente que f
sea inyectiva?.

Imagenes y preimagenes (repaso), pagina 2 de 3

Imagen de la preimagen
20. Sea f : X Y y sea B Y . Entonces
f [f 1 [B]] B.
21. Construya un par de conjuntos X, Y , una funcion f : X Y y un conjunto B Y
tales que
f [f 1 [B]] 6= B.
22. Sea f : X Y una funcion suprayectiva y sea B Y . Entonces
f [f 1 [B]] = B.

Preimagen de la imagen
23. Sea f : X Y y sea A X. Entonces
A f 1 [f [A]].
24. Construya un par de conjuntos X, Y , una funcion f : X Y y un conjunto A X
tales que
A 6= f 1 [f [A]].
25. Sea f : X Y una funcion inyectiva y sea A X. Entonces
A = f 1 [f [A]].

Imagenes y preimagenes (repaso), pagina 3 de 3

También podría gustarte