מספר רציונלי

מתוך ויקיפדיה, האנציקלופדיה החופשית

יש לך הודעות חדשות (השווה לגרסה הקודמת).

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

אפשר להציג כל מספר רציונלי כשבר בדרכים רבות. למשל, המספר $\frac{1}{2}$ יכול להיכתב גם בתור $\frac{2}{4}$ או $\frac{16}{32}$ . עם זאת, לכל מספר יש הצגה מצומצמת אחת ויחידה, שבה המונה והמכנה זרים זה לזה.

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

[עריכה] אריתמטיקה של המספרים הרציונליים

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

$\frac{a}{b}+\frac{c}{d}=\frac{ad+bc}{bd}$ . זהו חיבור על פי מכנה משותף.

$\frac{a}{b}\cdot\frac{c}{d}=\frac{ac}{bd}$ .

שני מספרים רציונליים $\frac {a}{b},\frac{c}{d}$ שווים זה לזה אם $\ ad=bc$ .

לכל מספר רציונלי $\frac {a}{b}$ קיים הופכי חיבורי: $-\frac {a}{b}$ .

לכל מספר רציונלי $\frac {a}{b}$ שונה מאפס ( $\ a \ne 0$ ) קיים הופכי כפלי: $\frac {b}{a}$ .

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

[עריכה] בנייה פורמלית של המספרים הרציונליים

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

ראשית, נתחיל מהקבוצה של כל הזוגות הסדורים $\ (a,b)$ בהם האיבר הראשון שלם, והשני טבעי, כלומר, $\ (a,b)\in\mathbb{Z}\times\mathbb{N}$

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

$\ (a,b)+(c,d)=(ad+bc,bd)$

$\ (a,b)\times (c,d)=(ac,bd)$ .

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

$\ (a,b)\sim (c,d)\Leftrightarrow ad=bc$ .

נראה כי זהו באמת יחס שקילות:

רפלקסיביות: $\ ab=ba$ (כי כפל בשלמים הוא קומוטטיבי ולכן $\ (a,b)\sim(a,b)$ .
סימטריות: אם $\ ad=bc$ אז $\ bc=ad$ (כי שוויון הוא סימטרי) ולכן אם $\ (a,b)\sim(c,d)$ אז $\ (c,d)\sim (a,b)$ .
טרנזיטיביות: נניח כי $\ (a,b)\sim(c,d), (c,d)\sim(e,f)$ אז $\ ad=bc, cf=de$ . נכפול את השוויון השני ב $\ b$ ונקבל $\ bcf=bde$ . נציב את השוויון הראשון בשני ונקבל $\ adf=bde$ . כעת, $\ d\ne 0$ ולכן ניתן לצמצם בו, ונקבל $\ af=be$ , כלומר $\ (a,b)\sim(e,f)$ .

כעת נגדיר את קבוצת המספרים הרציונליים $\mathbb{Q}$ בתור קבוצת המנה של יחס השקילות. כלומר: כל מספר רציונלי הוא אוסף הזוגות הסדורים שמקיימים $\ (a,b)\sim (c,d)$ זה עם זה.

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

חיבור: נניח כי $\ (a,b)\sim(a',b'),(c,d)\sim(c',d')$ . צריך להראות כי $\ (a,b)+(c,d)\sim(a',b')+(c',d')$ .

כלומר, יש להראות $\ (ad+bc,bd)\sim(a'd'+b'c',b'd')$ .

כלומר, יש להראות $\ (ad+bc)(b'd')=bd(a'd'+b'c')$ .

כעת: $\ (ad+bc)(b'd')=adb'd'+bcb'd'=a'bdd'+c'dbb'=bd(a'd'+b'c')$ וזה מה שרצינו להוכיח (הסתמכנו על כך שעל פי הנתון, $\ ab'=ba',cd'=dc'$ ).

כפל: נניח כי $\ (a,b)\sim(a',b'),(c,d)\sim(c',d')$ . צריך להראות כי $\ (a,b)\times(c,d)\sim(a',b')\times(c',d')$ .

כלומר, יש להראות $\ (ac,bd)\sim(a'c',b'd')$ .

כלומר, יש להראות $\ acb'd'=bda'c'$ .

וזה ברור מיידית מכך ש $\ ab'=ba',cd'=dc'$ .

ניתן גם להגדיר סדר מלא על קבוצת המספרים הרציונליים: $\ (a,b)\le (c,d)\Leftrightarrow ad\le bc$ .

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

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

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

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

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

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