שינויים
/* פתרון */
=המשך קבוצות=
==תרגילמשלים ==הוכיחו כי <math>A\cap (B\setminus C)=(A\cap B) \setminus (A\cap C)</math>.
תכונות בסיסיות:* <math>x\in A\cap (B\setminus C)\iff (x\in cup A) ^c = U</math>* <math>\and [(xvarnothing^c = U</math>* <math>U^c = \in B) \and varnothing</math>* <math>(x\notin C)]\iff [(x\in A^c) \and (x\in B) \and (x\notin C)] \or [(x\in ^c = A) \and (x\in B) \and (x\notin A)] </math>
על המשלימים מתקיימים חוקי דה מורגן (הנובעים ישירות מחוקי דה מורגן בלוגיקה):
*<math>(A\cap B)^c = A^c \cup B^c</math>
*<math>(A\cup B)^c = A^c \cap B^c</math>
הערה: באופן כללי מתקיים
* <math>(\bigcap _{i\in I} A_i)^c = \bigcup _{i\in I} A_{i}^c </math>
* <math>(\bigcup _{i\in I} A_i)^c = \bigcap _{i\in I} A_{i}^c </math>
הוכיחו כי <math>A \triangle B = A^c \triangle B^c</math>.
נשתמש בהצגת ההפרש הסימטרי כאיחוד ההפרשים:
<math>(x\notin A^c \land x\in B^c)\lor (x\notin B^c \land x\in A^c)</math> ומחילופיות "וגם" ו"או":
א. מצאו את <math>x\in A \land xbigcup_{n\in B \land x\not\in C \Leftarrow</math><math>x\in A\cap B \land x\not\in A\cap C \Leftarrow</math><math>x\in (A\cap B) \backslash (A\cap C)mathbb{N}} B_n</math>.
==קבוצת החזקה==
'''הגדרה''': תהי קבוצה <math>A</math>. נגדיר את '''קבוצת החזקה''' של <math>A</math> בתור אוסף כל תת הקבוצות של <math>A</math>. נסמן <math>P(A)=\{X:X\subseteq A\}</math>.
===תרגיל===הוכיחו או הפריכו: <math>A=\{1,2\}</math> אזי <math>cap P(P(A))=\{\{\},\{1\},\{2\},\{1,2\}\}varnothing</math>.
===תרגיל===הוכיחו או הפריכו: א. <math>P(A)\cap P(B)=P(A\cap B)</math> ב. <math>P(A)\cup P(B)=P(A\cup B)</math> ====פתרון==== א. הוכחה: <math>X\in P(A)\cap P(B) \iff X\subseteq A\land X\subseteq B\iff</math> <math>X\subseteq A\cap B\iff X\in P(A\cap B)</math> ב. הפרכה: ניקח <math>A=\{1\},B=\{2\}</math>. אז <math>\{1,2\} \in P(A\cup B)</math>, אבל לא ל-<math>P(A)\cup P(B)</math>. למעשה הוכיחו כי <math>P(A)\cup P(B)=P(A\cup B)</math> אם ורק אם <math>A\subseteq B</math> או <math>B\subseteq A</math>. ===תרגיל ממבחן===יהיו תהינה <math>A,B,C </math> קבוצות. הוכיחו/או הפריכו:
א. אם <math>A \not\subseteq B \cap C</math> אזי <math>(A\setminus B)\cap(A\setminus C)\neq \varnothing</math>
ג. אם <math>A\cap B=\varnothing</math> אזי <math>P(A)\cap P(B) = \{\varnothing\}</math>
===פתרון===
א. '''הפרכה''': <math>A=\{1,2\},B=\{1\},C=\{2\}</math>. אזי ברור שA ש-<math>A</math> איננה מוכלת בחיתוך של <math>B וC \cap C</math> אבל <math>(A\setminus B)\cap(A\setminus C)=\{2\}\cap\{1\}=\varnothing</math>.
ב. נתון שלכל <math>a\in A</math> מתקיים <math>a \in B</math>. אזי
<math>[(x\in A) \or (x\in B)] \and [(x \in A)\or (x\notin A)] </math>
כעת, הצד הימני הוא טאוטולוגיה וניתן להסיר אותו. מכיוון שנתון <math>(x\in A)\rightarrow (x\in B)</math> ניתן להסיק בקלות ש-<math>(x\in A)\or (x\in B) \iff (x\in B)</math> , כפי שרצינו.
דרך נוספת: נגדיר את <math>B </math> להיות הקבוצה האוניברסאלית <math>U:=B</math> ואז צריך להוכיח כי
<math>A\cup A^c =U</math> וזה אכן נכון!
ג. נניח בשלילה ש-<math>P(A)\cap P(B)\neq \{\varnothing\}</math>. מכיוון שהקבוצה הריקה שייכת לכל קבוצת חזקה , החיתוך אינו ריק. לכן לפי הנחת השלילה קיימת קבוצה לא ריקה <math>C \varnothing ne\not=Cvarnothing</math> השייכת לחיתוך <math>P(A)\cap P(B)</math>. קבוצות החזקה הן אוסף תת הקבוצות, ולכן <math>C\subseteq A \and C\subseteq B</math>. מכיוון שC ש-<math>C</math> אינה ריקה קיים בה איבר <math>\exists c\in C</math> וקל מאד לראות ש-<math>(c\in A)\and (c\in B) </math> ולכן <math>c </math> מוכל בחיתוך , בסתירה לכך שהחיתוך ריק.