מספר טרנסצנדנטי – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מאין תקציר עריכה |
|||
שורה 3:
במבט ראשון נראים המספרים הטרנסצנדנטיים כחריגים, וברור שאין אנו מרבים לפגוש אותם בחיי היומיום, אך ניתן להוכיח שמרבית המספרים הם דווקא מספרים טרנסצנדנטיים. במינוח מתמטי: מבין כל ה[[מספר ממשי|מספרים הממשיים]], ש[[עוצמה|עוצמתם]] היא <math>\aleph</math>, עוצמת המספרים שאינם טרנסצנדנטיים היא <math>\aleph_0</math> (קרי: [[אלף אפס]]), ולכן עוצמת המספרים הטרנסצנדנטיים היא <math>\aleph</math>. בניסוח אחר: [[הוכחת האי-מנייה הראשונה של קנטור|המספרים הטרנסצנדנטיים אינם בני מנייה]]. תכונה זו הוכחה על ידי [[גאורג קנטור]] בשנת [[1874]].
ההוכחה שמספר נתון כלשהו הוא מספר טרנסצנדנטי איננה פשוטה. קיומם של מספרים טרנסצנדנטיים הוכח לראשונה בשנת [[1844]] על ידי המתמטיקאי הצרפתי [[ז'וזף ליוביל]] והתוצאה קרויה על שמו [[משפט ליוביל (קירוב דיופנטי)|משפט ליוביל]]. על סמך המשפט
: <math>
\sum_{k=1}^\infty 10^{-k!} = 0.110001000000000000000001000....
| |||