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

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

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

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

מבנה גאומטרי

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

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

נסמן את המישור המרוכב יחד עם נקודת האינסוף בכיתוב ${\displaystyle {\widehat {\mathbb {C} }}=\mathbb {C} \cup \{\infty \}}$ . את תכונות המישור המרוכב המורחב נגדיר באמצעות הפונקציה עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle f(z)=\frac1z} . באופן טבעי פונקציה זו מוגדרת על כל נקודות המישור חוץ מהנקודה 0, אך לאחר שהוספנו את הנקודה ${\displaystyle \infty }$ אפשר להגדיר את הפונקציה כך שיתקיימו השוויונות עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle f(0)=\infty,f(\infty)=0} . בצורה הזו מתקבל בעצם הומיאומורפיזם בין המישור המרוכב ללא נקודת האפס, אך עם נקודת האינסוף לבין המישור המרוכב הרגיל.

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

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

• המפה המעתיקה את המישור המרוכב ללא נקודת האינסוף לעצמו על ידי העתקת הזהות.
• המפה המעתיקה את המישור המרוכב, ללא נקודת האפס ועם נקודת האינסוף, למישור המרוכב הרגיל על ידי ההעתקה עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle z\mapsto\frac1z} (כאשר ההעתקה מעבירה את נקודת האינסוף לאפס).

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

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

כל האוטומורפיזמים של הספירה של רימן הם העתקות מביוס – כל פונקציה הפיכה שומרת מבנה (כלומר הולומורפית) על הספירה היא מהצורה עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle f(z)=\frac{az+b}{cz+d}} , כאשר עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \begin{pmatrix}a&b\\c&d\end{pmatrix}\in M_2(\C)} רגולרית. אלו הן פונקציות הולומורפיות בכל המישור המרוכב למעט בנקודה ${\displaystyle -{\frac {d}{c}}}$ , אך על הספירה של רימן הן מהוות אוטומורפיזמים – על ידי הפעלת ההעתקה עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle z\mapsto\frac1z} ניתן להחיל את העתקות מביוס גם על הנקודות שבהן המכנה מתאפס, וגם בנקודת האינסוף על ידי ההגדרות הרגילות: ${\displaystyle {\frac {1}{0}}=\infty ,{\frac {1}{\infty }}=0}$ .

המטריצה שמגדירה העתקת מביוס מוגדרת עד כדי כפל בסקלר, ולכן העתקות מביוס הן למעשה אוטומורפיזמים של הישר הפרויקטיבי המרוכב עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \C P^1} . ולכן את הטענה לעיל ניתן לנסח כך: חבורת האוטומורפיזמים של טבעת מביוס היא החבורה הפרויקטיבית הלינארית ${\displaystyle PGL_{2}(\mathbb {C} )}$ .

ראו גם

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