משפט ליוביל (קירוב דיופנטי)

באנליזה דיופנטית, משפט ליוביל קובע שאם מספר אלגברי אי-רציונלי הוא שורש של פולינום ממעלה  מעל השלמים, אז לא ניתן לקרב אותו דיופנטית קירוב מסדר העולה על . מכאן שמספרים לא רציונליים הניתנים לקירוב מכל סדר הם טרנסצנדנטיים. ליוביל בנה מספרים כאלה, הנקראים מספרי ליוביל, ובכך הוכיח בפעם הראשונה שקיימים מספרים טרנסצנדנטיים.

את המשפט הוכיח ז'וזף ליוביל בשנת 1844.

הגדרות
מספר טרנסצנדנטי הוא מספר שאינו אלגברי, כלומר אינו שורש של אף פולינום במקדמים מספרים שלמים (ולכן גם אינו שורש לאף פולינום במקדמים רציונליים).

מספר ליוביל הוא מספר ממשי  כזה שלכל  קיימים  שלמים עבורם .

דוגמה למספר שכזה תנתן בהמשך. קל לראות שכל מספר ליוביל הוא אי-רציונלי: נניח בשלילה כי  מספר ליוביל רציונלי. נבחר  גדול מספיק עבורו , ואז לכל  מתקיים  משום ש-, בסתירה להגדרה.

ניסוח המשפט
לכל מספר אלגברי אי-רציונלי  בעל פולינום מינימלי ממעלה , קיים  כך שלכל  שלמים מתקיים .

הוכחה
יהי  פולינום מינימלי ממעלה  במקדמים שלמים עבורו .

מן המשפט היסודי של האלגברה נובע כי ל- לכל היותר  שורשים שונים. לכן קיים  כך שלכל  מתקיים .

בנוסף, מתקיים כי  וכן  פונקציה רציפה. לכן לפי משפטי ויירשטראס קיים  וקיים  כך שלכל  מתקיים .

שני התנאים מתקיימים בסביבה .

יהי  מספר רציונלי. נניח ללא הגבלת הכלליות כי . לפי משפט הערך הממוצע של לגראנז' קיים  עבורו

נפעיל ערך מוחלט על שני האגפים ונקבל:

מסקנה: כל מספר ליוביל הוא טרנסצנדנטי. 

הוכחה: נניח בשלילה שמספר ליוביל  הוא אלגברי, ממעלה . הוכחנו שהוא אינו רציונלי, ולכן, לפי המשפט, קיימים  כך שלכל  מתקיים . נבחר  עבורו . לפי הגדרת מספר ליוביל קיים  כך שמתקיים , וזו סתירה למשפט.

מספרי ליוביל

המשפט מראה שכל מספר ליוביל הוא טרנסצנדנטי. כדי להראות כי קיימים מספרים טרנסצנדנטיים מספיק לתת דוגמה למספר ליוביל. הדוגמה המוכרת ביותר היא קבוע ליוביל שניתנה על ידי ליוביל ב-1851:

הספרה 1 מופיעה בפיתוח העשרוני של המספר במקום ה- לאחר הנקודה העשרונית לכל  טבעי (ראו עצרת) ובכל מקום אחר מופיעה הספרה 0.

נגדיר סדרות:

לכל  טבעי מתקיים:

מכאן שקבוע ליוביל הוא מספר ליוביל, וזו הדוגמה הראשונה הידועה למספר טרנסצנדנטי.

במקום כל ספרה 1 בפיתוח העשרוני של קבוע ליוביל ניתן לשים כל ספרה אחרת שאינה 0 והמספר יוותר מספר ליוביל. מכיוון שיש אינסוף מופעים של 1 בפיתוח, ניתן להחליפם בכל סדרת ספרות שונות מאפס, ולכן יש אינסוף מספרי ליוביל ועוצמת הקבוצה של מספרי ליוביל היא עוצמת הרצף. עם זאת קיימים מספרים טרנסצנדנטיים שאינם מספרי ליוביל. למעשה, אוסף מספרי ליוביל הוא קבוצה ממידה אפס, בעוד קנטור הוכיח כי כמעט כל המספרים הם טרנסצנדנטיים. לכן כמעט כל המספרים הטרנסצנדנטיים אינם מספרי ליוביל.

הכללות
ב-1955 שיפר K.F. Roth תוצאות קודמות של Thue, Siegel ו-Dyson, והראה שמספר אלגברי אינו ניתן לקירוב דיופנטי מסדר גבוה מ-2. זהו שיפור משמעותי לחסם שנותן משפט ליוביל (שהוא מעלת הפולינום המינימלי של המספר). בעזרת תוצאה זו ניתן להוכיח את הטרנסצנדנטיות של קבוצה רחבה בהרבה של מספרים שאינם בהכרח מספרי ליוביל.

קטגוריה:מספרים טרנסצנדנטיים
ליוביל
קטגוריה:הוכחות