• No se han encontrado resultados

Imagen de un conjunto bajo una funci´ on, preimagen de un conjunto bajo una funci´ on:

N/A
N/A
Protected

Academic year: 2020

Share "Imagen de un conjunto bajo una funci´ on, preimagen de un conjunto bajo una funci´ on:"

Copied!
13
0
0

Texto completo

(1)

Propiedades de im´ agenes y preim´ agenes

Objetivos. Demostrar las propiedades principales de las im´agenes y preim´agenes, por ejemplo que f [A ∪ B] = f [A] ∪ f [B].

Requisitos. Definici´on y ejemplos de im´agenes y preim´agenes, l´ogica de proposiciones, l´ogica de predicados, operaciones con conjuntos, propiedades de las operaciones con conjuntos.

L´ ogica de proposiciones (repaso)

1. Simplifique: a ∧ a =

2. Simplifique: (a ∧ b) ∧ (a ∧ c) = 3. Indique las implicaciones verdaderas:

X a =⇒ (a ∨ b).

 (a ∨ b) =⇒ a.

 a =⇒ (a ∧ b).

 (a ∧ b) =⇒ a.

Existencia, disyunci´ on y conjunci´ on (repaso)

4. Sean P y Q predicados de una variable, es decir afirmaciones que dependen de un par´ametro que denotemos por x. Indique las implicaciones verdaderas:

 ∃x (P (x) ∧ Q(x)) =⇒ ∃x P (x)

∧ ∃x Q(x).

 ∃x P (x)

∧ ∃x Q(x)

=⇒ ∃x (P (x) ∧ Q(x)).

 ∃x (P (x) ∨ Q(x)) =⇒ ∃x P (x)

∨ ∃x Q(x).

 ∃x P (x)

∨ ∃x Q(x)

=⇒ ∃x (P (x) ∨ Q(x)).

5. Resumiendo los resultados del ejercicio anterior ponga flechitas correctas (⇐⇒ o =⇒ o

⇐=) en lugar de ?:

∃x (P (x) ∧ Q(x)) ? ∃x P (x)

∧ ∃x Q(x)

∃x (P (x) ∨ Q(x)) ? ∃x P (x)

∨ ∃x Q(x)

Propiedades de im´agenes y preim´agenes, p´agina 1 de 13

(2)

Imagen de un conjunto bajo una funci´ on, preimagen de un conjunto bajo una funci´ on:

repaso de las definiciones

6. La funci´on f : {1, 2, 3, 4, 5} → {a, b, c, d} est´a definida mediante las siguientes reglas:

f (1) = f (4) = b, f (2) = f (3) = c, f (5) = d.

Represente f con flechitas:

1 2 3 4 5

a b c d

7. Determine las im´agenes de los conjuntos {1, 3} y {2, 3, 4} bajo la funci´on f del ejercicio 6:

f [{1, 3}] = f [{2, 3, 4}] =

8. Encuentre las preim´agenes (o sea las im´agenes inversas) de los conjuntos {b, c} y {a, d} bajo la funci´on f del ejercicio 6:

f−1[{b, c}] = f−1[{a, d}] =

Note que f−1[. . .] es una notaci´on para la preimagen, no confunda con la funci´on inversa. En este ejemplo la funci´on inversa a f no existe, pues f no es inyectiva ni suprayectiva.

Sean X, Y y sea f : X → Y una funci´on.

9. Sea B ⊆ Y . ¿Qu´e significa la condici´on que x ∈ f−1[B]?

x ∈ f−1[B] ⇐⇒

(3)

Imagen y preimagen del conjunto vac´ıo

Demostraciones con el conjunto vac´ıo (repaso).

¿C´omo demostrar que un conjunto A es vac´ıo?

Hay que suponer que x ∈ A y llegar a una contradicci´on.

¿C´omo usar una condici´on que un conjunto B es vac´ıo?

Si B = ∅, entonces para cualquier y la afirmaci´on y ∈ B es falsa.

11. Sea f : X → Y una funci´on. Demuestre que f [∅] = ∅.

Soluci´on. Razonando por contradicci´on supongamos que y ∈ f [∅].

Entonces por la definici´on de la imagen . . .

12. Sea f : X → Y una funci´on. Demuestre que f−1[∅] = ∅.

Propiedades de im´agenes y preim´agenes, p´agina 3 de 13

(4)

Preimagen de la uni´ on

13. ¿C´omo demostrar la igualdad de dos conjuntos? (Repaso). Sean A1 y A2 subcon- juntos de un conjunto X. ¿C´omo demostrar que A1 = A2? Indique los m´etodos correctos:

X Demostrar que A1 ⊆ A2 y A2 ⊆ A1.

 Demostrar que para todo x ∈ X la afirmaci´on x ∈ A1 implica la afirmaci´on x ∈ A2.

 Demostrar que para todo x ∈ X las afirmaciones x ∈ A1 y x ∈ A2 son equivalentes.

 Demostrar que para cualquier x ∈ X la afirmaci´on x ∈ A1 implica que x ∈ A2, y para cualquier x ∈ X la afirmaci´on x /∈ A2 implica que x /∈ A1.

 Demostrar que para cualquier x ∈ X la afirmaci´on x ∈ A1 implica que x ∈ A2, y para cualquier x ∈ X la afirmaci´on x /∈ A1 implica que x /∈ A2.

14. Sean X, Y conjuntos, sea f : X → Y una funci´on y sean B1, B2 ⊆ Y . Demuestre que f−1[B1∪ B2] = f−1[B1] ∪ f−1[B2].

Soluci´on. Sea x un elemento arbitrario de X. Mostremos que las dos siguientes condiciones son equivalentes:

x ∈ f−1[B1∪ B2] ⇐⇒ x ∈ f−1[B1] ∪ f−1[B2].

De hecho,

x ∈ f−1[B1∪ B2] def. de la preimagen

⇐==========⇒ f (x) ∈

def. de la uni´on

⇐=========⇒

⇐==========⇒

⇐==========⇒ x ∈ f−1[B1] ∪ f−1[B2].

(5)

Preimagen de la intersecci´ on

15. Sean X, Y conjuntos, sea f : X → Y una funci´on y sean B1, B2 ⊆ Y . Demuestre que f−1[B1∩ B2] = f−1[B1] ∩ f−1[B2].

Propiedades de im´agenes y preim´agenes, p´agina 5 de 13

(6)

Imagen de la uni´ on

16. Sean X, Y conjuntos, sea f : X → Y una funci´on y sean A1, A2 ⊆ X. Demuestre que f [A1 ∪ A2] = f [A1] ∪ f [A2].

Soluci´on. Sea y un elemento arbitrario de Y . Mostremos que las condiciones y ∈ f [A1∪ A2] y y ∈ f [A1] ∪ f [A2] son equivalentes.

y ∈ f [A1∪ A2]

def. de la imagen

⇐========⇒ ∃x



(x ∈ A1∪ A2) ∧ (f (x) = y)



def. de la uni´on

⇐=========⇒ ∃x

 

prop. distributiva:

(a∨b)∧c=(a∧c)∨(b∧c)

⇐===========⇒ ∃x

 

∃x (P (x)∨Q(x)) ⇔

⇐==============⇒

def. de la imagen

⇐========⇒ 

∨ 

⇐=======⇒ y ∈ f [A1] ∪ f [A2].

(7)

Imagen de la intersecci´ on

17. Recuerde la relaci´on l´ogica entre las dos siguientes afirmaciones:

∃x P (x) ∧ Q(x)

y ∃x P (x)

∧ ∃x Q(x).

18. Sean X, Y conjuntos, sea f : X → Y una funci´on y sean A1, A2 ⊆ X. Demuestre que f [A1∩ A2] ⊆ f [A1] ∩ f [A2].

Propiedades de im´agenes y preim´agenes, p´agina 7 de 13

(8)

Ejemplos cuando f [A

1

∩ A

2

] 6= f [A

1

] ∩ f [A

2

]

19. La funci´on f : {1, 2, 3, 4, 5} → {a, b, c, d} est´a definida mediante las siguientes reglas:

f (1) = f (4) = b, f (2) = f (3) = c, f (5) = d.

1 2 3 4 5

a b c d

En los siguientes ejercicios se considera la funci´on f del ejercicio 19. Se propone construir ejemplos de conjuntos A1 y A2 tales que f [A1 ∩ A2] 6= f [A1] ∩ f [A2]. Para conocer varias situaciones posibles se ponen condiciones adicionales que deben cumplir A1 y A2.

20. Encuentre conjuntos A1, A2 ⊆ {1, 2, 3, 4, 5} tales que

f [A1∩ A2] = ∅ ∧ f [A1] = f [A2] = f [A1] ∩ f [A2] 6= ∅.

21. Encuentre conjuntos A1, A2 ⊆ {1, 2, 3, 4, 5} tales que

f [A1∩ A2] = ∅ ∧ f [A1] 6= f [A2] ∧ f [A1] ∩ f [A2] 6= ∅.

(9)

Seguimos considerando la funci´on del ejercicio 19 y buscando ejemplos de conjuntos A1 y A2

tales que f [A1∩ A2] 6= f [A1] ∩ f [A2].

1 2 3 4 5

a b c d

22. Encuentre conjuntos A1, A2 ⊆ {1, 2, 3, 4, 5} tales que

f [A1∩ A2] 6= ∅ ∧ f [A1∩ A2] 6= f [A1] ∩ f [A2] ∧ f [A1] 6= f [A2].

23. Encuentre conjuntos A1, A2 ⊆ {1, 2, 3, 4, 5} tales que

f [A1∩ A2] 6= ∅ ∧ f [A1∩ A2] 6= f [A1] ∩ f [A2] ∧ f [A1] = f [A2].

Propiedades de im´agenes y preim´agenes, p´agina 9 de 13

(10)

24. Dibuje la gr´afica de la funci´on f : R → R, f (x) = x2.

x y

0 1

1

En los siguientes ejercicios se considera la funci´on f : R → R, f (x) = x2 y se pide construir ejemplos de conjuntos A1, A2tales que f [A1∩A2] 6= f [A1]∩f [A2]. Para conocer varias situaciones posibles se ponen condiciones adicionales.

25. Construya conjuntos A1, A2 ⊆ R tales que

f [A1∩ A2] = ∅ ∧ f [A1] = f [A2] = f [A1] ∩ f [A2] 6= ∅.

26. Construya conjuntos A1, A2 ⊆ R tales que

f [A1∩ A2] = ∅ ∧ f [A1] 6= f [A2] ∧ f [A1] ∩ f [A2] 6= ∅.

(11)

Seguimos considerando la funci´on f : R → R, f (x) = x2 y construyendo ejemplos de conjuntos A1 y A2 tales que f [A1∩ A2] 6= f [A1] ∩ f [A2].

x y

0 1

1

27. Construya conjuntos A1, A2 ⊆ R tales que

f [A1∩ A2] 6= ∅ ∧ f [A1∩ A2] 6= f [A1] ∩ f [A2] ∧ f [A1] 6= f [A2].

28. Construya conjuntos A1, A2 ⊆ R tales que

f [A1∩ A2] 6= ∅ ∧ f [A1∩ A2] 6= f [A1] ∩ f [A2] ∧ f [A1] = f [A2].

Propiedades de im´agenes y preim´agenes, p´agina 11 de 13

(12)

Imagen de la preimagen

29. Sean X, Y conjuntos, sea f : X → Y una funci´on y sea B ⊆ Y . Demuestre que f [f−1[B]] ⊆ B.

Soluci´on. Sea y ∈ f [f−1[B]].

Por la definici´on de la imagen, . . .

30. Construya un ejemplo cuando f [f−1[B]] 6= B.

(13)

Preimagen de la imagen

31. Sean X, Y conjuntos, sea f : X → Y una funci´on y sea A ⊆ X. Demuestre que A ⊆ f−1[f [A]].

32. Construya un ejemplo cuando A 6= f−1[f [A]].

Propiedades de im´agenes y preim´agenes, p´agina 13 de 13

Referencias

Documento similar

Aunque para nuestros prop´ositos bastar´a con tener clara la anterior definici´on intuitiva de l´ımite, rigurosamente hablando una sucesi´on tiene l´ımite L si para

Resumen xiii (ii) Establecer las bases para la extensi´ on de estos resultados al An´ alisis de Conceptos Tri´ adicos, en particular, introducir una l´ ogica que permita el

Un estudio detallado de la estructura l´ ogica del est´ andar XES, permite el dise˜ no de t´ecnicas de indexaci´ on m´ as eficientes y persona- lizadas para la manipulaci´ on

El inconveniente operativo que presenta el hecho de que la distribuci´ on de probabilidad de una variable aleatoria es una funci´ on de conjunto se resuelve mediante el uso de

En [2] determinamos experimentalmente el comporta- miento de la longitud promedio ¯ L de las cadenas en funci´on de la frecuencia de la perturbaci´on f p , el tiempo de aplica- ci´on

Esta puerta l´ ogica NAND realiza la funci´ on booleana de negado del producto l´ ogico, es decir, aquella que proporciona un 0 l´ ogico si y solo si todas sus entradas est´ an en

Las reglas de dise˜ no de la arquitectura von Neuman contin´ uan vigentes hoy en d´ıa para la construcci´ on de ordenadores: la unidad de control y la unidad aritm´etico-l´

Para ambos dataset se han usado 1 imagen de cada clase para evaluar el modelo, es decir 701 im´ agenes de validaci´ on para Market y 166 im´ agenes de validaci´ on para Aicity lo