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

תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
שורה 25:
* קבוצת ה[[מספר טרנסצנדנטי|מספרים טרנסצנדנטיים]]: מספרים שאינם מספרים אלגבריים. זו קבוצה שאינה בת מנייה - [[עוצמה (מתמטיקה)|עוצמתה]] היא [[עוצמת הרצף]]. קיומם של מספרים טרנסצנדנטיים הוכח לראשונה בשנת [[1844]] על ידי המתמטיקאי הצרפתי [[ז'וזף ליוביל]] והתוצאה קרויה על שמו [[משפט ליוביל (קירוב דיופנטי)|משפט ליוביל]]. בשנת [[1882]] הוכיח [[פרדיננד לינדמן]] את [[משפט לינדמן]] שקובע, בין השאר, ש־<math>\ \pi</math> ([[פאי]]) הוא מספר טרנסצנדנטי.
 
לכל מספר ממשי אי-שלילי יש [[שורש ריבועי]] ממשי, ולכל מספר ממשי שלילי אין שורש ריבועי ממשי. למספרים שליליים יש שורש [[מספר מרוכב|מדומה]]. למעשה, השורשים באים בזוגות: אם <math>a > 0</math> אז <math>x = \pm \sqrt{a}</math> שניהם שורשים ממשיים של <math>a</math> ואם <math>b < 0</math> אז <math>y = \pm i \sqrt{|b|}</math> שניהם שורשים מדומים של <math>b</math>. באופן כללי, הפתרון של [[משוואה ריבועית]] הוא שני [[מספר מרוכב|מספרים מרוכבים]] (כולל ריבוי). כל מספר ממשי הוא מקרה פרטי שלגם מספר מרוכב (כלומר קבוצת הממשיים היא תת-קבוצה של קבוצת המרוכבים).
 
==ההצגה העשרונית==
שורה 40:
ב[[טופולוגיה]], קבוצת המספרים הממשיים יוצרת [[מרחב מטרי]], שבו ה[[מרחק]] בין x ל-y מוגדר כ[[ערך מוחלט|ערך המוחלט]] {{ללא גלישה|{{!}}''x'' − ''y''{{!}}}}. בדרך זו התאמתם של המספרים הממשיים לנקודות על הישר הממשי מאפשרת לבטא את אורכו של כל קטע במישור.
 
המרחבעל פי [[תכונת ארכימדס]], לכל מספר ממשי קיים [[מספר טבעי]] שגדול ממנו. נובע מכאן שהמרחב המטרי של המספרים הממשיים הוא [[מרחב ספרבילי]], משום שקבוצת [[מספר רציונלי|המספרים הרציונליים]], שהיא בת מנייה, היא [[קבוצה צפופה]] (שכן כל קטע פתוח מכיל מספר רציונלי). הארכימדיות מאפשרת להגדיר את [[פונקציית הערך השלם|הערך השלם]] של x, בתור המקסימום של <math> \{ n \in \mathbb Z | \; x\ \leq n \} \!</math>.
 
[[File:ArchimedischesAxiom.png|thumb|250px|לפי אקסיומת ארכימדס אם מניחים עותקים של קטע קצר בזה אחר זה, בסופו של דבר אפשר יהיה לעבור קטע אחר הארוך ממנו. מכאן ניתן להוכיח שלכל מספר ממשי קיים מספר טבעי שגדול ממנו.]]
על פי [[תכונת ארכימדס]], לכל מספר ממשי קיים [[מספר טבעי]] שגדול ממנו.
 
==ראו גם==