סטים תחת הפעולות של איחוד, צומת והשלמה עומדים בחוקים שונים (זהויות) המפורטים בטבלה 1.
טבלה: חוק האלגברה של קבוצות
| חוקים אימפוטנטיים | (א) A ∪ A = A | (ב) A ∩ A = A |
| חוקים אסוציאטיביים | (א) (A ∪ B) ∪ C = A ∪ (B ∪ C) | (ב) (A ∩ B) ∩ C = A ∩ (B ∩ C) |
| חוקים קומוטטיביים | (א) A ∪ B = B ∪ A | (ב) A ∩ B = B ∩ A |
| חוקי הפצה | (א) A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C) | (ב) A ∩ (B ∪ C) =(A ∩ B) ∪ (A ∩ C) |
| חוקי דה מורגן | (א) (A ∪B)ג=אג∩ בג | (ב) (A ∩B)ג=אג∪ בג |
| חוקי זהות | (א) A ∪ ∅ = A (ב) A ∪ U = U | (ג) A ∩ U =A (ד) A ∩ ∅ = ∅ |
| חוקים משלימים | (א) א ∪ אג= U (ב) A ∩ Aג= ∅ | (ג) Uג= ∅ (ד) ∅ג= U |
| חוק אינבולוציה | (א) (אג)ג= א |
טבלה 1 מציגה את חוק האלגברה של קבוצות.
דוגמה 1: הוכח חוקים אימפוטנטיים:
(a) A ∪ A = A
פִּתָרוֹן:
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
פִּתָרוֹן:
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.
דוגמה 2: הוכח חוקים אסוציאטיביים:
(a) (A ∪ B) ∪ C = A ∪ (B ∪ C)
פִּתָרוֹן:
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)
פִּתָרוֹן:
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.
דוגמה3: הוכח חוקים קומוטטיביים
(a) A ∪ B = B ∪ A
פִּתָרוֹן:
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
פִּתָרוֹן:
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. דוגמה 4: הוכח חוקים חלוקתיים
(a) A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
פִּתָרוֹן:
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)
פִּתָרוֹן:
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
דוגמה 5: הוכח את חוקי דה מורגן
(a) (A ∪B)<sup>c</sup>=A<sup>c</sup>∩ B<sup>c</sup>
פִּתָרוֹן:
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>
פִּתָרוֹן:
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.
דוגמה 6: הוכחת חוקי זהות.
(a) A ∪ ∅ = A
פִּתָרוֹן:
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 ∩ ∅ = ∅
פִּתָרוֹן:
To Prove A ∩ ∅ = ∅ If x ∈ A, then x ∉ ∅ (∵∅ is a null set) Therefore, x ∈ A, x ∉ ∅ ⇒ A ∩ ∅ = ∅. Hence Proved.
(c) A ∪ U = U
פִּתָרוֹן:
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
פִּתָרוֹן:
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.
דוגמה7: הוכח חוקים משלימים
(a) A ∪ A<sup>c</sup>= U
פִּתָרוֹן:
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>=∅
פִּתָרוֹן:
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>= ∅
פִּתָרוֹן:
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
פִּתָרוֹן:
Let x ∈ ∅<sup>c</sup> ⇔ x ∉ ∅ ⇔ x ∈ U (As ∅ is an empty set) ∴ ∅<sup>c</sup> = U. Hence Proved.
דוגמה8: הוכח את חוק ההתפתחות
(a) (A<sup>c</sup> )<sup>c</sup> A.
פִּתָרוֹן:
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.
שְׁנִיוּת:
ה-E∗ הכפול של E הוא המשוואה המתקבלת על ידי החלפת כל מופע של ∪, ∩, U ו-∅ ב-E ב-∩, ∪, ∅ ו-U, בהתאמה. לדוגמה, הדואלי של
(U ∩ A) ∪ (B ∩ A) = A is (∅ ∪ A) ∩ (B ∪ A) = A
יש לציין כעקרון הדואליות, שאם משוואה כלשהי E היא זהות, אז ה-E הכפול שלה הוא גם זהות.
עקרון ההרחבה:
לפי עקרון ההרחבה שתי קבוצות, A ו-B זהות אם ורק אם יש להן אותם איברים. נסמן קבוצות שוות ב-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. תוצר קרטזיאני משני סטים:
התוצר הקרטזיאני של שתי קבוצות P ו-Q בסדר זה הוא קבוצת כל הזוגות המסודרים שהאיבר הראשון שלהם שייך לקבוצה P והאיבר השני שייך לקבוצה Q ומסומן ב-P x Q, כלומר,
ביטוי רגולרי ב-java
P x Q = {(x, y): x ∈ P, y ∈ Q}. דוגמא: תן P = {a, b, c} ו- Q = {k, l, m, n}. קבע את המכפלה הקרטזיאנית של P ו-Q.
פִּתָרוֹן: התוצר הקרטזיאני של P ו-Q הוא
