Esercizi
[05S]Consideriamo ora invece la funzione caratteristica definita come prima, ma considerata come \({\mathbb 1}_ A: X→ℤ_ 2\) cioè a valori nel gruppo delle classi resto \(ℤ_ 2\) (più correttamente indicato come \(ℤ/2ℤ\)).
In questo caso le precedenti si possono scrivere come
\[ {\mathbb 1}_{A^ c} = {\mathbb 1}_ A +1 ~ ~ ,~ ~ {\mathbb 1}_{A∩ B} = {\mathbb 1}_ A {\mathbb 1}_ B ~ ~ ,~ ~ {\mathbb 1}_{A∪ B} = {\mathbb 1}_ A {\mathbb 1}_ B +{\mathbb 1}_ A +{\mathbb 1}_ B~ . \]Ricordiamo la definizione della differenza simmetrica \( AΔ B= (A⧵ B) ∪ (B⧵ A) \), si mostri che questa si scrive come
\[ {\mathbb 1}_{AΔ B} = {\mathbb 1}_ A + {\mathbb 1}_ B ~ ~ . \]Con queste regole di calcolo si mostri che
\[ AΔ B = B Δ A ~ ~ ,~ ~ (AΔ B)^ c = A Δ (B^ c)=(A^ c) Δ B ~ ~ ,~ ~ AΔ B = C \iff A = B Δ C \]\[ (AΔ B)∩ C = (A∩ C) Δ (B∩ C) ~ ~ ,~ ~ A∪ (BΔ C) = (A∪ B)Δ (A^ c ∩ C) \]