Leyes de los operadores fundamentales unin e interseccin.

Propiedades de la unin e interseccin

Proporcionamos
ejercicios
unin e interseccin de conjuntos.

sobre

las propiedades de la

TEORA
A, B, CA, B, C
(AB)C=A(BC),(AB)C=A(BC).(AB)C=A(BC),
(AB)C=A(BC).
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).
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 tanto xA (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).

Unin.
Es el suceso que se verifica si se verifica A o se verifica B o se verifican
ambos, uno u otros cambios.
La union de los sucesos A y B la designaremos por (A o B) o tambin (A u
B).

Interseccin.
Es el suceso que se verifica si se verifica A y se verifica B uno y otro.
La interseccin de los sucesos A y B la designaremos por (A y B) o tambin
(A B).
Diferencia de los sucesos A y B
Diferencia A-b: Es el suceso que se realiza cuando se realiza A y no B.
La designaremos por A-B =(A B)

Diferencia B-A: Es el suceso que se realiza cuando se realiza B y no A.

La designaremos por B-A= (B A)

Propiedades de las operaciones entre conjuntos.

Sean A y B dos subconjuntos de un conjunto universal U. Definimos las
siguientes operaciones entre conjuntos:
Unin: A B = { } xU : x A x B
Interseccin: A B = { } xU : x A y x B
Diferencia o resta: A \ B = { } xU : x A y x B
Diferencia simtrica: AB = ( )( ) A \ B B \ A
Complementario: A U A { } x U x A c = \ = :

Propiedades:
1 A A B, B A B A B A, A B B
2) A (B C)= (A B) C (propiedad asociativa de la unin) A (B
C )= (A B) C (propiedad asociativa de la interseccin)3) A ( )( ) ( )
B C = A B A C (propiedad distributiva) A (B C) =( A B)
( A C) (propiedad distributiva)
4) (A B )= (A B) (leyes de Morgan) (A B )= (A B)
5) A B = B A (conmutativa de la unin)

A B = B A (conmutativa de la interseccin)
6) AB = (A B) (A B)