Anda di halaman 1dari 2

Introduccin a la teora de conjuntos

Daniel Dario Fula Arguello


12 de abril de 2014
A continuacin se resuelven los ejercicios propuestos en clase para subir la nota del primer parcial.
1. Sea f : A B una funcin
a) P = {(0, 1, 2, 3, b)} y = {(0, 0), (1, 1), (2, 2), (3, 3), (b, b), (0, 1), (0, 2), (0, 3), (2, 3)}.
Solucin:

I1
I2
I3
I4
I5
I6

Los ideales son:

= P.
= {b}
= {0}
= {0, 1}
= {0, 2}
= {0 , 2, 3}

b) P = {(0, 1, 2, 3, a, b)} y = {(0, 0), (1, 1), (2, 2), (3, 3), (a, a), (b, b), (a, 0), (a, 1), (a, 2), (a, 3), (0, 1), (0, 2),
(0, 3), (2, 3)}.
Solucin:

I1
I2
I3
I4
I5
I6
I7

Los ideales son:

= P.
= {a}
= {b}
= {0, a}
= {0, 1, a}
= {0 , 2, a}
= {0 , 2, 3, a}

2. Denimos J(P ) como el conjunto de todos los ideales de P . Demuestre que (J(P ), ) es un retculo
distributivo.
Primero, veamos que (J(P ), ) es un retculo, esto es, probar que para cada par de
I1 , I2 J(P ) podemos denir sup(I1 , I2 ) e inf (I1 , I2 ). Por denicin, el supremo entre dos conjuntos
I1 , I2 , sup(I1 , I2 ), est dado por I1 I2 y el nmo est dado por I1 T2 . Como la interseccin y la

Demostracin.

unin de conjuntos est dada para cualesquiera conjuntos, en particular para cada par de ideales en
J(P ), concluimos que (J(P ), ) es un retculo.
Ahora veamos que es un retculo distributivo, es decir, debemos ver que para I1 , I2 , I3 J(P ) se cumple,
i. Inf (I1 , Sup(I2 , I3 ) = sup(Inf (I1 , I2 ), Inf (I1 , I3 )).
ii. sup(I1 , Inf (I2 , I3 ) = Inf (Sup(I1 , I2 ), Sup(I1 , I3 )).
En este caso particular se tiene que el supremo est dado por la unin de dos conjuntos y el nmo
est dado por la interseccin de dos conjuntos, por lo cual tenemos que probar que I1 (I2 I3 ) =
(I1 I2 )(I1 I3 ) y que I1 (I2 I3 ) = (I1 I2 )(I1 I3 ). Lo cual sabemos que es cierto porque la unin
y la interseccin de conjuntos es distributiva respecto a la interseccin y la unin respectivamente, de
donde concluimos que (J(P ), ) es un retculo distributivo.

3. Demostrar que la unin de intersecciones de ideales es un ideal y que la interseccin de uniones de


ideales es un ideal.
Sea (P, ) un poset e I1 , I2 , I3 , I4 P ideales. Antes de probar el enunciado, es ms sencillo probar
que la unin de ideales es un ideal y que la interseccin de ideales es un ideal.
Teorema La unin de ideales es un ideal y que la interseccin de ideales es un ideal.
Demostracin. Sea (P, ) un poset e I1 , I2 P ideales. Veamos primero que I1 I2 es un ideal.
Supongamos que z I1 I2 y que x z para x P . Por denicin de unin de conjuntos, z I1 o
z I2 . Si z I1 y x z , como I1 es un ideal, x I1 . Si z I2 y x z , como I2 es un ideal, x I2 .
De lo anterior podemos concluir que x I1 o x I2 , que por denicin signica que x I1 I2 . As
concluimos que I1 I2 es un ideal.
Ahora veamos que I1 I2 es un ideal. Supongamos que z I1 I2 y que x z para x P . Por
denicin de interseccin de conjuntos, z I1 y z I2 . En particular z I1 . Si z I1 y x z , como
I1 es un ideal, x I1 . Adems z I2 . Si z I2 y x z , como I2 es un ideal, x I2 . De lo anterior
podemos concluir que x I1 y x I2 , que por denicin signica que x I1 I2 . As concluimos que
I1 I2 es un ideal.

Ahora es fcil ver que el ejercicio a demostrar es una consecuencia inmediata del teorema demostrado.