משפט לינדמן-ויירשטראס

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

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

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

בשנת 1844 הוכיח ז'וזף ליוביל את משפט ליוביל שהוכיח לראשונה את קיומם של המספרים הטרנסצנדנטיים ונתן דוגמה ראשונה למספר שכזה (קבוע ליוביל). בשנת 1873 הוכיח שארל הרמיט כי  מספר טרנסצנדנטי. הייתה זו הוכחת הטרנסצנדנטיות הראשונה למספר שלא נבנה לצורך זה מראש. הרמיט הצליח להכליל את הוכחתו כך שתוקפה הורחב גם לחזקות מסוימות של .

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

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

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

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

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

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

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

ראו גם
משפט גלפונד-שניידר

קישורים חיצוניים
 

מספרים טרנסצנדנטיים
לינדמן-ויירשטראס
e (קבוע מתמטי)