Propiedades de la unin e interseccin entre Conjuntos

Proporcionamos ejercicios sobre las propiedades de la

unin e interseccin deconjuntos.
TEORA
A,B,CA,B,C
(AB)C=A(BC),(AB)C=A(BC).(AB)C=A(BC),(AB)C=A(B
C).
AB=BA,AB=BA.AB=BA,AB=BA.
AA=A,AA=A.AA=A,AA=A.
A=A,A=.A=A,A=.

A(BC)=(AB)(AC),A(BC)=(AB)(AC).A(BC)=(AB)(AC),
A(BC)=(AB)(AC).
1 Demostrar la propiedad asociativa de la unin de conjuntos, es
decir (AB)C=A(BC)(AB)C=A(BC) para cualquier terna de
conjuntos A,B,C.A,B,C.
SOLUCIN
Quedar demostrada la igualdad si demostramos los contenidos:

(AB)CA(BC).(1)(AB)CA(BC).(1)
A(BC)(AB)C.(2)A(BC)(AB)C.(2)
Sea x(AB)Cx(AB)C. Esto significa xABxAB o xCxC. Si ocurre lo
primero, ser xAxA o xBxB. Si xAxA, ser xA(BC)xA(BC);
si xBxB ser xBCxBC y por tantoxA(BC)xA(BC). Por ltimo,
si xCxC, ser xBCxBC y por tanto xA(BC)xA(BC). Hemos
demostrado (1)(1).
Sea xA(BC)xA(BC). Esto significa xAxA o xBCxBC. Si ocurre lo
primero, ser xABxAB y por tanto x(AB)Cx(AB)C.
Si xBCxBC, ser xBxB o xCxC. Si xBxB, ser xABxAB y por
tanto x(AB)Cx(AB)C; si xCxC ser x(AB)Cx(AB)C. Hemos
demostrado (2).(2).
2 Demostrar la propiedad asociativa de la interseccin de conjuntos:
(AB)C=A(BC)(AB)C=A(BC) para cualquier terna de
conjuntos A,B,C.A,B,C.
SOLUCIN
Sea x(AB)Cx(AB)C. Esto significa xABxAB y xCxC y por
tanto, xAxA y xBxB y xCxC lo cual implica
que xAxA y xBCxBC, es decir xA(BC)xA(BC).
Sea xA(BC)xA(BC). Esto significa xAxA y xBCxBC y por
tanto, xAxA y xBxB y xCxC lo cual implica
que xABxAB y xCxC, es decir x(AB)Cx(AB)C.
Del doble contenido demostrado, concluimos que
(AB)C=A(BC).(AB)C=A(BC).
3 Demostrar la propiedad conmutativa de la unin de conjuntos.
SOLUCIN
Sean AA y BB conjuntos arbitrarios. Sea xABxAB. Esto significa
que xAxA o xBxB y, en cualquiera de los dos casos, xBAxBA. Hemos
demostrado ABBAABBA.
Sea xBAxBA. Esto significa que xBxB o xAxA y, en cualquiera de los
dos casos, xABxAB. Hemos demostrado BAABBAAB.
Podemos pues concluir que AB=BAAB=BA.
4 Demostrar la propiedad conmutativa de la interseccin de conjuntos.
SOLUCIN
Sean AA y BB conjuntos arbitrarios. Sea xABxAB. Esto significa
que xAxA y xBxB lo cual implica que que xBxB y xAxA, es
decir xBAxBA. Hemos demostrado ABBAABBA.
Sea xBAxBA. Esto significa que xBxB y xAxA lo cual implica que
que xAxA y xBxB, es decir xABxAB. Hemos
demostrado BAABBAAB.
Podemos pues concluir que AB=BAAB=BA.
5 Demostrar las propiedades idempotentes de la unin y de la interseccin.
SOLUCIN
Sea AA conjunto arbitrario. Si xAAxAA, ser xAxA o xAxA, y en
ambos casos xAxA. Si xAxA, en virtud de la definicin de
unin, xAAxAA. Podemos pues concluir que AA=AAA=A.
Si xAAxAA, ser xAxA y xAxA, y por tanto, xAxA. Si xAxA, en
virtud de la definicin de interseccin, xAAxAA. Podemos pues concluir
que AA=AAA=A.
6 Demostrar las propiedades del elemento nfimo para la unin e
interseccin: A=A,A=A, A=.A=.
SOLUCIN
Si xAxA entonces xAxA o xx. Dado que el conjunto vaco no
tiene elementos, necesariamente xAxA. Si xAxA, por la definicin de unin,
se cumple xAxA. Es decir, A=AA=A.
Un elemento xx pertenece a AA, si y slo si xAxA y xx. Ningn
elemento xxcumple las dos condiciones anteriores, por tanto A=.A=.
7 Demostrar la propiedad distributiva de la interseccin respecto de la
unin: A(BC)=(AB)(AC)A(BC)=(AB)(AC) para
conjuntos A,B,CA,B,C arbitrarios.
SOLUCIN
Veamos que A(BC)(AB)(AC)A(BC)(AB)(AC). En
efecto, xA(BC)xA(BC)implica xAxA y xBCxBC, es decir o
bien xAxA y xBxB o bien xAxA y xCxC. En el primer
caso xABxAB y en el segundo xACxAC. En ambos
casos, x(AB)(AC)x(AB)(AC).
Veamos que (AB)(AC)A(BC)(AB)(AC)A(BC). En
efecto, x(AB)(AC)x(AB)(AC)implica xABxAB o xACxA
C. En el primer caso, xAxA y xBxB, por tanto xAxA yxBCxBC lo
cual implica xA(BC)xA(BC). En el segundo caso, xAxA y xCxC, por
tanto xAxA y xBCxBC lo cual implica tambin xA(BC)xA(BC).
8 Demostrar la propiedad distributiva de la unin respecto de la
interseccin: A(BC)=(AB)(AC)A(BC)=(AB)(AC) para
conjuntos A,B,CA,B,C arbitrarios.
SOLUCIN
Veamos que A(BC)(AB)(AC)A(BC)(AB)(AC). En
efecto, xA(BC)xA(BC)implica xAxA o xBCxBC. En el primer
caso, xABxAB y xACxAC lo cual
implica x(AB)(AC)x(AB)(AC). En el segundo
caso, xBxB y xCxC. Es decir, xABxAB y xACxAC, lo cual
implica x(AB)(AC)x(AB)(AC).
Veamos que (AB)(AC)A(BC)(AB)(AC)A(BC). En
efecto, x(AB)(AC)x(AB)(AC)implica xABxAB y xACxAC
. Si xAxA, entonces xA(BC)xA(BC). Si xAxA, al pertenecer
a ABAB y a ACAC, necesariamente xBxB y xCxC. Es
decir, xBCxBC y por tanto, xA(BC)xA(BC).
9 Si AA y BB son dos conjuntos cualesquiera, demostrar que:
(a)(AB)A=A.(a)(AB)A=A. (b)(AB)A=A(b)(AB)A=A (a estas
igualdades se las llama Leyes de simplificacin).
SOLUCIN
(a)(a) Si x(AB)Ax(AB)A, entonces xABxAB y xAxA lo cual
implica trivialmente quexAxA. Si xAxA,
entonces xABxAB y xAxA lo cual implica x(AB)Ax(AB)A.
(b)(b) Si x(AB)Ax(AB)A, entonces xABxAB o xAxA, y en
ambos casos, xAxA. Si xAxA, entonces x(AB)Ax(AB)A.