שדה שברים
מתוך ויקיפדיה, האנציקלופדיה החופשית
באלגברה, שדה השברים של תחום שלמות R הוא שדה הנוצר מתחום שלמות R, על ידי תהליך שהוא חיקוי ליצירת שדה המספרים הרציונליים מתוך תחום השלמות של המספרים השלמים. על ידי שדה שברים, ניתן "להשלים" כל תחום שלמות לשדה.
[עריכה] בניה לא פורמלית
זהו הסבר לא פורמלי עם קיצורי דרך ורמאויות. הבניה הפורמלית בחלק הבא.
נבנה את שדה השברים בדומה לתהליך הבניה הפורמלי של שדה הרציונליים מחוג המספרים השלמים. כדי ליצור שדה נבנה לכל איבר שונה מאפס בתחום השלמות הפכי, ונסגור את האובייקט שנוצר תחת פעולות החוג (חיבור וכפל).
נסמן את ההפכי שבנינו לאיבר ב- . איבר זה כבר לא בהכרח שייך לחוג המקורי. כיוון שתחום שלמות הוא חוג קומוטטיבי, ההפכי של המכפלה ab שהוא יהיה כלומר:
- .
קיום ההופכיים מאפשר לנו לפתור משוואות מהצורה , על ידי הכפלה משמאל בגורם , ולכן פתרון המשוואה הוא המכפלה (כאן יש בעצם רמאות כי אנו מכפילים גורם בחוג R עם גורם שהוא מחוץ לחוג ולכן המכפלה מראש לא מוגדרת), את המכפלה הזו נסמן כ"שבר" .
אם אז נשים לב שהפתרון למשוואה הוא מצד אחד ומצד שני המכפלה ולכן קיבלנו כלל לביצוע מכפלה בין השברים:
בצורה דומה ניתן לקבל גם כלל לחיבור בין שברים, על ידי "מכנה משותף":
כיוון שזהו תחום שלמות מתקבל גם שניתן לצמצם משוואה ולכן אם ו-a שונה מאפס, אז גם או בצורת השברים:
- ובפרט - כלומר לכל איבר שאינו אפס קיים הפכי.
[עריכה] בניה פורמלית
נבנה את שדה השברים על ידי הגדרת פעולות כפל וחיבור על מחלקות שקילות מקבוצת זוגות הסדורים , באופן שמחלקת השקילות של הזוג הסדור תתאים למה שנסמן כשבר .
קודם כל, נרצה שיהיה אפשר לצמצם את השבר כלומר - ולכן נגדיר את יחס השקילות על הקבוצה כיחס:
את מחלקת השקילות של (a,b) נסמן [a,b].
נגדיר, בהתאם לבניה הלא פורמלית את הכפל ואת החיבור:
ניתן להראות שהפעולות מוגדרות היטב (כלומר אין תלות בבחירת הנציגים של מחלקת השקילות), והן קומוטטיביות ואסוציאטיביות, ולכן יוצרות חוג קומוטטיבי עם יחידה (הוכחה מפורשת נמצאת בערך מספר רציונלי). איבר האפס של החוג הוא ואיבר היחידה של החוג הוא . לכל איבר קיים נגדי והוא , ואם אז קיים לו גם הפכי- - ולכן זהו שדה.
שדה זה מכיל עותק של החוג R, שהוא האיברים [a,1].