מודל הדיסק של פואנקרה

דיסק פואנקרה עם קווים מקבילים היפרבוליים

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

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

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

היסטוריה

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

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

קווים ומרחק

דיסק Poincaré עם 3 קווים ישרים אולטרה-מקבילים (היפרבוליים).

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

המרחקים במודל זה הם מרחקי קיילי-קליין: בהינתן שתי נקודות נפרדות p ו-q בתוך הדיסק, הקו ההיפרבולי הייחודי המחבר אותן חוצה את השפה בשתי נקודות אידיאליות, a ו-b . נסדר אותן כך שהנקודות יהיו לפי הסדר, a, p, q, b, כלומר כך ש: $|aq|>|ap|,|pb|>|qb|$ . המרחק ההיפרבולי בין p ל-q הוא אז:

$$d(p,q)=\ln \frac{\left|aq\right|\left|pb\right|}{\left|ap\right|\left|qb\right|}.$$

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

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

• תבנית:MathWorld