הצגת המקור של הדף "אקסיומת היסוד"

ב[[תורת הקבוצות]], '''אקסיומת היסוד''' היא [[אקסיומה]] במערכת [[תורת הקבוצות האקסיומטית]] (ZFC), שהוצגה לראשונה על ידי [[ג'ון פון נוימן]]. האקסיומה מבטיחה שקבוצות פתולוגיות מסוימות לא קיימות, למשל שאין קבוצה שמכילה את עצמה או קבוצות דומות.

באופן פורמלי, אקסיומת היסוד היא האקסיומה הבאה:
:לכל קבוצה x אם x לא [[הקבוצה הריקה|ריקה]] אז יש איבר <math>y\in x</math>, כך שלכל <math>z \in x</math> מתקיים <math>z \notin y</math>.

במילים אחרות, לכל קבוצה x, ליחס ה[[סדר חלקי|סדר החלקי]] <math>\in</math> שמוגדר על איברי x יש [[איבר מינימלי]].

אקסיומת היסוד שונה מהאקסיומות האחרות של ZFC בכך שהיא מגבילה את האפשרויות לקבוצות שמופיעות במודל, בניגוד לשאר האקסיומות שמאפשרות לבנות קבוצות מתוך קבוצות קיימות.

אקסיומה זו משמשת בעיקר לטיפול בתכונות של [[מספר סודר|סודרים]] ולאפשר הגדרות באינדוקציה על פני כל הקבוצות.
== מסקנות ==
=== אין סדרת שייכות יורדת אינסופית ===
מאקסיומת היסוד נובע שאין [[סדרה (מתמטיקה)|סדרה אינסופית]] יורדת של קבוצות: <math>\dots x_2 \in x_1 \in x_0</math>.

הסיבה היא שהקבוצה <math>\{x_i | i < \omega\}</math> תסתור את אקסיומת היסוד. מצד שני, בהנחת גרסה מוחלשת של [[אקסיומת הבחירה]] (אקסיומת הבחירה התלויה), גם הכיוון ההפוך נכון – מתוך כל דוגמה לקבוצה שסותרת את אקסיומת היסוד אפשר לבנות סדרת <math>\in</math> אינסופית יורדת. במילים אחרות יחס השייכות '''מבוסס היטב'''.

נעיר כי יכולה להיות במודל של אקסיומת היסוד סדרת שייכות אינסופית יורדת, כל עוד המודל לא "מכיר" אותה. לדוגמה, אם ניקח מודל של ZFC (כולל אקסיומת היסוד), M, ונסתכל על ה[[על מכפלה (תורת המודלים)|על חזקה]] שלו ביחס ל[[על מסנן]] לא ראשי על הטבעיים. המודל המתקבל יקיים את אקסיומת היסוד (כמו כל טענה מ[[שפה מסדר ראשון|סדר ראשון]]), אך יש בתוכו סדרת שייכות יורדת אינסופית:

נגדיר את <math>x_n</math> להיות מחלקת השקילות בעל חזקה של הפונקציה <math>f_n(k) = \max (0, k-n)</math> (זהו [[מספר טבעי]] לא סטנדרטי). כעת לפי משפט Łoś כיוון שהאוסף <math>\{k | f_{n+1}(k) \in f_n(k)\} = \N\setminus n</math> שייך לעל המסנן הטענה <math>x_{n+1} \in x_n</math> מתקיימת בעל החזקה, לכל n.

זו אינה סתירה כיוון שהסדרה <math>\{x_n \}_{n=0}^{\infty}</math> היא לא איבר של על החזקה.
=== אינדוקציה על כל הקבוצות ===
נניח כי יש לנו טענה בשפה של תורת הקבוצות ואנחנו יכולים להוכיח שלכל קבוצה x, אם הטענה מתקיימת על כל האיברים של x אז היא מתקיימת גם על x. אז בהינתן אקסיומת היסוד – הטענה הזו מתקיימת על כל הקבוצות.

כי [[הוכחה על דרך השלילה|נניח בשלילה]] שיש x שלא מקיים את הטענה. על ידי הגדלת x אם יש צורך, נניח כי x סגור טרנזיטיבית, כלומר אם <math>z \in y \in x</math> אז <math>z \in x</math> (כאן אנחנו משתמשים ב[[אקסיומת האינסוף]] וב[[אקסיומת ההחלפה]]). לפי [[אקסיומת ההפרדה]], יש תת-קבוצה y שמכילה את כל האיברים של x שאינם מקיימים את הטענה. קבוצה זו אינה ריקה (אחרת x היה מקיים את הטענה), ולכן, לפי אקסיומת היסוד, יש בה איבר מינימלי לפי יחס השייכות z. כל האיברים של z נמצאים ב-x אבל לא ב-y ולכן הם מקיימים את הטענה, ומכאן גם z מקיים את הטענה – בסתירה.

גם הכיוון ההפוך נכון – אם '''אקסיומת האינדוקציה''' על פני כל הקבוצות מתקיימת, אז גם אקסיומת היסוד מתקיימת.
=== סודרים ===
תחת אקסיומת היסוד ניתן להגדיר את הסודרים להיות בדיוק אוסף הקבוצות הטרנזיטיביות שאיבריהן [[יחס סדר קווי|סדורים קווית]] תחת יחס השייכות. האקסיומה מתרגמת במקרה הזה לכך שלכל תת-קבוצה לא ריקה יש מינימום.

=== הפרדוקס של ראסל ===
אקסיומת היסוד לא פותרת את [[הפרדוקס של ראסל]]. באופן כללי, לא ייתכן כי – אף על פי שאוסף מסוים של אקסיומות אינו [[עקביות (לוגיקה)|עקבי]] – הוספת אקסיומה מסוימת תהפוך אותו לעקבי. ספציפית, במונחים מודרניים, הפרדוקס של ראסל מראה כי [[מחלקה (תורת הקבוצות)|מחלקת]] כל הקבוצות שאינן איבר של עצמן<ref>כלומר המחלקה <math>\left\{ x\mid x\notin x\right\} </math>.</ref>, לא יכולה להיות קבוצה. מאקסיומת היסוד נובע רק שהמחלקה הזו מכילה את כל הקבוצות.

== יקום פון-נוימן ==
אקסיומת היסוד שקולה גם לעובדה שכל הקבוצות מופיעות בבנייה האינדוקטיבית של [[ג'ון פון נוימן|פון-נוימן]] (וזה היה הניסוח המקורי של האקסיומה). הבנייה היא ב[[אינדוקציה טרנספיניטית]] על פני הסודרים:
* <math>V_0 = \empty</math>
* <math>V_{\alpha + 1} = \mathcal{P}(V_\alpha)</math>
* <math>V_\alpha = \bigcup_{\beta < \alpha} V_\beta</math> עבור סודר גבולי.
* <math>V = \bigcup_\alpha V_\alpha</math> – כאשר האיחוד נעשה על פני כל הסודרים.
אקסיומת היסוד שקולה לטענה ש-V ממצה את כל הקבוצות בעולם. תחת ההנחה הזו נגדיר את ה'''דרגה''' של קבוצה x להיות הסודר <math>\alpha</math> הראשון בו <math>x \in V_{\alpha + 1}</math>.

נעיר כי ניתן להגדיר את הדרגה (ולהוכיח את שקילות ההגדרות) גם באינדוקציה על פני כל הקבוצות:
:<math>rank(x) = \sup \{ rank(y) \,|\, y \in x\}</math>
כך, למשל, אפשר לראות את השקילות בין אקסיומת היסוד וסכימת האינדוקציה.

ה[[מחלקה (תורת הקבוצות)|מחלקה]] V מוגדרת בכל מודל שמקיים את [[אקסיומת ההחלפה]], [[אקסיומת האיחוד]] ו[[אקסיומת קבוצת החזקה]]. לכן, גם אם אנחנו מתחילים עם מודל של ZF ללא אקסיומת היסוד, V יהיה מודל של אקסיומת היסוד (בנוסף לשאר האקסיומות של ZF). מהסיבה הזו אם ZF ללא אקסיומת היסוד [[עקביות (לוגיקה)|עקבית]] אז גם אקסיומת היסוד עקבית.

== המיטוט של מוסטובסקי ==
ה[[למה (מתמטיקה)|למה]] של [[אנדרו מוסטובסקי|מוסטובסקי]] טוענת כי תחת הנחות רחבות, מודלים פנימיים מבוססים היטב של שפת תורת הקבוצות [[איזומורפיזם|איזומורפיים]] לקבוצות [[יחס טרנזיטיבי|טרנזיטיביות]] עם יחס השייכות הסטנדרטי. למה שימושית זו מדגימה את החשיבות של הביסוס-היטב של מודלים של ZF.

הרעיון הוא שאם <math>(M,E)</math> הוא מודל של שפת תורת הקבוצות שמקיים את [[אקסיומת ההיקפיות]], יחס השייכות בו מבוסס היטב ולכל x בתוכו האוסף <math>\{y | yEx\}</math> הוא קבוצה, אז ניתן להגדיר את האיזומורפיזם הבא, הנקרא '''מיטוט מוסטובסקי''':
:<math>\pi(x) = \{\pi(y)| yEx\}</math> ויתקיים <math>x E y \iff \pi(x) \in \pi(y)</math>.

ההגדרה היא [[הגדרה רקורסיבית]], ולכן נכונותה מתבססת על הביסוס-היטב של היחס E ב-M – הנחה חזקה יותר מהתקיימות אקסיומת היסוד ב-M, כמו שצוין לעיל.

==קישורים חיצוניים==
* {{MathWorld}}

==הערות שוליים==
{{הערות שוליים}}

{{תורת הקבוצות}}

[[קטגוריה:אקסיומות של תורת הקבוצות|יסוד]]