לדלג לתוכן

חשבון אינפיניטסימלי/ממשים ושדה שלם

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

הצורך באי רציונלים

[עריכה]

טענה 1: לא קיים המקיים ש-

נניח כי קיים המקיים ש-.

מאחר ש- נתיחס אל .

יהי הצגה מצומצמת של .

אזי מתקיים :

נתבונן על שתי צדדי המשוואה כלומר ב- מתקיים ש-

כלומר הוא מספר זוגי ולכן נוכל לסמל

נציב חזרה במשוואה ונקבל

נתבונן על שתי צדדי המשוואה כלומר ב- מתקיים ש-

כלומר הוא מספר זוגי ולכן נוכל לסמל

נציב חזרה באיקס ונקבל

אבל בסתירה לכך שההצגה היא מצומצמת ולכן

ממשים

[עריכה]

הגדרה 1: האי רציונליים

קבוצת הרציונליים של השדה

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


הגדרה 2: קיים שדה אחד

כל שדה, למשל השדה , הוא אחד ויחיד.

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


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

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





משפט 1: אקסיומת השלמות: יהי נאמר שהשדה שלם אם לכל שתי תתי קבוצות המקיימות קיים יחיד כך ש-

תהי תת-קבוצה לא ריקה חסומה מלעיל על ידי .

יהי ולכן בעצמו חסם מלעיל.

מכיוון ש- קבוצה לא ריקה קיים בשדה מספר רציונלי שקטן יותר מלפחות אחד מאיברי .

כעת נמשיך ונגדיר את שתי הסדרות באופן הבא: אם חסם מלעיל אז ו-, אם הוא אינו חסם מלעיל אז ו-.

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

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



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

תהי קבוצה אינדוקטיבית לא ריקה (מפני ) של הממשיים.

נניח בשלילה כי חסומה. על פי עקרון החסם העליון קיים בממשיים.

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

לחילופין ולכן מתקיים ש-

נציב את האפסילון שלנו ונקבל

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


טענה 2:

נניח בשלילה כי מתקיים

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



משפט 3: תכונת שקולה לתכונת הארכימדס:

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

מכיוון שני, נציב כך שלכל בסתירה לארכימדיות.


הגדרה 3: שדה לא ארכימדי

שדה בו הטבעים אינם חסומים נקרא שדה לא ארכימדי



משפט 4: אקסיומת השלמות (נוסח שני): תהי וחסומה מלמעלה בממשים ותהי  :

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



משפט 5: למת החתכים:יהיו כך שמתקיים . התנאים הבאים שקולים.

  1. קיים יחיד כך ש-
סעיף 1 גורר סעיף 2: נוכיח כי מתקיים: יהי כך אזי קיים ו- מתקיים יהי מתקיים ולכן הוא חסם מלעיל של מתכונת החסם העליון נובע שיש והוא נכון לכל איבר בקובצה ולכן הוא חסם מלמטה של הקבוצה מתכונת החסם התחתון נובע שיש והוא נכון לכל איבר בקבוצה ולכן מתקיים הוכחנו כי מתקיים ש- . נניח בשלילה קיים אבל על פי סעיף א' קיים בין ולכן מתקיים או ומכאן ש- כלומר סעיף 2 גורר סעיף 3: יהי . נתון כי קיים . יהי נתון כי קיים . יהי נחבר את אי השוויוניים ונקבל, נעביר אגפים, נתון ולכן נקבל סעיף 3 גורר סעיף 1: נניח בשלילה כי קיימים כך ש- ו- נכפיל במינוס אחד את אי השיוויון ונקבל נחבר את אי השיוויון עם ונקבל ו- יהי אזי על פי סעיף 3 מתקיים בסתירה לטריכוטומיה.