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

שדה המספרים הרציונליים (או: השדה הרציונלי) הוא האוסף של כל השברים (כגון <math>\ \frac{7}{4}, \frac{-3}{14}, \frac{6}{1}</math>), יחד עם פעולות החיבור והכפל הרגילות. באופן זה, אוסף השברים מהווה שדה סדור, שאבריו הם כל המספרים הרציונליים. כיוון שכל מספר רציונלי הוא מנה של שני מספרים שלמים, מסמנים את השדה ב-<math>\ \mathbb{Q}</math>, האות הראשונה במילה Quotient (מנה באנגלית).

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

באופן פורמלי, בונים את <math>\ \mathbb{Q}</math> כשדה שברים של חוג המספרים השלמים (ראו מערכות מספרים).

כתת-שדה של השדה הממשי, השדה הרציונלי הוא קבוצה צפופה בת מנייה. השדה הממשי, אם כך, הוא מרחב ספרבילי.
==בנייה פורמלית==
נגדיר יחס שקילות על <math>\Z\times(\Z\setminus\{0\})</math> כך: <math>(a,b)\sim(c,d)</math> אם ורק אם <math>ad=bc</math>. נראה שזהו אכן יחס שקילות:
* רפלקסיביות: <math>ab=ba</math> ולכן <math>(a,b)\sim(a,b)</math>
* סימטריה: נניח ש<math>ad=bc</math>. מכיוון ששוויון הוא סימטרי וכפל הוא חילופי, נקבל <math>cb=da</math>, כלומר <math>(c,d)\sim(a,b)</math>
* טרנזיטיביות: נניח ש<math>ad=bc</math> וכן ש<math>cf=de</math>. נכפול את המשוואות ונקבל <math>adcf=bcde</math>. נצמצם ב<math>cd</math> ונקבל <math>af=be</math>, כלומר <math>(a,b)\sim(e,f)</math>
קבוצת המנה של יחס שקילות זה תסומן <math>\Q</math> – קבוצת המספרים הרציונליים. את מחלקת השקילות <math>[(a,b)]</math> נסמן <math>\frac{a}{b}</math>. את מחלקת השקילות <math>[(a,1)]</math> נזהה עם המספר השלם <math>a</math>. כך קיבלנו שקבוצת המספרים השלמים חלקית לרציונליים.

נגדיר פעולות חיבור וכפל:
* <math>[(a,b)]+[(c,d)]=[(ad+bc,bd)]</math>
* <math>[(a,b)]\cdot[(c,d)]=[(ac,bd)]</math>
נראה שההגדרות לא תלויות בנציגים, כלומר אם <math>(a,b)\sim(a',b')</math> וכן <math>(c,d)\sim(c',d')</math>, אז <math>(ad+bc,bd)\sim(a'd'+b'c',b'd')</math> וכן <math>(ac,bd)\sim(a'c',b'd')</math>.
* חיבור: צריך להוכיח כי <math>(ad+bc)b'd'=(a'd'+b'c')bd</math>, כלומר כי <math>adb'd'+bcb'd'=a'd'bd+b'c'bd</math>. מתקיים <math>ab'=a'b</math>. נכפול ב<math>dd'</math> ונקבל <math>adb'd'=a'd'bd</math>. מתקיים <math>cd'=c'd</math>. נכפול ב<math>bb'</math> ונקבל <math>bcb'd'=b'c'bd</math>. נחבר את המשוואות ונקבל בדיוק את השוויון הדרוש
* כפל: צריך להוכיח כי <math>acb'd'=bda'c'</math>. מתקיים <math>ab'=ba'</math> וכן <math>cd'=c'd</math>. נכפול את המשוואות ונקבל את השוויון הדרוש.
נראה כי הפעולות מקיימות את אקסיומות השדה:
* אסוציאטיביות:
:* חיבור: <math>[(a,b)]+([(c,d)]+[(e,f)])=[(a,b)]+[(cf+de,df)]=[(adf+bcf+bde,bdf)]=[(ad+bc,bd)]+[(e,f)]=([(a,b)]+[(c,d)])+[(e,f)]</math>
:* כפל: <math>[(a,b)]\cdot([(c,d)]\cdot[(e,f)])=[(a,b)]\cdot[(ce,df)]=[(ace,bdf)]=[(ac,bd)]\cdot[(e,f)]=([(a,b)]\cdot[(c,d)])\cdot[(e,f)]</math>
* קומוטטיביות:
:* חיבור: <math>[(a,b)]+[(c,d)]=[(ad+bc,bd)]=[(cb+da,db)]=[(c,d)]+[(a,b)]</math>
:* כפל: <math>[(a,b)]\cdot[(c,d)]=[(ac,bd)]=[(ca,db)]=[(c,d)]\cdot[(a,b)]</math>
* איבר האפס: <math>[(a,b)]+0=[(a,b)]+[(0,1)]=[(a\cdot1+b\cdot0,b\cdot1)]=[(a,b)]</math>
* איבר היחידה: <math>[(a,b)]\cdot1=[(a,b)]\cdot[(1,1)[=[(a\cdot1,b\cdot1)]=[(a,b)]</math>
* איבר נגדי: <math>[(a,b)]+[(-a,b)]=[(ab-ba,b^2)]=[(0,b^2)]=[(0,1)]=0</math>
* איבר הופכי: <math>[(a,b)]\cdot[(b,a)]=[(ab,ba)]=[(1,1)]=1</math>
* דיסטריבוטיביות: <math>\begin{align}&[(a,b)]\cdot([(c,d)]+[(e,f)])=[(a,b)]\cdot[(cf+de,df)]=[(acf+ade,bdf)]=[(acbf+adbe,bdbf)]=[(ac,bd)]+[(ae,bf)]\\&=[(a,b)]\cdot[(c,d)]+[(a,b)]\cdot[(e,f)]\end{align}</math>
את הסדר על <math>\Q</math> נגדיר כך: <math>\forall b,d>0,[(a,b)]<[(c,d)]\Leftrightarrow ad<bc</math>. כלומר יש להציג את המספר כבעל מכנה חיובי, ואז ניתן להשוות. נראה כי ההגדרה אינה תלויה בנציגים:

נניח כי <math>b,d,b',d'>0</math>, וכן כי <math>ad<bc</math>. נכפול בשוויון <math>cd'=c'd</math> ונקבל <math>ad'cd<bc'cd</math>. נצמצם ב<math>cd</math> ונקבל <math>ad'<bc'</math>. נכפול בשוויון <math>a'b=ab'</math> ונקבל <math>a'd'ab<b'c'ab</math>. נצמצם ב<math>ab</math> ונקבל <math>a'd'<b'c'</math>.
נראה כי זהו אכן יחס סדר חזק:
* אנטי-רפלקסיביות: לא מתקיים <math>ab<ab</math> ולכן גם לא <math>[(a,b)]<[(a,b)]</math>
* טרנזיטיביות: נניח כי <math>ad<bc\land cf<de</math>. נכפול את שני אי השוויונות ונקבל <math>adcf<bcde</math>. נצמצם ב<math>cd</math> ונקבל <math>af<be</math>, כלומר <math>[(a,b)]<[(e,f)]</math>
* השוואה: נשתמש בכך שהסדר על השלמים הוא משווה, ונקבל שלכל <math>a,b,c,d</math> מתקיים <math>ad=bc\lor ad<bc\lor ad>bc</math>, כלומר <math>[(a,b)]=[(c,d)]\lor[(a,b)]<[(c,d)]\lor[(c,d)]<[(a,b)]</math>
נראה כי ההגדרה הופכת את השדה לשדה סדור: נניח כי <math>[(a,b)]<[(c,d)]</math>, וכן <math>f>0</math>:
* צריך להוכיח כי <math>[(a,b)]+[(e,f)]<[(c,d)]+[(e,f)]</math>, כלומר <math>afdf+bedf<cfbf+debf</math>. מתקיים <math>ad<bc</math>. נכפול ב<math>f^2>0</math> ונקבל <math>afdf<cfbf</math>. נוסיף לשני האגפים <math>bedf</math> ונקבל את אי השוויון הרצוי.
* נניח בנוסף כי <math>[(e,f)]>0=[(0,1)]</math> (כלומר <math>e>0</math> לאחר שהנחנו <math>f>0</math>). צריך להוכיח <math>[(a,b)]\cdot[(e,f)]<[(c,d)]\cdot[(e,f)]</math>, כלומר כי <math>aedf<bfce</math>. מתקיים <math>ad<bc</math>. נכפול ב<math>ef>0</math> ונקבל את אי השוויון הרצוי.

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

קטגוריה:תורת המספרים
קטגוריה:מבנים אלגבריים יחידאים