Olá , desculpe estou com pouco tempo livre . Se tu queres a resolução completa com todos detalhes , pode ver aqui :
https://crazyproject.wordpress.com/2010 ... ifference/ . Mas tente vc msm fazer primeiro e se convencer por si msm ...Matemática se aprendi assim ..
Escreva "+" para designar a diferença simétrica e ". " para a interseção e chame a power set P(X) de R . E sejam A,B e C elementos arbitrários de R . Devemos , provar o seguinte :
\((R, +)\) é um grupo Abeliano , isto é :
S1) + é associativa : A + (B+C) = (A+ B) + C
S2) Existe \(0_{R}\) zero em R tal que \(A + 0_R = A = A + 0_R\)
S3) Existe um elemento em R , denotado por \(-A\) tal que \(A + (-A) =0_R = (-A) + A\)
S4) + é comutativa : A + B = B + A
\((R, .)\) é um semigrupo , i..e ,
P1) \(.\) é associativa \(A \cdot (B\cdot C)\)
e
P2) \(\cdot\) é distributiva (esquerda-direita ) sobre a soma
\(A \cdot (B + C) = A \cdot B + A \cdot C\) e
\((B+C) \cdot A = B \cdot A + C \cdot A\)
Em adição , vc pode facilmente verificar que \(R\) tem identidade \(1_R = ?\) e \(R\) é comutativo (pq ?) .
Para provar S1) expanda o lado esquerdo usando a definição da soma e faça o mesmo com o direito , e compare cada conjunto : Quando dois conjuntos são iguais ? Pode se provar o lado esquerdo está contido no lado direito e vice versa ou expandindo cada lado , e usando
alguns conhecimentos elementares de teoria dos conjuntos , a união é comutativa , associativa (idem para interseção ) , a interseção é distributiva sobre a união e as leis de De Morgan . Se tu não tais familiar com tais propriedades eu altamente recomendo que tu verifique como exercício . Observe que em virtude destas propriedades , naturalmente , o produto em R ( que é a interseção ) será associativa ( e tbm comutativa ) .
Tente trabalhar com as dicas acima .. Boa meditação ! Os demais itens são bem simples ...