La
diferencia simétrica de dos conjuntos es el conjunto cuyos
elementos son aquellos que pertenecen a alguno de los conjuntos
iniciales, sin pertenecer a ambos a la vez. Por ejemplo, la diferencia
simétrica de {2,5,3} y {4,2,3,7} es {4,5,7}.
Definir la función
diferencia Simétrica: Ord a => [a] -> [a] -> [a]
tal que (diferenciaSimetrica xs ys) es la diferencia simétrica de xs e ys.
Por ejemplo,
diferenciaSimetrica [2,5,3] [4,2,3,7] == [4,5,7]
diferenciaSimetrica [2,5,3] [5,2,3] == []
diferenciaSimetrica [2,5,2] [4,2,3,7] == [3,4,5,7]
diferenciaSimetrica [2,5,2] [4,2,4,7] == [4,5,7]
diferenciaSimetrica [2,5,2,4] [4,2,4,7] == [5,7]
En teoría de conjuntos, la diferencia simétrica de dos conjuntos es
una operación cuyo resultado es otro conjunto que contiene a aquellos
elementos que pertenecen a uno de los conjuntos iniciales, pero no a
ambos a la vez. Por ejemplo, la diferencia simétrica del conjunto de
los números pares positivos P y el conjunto de los cuadrados
perfectos C es un conjunto D que contiene los cuadrados impares y
los pares no cuadrados:
P= {2;4;6;8;10;12;14; 16; …}
C= {1;4;9;16; 25; …}
D= {1; 2; 6, ;8 ;9 ;10; 12, 14,18,…}
Dados dos conjuntos A y B, su diferencia simétrica, A Δ B, es un
conjunto que contiene los elementos de A y los de B, excepto los
que son comunes a ambos:
La diferencia simétrica de dos conjuntos A y B es otro
conjunto A Δ B cuyos elementos son todos los elementos de A o B, a
excepción de los elementos comunes a ambos:
X € A∆ Bsi y sólo si, o bien X € A o bien X € B
Ejemplo.
Sean A = {a, ♠, 5, Z} y B = {8, #, a, Γ, ♠}. La diferencia simétrica
es A Δ B = {5, Γ, #, Z, 8}.
Sean los conjuntos de polígonos T = {pentágonos} y R =
{polígonos regulares}. La diferencia simétrica contiene los
polígonos regulares y pentágonos que no sean ambas cosas a la
vez, o sea: R Δ T = {Pentágonos irregulares y polígonos regulares
que no posean 5 lados}.
La definición de la diferencia simétrica puede reducirse fácilmente a
las operaciones de unión, intersección y diferencia:
A ∆ B= (A U B) / (A ∩ B) = (A / B) U (B / A)
Generalizaciones
La diferencia simétrica es conmutativa y asociativa por lo que al tomar
la diferencia simétrica de más de dos conjuntos, el orden en el que se
realizan las operaciones es irrelevante (ver más abajo). Así es que se
puede definir la diferencia simétria de una familia de conjuntos finita:
A ∆ A ∆ … ∆ A = (A ∆ (A ∆ (…….∆……A)…..)
Puede comprobarse que una definición alternativa para esta diferencia
de varios conjuntos es incluir sólo los elementos que aparecen un
número impar de veces:
A ∆ A ∆ ….. ∆ A = { α € U ≤i≤nA : el cardinal de { K: α € A} es impar}
Propiedades
De la definición de diferencia simétrica puede deducirse directamente:
Nilpotencia. La diferencia simétrica de un conjunto consigo
mismo es el conjunto vacío: A ∆ A =Ø
La diferencia simétrica de un conjunto y uno de sus subconjuntos
es la diferencia entre ellos: B A → A ∆ B= A / B
La diferencia simétrica tiene propiedades semejantes a las
operaciones con números:
Propiedad asociativa. La diferencia simétrica de los
conjuntos A y B Δ C es igual que la diferencia simétrica de los
conjuntos A Δ B y C:
(A ∆ B) ∆ C = A ∆ (B ∆ C)
Propiedad conmutativa. La diferencia simétrica de los
conjuntos A y B es igual a la diferencia simétrica de los
conjuntos B y A:
A∆B=B∆A
Elemento neutro. La diferencia simétrica de un
conjunto A con el conjunto vacío es el mismo conjunto A:
A ∆ Ø= A
Además, con respecto a la intersección existe una ley distributiva:
Propiedades distributivas
A ∩ (B ∆ C) = (A ∩ B) ∆ (A ∩ C)
Las propiedades de la intersección y la diferencia simétrica son
similares a las del producto y la suma en Z2. Esto implica que
el conjunto potencia de un conjunto dado X tiene estructura
de anillo considerando estas dos operaciones. Este anillo se
corresponde (es isomorfo) al anillo de las funciones de X con valores
en Z2, con la suma y producto punto a punto. La correspondencia
asigna a cada subconjunto de X su función característica.