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

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

המשפט קובע כי אם $a,b$ מספרים אלגבריים כך ש-$a\ne 0,1$, ו-$b$ אי-רציונלי, אז ${a}^b$ טרנסצנדנטי.

תנאי המשפט

• המשפט לא מוגבל למספרים ממשיים ותקף גם למספרים מרוכבים. במספרים מרוכבים חזקה היא פונקציה רב-ערכית וייתכן יותר מערך אחד ל-${a}^b$. המשפט תקף לכל ערך נבחר.
• המשפט קובע תנאים מספיקים לכך שאלגברי בחזקת אלגברי יהיה טרנסצנדנטי. עוד קודם לכן היה ידוע כי אלו גם תנאים הכרחיים:
  • אם $a=0$ או $a=1$ אז ${0}^b=0$ ו-${1}^b=1$ בהתאמה, ולכן התוצאה אלגברית.
  • אם $b=\frac{p}{q}$ רציונלי אז מכיוון ששדה המספרים האלגבריים סגור אלגברית, גם ${a}^b={\sqrt[q]{a}}^p$ אלגברי.
• ההגבלה ש-$b$ יהיה אלגברי נחוצה גם היא. אם נדרוש רק ש-$b$ יהיה אי-רציונלי, קל למצוא דוגמה נגדית למשפט: ${3}^{{\log }_{3}2}=2$.

השלכות

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

• קבוע גלפונד-שניידר, $2^{\sqrt{2}}$ והשורש שלו, ${\sqrt{2}}^{\sqrt{2}}$.
• קבוע גלפונד, ${e}^{\pi }={\left(e^{i\pi }\right)}^{-i}=(-1{)}^{-i}$ (לפי זהות אוילר).
• ${i}^i={\left(e^{i\pi /2}\right)}^i=\frac{1}{\sqrt{e^{\pi }}}$ (לפי זהות אוילר).
• לפי המשפט אם $a,c$ אלגבריים אז ${\log }_{a}c=\frac{\log c}{\log a}$ טרנסצנדנטי או רציונלי (אחרת ${a}^{{\log }_{a}c}=c$ דוגמה נגדית למשפט). למשל ${\log }_{3}2$ אינו רציונלי (נובע מכך ש-2 ו-3 ראשוניים), ולכן טרנסצנדנטי.

ראו גם

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

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

• .html משפט גלפונד-שניידר, באתר MathWorld (באנגלית)