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

חשבון אינפיניטסימלי










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

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

כעת נכתוב שוב את ההגדרה, בכתיב של תורת הקבוצות:

הגדרה: מספרים זרים: נתונים שני מספרים שלמים ו- . אם אין להם אף גורם (מחלק) משותף, נגיד שהם זרים. כלומר, אם: .

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

טענה: 2√ אינו רציונלי

עריכה

הקדמה

עריכה

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

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

טענה: המספר   אינו רציונלי, כלומר   .

הוכחה: (לשם כך ניעזר בטענת העזר):

למת עזר: n² זוגי, אם ורק אם n זוגי

עריכה

הוכחת הלמה:

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

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

 

כל אחד מהביטויים (*) הוא זוגי, לכן סכומם זוגי. נוסיף להם 1 ונקבל שהביטוי (**) הוא אי־זוגי.

לכן האפשרות היחידה עבור מספר   כלשהו להיות זוגי, הוא אם   עצמו זוגי. ▪

הוכחת הטענה

עריכה

הוכחה: נניח בשלילה כי   , כלומר רציונלי. לכן ניתן לכתוב   עבור   שלמים זרים כלשהם.

נעלה כעת את הביטוי בריבוע ונקבל

 

לכן לפי הלמה הנ"ל נוכל לכתוב   עבור   . מכאן

 

לכן לפי הלמה הנ"ל נוכל גם לכתוב   עבור   . מכאן

 

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

לכן   אינו מספר רציונלי.  

הקבוצות ℚ,ℝ: תכונות והבדלים

עריכה

הקדמה

עריכה

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

מתקיים:   .

משפט: צפיפות המספרים הרציונלים והאי־רציונליים

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

אזי: קיים   , כך ש-   .

טענת הלמה בכתיב מתמטי:   .

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

 

נזכור ש-   היה מספר חיובי כלשהו, לכן קיבלנו שלכל   כנ"ל קיים   כנדרש, והטענה הוכחה. ▪

נעבור כעת להוכחת המשפט:

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

נבחר  , כך ש-   הוא השלם הקטן ביותר המקיים:   (*), כלומר כך שמתקיים:   .

ונרשום:   .

מתקיים:  
 
(ביחד עם (*) מתחילת ההוכחה)   ומצאנו מספר רציונלי כנדרש.

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

ושוב: נבחר   כך ש-   וכו'... והטענה הוכחה.  

הערות ותוספות

עריכה

הערות:

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


הגדרה: נתונות שתי קבוצות מספרים כלשהן  . קבוצה   תקרא "צפופה (dense) ב-  " , אם בין כל שניים מאברי   קיים אבר השייך לקבוצה   .

מסקנה: המספרים הרציונלים/האי-רציונלים צפופים (dense) ב-   .

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