שדה שברים

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

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

בניה לא פורמלית[עריכת קוד מקור | עריכה]

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

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

.

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

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

בצורה דומה ניתן לקבל גם כלל לחיבור בין שברים, על ידי "מכנה משותף":

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

ובפרט - כלומר לכל איבר שאינו אפס קיים הפכי.

בניה פורמלית[עריכת קוד מקור | עריכה]

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

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

את מחלקת השקילות של נסמן .

נגדיר, בהתאם לבניה הלא פורמלית את הכפל ואת החיבור:

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

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

דוגמאות[עריכת קוד מקור | עריכה]

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

קישורים חיצוניים[עריכת קוד מקור | עריכה]

  • שדה שברים, באתר MathWorld (באנגלית)