Liiton, risteyksen ja komplementin operaatioiden alaiset joukot täyttävät erilaisia lakeja (identiteettejä), jotka on lueteltu taulukossa 1.
Taulukko: Joukkoalgebran laki
| Idempotentti lait | (a) A ∪ A = A | (b) A ∩ A = A |
| Assosiatiiviset lait | (a) (A ∪ B) ∪ C = A ∪ (B ∪ C) | (b) (A ∩ B) ∩ C = A ∩ (B ∩ C) |
| Kommutatiiviset lait | (a) A ∪ B = B ∪ A | (b) A ∩ B = B ∩ A |
| Jakelun lait | (a) A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) | (b) A ∩ (B ∪ C) =(A ∩ B) ∪ (A ∩ C) |
| De Morganin lait | (a) (A ∪B)c=Ac∩ Bc | (b) (A ∩B)c=Ac∪ Bc |
| Identiteettilainsäädäntö | (a) A ∪ ∅ = A (b) A ∪ U = U | (c) A ∩ U =A (d) A ∩ ∅ = ∅ |
| Täydennä lakeja | (a) A ∪ Ac= U (b) A ∩ Ac= ∅ | (c) Uc= ∅ (d) ∅c= U |
| Involuutiolaki | (a) (Ac)c= A |
Taulukossa 1 on esitetty joukkojen algebran laki.
Esimerkki 1: Todista idempotentit lait:
(a) A ∪ A = A
Ratkaisu:
Since, B ⊂ A ∪ B, therefore A ⊂ A ∪ A Let x ∈ A ∪ A ⇒ x ∈ A or x ∈ A ⇒ x ∈ A ∴ A ∪ A ⊂ A As A ∪ A ⊂ A and A ⊂ A ∪ A ⇒ A =A ∪ A. Hence Proved.
(b) A ∩ A = A
Ratkaisu:
Since, A ∩ B ⊂ B, therefore A ∩ A ⊂ A Let x ∈ A ⇒ x ∈ A and x ∈ A ⇒ x ∈ A ∩ A ∴ A ⊂ A ∩ A As A ∩ A ⊂ A and A ⊂ A ∩ A ⇒ A = A ∩ A. Hence Proved.
Esimerkki 2: Todista assosiatiiviset lait:
(a) (A ∪ B) ∪ C = A ∪ (B ∪ C)
Ratkaisu:
Let some x ∈ (A'∪ B) ∪ C ⇒ (x ∈ A or x ∈ B) or x ∈ C ⇒ x ∈ A or x ∈ B or x ∈ C ⇒ x ∈ A or (x ∈ B or x ∈ C) ⇒ x ∈ A or x ∈ B ∪ C ⇒ x ∈ A ∪ (B ∪ C). Similarly, if some x ∈ A ∪ (B ∪ C), then x ∈ (A ∪ B) ∪ C. Thus, any x ∈ A ∪ (B ∪ C) ⇔ x ∈ (A ∪ B) ∪ C. Hence Proved.
(b) (A ∩ B) ∩ C = A ∩ (B ∩ C)
Ratkaisu:
Let some x ∈ A ∩ (B ∩ C) ⇒ x ∈ A and x ∈ B ∩ C ⇒ x ∈ A and (x ∈ B and x ∈ C) ⇒ x ∈ A and x ∈ B and x ∈ C ⇒ (x ∈ A and x ∈ B) and x ∈ C) ⇒ x ∈ A ∩ B and x ∈ C ⇒ x ∈ (A ∩ B) ∩ C. Similarly, if some x ∈ A ∩ (B ∩ C), then x ∈ (A ∩ B) ∩ C Thus, any x ∈ (A ∩ B) ∩ C ⇔ x ∈ A ∩ (B ∩ C). Hence Proved.
Esimerkki3: Todista kommutatiiviset lait
(a) A ∪ B = B ∪ A
Ratkaisu:
To Prove A ∪ B = B ∪ A A ∪ B = {x: x ∈ A or x ∈ B} = {x: x ∈ B or x ∈ A} (∵ Order is not preserved in case of sets) A ∪ B = B ∪ A. Hence Proved. (b) A ∩ B = B ∩ A
Ratkaisu:
To Prove A ∩ B = B ∩ A A ∩ B = {x: x ∈ A and x ∈ B} = {x: x ∈ B and x ∈ A} (∵ Order is not preserved in case of sets) A ∩ B = B ∩ A. Hence Proved. Esimerkki 4: Todista jakautumislait
(a) A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
Ratkaisu:
To Prove Let x ∈ A ∪ (B ∩ C) ⇒ x ∈ A or x ∈ B ∩ C ⇒ (x ∈ A or x ∈ A) or (x ∈ B and x ∈ C) ⇒ (x ∈ A or x ∈ B) and (x ∈ A or x ∈ C) ⇒ x ∈ A ∪ B and x ∈ A ∪ C ⇒ x ∈ (A ∪ B) ∩ (A ∪ C) Therefore, A ∪ (B ∩ C) ⊂ (A ∪ B) ∩ (A ∪ C)............(i) Again, Let y ∈ (A ∪ B) ∩ (A ∪ C) ⇒ y ∈ A ∪ B and y ∈ A ∪ C ⇒ (y ∈ A or y ∈ B) and (y ∈ A or y ∈ C) ⇒ (y ∈ A and y ∈ A) or (y ∈ B and y ∈ C) ⇒ y ∈ A or y ∈ B ∩ C ⇒ y ∈ A ∪ (B ∩ C) Therefore, (A ∪ B) ∩ (A ∪ C) ⊂ A ∪ (B ∩ C)............(ii) Combining (i) and (ii), we get A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C). Hence Proved
(b) A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
Ratkaisu:
To Prove Let x ∈ A ∩ (B ∪ C) ⇒ x ∈ A and x ∈ B ∪ C ⇒ (x ∈ A and x ∈ A) and (x ∈ B or x ∈ C) ⇒ (x ∈ A and x ∈ B) or (x ∈ A and x ∈ C) ⇒ x ∈ A ∩ B or x ∈ A ∩ C ⇒ x ∈ (A ∩ B) ∪ (A ∪ C) Therefore, A ∩ (B ∪ C) ⊂ (A ∩ B) ∪ (A ∪ C)............ (i) Again, Let y ∈ (A ∩ B) ∪ (A ∪ C) ⇒ y ∈ A ∩ B or y ∈ A ∩ C ⇒ (y ∈ A and y ∈ B) or (y ∈ A and y ∈ C) ⇒ (y ∈ A or y ∈ A) and (y ∈ B or y ∈ C) ⇒ y ∈ A and y ∈ B ∪ C ⇒ y ∈ A ∩ (B ∪ C) Therefore, (A ∩ B) ∪ (A ∪ C) ⊂ A ∩ (B ∪ C)............ (ii) Combining (i) and (ii), we get A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∪ C). Hence Proved
Esimerkki 5: Todista De Morganin lait
(a) (A ∪B)<sup>c</sup>=A<sup>c</sup>∩ B<sup>c</sup>
Ratkaisu:
To Prove (A ∪B)<sup>c</sup>=A<sup>c</sup>∩ B<sup>c</sup> Let x ∈ (A ∪B)<sup>c</sup> ⇒ x ∉ A ∪ B (∵ a ∈ A ⇔ a ∉ A<sup>c</sup>) ⇒ x ∉ A and x ∉ B ⇒ x ∉ A<sup>c</sup> and x ∉ B<sup>c</sup> ⇒ x ∉ A<sup>c</sup>∩ B<sup>c</sup> Therefore, (A ∪B)<sup>c</sup> ⊂ A<sup>c</sup>∩ B<sup>c</sup>............. (i) Again, let x ∈ A<sup>c</sup>∩ B<sup>c</sup> ⇒ x ∈ A<sup>c</sup> and x ∈ B<sup>c</sup> ⇒ x ∉ A and x ∉ B ⇒ x ∉ A ∪ B ⇒ x ∈ (A ∪B)<sup>c</sup> Therefore, A<sup>c</sup>∩ B<sup>c</sup> ⊂ (A ∪B)<sup>c</sup>............. (ii) Combining (i) and (ii), we get A<sup>c</sup>∩ B<sup>c</sup> =(A ∪B)<sup>c</sup>. Hence Proved.
(b) (A ∩B)<sup>c</sup> = A<sup>c</sup>∪ B<sup>c</sup>
Ratkaisu:
Let x ∈ (A ∩B)<sup>c</sup> ⇒ x ∉ A ∩ B (∵ a ∈ A ⇔ a ∉ A<sup>c</sup>) ⇒ x ∉ A or x ∉ B ⇒ x ∈ A<sup>c</sup> and x ∈ B<sup>c</sup> ⇒ x ∈ A<sup>c</sup>∪ B<sup>c</sup> ∴ (A ∩B)<sup>c</sup>⊂ (A ∪B)<sup>c</sup>.................. (i) Again, Let x ∈ A<sup>c</sup>∪ B<sup>c</sup> ⇒ x ∈ A<sup>c</sup> or x ∈ B<sup>c</sup> ⇒ x ∉ A or x ∉ B ⇒ x ∉ A ∩ B ⇒ x ∈ (A ∩B)<sup>c</sup> ∴ A<sup>c</sup>∪ B<sup>c</sup>⊂ (A ∩B)<sup>c</sup>.................... (ii) Combining (i) and (ii), we get(A ∩B)<sup>c</sup>=A<sup>c</sup>∪ B<sup>c</sup>. Hence Proved.
Esimerkki 6: Todista identiteettilait.
(a) A ∪ ∅ = A
Ratkaisu:
To Prove A ∪ ∅ = A Let x ∈ A ∪ ∅ ⇒ x ∈ A or x ∈ ∅ ⇒ x ∈ A (∵x ∈ ∅, as ∅ is the null set ) Therefore, x ∈ A ∪ ∅ ⇒ x ∈ A Hence, A ∪ ∅ ⊂ A. We know that A ⊂ A ∪ B for any set B. But for B = ∅, we have A ⊂ A ∪ ∅ From above, A ⊂ A ∪ ∅ , A ∪ ∅ ⊂ A ⇒ A = A ∪ ∅. Hence Proved.
(b) A ∩ ∅ = ∅
Ratkaisu:
To Prove A ∩ ∅ = ∅ If x ∈ A, then x ∉ ∅ (∵∅ is a null set) Therefore, x ∈ A, x ∉ ∅ ⇒ A ∩ ∅ = ∅. Hence Proved.
(c) A ∪ U = U
Ratkaisu:
To Prove A ∪ U = U Every set is a subset of a universal set. ∴ A ∪ U ⊆ U Also, U ⊆ A ∪ U Therefore, A ∪ U = U. Hence Proved.
(d) A ∩ U = A
Ratkaisu:
To Prove A ∩ U = A We know A ∩ U ⊂ A................. (i) So we have to show that A ⊂ A ∩ U Let x ∈ A ⇒ x ∈ A and x ∈ U (∵ A ⊂ U so x ∈ A ⇒ x ∈ U ) ∴ x ∈ A ⇒ x ∈ A ∩ U ∴ A ⊂ A ∩ U................. (ii) From (i) and (ii), we get A ∩ U = A. Hence Proved.
Esimerkki7: Todista komplementtilait
(a) A ∪ A<sup>c</sup>= U
Ratkaisu:
To Prove A ∪ A<sup>c</sup>= U Every set is a subset of U ∴ A ∪ A<sup>c</sup> ⊂ U.................. (i) We have to show that U ⊆ A ∪ A<sup>c</sup> Let x ∈ U ⇒ x ∈ A or x ∉ A ⇒ x ∈ A or x ∈ A<sup>c</sup> ⇒ x ∈ A ∪ A<sup>c</sup> ∴ U ⊆ A ∪ A<sup>c</sup>................... (ii) From (i) and (ii), we get A ∪ A<sup>c</sup>= U. Hence Proved.
(b) A ∩ A<sup>c</sup>=∅
Ratkaisu:
As ∅ is the subset of every set ∴ ∅ ⊆ A ∩ A<sup>c</sup>..................... (i) We have to show that A ∩ A<sup>c</sup> ⊆ ∅ Let x ∈ A ∩ A<sup>c</sup> ⇒ x ∈ A and x ∈ A<sup>c</sup> ⇒ x ∈ A and x ∉ A ⇒ x ∈ ∅ ∴ A ∩ A<sup>c</sup> ⊂∅..................... (ii) From (i) and (ii), we get A∩ A<sup>c</sup>=∅. Hence Proved.
(c) U<sup>c</sup>= ∅
Ratkaisu:
Let x ∈ U<sup>c</sup> ⇔ x ∉ U ⇔ x ∈ ∅ ∴ U<sup>c</sup>= ∅. Hence Proved. (As U is the Universal Set).
(d) ∅<sup>c</sup> = U
Ratkaisu:
Let x ∈ ∅<sup>c</sup> ⇔ x ∉ ∅ ⇔ x ∈ U (As ∅ is an empty set) ∴ ∅<sup>c</sup> = U. Hence Proved.
Esimerkki8: Todista involuutiolaki
(a) (A<sup>c</sup> )<sup>c</sup> A.
Ratkaisu:
Let x ∈ (A<sup>c</sup> )<sup>c</sup> ⇔ x ∉ A<sup>c</sup>⇔ x ∈ a ∴ (A<sup>c</sup> )<sup>c</sup> =A. Hence Proved.
Kaksinaisuus:
E:n kaksois-E∗ on yhtälö, joka saadaan korvaamalla jokainen ∪, ∩, U ja ∅ esiintyminen E:ssä arvoilla ∩, ∪, ∅ ja U, vastaavasti. Esimerkiksi dual of
(U ∩ A) ∪ (B ∩ A) = A is (∅ ∪ A) ∩ (B ∪ A) = A
Duaalisuuden periaatteena mainitaan, että jos mikä tahansa yhtälö E on identtisyys, niin sen duaali E∗ on myös identiteetti.
Laajentamisen periaate:
Laajennusperiaatteen mukaan kaksi joukkoa A ja B ovat samat, jos ja vain jos niillä on samat jäsenet. Merkitään yhtäläisiä joukkoja A=B.
If A= {1, 3, 5} and B= {3, 1, 5}, then A=B i.e., A and B are equal sets. If A= {1, 4, 7} and B= {5, 4, 8}, then A≠ B i.e.., A and B are unequal sets. Kahden sarjan suorakulmainen tulo:
Kahden joukon P ja Q karteesinen tulo tässä järjestyksessä on joukko kaikista järjestetyistä pareista, joiden ensimmäinen jäsen kuuluu joukkoon P ja toinen jäsen kuuluu joukkoon Q ja jota merkitään P x Q, ts.
tavutaulukko merkkijonoksi
P x Q = {(x, y): x ∈ P, y ∈ Q}. Esimerkki: Olkoon P = {a, b, c} ja Q = {k, l, m, n}. Määritä P:n ja Q:n karteesinen tulo.
Ratkaisu: P:n ja Q:n karteesinen tulo on
