הצגת המקור של הדף "שדה סדור"

'''שדה סדור''' (נקרא גם "'''שדה ממשי פורמלית'''") הוא [[שדה (מבנה אלגברי)|שדה]] <math>F</math>, שמוגדר עליו [[יחס סדר מלא]] המכבד את פעולות השדה (ראו להלן). 

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

==הגדרה==

הסדר המוגדר על השדה נדרש לכבד את פעולות החיבור והכפל: 
# איזוטוניות ביחס לסכום: לכל <math>x,y,z \in F</math>, אם <math>x \le y</math> אזי <math>x+z \le y+z</math>
# לכל <math>x,y,z \in F</math>, אם <math>0 \le x</math> ו- <math>y \le z</math>, אז <math>xy \le xz</math>.
(מהאקסיומות נובע למשל שכל מספר <math>a^2</math> הוא אי שלילי, ובפרט <math>0 \le 1</math>).

לחלופין, אפשר לדרוש שאוסף המספרים החיוביים (אלו הגדולים מאיבר האפס) יהיה סגור לחיבור ולכפל, ושאוסף זה יגדיר את הסדר במובן הבא: <math>\ x<y</math> אם ורק אם <math>\ y-x</math> חיובי. במקום להתמקד בסדר עצמו, אפשר לבחון את קבוצת האיברים החיוביים: תת-קבוצה P של שדה נקראת '''סדר''' (ordering), אם היא סגורה לחיבור ולכפל, ולכל איבר <math>\ a\neq 0</math> בשדה מתקיים <math>\ a\in P</math> או <math>\ -a\in P</math>. כל קבוצה כזו מגדירה יחס סדר.
ה[[מאפיין של שדה]] סדור חייב להיות 0. מכך, מספר האיברים בשדה שכזה חייב להיות אינסופי.

==דוגמאות==
הדוגמאות החשובות ביותר לשדות סדורים הן [[שדה המספרים הרציונליים|השדה הרציונלי]] ו[[שדה המספרים הממשיים|השדה הממשי]]. בשני המקרים הסדר המוכר הוא הסדר היחיד האפשרי. את [[שדה המספרים המרוכבים|השדה המרוכב]] לא ניתן לסדר, משום ש <math>\ -1 = i^2</math> הוא ריבוע בשדה הזה. אף [[שדה מקומי]] לא [[שדה ארכימדי|ארכימדי]] אינו ניתן לסידור.

ישנם שדות שאפשר לסדר בכמה דרכים. למשל, בשדה <math>\ \mathbb{Q}[\sqrt{2}]=\mathbb{Q}+\mathbb{Q}\sqrt{2}</math> (הנוצר על ידי הוספת השורש הריבועי של 2 לשדה המספרים הרציונליים), אפשר לקבוע ש-
* <math>a+b\sqrt{2}>0</math> כאשר a,b שניהם חיוביים, או a חיובי ו- b שלילי וגם <math>\ 2b^2<a^2</math>, או a שלילי ו- b חיובי וגם <math>\ a^2<2b^2</math>; '''או'''
* <math>a+b\sqrt{2}>0</math> כאשר a,b שניהם חיוביים, או a חיובי ו- b שלילי וגם <math>\ 2b^2>a^2</math>, או a שלילי ו- b חיובי וגם <math>\ a^2>2b^2</math>.

באופן כללי מספר הדרכים השונות לסדר [[שדה מספרים]] K שווה למספר הדרכים לשכן אותו בשדה המספרים הממשיים, ומספר זה קטן או שווה למימד של K.

דוגמה נוספת: בשדה <math>\ \mathbb{R}((x))</math> של [[טורי לורן פורמליים|טורי לורן]] אפשר לקבוע שאיבר <math>\ \sum_{n=-N}^{\infty}a_nx^n</math> הוא חיובי אם ורק אם <math>\ 0<a_{-N}</math>. תחת הסדר הזה x הוא איבר חיובי, הקטן מכל מספר ממשי חיובי.

==סדר וריבועים==

שדה שאפשר להגדיר עליו יחס סדר, באופן שיהפוך אותו לשדה סדור, נקרא '''שדה ניתן לסידור'''. שדה כזה מוכרח להיות בעל [[מאפיין של שדה|מאפיין]] 0. [[משפט ארטין-שרייר (שדות סדורים)|משפט ארטין-שרייר]] מאפיין את השדות הניתנים לסידור על-פי האריתמטיקה של השדה: F ניתן לסידור אם ורק אם <math>\ (-1)</math> אינו סכום של ריבועים בשדה (ההוכחה לפי [[הלמה של צורן]] על אוסף הסידורים החלקיים); במילים אחרות, <math>\ s(F)=\infty</math>, כאשר s הוא ה[[רמה של שדה|רמה של השדה]]. לדוגמה, שדות שבהם <math>\ (-1)</math> הוא ריבוע, לא ניתן לסדר - משום שאז יתקבל <math>\ 0=1+(-1)>0+0=0</math>, סתירה. ממשפט ארטין-שרייר נובע כי איבר של שדה ניתן לסידור הוא חיובי בכל יחס סדר אפשרי של השדה, אם ורק אם אותו איבר הוא סכום של ריבועים. איבר כזה נקרא לפעמים '''חיובי לחלוטין'''.

לפי משפט ידוע של Springer, אם F סדור, אז כל [[הרחבה של שדות|שדה הרחבה]] K/F מ[[ממד (אלגברה ליניארית)|ממד]] אי-זוגי, ניתן גם הוא לסידור (מספר הדרכים להרחיב את הסדר של F אינו עולה על הממד <math>\ [K:F]</math>).

שדה נקרא [[שדה פיתגורי|פיתגורי]] אם כל סכום של ריבועים הוא ריבוע. לא כל שדה כזה ניתן לסידור (לדוגמה, בשדה המספרים המרוכבים כל מספר הוא ריבוע). אלו הם השדות ש[[מספר פיתגורס]] שלהם שווה ל-1. שדה פיתגורי סדור, שכל הרחבה אלגברית סדורה שלו היא פיתגורית, נקרא '''שדה פיתגורי תורשתית'''. ידוע ש-F שדה כזה אם ורק אם מספר פיתגורס של <math>\ F(x)</math> ([[שדה פונקציות|שדה הפונקציות]] במשתנה אחד מעל F) שווה ל-2.

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

== ארכימדיות ואוניברסליות ==
כל שדה סדור מכיל עותק של המספרים הטבעיים. אם כל איבר של השדה קטן מאיזשהו מספר טבעי, זהו [[שדה סדור ארכימדי]], ואז ה[[שדה המספרים הרציונליים|מספרים הרציונליים]] [[קבוצה צפופה (סדר)|צפופים]] בו. כל שדה סדור ארכימדי ניתן לשיכון ב[[שדה המספרים הממשיים]]. לכל שדה סדור F, <math>\ \{a\in F \,|\, \exists n \in \mathbb{N}: a<n\}</math> הוא תת-חוג מקומי של F, שהתמונה שלו היא שדה ארכימדי.

יהי F שדה סדור. שני איברים חיוביים x,y הם '''ברי-השוואה''' אם קיים n כך ש-<math>\ \frac{1}{n}<x/y<n</math>. קבוצת מחלקות השקילות מהווה חבורה סדורה ביחס לכפל, ונקראת '''חבורת המחלקות הארכימדיות''' של השדה, וגם ה'''טיפוס''' שלו. השדה הוא [[שדה סדור ארכימדי|ארכימדי]] אם ורק אם הוא מטיפוס טריוויאלי. [[הרחבת שדות]] E/F היא '''הרחבה ארכימדית''' אם כל איבר של E בר-השוואה לאיבר של F. השדה '''סגור ארכימדית''' אם אין לו הרחבות ארכימדיות. 

תהי <math>\ \Gamma</math> [[חבורה סדורה|חבורה אבלית סדורה ליניארית]]. אם F שדה כלשהו, מסמנים ב-<math>\ F(\!(\Gamma)\!)</math> את הסכומים הפורמליים <math>\ \sum_{\gamma \in \Gamma} \alpha_\gamma \gamma</math> שיש להם [[תומך (מתמטיקה)|תומך]] [[קבוצה סדורה היטב|סדור היטב]], עם החיבור והכפל הטבעיים. זהו שדה, הקרוי [[שדה האן מוכלל]] (על-שם Hans Hahn). אם F סדור, יש סדר טבעי ההופך גם את <math>\ F(\!(\Gamma)\!)</math> לשדה סדור. '''משפט השלמות של האן''' קובע שלכל חבורה סדורה <math>\ \Gamma</math>, השדה הסדור היחיד מטיפוס <math>\ \Gamma</math> שהוא סגור ארכימדית הוא השדה <math>\ {\mathbb{R}}(\!(\Gamma)\!)</math>. זוהי הכללה של העובדה ש[[שדה המספרים הממשיים]] הוא השדה הסדור הארכימדי היחיד שהוא סגור ארכימדית. '''משפט השיכון של האן''' קובע שכל שדה סדור מטיפוס <math>\ \Gamma</math> אפשר לשכן כתת-שדה של <math>\ {\mathbb{R}}(\!(\Gamma)\!)</math> כך שההרחבה ארכימדית.

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

== סדר וטופולוגיה ==

בשדה ניתן לסידור, מוגדרת '''טופולוגיית Harrison''' על אוסף הסדרים האפשריים, שה[[בסיס לטופולוגיה|בסיס]] שלה כולל את הקבוצות <math>\ H_a = \{P \,|\, a\in P\}</math> לכל a שאינו אפס. הטופולוגיה הזו היא תמיד [[מרחב קומפקטי|קומפקטית]] ו[[מרחב האוסדורף|האוסדורף]] מ[[ממד (טופולוגיה)|ממד אפס]] (כלומר, יש לה בסיס של קבוצות שהן פתוחות וסגורות). כל [[מרחב טופולוגי]] קומפקטי האוסדורף ובעל ממד אפס הומיאומורפי למרחב הסדרים של שדה מתאים.

==סגוֹרים==

שדה סדור נקרא [[שדה סגור ממשית|סגור ממשית]] (real closed), אם אין לו הרחבה אלגברית סדורה (לדוגמה, שדה המספרים הממשיים הוא סגור ממשית). כל שדה כזה הוא בוודאי אוקלידי.

כל שדה סדור F מוכל בשלושה שדות <math>\ F \subseteq F_{pyth} \subseteq F_{e} \subseteq \bar{F}</math>, שכולם [[הרחבה אלגברית|אלגבריים]] מעל F, והם מקיימים את התכונות הבאות: <math>\ \bar{F}</math> סגור ממשית (שלא כמו בניית ה[[סגור אלגברי|סגור האלגברי]], בנייה זו אינה זקוקה ל[[הלמה של צורן|למה של צורן]]); <math>\ F_{e}</math> הוא שדה אוקלידי, שאפשר לקבל כשרשרת של הרחבות, שבכל אחת מהן מוסיפים לשדה הקודם את כל השורשים של איברים חיוביים; ואילו <math>\ F_{pyth}</math> הוא שדה פיתגורי, המתקבל כחיתוך של כל תת-השדות הפיתגוריים של <math>\ \bar{F}</math> המכילים את F.

== מקורות ==

* "Summary on non-Archimedean valued fields", Angel Barrıa Comicheo and Khodr Shamseddine, Contemporary Mathematics 704, (2018).

[[קטגוריה:שדות סדורים]]