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

תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
Maromn (שיחה | תרומות)
מ ניסוח
שורה 19:
כאמור, ניתן להגדיר את המספרים הממשיים באמצעות סדרות קושי של מספרים רציונליים. לסדרת קושי יש משמעות רק במסגרת של [[מרחב מטרי]], ובבנייה זו נשתמש במספרים הרציונליים, <math>\mathbb{Q}</math>, וב[[מטריקה]] <math>d(x,y)=|x-y|</math> (כאשר הקווים האנכיים מציינים [[ערך מוחלט]]).
 
תהי <math>R</math> קבוצת כל סדרות הקושי ב-<math>\mathbb{Q}</math>, כלומר קבוצת כל הסדרות של מספרים רציונליים <math>\{x_n\}_{n=1}^\infty</math> כך שלכל <math>\varepsilon>0</math> קיים <math>N</math> טבעי כך שלכל זוג טבעיים <math>m,n>N</math> מתקיים <math>|x_m-x_n|<\varepsilon</math>.
 
נאמר ששתי סדרות שכאלו שקולות אם ורק אם ההפרש ביניהן שואף לאפס, כלומר הסדרות <math>\{x_n\}_{n=1}^\infty</math> ו-<math>\{y_n\}_{n=1}^\infty</math> שקולות אם ורק אם לכל <math>\varepsilon>0</math> קיים <math>N</math> טבעי כך שלכל <math>n>N</math> טבעי מתקיים <math>|x_n-y_n|<\varepsilon</math>.
שורה 37:
<math>\{x_n\}_{n=1}^\infty / \{y_n\}_{n=1}^\infty:=\{x_n / y_n\}_{n=1}^\infty</math> (יש לשים לב למקרים בהם נוצרת חלוקה ב-0)
{{ש}}
בנוסף, את הסדר על איבריסדרות הסדרהקושי ב-<math>\mathbb{Q}</math> נגדיר כך: <math>\{x_n\}_{n=1}^\infty \leq \{y_n\}_{n=1}^\infty</math> אם ורק אם קייםהן סדרות שקולות, או שקיים <math>N</math> טבעי כך שלכל <math>n>N</math> טבעי מתקיים <math>x_n \leq y_n</math>
{{ש}}
(בכל ההגדרות סימוני הסדרות מתייחסים כמובן לסדרות מייצגות של מחלקות השקילות, וניתן להראות כי אין ההגדרה תלויה בסדרה המייצגת)