טרנספורמצית מביוס

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

יש לך הודעות חדשות (השווה לגרסה הקודמת).

באנליזה מרוכבת, טרנספורמצית מביוס היא פונקציה מהצורה $T(z)=\frac{az+b}{cz+d}$ כאשר $\ a,b,c,d$ הם מקדמים מרוכבים כך ש $\ ad-bc \ne 0$ .

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

[עריכה] סקירה כללית ותכונות

כל טרנספורמצית מביוס היא העתקה רציפה, חד חד ערכית ועל מהמישור המרוכב המורחב לעצמו. הרחבת המישור המרוכב נעשית על ידי הוספת נקודה באינסוף (המישור המורחב נקרא ספירת רימן ומסומן $\widehat \mathbb{C} = \mathbb{C} \cup\{ \infty\}$ ). טרנספומרציות מביוס הן העתקות מרומורפיות בכל $\mathbb{C}$ , והולמורפיות בכל ספירת רימן. הרציפות והאנליטיות באינסוף מושגות על ידי הגדרת הפונקציה בצורה האינטואיטיבית $T \left ( \frac{-d}{c} \right ) = \infty, T(\infty)=\frac{a}{c}$ . במקרה שבו $\ c = 0$ הפונקציה היא פשוט לינארית ומוגדרת על כל $\widehat \mathbb{C}$ כאשר $\ T(\infty)=\infty$ .

הרכבה של טרנספורמציות מביוס היא גם טרנספורמצית מביוס, ולכן טרנספורמציות מביוס מהוות חבורה, וחבורת טרנספורמציות מביוס מהוות את חבורת האוטומורפיזמים של ספירת רימן, ומסומנת לעתים $\mbox{Aut}(\widehat\mathbb C)$ . במינוח של גאומטריה דיפרנציאלית, נאמר כי טרנספורמציות מביוס הן כל הדיפאומורפיזמים של ספירת רימן לעצמה. ישנן תתי חבורות של טרנספורמציות מביוס המהוות את האוטומורפיזמים של משטחי רימן אחרים, כמו המישור המרוכב או המישור ההיפרבולי, ועל כן טרנספורמציות מביוס מהוות חלק חשוב בתאוריה של משטחי רימן.

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

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

טרנספורמצית מביוס שומרת על היחס הכפול. היחס הכפול של 4 נקודות (שונות) ב $\mathbb{C}$ מוגדר כך $\ [z_1, z_2, z_3, z_4] = \frac{(z_1-z_3)(z_2-z_4)}{(z_1-z_4)(z_2-z_3)}$ , ולכל טרנספורמצית מביוס מתקיים $\ [z_1, z_2, z_3, z_4] =[T (z_1), T(z_2), T(z_3), T(z_4)]$ .

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

[עריכה] טרנספורמציות מביוס כמטריצות

אם נרכיב את הטרנספורמציה $T_1(z)=\frac{az+b}{cz+d}$ עם הטרנספורמציה $T_2(z)=\frac{a'z+b'}{c'z+d'}$ , תתקבל הטרנספורמציה $T_3(z)=T_1 \circ T_2=\frac{(a'a+bd')z+(b'a+d'b)}{(a'c+c'd)z+(b'c+d'd)}$ . ניתן לזהות קשר הדוק עם כפל המטריצות $\begin{pmatrix} a & b\\ c & d \end{pmatrix} \begin{pmatrix} a' & b' \\ c' & d' \end{pmatrix}=\begin{pmatrix} a'a+bd' & b'a+d'b\\ a'c+c'd & b'c+d'd \end{pmatrix}$ .

נשים לב גם כי כפל בסקלר של כל המקדמים אינו משנה את הטרנסמפורמציה - $\frac{az+b}{cz+d}=\frac{\lambda az+\lambda b}{\lambda cz+\lambda d}$ . בנוסף, הדרישה $\ ad-bc \ne 0$ היא בדיוק הדרישה שהמטריצה תהיה הפיכה. לכן, ניתן לזהות טרנספורמציות עם טרנספורמציות לינאריות מ $\mathbb{C}^2$ ל $\mathbb{C}^2$ , עד כדי כפל במטריצה סקלרית. כלומר, $\mbox{Aut}(\widehat\mathbb C) \cong \operatorname{GL}_2(\mathbb{C})/c\cdot Id$ ,( כאשר $c\cdot Id$ היא חבורת המטריצות הסקלריות המרוכבות מסדר 2x2).