קבוצה שאינה בת מנייה

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

בתורת הקבוצות, קבוצה שאינה בת מנייה היא קבוצה אינסופית המכילה יותר מדי איברים מכדי שניתן יהיה למנות אותם. אי-המנייה של קבוצה קשורה קשר הדוק לעוצמה שלה: קבוצה אינה ניתנת למנייה אם עוצמתה גדולה מאלף אפס, עוצמת המספרים הטבעיים.

תכונות

ישנם הרבה מאפיינים מקבילים של אי מנייה. קבוצה $X$ אינה בת מנייה אם ורק אם מתקיים אחד מהתנאים הבאים:

• לא קיימת פונקציה חד-חד-ערכית מ־X לקבוצת המספרים הטבעיים. מכאן נובע גם כי לא קיימת פונקציה חד-חד-ערכית ועל מ-$X$ לקבוצת המספרים הטבעיים ולכן אינן שקולות עוצמה.
• $X\neq \emptyset$ ואין פונקציה על מהמספרים הטבעיים ל- $X$. כלומר, על כל סדרה $a_{n}$ של איברי הקבוצה הלא ריקה $X$, קיים לפחות איבר אחד של $X$ שאינו בסדרה.
• העוצמה של $X$ אינה סופית ואינה שווה לאלף אפס ($\aleph _{0}$), עוצמת המספרים הטבעיים.
• לקבוצה $X$ יש עוצמה גדולה יותר מ־$\aleph _{0}$ .

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

משפט: אם $X$ קבוצה שאינה בת מנייה היא תת־קבוצה של קבוצה $Y$, אז $Y$ אינה בת מנייה.

דוגמאות

דוגמה לקבוצה שאינה בת מנייה היא $\mathbb {R}$, קבוצת המספרים הממשיים. האלכסון של קנטור מראה שאי אפשר למנות את איברי הקבוצה. ניתן להשתמש בטכניקת הלכסון גם עבור קבוצות אחרות כדי להראות שאי אפשר למנות את אבריהן, כמו קבוצת כל הסדרות האינסופיות של המספרים הטבעיים, וקבוצת כל תתי־הקבוצות של קבוצת המספרים הטבעיים (כלומר ${\mathcal {P}}(\mathbb {N} )$, קבוצת החזקה של $\mathbb {N}$). העוצמה של $\mathbb {R}$ נקראת לעיתים קרובות עוצמת הרצף, ומסומנת באות $\aleph$, ולעיתים גם בסימונים ${\mathfrak {c}}$ או$2^{\aleph _{0}}$ או$\beth _{1}$.

קבוצת קנטור היא תת-קבוצה של $\mathbb {R}$ שאינה בת מנייה. קבוצת קנטור הוא פרקטל ובעל ממד האוסדורף גדול מאפס אבל קטן מאחת. זוהי דוגמה לעובדה הבאה: כל תת-קבוצה של $\mathbb {R}$ של ממד האוסדורף שגדול מאפס, בהכרח אינה בת מנייה.

דוגמה נוספת לקבוצה שאינה בת מנייה היא קבוצת כל הפונקציות מ-$\mathbb {R}$ ל־$\mathbb {R}$. קבוצה זו היא אפילו "יותר בלתי ניתנת למנייה" מאשר $\mathbb {R}$, במובן זה שעוצמתה היא $\beth _{2}$ הגדולה מ־$\beth _{1}$, העוצמה של $\mathbb {R}$.

דוגמה מופשטת יותר לקבוצה בלתי ניתנת למנייה היא אומגה אחת, קבוצת כל המספרים הסודרים הניתנים למנייה. העוצמה של אומגה אחת מסומנת ב־$\aleph _{1}$. באמצעות אקסיומת הבחירה ניתן להראות ש־$\aleph _{1}$ היא העוצמה הקטנה ביותר שאינה בת מנייה. כך גם עוצמת הממשיים, המסומנת ב־$\beth _{1}$. גאורג קנטור היה הראשון שהעלה את השאלה אם מתקיים השוויון$\aleph _{1}=\beth _{1}$, במה שלימים כונה "השערת הרצף". שאלה חשובה זו הוצגה בשנת 1900 על ידי דויד הילברט, כראשונה מבין 23 הבעיות שלו. לימים הוכיח קורט גדל כי לא ניתן להפריך אותה, וכ־30 שנה לאחר מכן הוכיח פול כהן שאינה תלויה באקסיומות צרמלו-פרנקל לתורת הקבוצות, כולל אקסיומת הבחירה.

ראו גם

• ב (מתמטיקה)
• אומגה אחת
• פונקציה על
• פונקציה חד-חד-ערכית
• פונקציה חד-חד-ערכית ועל

קישורים חיצוניים

• גדי אלכסנדרוביץ', תורת הקבוצות - לכסונים, או למה יש אינסוף אינסופים?, באתר "לא מדויק"

הערות שוליים

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

35782248קבוצה שאינה בת מנייה