מספר רציונלי

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

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

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

אריתמטיקה של המספרים הרציונליים
שני מספרים רציונליים  שווים זה לזה אם .

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

לכל מספר רציונלי  קיים הופכי חיבורי: .

לכל מספר רציונלי  שונה מאפס () קיים הופכי כפלי: .

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

בנייה פורמלית של המספרים הרציונליים

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

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

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

.

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

.

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

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

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

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

כפל: נניח כי . צריך להראות כי .
כלומר, יש להראות .
כלומר, יש להראות .
וזה ברור מיידית מכך ש.

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

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

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

תכונות המספרים הרציונליים

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

עוצמה

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

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

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

ראו גם
 שבר
 שבר מחזורי
 מספר אי-רציונלי
 מספר ממשי

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

הוכחה לכך שפונקציית ה"זיווג" של קנטור היא הפיכה

הערות שוליים

תורת המספרים
הוכחות
מספרים ממשיים