Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ejemplo.
Complementario de un conjunto.
En un conjunto Universo de referencia un conjunto
complementario (o complemento de un conjunto) es otro conjunto que contiene
todos los elementos que no están en el conjunto original definido.
Entonces, para poder determinar los elementos de un conjunto complementario,
es necesario especificar el Conjunto Universo de referencia.
Ejemplo:
Si el conjunto universo es
U = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11 }
y tenemos dentro el subconjunto
A = { 3, 4, 7, 9, 10, 11 },
entonces el Complementario de A (que se escribe como Ac) respecto del
conjunto universo ( U ), está formado por los elementos de este universal que
no están en A.
¿Cuáles elementos de U no están en A?
Ac = { 1, 2, 5, 6, 8 }
Los conjuntos A ={ 3, 4, 7, 9, 10, 11 } y Ac ={ 1, 2, 5, 6, 8 } son
complementarios.
Doble complementación
Leyes de Morgan
La primera ley dice que el complemento del conjunto intersección de dos
conjuntos A y B es igual al conjunto unión del complemento de A y el
complemento de B. Utilizando los operadores definidos en el párrafo anterior, la
primer ley de De Morgan se escribe de la siguiente manera:
Ejemplo.
Consideremos el conjunto de números enteros de 0 a 5. Esto se nota como
[0,1,2,3,4,5]. En este universo definimos dos conjuntos A y B. A es el conjunto
de los números 1, 2 y 3; A = [1,2,3]. Y B es el conjunto de los números 2, 3 y 4;
B = [2,3,4]. La primer ley de De Morgan se aplicaría de la siguiente forma.
A = [1,2,3]; B = [2,3,4]
A ∩ B = [1,2,3] ∩ [2,3,4] = [2,3]
(A ∩ B) C = [2,3]C = [0,1,4,5]
AC U BC
AC = [1,2,3]C = [0,4,5]
AC = [1,2,3]C = [0,4,5]
BC = [2,3,4]C = [0,1,5]
AC U BC = [0,4,5] U [0,1,5] = [0,1,4,5]
Diferencia lógica.
La diferencia lógica de dos conjuntos “A” y “B” es el conjunto formado por
elementos de “A” que no pertenecen a “B” y se denota por.
Diferencia simétrica.
Sean X y Y dos conjuntos. La diferencia simétrica o unión disyuntiva de los
conjuntos X y Y se define como:
X△Y=(X∖Y) ∪ (Y∖X)
Y gráficamente se ve como: