תורת הקבוצות/קבוצת החזקה

מתוך ויקיספר, אוסף הספרים והמדריכים החופשי
קפיצה לניווט קפיצה לחיפוש

דיברנו כבר בעבר על המושג של תת-קבוצה. בפרק זה נראה מה ניתן לומר על קבוצת כל תתי־הקבוצות של קבוצה נתונה.

הגדרה ותכונות בסיסיות[עריכה]

הגדרה:

בהינתן קבוצה , קבוצת החזקה של מסומנת על־ידי או על־ידי (סימון זה יובהר בהמשך ובמהלך הספר נשתמש בסימונים השונים לסרוגין), קבוצת כל הקבוצות החלקיות של הקבוצה .

קל לראות שמתקיים וכן . וכן, באופן טריוויאלי אם מתקיים אזי מתקיים .

דוגמאות[עריכה]

בהינתן אזי

הערה

נשים לב, שכמות האברים בקבוצת החזקה של הוא בדיוק 2 בחזקת כמות האברים ב־ . טענה זו תוכלל בסעיף הבא, ותהיה לה חשיבות רבה בהמשך כשנדבר על עוצמות.

קבוצת החזקה של קבוצה סופית[עריכה]

כפי שראינו בדוגמאות, קבוצת החזקה של קבוצה (שאיננה ריקה) תמיד מכילה לפחות 2 אברים (אבר אחד בלבד אם היא הקבוצה הריקה), הקבוצה עצמה והקבוצה הריקה. ברצוננו לגלות כמה אברים יש בקבוצת החזקה של קבוצה סופית. לדבר יש הוכחות רבות, גם מתוך תורת הקבוצות וגם מתוך קומבינטוריקה. ההוכחות הקומבינטורית והאינדוקטיבית הן אלמנטריות, ההוכחה באמצעות עוצמות דורשת ידע מפרק מתקדם יותר בספר זה, ומומלץ לקורא המתחיל לחכות לפני שהוא קורא אותה.


הגדרה:

בהינתן קבוצה סופית בעלת אברים, נסמן את מספר האברים של הקבוצה.


טענה:

בהינתן קבוצה סופית מתקיים כי:

הוכחה אינדוקטיבית

כאשר מתקיים . עבורה מתקיים כי .

וכן עבור מתקיים לכן .

כעת, יהי מספר טבעי כלשהו כך שהטענה נכונה עבור . נראה נכונות הטענה עבור .

תהי קבוצה כלשהי בת אברים. נחלק ל־2 את תתי־הקבוצות של  : או שהאבר שייך לקבוצה, או שלא.

מספר כל הקבוצות שעבורן לא שייך לקבוצה הוא לפי הנחת האינדוקציה. ואם נוסיף לכל תת־קבוצה כזו את האבר , אז נקבל פשוט את כל הקבוצות שהאבר הנ"ל כן שייך אליהן. לכן, בסך הכל:

מכאן, מנכונות בסיס וצעד האינדוקציה ועיקרון האינדוקציה, הטענה נכונה לכל .

הוכחה קומבינטורית

ההוכחה הזו מניחה ידע קומבינטורי שהקורא יכול לוודא בספר מתאים בנושא, או בקורס במתמטיקה דיסקרטית.

טענה 1: מספר האפשרויות לבחור עצמים שונים בלי חשיבות לסדר, מתוך עצמים, נתון על־ידי

טענה 2: נוסחת הבינום של ניוטון לכל מתקיים כי

כעת, נשים לב שבהינתן קבוצה סופית בעלת אברים, כמות תתי־הקבוצות של שיש בהן בדיוק אברים הוא , לכן

לכן על-ידי הצבת בנוסחת הבינום של ניוטון, נקבל:

הוכחה באמצעות עוצמות


Edit-undo.svg

שקלו לדלג על נושא זה

מומלץ לשקול לדלג על נושא זה בפעם הראשונה בה נתקלים בו, ולחזור אליו רק לאחר מעבר כללי על כל הספר.



בהינתן קבוצה סופית בעלת אברים, נרצה למצוא קבוצה שעוצמתה היא , ולהראות שהקבוצה הנ"ל שקולה לקבוצת החזקה.

נסתכל על הקבוצה . קל להראות שזו אכן הקבוצה המבוקשת. נגדיר את הפונקציה:

על־ידי

קל להוכיח שזו אכן פונקציה חח"ע ועל. באופן אינטואיטיבי, מקבלת מעין "מתכון" שאומר איזה מהאברים להכניס לתת-קבוצה ואיזה לא לפי הסדר של ה־0 ו־1 שהיא מקבלת.

אם היא מקבלת 1 במקום ה־ , האבר ה־ בקבוצה נכנס לתת־קבוצה ש– מחזירה.


הוכחת החד-חד הערכיות והעל של מושארת כתרגיל לקורא.


הפרק הקודם:
מכפלה קרטזית
קבוצת החזקה הפרק הבא:
יחסים