שדה ארכימדי – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מ האקסט שהושמט הועבר לתכונת ארכימדס
שורה 4:
 
== הגדרה ==
 
כל שדה סדור הוא בעל [[מאפיין]] 0, ולכן מכיל עותק של [[שדה המספרים הרציונליים|המספרים הרציונליים]] ו[[חוג המספרים השלמים|השלמים]].
 
התכונות הבאות שקולות זו לזו, ושדה סדור המקיים אותן הוא '''ארכימדי''':
שורה 9 ⟵ 11:
* קבוצת המספרים הטבעיים אינה חסומה בשדה.
* לכל איבר חיובי a בשדה, קיים n כך ש- <math>\ 1/n<a</math>.
* קבוצת המספרים הרציונליים צפופה בשדה (במובן של קבוצות סדורות: בין כל שני מספרים יש מספר רציונלי).
 
בתכונת ארכימדס משתמשים כדי לנסח מחדש מושגי יסוד באנליזה, כמו למשל [[התכנסות]] של סדרה. על-פי ההגדרה המקובלת, סדרה <math>\ \{a_n\}</math> מתכנסת לגבול a אם לכל <math>\ 0<\epsilon</math>, מרחקם של אברי הסדרה מ- a, ממקום מסויים ואילך, קטן מ- <math>\ \epsilon</math>. הארכימדיות מאפשרת להחליף את <math>\ \epsilon</math> במספר מהצורה <math>\ 1/n</math>, ובכך לבנות סדרות שבהן האיבר ה- n-י תלוי ב- n.
 
== קשר לתכונות אחרות ==