שדה ארכימדי

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

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

מושג הארכימדיות יוחס לראשונה באופן מפורש לשדות בסביבות 1900, על ידי המתמטיקאי האוסטרי אוטו שטולץ  (1842-1905).

הגדרה 

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

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

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

קשר לתכונות אחרות 

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

ארכימדיות עוברת בתורשה לתת-שדות (כל תת שדה של שדה ארכימדי הוא ארכימדי). 

שדה סדור שהוא גם שלם (במובן של חסמים, ולכן ארכימדי), לא ניתן להרחיב תוך שמירה על הארכימדיות:

משפט: אם  שניהם שדות סדורים ארכימדיים, ו-  שלם, אז . 

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

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

שדות סדורים