Ejercicios 2.

2
URIEL DAVID TELLO PADILLA

1. Muestre que los conjuntos , {}, . . . , { {} } sonn distintos. Soluci on. i) = {}, para dilucidar este hecho basta notar que {}, pero / ii){} = {{}}, note que {} {{}}, pero {} {{}}, esto se debe a que {} tiene un miembro que no pertenece a {{}}, a saber, es miembro non grato de {{}}. iii){{}} = {{{}}}, la misma idea, es decir, {{}} {{{}}}, pero {{}} {{{}}}, pues no pertenece a {{{}}} Aplicando este mismo razonamiento al los dem as conjuntos, se ve que son iguales. 2. Indique cu ales de las siguientes expresiones son falsas: (a) A = {A}, (b) {a, b} = {{a}, {b}}, (c) {} Soluci on. (a):FALSO. Tome A = , luego {} = {A}, entonces A = = {} = {A} (b):FALSO No puede ser verdadero porque {a, b} b / {{a}, {b}}. (c): VERDADERO. El u nico elemento del conjunto singular del vac o, es el vac o. 3. Muestre que el conjunto de todos los x tales que x A y x / B existe. Es u nico?. Soluci on. Una buena manera de ostentar que algo existe, es construirlo. Entonces sea P(x, B ) una propiedad de x y B : x / B . Entonces por el Axioma Esquema de Comprensi on, para todo conjunto B y cualquier conjunto A hay un conjunto D tal que x D si y s olo si x A y P(x, B ), es decir, x A y x / B. Para probar la unicidad de este conjunto sup ongase que existe un conjunto D tal que x D si y s olo si x A y P(x, B ), entonces x D si y s olo si x D, gracias al Axioma de Extensi on D =D . 4. Pruebe que para cualquier conjunto X hay alg un a / X. Soluci on. Sea P (x, X ) una propiedad de x y X tal que x = a. Por el Axioma Esquema de Comprensi on, para cualquier conjunto X hay un conjunto X0 tal que x X0 si y s olo si x X y x = a . Por tanto a /X Otra forma de llegar al resultado: Consideremos la propiedad a es un conjunto y a / a, uego por el Axioma Esquema de comprensi on, se tiene que a = {a X : a es un conjunto y a a} 2 {{a}, {b}}, esto es, a / {{a}, {b}} y

Note que a es un subconjunto de X Se quiere probar que a / X . Entonces pensemos en que a X . Pero para este a tendr amos dos cosas: (1)a X y (2)a /X Si pasa que (1) es cierta, tendr amos a X y a a, pero por denici on de a, a / a, una contradicci on. Si pasa (2), tendr amos a /X ya / a. Por la denici on de a, tenemos a a, una contradicci on. El suponer a X , dirige hacia una contradicci on. Por tanto el ejercicio queda demostrado. 5. Demuestre la unicidad del conjunto U asegurado por el Axioma de Uni on. Soluci on. Sup ongase que existe un conjunto U0 , entonces para cualquier conjunto S y U0 tal que x U0 si y s olo si x X para alg un X S , entonces x U si y s olo si . x U0 . En virtud del Axioma de Extensi on U0 = U 6. Pruebe que Soluci on. = .

i) . Por denici on = { x : x pertenece a alg un miembro de }, pero no tiene miembros, por lo tanto, autom aticamente ii)

Esta contenci on es inmediata pues sabemos que A para todo conjunto A. 7. Verique la armaci on hecha en el Ejemplo 2.15. (Ejemplo 2.15 Si A = {, {}} y B = {{{}}} , entonces el par no ordenado de A y B es distinto de A B .) Soluci on. {A, B } = {{, {}}, {{{}}}} A B = {, {}, {{}}} Son distintos por el hecho de que A B , pero / {A, B }, es decir, no cumplen con el Axioma de Extensi on, y por tanto son distintos. 8. Sean A y B conjuntos. Muestre que existe un u nico conjunto C tal que x C si y s olo si ( x A y x / B ) o (x B y x / A). Soluci on. Supongamos que existe un conjunto C0 tal que x C0 si y s olo si ( x A y x / B ) o (x B y x / A), entonces x C si y s olo si x C0 . Por el Axioma de Extensi on C0 = C . 9. Muestre que {a} = {b, c} si y s olo si a = b = c. Soluci on. i) Necesidad() Tenemos que {a} = {b, c}, luego {a} = {a, a} = {b, c}, entonces por el Axioma de Extensi on a {b, c}, pero esto pasa cuando a = b y a = c

ii) Suciencia () Ahora sabemos que a = b = c, Por el Axioma del par, existe un C tal que x C si y s olo si x = a o x = b, entonces podemos formar el par no ordenado {a} = {a, a} = {b, a} = {b, c} 10. (a) Muestre que para cualquier conjuntos A, B y C existe un u nico conjunto P tal que x P si y s olo si x = A o x = B o x = C . (b) Generalice (a) para cuatro o m as elementos. Soluci on. (a) Por el Axioma del Par, podemos formar el par no ordenado {A, B }, luego por el Axioma de Uni on podemos hacer P = {A, B } {C } = {A, B, C }, entonces x P si y s olo si x = A o x = B o x = C . Ahora suponga que exitse un conjunto P0 tal que x P0 si y s olo si x = A o x = B o x = C , entonces x P si y s olo si x P0 . Entonces por el Axioma de Extensi on P = P0 (b) Sup ongase que se tienen A0 , A1 , . . . , An conjuntos, entonces por (a) sabemos que P = {A0 , A1 , A2 }, siguiendo el mismo razonamiento podemos hacer P = {A0 , A1 , A2 } {A3 } = {A0 , A1 , A2 , A3 }, podemos seguir as hasta tener P = {A0 , . . . , An1 } An = {A0 , . . . , An } 11. Demuestre que A {A} si y s olo si A = Soluci on. i) Necesidad Tomemos un x A, entonces x {A}, pero esto pasa s olo si x = A, entonces A A, pero por el Teorema 2.33, ning un conjunto no vacuo puede ser elemento de s mismo, entonces A = ii) Suciencia Por el Axioma del Par, podemos formar {A}, cuyo u nico elemento es A, como A = , autom aticamente tenemos {A} 12. Verique las armaciones de los Ejemplos 2.18, 2.19, 2.20. Soluci on Ejemplo2.18 x A si y so lo si {x} A. Demostraci on. i)Necesidad Sea x A, por el Axioma del Par existe {x}. En virtud de la denici on 2.16(de subconjunto), {x} que consta solo de un elemento est a contenido en A, es decir, {x} A. ii)Suciencia Sea x {x}, en este caso x = x, como {x} es subconjunto de A, y por la denici on 2.16, x A 4

Ejemplo 2.19 A y A A para todo conjunto A. 1) A Demostraci on Sabemos que = {x : x = x}, si A = , hemos terminado. A = . El conjunto al no tener elementos, autom aticamente est a contenido en A. 2)A A para todo conjunto A. Demostraci on. Sabemos que A B x(x A x B ), si hacemos B = A, se cumple que x(x A x A), y esto pasa si y s olo si A A Ejemplo 2.20 Para cualesquiera conjuntos A, B y C tales que A B y B C se tiene que A C . Demostraci on. Sea x A, entonces x B , por denici on de subconjunto. Luego B C , entonces x C , de nuevo por decini on de subconjunto, entonces por transitividad de las implicaciones, si x A, entonces x C , es decir, A C. 13. Pruebe la armaci on del Ejemplo 2.22. Soluci on. Ejemplo 2.22 SiA S entonces A Demostraci on. S.

Es calro que, A S , por el Axioma de Uni on. Sabemos que x S (C )(x C & C S ), entonces (A)(x A & A S ), as x A, esto debido a que por hip otesis A S . Por tanto A S 14. Demuestre que si A B entonces P (A) P (B ). Soluci on. Tomemos Q P (A), entonces Q A, por denico on. Entonces Q B , pues por hip otesis A B ; por trasitividad de contenci on y el Axioma del Conjunto Potencia Q P (B ). Por tanto P (A) P (B ). 15. Pruebe la armaci on del ejemplo 2.35. Soluci on. Ejemplo 2.35 {x : (x = a) (x = b)} existe. Para una prueba, t omese A = {a, b} y demu estrese que A = {x : (x = a) (x = b)} . Sea P(x, A) una propiedad de que (x = a) (x = b); entonces P(x, A) implica que x A. {x : (x = a) (x = b)} = {x A : (x = a) (x = b)} = {a, b} = A. 16. Complete la demostraci on del Teorema 2.33(b). Si A y B son conjuntos no vac os, entonces no es posible que ocurran simult aneamente A B y B A. 5

Soluci on Supongamos lo contrario, es decir, A B y B A. En virtud del Axioma del Par, podemos formar el par no ordenado {A, B }. Note que A {A, B } A y B {A, B } B . Por el Axioma de Fundaci on existe un x en {A, B } tal que {A, B } x = . Entonces x = A x = B , consecuentemente {A, B } A = . o {A, B } B = , lo cual contradice A {A, B } A y B {A, B } B 17. Pruebe que es imposible la existencia de un ciclo: A0 A1 A2 An A0 para toda n N Soluci on. Supongamos que se cumple A0 A1 A2 An A0 . Por el ejericicio 10(b), podemos formar el conjunto {A0 , A1 , A2 , , An }. 18. (a) Demuestre que para cualquier conjunto X es falso que P X . En particular X = P . (b) Demuestre que el conjunto de todos los conjuntos no existe usando el inciso (a). 19. Reemplace el Axioma de Existencia por el siguiente axioma: Axioma D ebil de Existencia. Existe al menos un conjunto. Deduzca el Axioma de Existencia usando el Axioma D ebil de Existencia y el Axioma Esquema de Comprensi on. 20. El Axioma de Uni on, el Axioma del Par y el Axioma del Conjunto Potencia pueden reemplazarse por las siguientes versiones m as d ebiles. Axioma D ebil del Par. Para cualesquiera a, b existe un conjunto C tal que a C y b C. Axioma D edil de Uni on. Para cualquier conjunto S existe un conjutno U tal que si x A y A S entonces x U . Axioma D edil del Conjunto Potencia. Para cualquier conjunto S existe un conjunto P tal que X S implica X P . Deduzca el Axioma del Par, el Axioma de Uni on y el Axioma del Conjunto Potencia, usando las versiones d ebiles.(Sugerencia: use el Axioma Esquema de Comprensi on).