Diferencia de conjuntos (2)

Vamos a dar las demostraciones de una serie de interesantes propiedades de la diferencia de conjuntos.

(1). Sean A,B y C tres subconjuntos de X, entonces

(A-B)- C = A- (B \cup C) .

En efecto, si A' es el complementario de A, tenemos que

(A-B)-C = (A \cap B') \cap C' = A \cap (B' \cap C'),

y aplicando las leyes de De Morgan,

A \cap (B' \cap C') = A \cap (B \cup C)' = A -(B \cup C).

Sin embargo, es

(2) A-(B-C) = (A-B) \cup (A \cap C).

La demostración es análoga a la anterior. Más interesantes son las igualdades donde intervienen uniones e intersecciones de familias de subconjuntos de X. Así si (A_i)_{i \in I} es una familia de partes de X y A \subset X, entonces

(3) A - \cup_{i \in I} A_{i} = \cap_{i \in I} (A-A_i),

(4) A -\cap_{i \in I} A_i = \cup_{i \in I}(A-A_i).

En efecto, tenemos que

A- \cup_{i \in I} A_i = A \cap (\cup_{i \in I} A_i)' = A \cap ( \cap_{i \in I} A_i') =\cap_{i \in I} (A \cap A_i')= \cap_{i \in I} (A- A_i).

La demostración de (4) es análoga.

Anuncios

Responder

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión / Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión / Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión / Cambiar )

Google+ photo

Estás comentando usando tu cuenta de Google+. Cerrar sesión / Cambiar )

Conectando a %s