קירוב דיופנטי

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

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

קירוב דיופנטי של מספר ממשי[עריכת קוד מקור | עריכה]

מספר רציונלי \ \frac{n}{m} מקרב היטב את המספר הממשי \ \alpha, ככל שהמרחק \ |\alpha - \frac{n}{m}|, קטן יותר בהשוואה לגודל המכנה m. המדד הבסיסי בעניין זה הוא סדר הקירוב: אומרים ש-\ \alpha ניתן לקירוב מסדר r, אם קיימים קבוע חיובי C ואינסוף זוגות \ \frac{n}{m}, כך ש- \ |\alpha - \frac{n}{m}| < \frac{1}{C m^r}.

קל לראות שכל מספר ממשי \ \alpha ניתן לקירוב מסדר ראשון: לכל m, המספר \ m\alpha נמצא במרחק שאינו עולה על \ 1/2 מן המספר השלם הקרוב ביותר, ולכן קיים n כך ש- \ |\alpha - \frac{n}{m}|\leq \frac{1}{2m}.

כל מספר אי-רציונלי ניתן לקירוב מסדר שני

יהיו \ \alpha ממשי שאינו רציונלי, ו-n מספר שלם. לכל k=0,...,n אפשר לכתוב את המכפלה \ k \alpha בצורה \ k \alpha = m_k + x_k, כאשר \ m_k שלם, ו- \ 0 < x_k <1. את הקטע (0,1) אפשר לחלק באופן טבעי ל-n תת-קטעים באורך \ 1/n. לפי עקרון שובך היונים, מוכרחים שניים מבין n+1 המספרים \ x_0,\dots,x_n להמצא באותו תת-קטע, ואז המרחק ביניהם מקיים \ |(j-i)\alpha - (m_j-m_i)| = |x_j - x_i| < \frac{1}{n}, כאשר \ i<j\leq n. כעת \ |\alpha - \frac{m_j-m_i}{j-i}| < \frac{1}{n(j-i)} < \frac{1}{(j-i)^2}.

דיריכלה הוכיח בעזרת עקרון שובך היונים שכל מספר ממשי אי-רציונלי ניתן לקירוב מסדר שני (ראו הוכחה במסגרת משמאל). הוא הוכיח גם שכל מספר רציונלי אינו ניתן לקירוב מסדר העולה על 1. ב-1891 הוכיח A. Hurwitz שכל מספר ממשי שאינו רציונלי ניתן לקירוב מסדר שני, עם הקבוע \ C = \sqrt{5}. תוצאה זו היא אופטימלית בשני המובנים: יש מספרים שאינם ניתן לקירוב מסדר \ 2+\epsilon, לכל \ \epsilon > 0 (ראו משפט Roth להלן); כמו כן, יחס הזהב \ \gamma = \frac{1+\sqrt{5}}{2} ניתן לקירוב מסדר שני עבור \ C = \sqrt{5}, אבל לא עבור כל קבוע גדול יותר. אם מוציאים מכלל החישוב את המספרים הנמצאים במסלול של יחס הזהב תחת פעולת \ \operatorname{SL}_2(\mathbb{Z}), כלומר, את המספרים \ \frac{a\gamma+b}{c\gamma+d} כאשר \ a,b,c,d שלמים ו- \ ad-bc = \pm 1, אז אפשר לקרב מסדר שני כל מספר אי-רציונלי נותר, עם \ C = \sqrt{8}. באופן כללי יותר, לכל \ C < 3 יש רק מספר סופי של מסלולי-\ \operatorname{SL}_2(\mathbb{Z}), שמלבדם כל מספר אי-רציונלי ניתן לקרוב מסדר שני, עם הקבוע C. גם כאן, 3 הוא ערך אופטימלי: יש אינסוף מסלולים של מספרים שאינם ניתנים לקירוב מסדר שני עם C=3.

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

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

קירוב דיופנטי סימולטני[עריכת קוד מקור | עריכה]

לפי משפט של מינקובסקי, שעסק רבות ב"גאומטריה של מספרים", אפשר לקרב זוג מספרים אי-רציונליים באופן סימולטני: לכל \ \alpha,\beta יש אינסוף שלשות של מספרים שלמים \ n, n', m כך ש- \ |\alpha - \frac{n}{m}| < \frac{1}{m^{3/2}} ו- \ |\beta - \frac{n'}{m}| < \frac{1}{m^{3/2}}. אותם שיקולים מראים שאפשר לקרב סימולטנית כל קבוצה סופית של מספרים \ \alpha_1,\dots,\alpha_d, על ידי מספרים \ n_1,\dots,n_d,m, כך ש- \ |\alpha_i - \frac{n_i}{m}|<\frac{1}{m^{1+1/d}}.

התפלגות של הערך השבור[עריכת קוד מקור | עריכה]

לכל מספר אי-רציונלי \ \alpha, הסדרה \ (\alpha), (2\alpha), (3\alpha), \cdots היא בעלת התפלגות אחידה בקטע היחידה, כאשר \ (x) = x-[x] מציין את החלק השבור של x (ו- \ [x] הוא החלק השלם), זוהי תוצאה של הרמן וייל שהוכחה באמצעות אנליזה הרמונית, ההוכחה גם סיפקה כלי כללי לדעת מתי סדרה מתפלגת אחיד ביחס למידה כלשהי בחבורות טופולוגיות קומפקטיות - קריטריון וייל. קרונקר הוכיח שאם \ 1,\alpha,\beta בלתי תלויים לינארית מעל שדה המספרים הרציונליים, אז סדרת הזוגות \ ((n\alpha),(n\beta)) צפופה בריבוע היחידה, קריטריון וייל מאפשר להראות שגם סדרה זו מפולגת אחיד. במסגרת התורה הארגודית, התגלו הוכחות נוספות לדברים הללו, באמצעות פיתוח של "חצי-מכפלות" (skew products) בידי הלל פורסטנברג, הכלים הללו מאפשרים לעתים להוכיח התפלגות אחידה של מסלולים מסובכים יותר.

זרימות הומוגניות ודינמיקה[עריכת קוד מקור | עריכה]

ניתן להראות כי פיתוח של שבר משולב נותן את הקירוב הטוב ביותר, בנוסף, ניתן להראות כי פיתוח של שבר משולב מתאים לזרימה גיאודזית על המשטח המודולרי \ \operatorname{SL}_2(\mathbb{Z})\backslash\operatorname{SL}_2(\mathbb{R}) . Dani הראה בשנות ה-80 דרך כללית להוכחה כי מספר הוא badly approximable דרך הוכחת התבדרות של מסלולים תחת זרימות גיאודזיות במרחבים דומים למשטח המודולרי. בשיטות דומות לאלו ניתן להוכיח תוצאות כלליות בתורת המספרים, דוגמת השערת Oppenheim ו-השערת ליטלווד.

מקורות[עריכת קוד מקור | עריכה]