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

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

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

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

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

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

==מבנה דיפרנציאלי==
לספֵירה של רימן יש מבנה טבעי כיריעה מעל המספרים המרוכבים. זו יריעה מממד 1 מעל המספרים המרוכבים (או יריעה מממד 2 מעל המספרים הממשיים) על ידי שתי המפות הבאות:
*המפה שלוקחת את המישור המרוכב ללא נקודת האינסוף לעצמו על ידי העתקת הזהות.
*המפה שלוקחת את המישור המרוכב, ללא נקודת האפס ועם נקודת האינסוף, למישור המרוכב הרגיל על ידי ההעתקה <math>\ z \mapsto 1/z</math> (כאשר ההעתקה מעבירה את נקודת האינסוף לאפס).
בצורה הזו הספֵירה של רימן היא יריעה אנליטית. בנוסף הספֵירה של רימן דיפאומורפית, ובפרט הומאומורפית לספֵירה הדו־ממדית הרגילה ולכן היא קומפקטית ופשוטת קשר.

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

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

==ראו גם==
* הטלה סטריאוגרפית
* המישור המרוכב

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

* 

קטגוריה:אנליזה מרוכבת
קטגוריה:משטחי רימן
קטגוריה:ברנהרד רימן