הספירה של רימן

הספירה של רימן

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

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

מבנה גאומטרי

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

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

נסמן את המישור המרוכב יחד עם נקודת האינסוף בכיתוב ${\widehat {\mathbb {C} }}=\mathbb {C} \cup \{\infty \}$ . את תכונות המישור המרוכב המורחב נגדיר באמצעות הפונקציה $f(z)={\frac {1}{z}}$ . באופן טבעי פונקציה זו מוגדרת על כל נקודות המישור חוץ מהנקודה 0, אך לאחר שהוספנו את הנקודה $\infty$ אפשר להגדיר את הפונקציה כך שיתקיימו השוויונות $f(0)=\infty ,f(\infty )=0$ . בצורה הזו מתקבל בעצם הומיאומורפיזם בין המישור המרוכב ללא נקודת האפס, אך עם נקודת האינסוף לבין המישור המרוכב הרגיל.

מבנה דיפרנציאלי

לספֵירה של רימן יש מבנה טבעי כיריעה מעל המספרים המרוכבים. זו יריעה מממד 1 מעל המספרים המרוכבים (או יריעה מממד 2 מעל המספרים הממשיים) על ידי שתי המפות הבאות:

• המפה המעתיקה את המישור המרוכב ללא נקודת האינסוף לעצמו על ידי העתקת הזהות.
• המפה המעתיקה את המישור המרוכב, ללא נקודת האפס ועם נקודת האינסוף, למישור המרוכב הרגיל על ידי ההעתקה $z\mapsto {\frac {1}{z}}$ (כאשר ההעתקה מעבירה את נקודת האינסוף לאפס).

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

אוטומורפיזמים

כל האוטומורפיזמים של הספירה של רימן הם העתקות מביוס – כל פונקציה הפיכה שומרת מבנה (כלומר הולומורפית) על הספירה היא מהצורה $f(z)={\frac {az+b}{cz+d}}$ , כאשר ${\begin{pmatrix}a&b\\c&d\end{pmatrix}}\in M_{2}(\mathbb {C} )$ רגולרית. אלו הן פונקציות הולומורפיות בכל המישור המרוכב למעט בנקודה $-{\frac {d}{c}}$ , אך על הספירה של רימן הן מהוות אוטומורפיזמים – על ידי הפעלת ההעתקה $z\mapsto {\frac {1}{z}}$ ניתן להחיל את העתקות מביוס גם על הנקודות שבהן המכנה מתאפס, וגם בנקודת האינסוף על ידי ההגדרות הרגילות: ${\frac {1}{0}}=\infty ,{\frac {1}{\infty }}=0$ .

המטריצה שמגדירה העתקת מביוס מוגדרת עד כדי כפל בסקלר, ולכן העתקות מביוס הן למעשה אוטומורפיזמים של הישר הפרויקטיבי המרוכב $\mathbb {C} P^{1}$ . ולכן את הטענה לעיל ניתן לנסח כך: חבורת האוטומורפיזמים של טבעת מביוס היא החבורה הפרויקטיבית הלינארית $PGL_{2}(\mathbb {C} )$ .

ראו גם

• הטלה סטריאוגרפית
• המישור המרוכב

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0