שדה המספרים הממשיים – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
אין תקציר עריכה |
מ ניסוח |
||
שורה 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)
{{ש}}
בנוסף, את הסדר על
{{ש}}
(בכל ההגדרות סימוני הסדרות מתייחסים כמובן לסדרות מייצגות של מחלקות השקילות, וניתן להראות כי אין ההגדרה תלויה בסדרה המייצגת)
|