29-09-2011  (3553 lectures) Categoria: Logic

Diferència simètrica

Diagrama de Venn de la diferència simètrica de dos conjunts
Diagrama de Venn de �Δ�{displaystyle ADelta B}

La diferència simètrica és
la unió sense la intersecció:
Unió ∖ Intersecció = Diferència simètrica

Diagrama de Venn de la diferència simètrica de tres conjunts
Diagrama de Venn de �Δ�Δ�{displaystyle ADelta BDelta C}

AΔB Δ C = AΔBΔC

En matemàtica, s'anomena diferència simètrica de dos conjunts al conjunt format pels elements que estan en cadascun dels dos conjunts, però no a ambdós alhora. Aquesta operació és la interpretació dins la teoria de conjunts de l'operació de disjunció exclusiva (XOR) provinent de la lògica binària. La diferència simètrica dels conjunts A i B s'acostuma a escriure �Δ�{displaystyle A{mathbin {Delta }}B}.

Per exemple, la diferència simètrica dels conjunts {1, 2, 3} i {3, 4} és {1, 2, 3} Δ {3, 4} = {1, 2, 4}. La diferència simètrica del conjunt d'estudiants i el conjunt de dones està compost pels estudiants masculins i les dones que no estudien.

La diferència simètrica es pot expressar de les següents maneres:

  • És la reunió de les dues diferències, és a dir, �Δ�=(�∖�)∪(�∖�){displaystyle A{mathbin {Delta }}B=(Asetminus B)cup (Bsetminus A)}.
  • És la diferència entre la unió dels dos conjunts i la seva intersecció �Δ�=(�∪�)∖(�∩�){displaystyle A{mathbin {Delta }}B=(Acup B)setminus (Acap B)}.
  • Els elements que compleixen la disjunció exclusiva (⊕) de pertànyer A i B: �Δ�={�:(�∈�)⊕(�∈�)}.{displaystyle A{mathbin {Delta }}B={x:(xin A)oplus (xin B)}.}

La diferència simètrica és commutativa i associativa:

�Δ�=�Δ�,{displaystyle A,Delta ,B=B,Delta ,A,,}
(�Δ�)Δ�=�Δ(�Δ�).{displaystyle (A,Delta ,B),Delta ,C=A,Delta ,(B,Delta ,C).,}

Això últim permet dir que la diferència simètrica repetida és una operació en una bossa de conjunts que resulta en el conjunt dels elements que estan en un nombre senar de conjunts.

El conjunt buit és l'element neutre, i cada conjunt és el seu propi element invers:

�Δ∅=�,{displaystyle A{mathbin {Delta }}varnothing =A,}
�Δ�=∅.{displaystyle A{mathbin {Delta }}A=varnothing .}

El conjunt de les parts d'un conjunt X amb l'operació de diferència simètrica forma un grup abelià. Com que cada element d'aquest grup és el seu propi invers (té ordre dos), això és un espai vectorial sobre el cos finit de dos elements. Si X és finit, aleshores els singletons formen una base d'aquest espai vectorial, i la seva dimensió és igual al nombre d'elements de X. Aquesta construcció es fa servir en teoria de grafs.

La intersecció és distributiva sobre la diferència simètrica:

�∩(�Δ�)=(�∩�)Δ(�∩�),{displaystyle Acap (B{mathbin {Delta }}C)=(Acap B){mathbin {Delta }}(Acap C),}

i amb aquesta operació, el conjunt de les parts de X es converteix en un anell, amb la diferència simètrica com a suma i la intersecció com a multiplicació. Aquest és un exemple prototípic d'anell booleà.

La diferència simètrica pot ésser definida en tota àlgebra booleana, fent:

�Δ�=(�∨�)∧¬(�∧�)=(�∧¬�)∨(�∧¬�)=�⊕�.{displaystyle x{mathbin {Delta }}y=(xlor y)land lnot (xland y)=(xland lnot y)lor (yland lnot x)=xoplus y.}

Aquesta operació té les mateixes propietats que la diferència simètrica de conjunts.

Diferència simètrica de n conjunts

Com abans, la diferència simètrica d'una col·lecció de conjunts conté els elements que estan presents en un nombre senar de conjunts de la col·lecció:

△�={�∈⋃�:card⁡{�∈�:�∈�} e´s senar}{displaystyle bigtriangleup M=left{ain bigcup M:operatorname {card} {Ain M:ain A} {acute {text{e}}}{text{s senar}}right}}.

Evidentment, això està ben definit només quan cada element de la unió ⋃�{displaystyle bigcup M} ve de la contribució d'un nombre finit d'elements de M.

Vegeu també

Referències

A Wikimedia Commons hi ha contingut multimèdia relatiu a: Diferència simètrica




versió per imprimir

Comentaris publicats

    Afegeix-hi un comentari:

    Nom a mostrar:
    E-mail:
    Genera una nova imatge
    Introduïu el codi de seguretat
    Accepto les condicions d'ús següents:

    Per a participar en els comentaris l'usuari es compromet a complir i acceptar les següents normes bàsiques de conducta:

    • Respectar les opinions de la resta dels participants al fòrum, tot i no compartir-les necessàriament.
    • Abstenir-se d'insultar o utilitzar un llenguatge ofensiu, racista, violent o xenòfob, i no tenir cap conducta contrària a la legislació vigent i a l'ordre públic.
    • No enviar cap contingut amb copyright sense el permís del propietari. Si es considera oportú facilitar continguts d'internet amb copyright, cal escriure la URL completa perquè els altres usuaris puguin enllaçar-hi i descarregar-se els continguts des de la pàgina propietària.
    • Publicitat: No es permet enviar continguts promocionals i/o publicitaris.