Asociatívnosť symetrickej diferencie
Posted: Mon Sep 22, 2014 1:31 pm
Na dnešnom cviku sme nestihli vyriešiť túto úlohu:
Pripomeniem, že na druháckej algebre ste sa mohli stretnúť aj s takouto úlohou:
* https://proofwiki.org/wiki/Symmetric_Di ... forms_Ring
* https://forum.matweb.cz/viewtopic.php?id=51371
Ja ešte poznamenám, že namiesto tohoto okruhu by sa dalo robiť aj s izomorfným okruhom $\mathbb Z_2^X$. (Čiže namiesto overovania množinových identít by ste mohli pracovať s charakteristickými funkciami.)
Riešenie môžete nájsť aj v texte k prednáške. (Ale aj na mnohých iných miestach.)$A\triangle (B\triangle C)=(A\triangle B)\triangle C$ (kde $A\triangle B=(A\setminus B)\cup(B\setminus A)$ označuje symetrický rozdiel množín).
Pripomeniem, že na druháckej algebre ste sa mohli stretnúť aj s takouto úlohou:
Dôkaz sa dá nájsť na rôznych miestach:Nech $X\ne\emptyset$. Potom $(\mathcal P(X),\triangle,\cap)$ je komutatívny okruh s jednotkou. ($\mathcal P(X)$ označuje potenčnú množinu množiny $X$.)
* https://proofwiki.org/wiki/Symmetric_Di ... forms_Ring
* https://forum.matweb.cz/viewtopic.php?id=51371
Ja ešte poznamenám, že namiesto tohoto okruhu by sa dalo robiť aj s izomorfným okruhom $\mathbb Z_2^X$. (Čiže namiesto overovania množinových identít by ste mohli pracovať s charakteristickými funkciami.)