A propriedade associativa da diferença simétrica, (A∆B)∆C = A∆(B∆C), pode ser demonstrada usando propriedades da função característica. Sabemos que para qualquer par de subconjuntos M e N de X, M = N se e somente se 1M = 1N. Portanto, precisamos mostrar que 1(A∆B)∆C = 1A∆(B∆C). Também sabemos que 1M∆N = 1M + 1N - 2 · 1M · 1N. Vamos desenvolver separadamente 1(A∆B)∆C e 1A∆(B∆C): 1(A∆B)∆C = 1(A∆B) + 1C - 2 · 1(A∆B) · 1C = 1A + 1B - 2 · 1A · 1B + 1C - 2(1A + 1B - 2 · 1A · 1B) · 1C = 1A + 1B + 1C - 2 · 1A · 1B - 2 · 1A · 1C - 2 · 1B · 1C + 4 · 1A · 1B · 1C. 1A∆(B∆C) = 1A + 1(B∆C) - 2 · 1A · 1(B∆C) = 1A + 1B + 1C - 2 · 1B · 1C - 2 · 1A(1B + 1C - 2 · 1B · 1C) = 1A + 1B + 1C - 2 · 1A · 1B - 2 · 1A · 1C - 2 · 1B · 1C + 4 · 1A · 1B · 1C. Podemos verificar que (A∆B)∆C = A∆(B∆C), portanto, a propriedade associativa da diferença simétrica é válida.
Para escrever sua resposta aqui, entre ou crie uma conta
Álgebra Vetorial e Geometria Analítica
Álgebra Vetorial e Geometria Analítica
Álgebra Vetorial e Geometria Analítica
Álgebra Vetorial e Geometria Analítica
Compartilhar