תכונת ארכימדס היא תכונה של מבנה אלגברי סדור. מבנה אלגברי סדור הוא קבוצה שבה יש יחס סדר ולפעמים גם פעולות חיבור וכפל.
המבנה מקיים את תכונת ארכימדס אם קבוצת המספרים הטבעיים (1, 2, 3, ...) אינה חסומה בו. כלומר, לכל איבר x במבנה קיים מספר טבעי n שמעליו.
מכאן נובע שגם מספר חיובי אינו יכול להיות אינפיניטסימלי. אינפיניטסימלי הוא מספר מאוד קטן, כמעט אפס.
דוגמאות: השדה הרציונלי והשדה הממשי הם ארכימדיים. לעומת זאת, השדה של פונקציות רציונליות \mathbb{R}(x), כאשר סדר הקבוע עושה את x לאינפיניטסימל, אינו ארכימדי.
התכונה נקראת על שם ארכימדס מסירקוזה, שהעלה רעיון דומה על השוואת קטעים. רעיון מקביל מופיע גם ב'יסודות' של אוקלידס. בנוסף, המונח מופיע בהקשר של הערכות מוחלטות, שם יש לו משמעות קרובה אך שונה.
תכונת ארכימדס אומרת שהמספרים הטבעיים לא חסרים. המספרים הטבעיים הם 1, 2, 3, ... .
במבנה שיש בו תכונה זו, לכל מספר יש מספר טבעי גדול ממנו. זה מונע הופעה של מספרים מאוד קטנים שקוראים להם אינפיניטסימלים. אינפיניטסימל הוא מספר קטן מאוד, כמעט אפס.
דוגמאות פשוטות: השדה של המספרים הרציונליים והשדה של המספרים הממשיים מקיימים את התכונה. השם מגיע מארכימדס. הוא אמר שאם שמים קטע קטן שוב ושוב, בסוף יעברו קטע גדול יותר.
יש גם שימוש אחר בשם זה בהקשר של הערכות מוחלטות, אבל זו משמעות מעט שונה.
תגובות גולשים