העתקה קונפורמית – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
אין תקציר עריכה
שורה 1:
[[תמונה:Curves.png|שמאל|380px|ממוזער|תמונת שתי מסילות (ישרות) תחת ההעתקה <math>\ f(z) = i \cdot z^3</math>. ניתן לראות כי בנקודת המפגש הזווית בין המסילות המקוריות שווה לזווית בין תמונותיהן]]
ב[[אנליזה מרוכבת]], '''העתקה קונפורמית''' היא [[פונקציה הולומורפית]] המוגדרת בתחום D, אשר שומרתהשומרת על ה[[זווית]] בין [[עקום|עקומים]] בתחום זה. תכונה זו שקולה לכך שה[[נגזרת]] <math>\ f'(z)</math> לא מתאפסת בתחום D, וגםולכן גם לכך שהפונקציהשהיא <math>\[[חד-חד-ערכית]] מקומית f(z)</math>סביב היאכל נקודה יש [[כדור פתוח|כדור]] שבו הפונקציה חד-חד-ערכית]] בתחום).
 
לפי '''משפט ההעתקה של רימן''', כל שני תחומים ששפתם היא מסילה פשוטה (סגורה), קונפורמיים זה לזה; כלומר - קיימת העתקה קונפורמית וחד-חד-ערכית מאחד על השני. העתקה זו היא יחידה, עד-כדי בחירה של נקודה מן השפה שתעבור לנקודה מסויימת מן השפה, ונקודה מפנים התחום שתעבור לנקודה מסויימת מפנים התחום.
 
== דוגמאות ==
* כל [[פונקציה הולומורפית]] (לדוגמה: כל ה[[פולינום|פולינומים]], ה[[אקספוננט]], [[סינוס (טריגונומטריה)|סינוס]], [[קוסינוס]] וכו') היא קונפורמית בכל נקודהתחום בהשבו <math>\הנגזרת f'אינה \ne 0</math>מתאפסת.
* מקרה פרטי ומעניין הוא של פונקציית האקספוננט <math>\ w(z) = e^z </math>. העתקה זו מעתיקה את ה[[ישר|ישרים]] המקבילים לציר הממשי (ישרים מהצורה <math>\ Re(z)=C</math> ) ל[[מעגל|מעגלים]] ברדיוס <math>\ |z|=e^C</math>. את הישרים המקבילים לציר המדומה (מהצורה <math>\ Im(z)=C</math>) היא מעתיקה לישרים העוברים בראשית ויוצרים זווית c עם הציר הממשי<math>\ w=e^x (\cos C + i \sin C)</math>. אם כן, קיבלנו שההעתקה w מעתיקה "רשת" של ישרים ניצבים ממישור z לישרים ומעגלים ניצבים במישור w.
* [[טרנספורמצית מביוס]] היא ההעתקה <math>\ w(z)=\frac{az+b}{cz+d}</math>, כאשר <math>a,b,c,d \in \mathbb{C} </math>, וכן <math>\ ad-bc\ne0</math>. טרנספורמציית מביוס היא קונפורמית ובעלת תכונות מעניינות נוספות כגון שמירה על [[היחס הכפול]] ועל ה[[אינברסיה (אנליזה מרוכבת)|אינברסיה]].
 
[[קטגוריה: אנליזה מרוכבת]]