הצגת המקור של הדף "משפט ההעתקה של רימן"

ב[[אנליזה מרוכבת]], '''משפט ההעתקה של רימן''' (ב[[אנגלית]]: '''Riemann mapping theorem''') קובע כי כל [[מרחב פשוט קשר|תחום פשוט קשר]] מרוכב ([[קבוצה פתוחה|פתוח]]) השונה מ-<math>\mathbb{C}</math> שקול [[העתקה קונפורמית|קונפורמית]] ל[[מעגל היחידה|עיגול היחידה]] הפתוח.

המשפט מהווה תוצאה חזקה, אשר לה מסקנות רבות בתורת ה[[פונקציה הולומורפית|פונקציות ההולומורפיות]]. אינטואיטיבית, הוא קובע שכל תחום פשוט קשר, מסובך כמה שיהיה, שקול לעיגול היחידה באופן אנליטי המשמר תכונות רבות - כמו שינוי בזוויות. המשפט מאפשר להסיק תכונות על תחומים פשוטי קשר שונים על ידי מחקר תכונות של עיגול היחידה, אובייקט די פשוט.

המשפט קרוי על שמו של [[ברנהרד רימן]], מתמטיקאי גרמני מהידועים והמשפיעים ביותר במתמטיקה.

==ניסוח==
יהי <math>\Omega \subsetneq \mathbb{C}</math> תחום [[מרחב פשוט קשר|פשוט קשר]]. אז קיימת [[פונקציה הולומורפית]] [[פונקציה חד-חד-ערכית|חד חד ערכית]] ו[[פונקציה על|על]]
<math>f: \Omega \rightarrow D=\{z \in \mathbb{C}\ : |z|<1\}</math>.

העתקה כזו היא [[העתקה קונפורמית]] (זו אחת ההגדרות השקולות להעתקה קונפורמית על [[המישור המרוכב]]), כלומר - כל תחום פשוט קשר שאיננו כל <math>\mathbb{C}</math> שקול קונפורמית ל[[מעגל היחידה|עיגול היחידה]].

מגרסה "חזקה" יותר של המשפט ניתן להסיק כי הפונקציה גם יחידה כאשר קובעים נקודה שתלך לאפס. פורמלית, בהינתן <math>z_0 \in \Omega</math>, קיימת פונקציה יחידה כנ"ל המקיימת גם <math>f(z_0)=0, f'(z_0)>0</math>.

הוכחת המשפט איננה טריוויאלית כלל, ומערבת משפטים לא פשוטים רבים:
* [[למת שוורץ]].
* קיום שורש אנליטי לפונקציה לא מתאפסת בתחום פשוט קשר, הנובע מקיום [[לוגריתם טבעי]] לפונקציה לא מתאפסת בתחום פשוט קשר.
* [[משפט מונטל]], הקובע כי לכל [[סדרת פונקציות]] הולומורפיות חסומות יש תת-סדרה מתכנסת במידה שווה על כל תת-[[קבוצה קומפקטית]].
* [[משפט הורוויץ (אנליזה מרוכבת)|משפט הורוויץ]], הקובע כי אם סדרת פונקציות שלא מתאפסות מתכנסת במידה שווה על כל תת-[[קבוצה קומפקטית]], אז פונקציית הגבול היא או אפס זהותית, או לא מתאפסת כלל.

אפשר לשים לב שהמשפט לא נכון עבור <math>\Omega = \mathbb{C}</math>, זאת משום שאז הפונקציה תהיה שלמה וחסומה, ולכן לפי [[משפט ליוביל (אנליזה מרוכבת)|משפט ליוביל]] - קבועה.

== הוכחה ==
נוכיח את הניסוח הבא של המשפט: יהי <math>\Omega \neq \Complex </math> תחום פשוט קשר. יהי <math>a \in \Omega</math>. אז קיימת [[פונקציה אנליטית]] וחח"ע ב <math>\Omega</math> יחידה כך ש <math>f(\Omega) = D, f(a) = 0, f'(a) > 0</math>. לצורך ההוכחה נסמן ב-F את קבוצת כל הפונקציות האנליטיות המעתיקות באופן חח"ע את <math>\Omega</math> ל-D (לא בהכרח על). נוכיח את המשפט בשלבים:

'''שלב ראשון - נוכיח ש <math>F \neq \empty</math>:'''

יהי <math>z_0 \not\in \Omega</math>הפונקציה <math>z-z_0</math>לא מתאפסת ב <math>\Omega</math>ולכן יש לה שורש אנליטי g שהוא בבירור חח"ע. נטען ש <math>g(\Omega) \cap - g(\Omega) = \empty</math>. אחרת יש <math>z_1,z_2</math> כך ש <math>g(z_1)=-g(z_2)</math> לכן <math>z_1-z_0 = z_2-z_0</math>ולכן <math>z_1 = z_2</math> אבל אז <math>g(z_1) = g(z_2) = - g(z_1)</math>בסתירה לכך ש g לא מתאפסת ב <math>\Omega</math>.נבחר <math>z' \in - g(\Omega)</math>. לפי משפט העתקה הפתוחה, <math>-g(\Omega)</math> קבוצה פתוחה. לכן קיים r>0 כך ש <math>B(z',r) \subseteq \Omega</math>. תהי <math>\psi(z) = \tfrac{r}{z-z'}</math>. אז היא מעבירה באופן חח"ע את <math>B(z',r)^ \complement</math>לתוך D וכיוון ש <math>g(\Omega) \subseteq ( - g(Omega)) ^\complement \subseteq B(z',r) ^ \complement</math>נקבל ש <math>\psi(g) \in F</math>.

'''שלב שני - נמצא את f:'''

כל <math>g \in F</math> אנליטית וחח"ע ב <math>\Omega</math> ולכן הנגזרת שלה לא מתאפסת שם. לכן <math>\eta = \sup_{g \in F} g'(a) > 0</math>. מ[[נוסחת האינטגרל של קושי]] נקבל כי <math>g'(a) = \tfrac{1}{2i\pi}\int_{|\xi - a| = r} \tfrac{g(\xi)}{(\xi-a)^2}</math> ולכן מאי שוויון המשולש האינטגרלי,

<math>|g'(a)| = \tfrac{1}{2\pi}|\int_{|\xi - a| = r} \tfrac{g(\xi)}{(\xi-a)^2}| \leq \tfrac{1}{2\pi}\int_{|\xi - a| = r} \tfrac{|g(\xi)|}{(\xi-a)^2} \leq \tfrac{1}{r}</math> ולכן <math>\eta < \infty</math>. לפי הגדרת ה[[סופרימום]], קיימת סדרה <math>f_n \in F</math> כך ש <math>\lim_{n \to \infty}|f_n'(a)| = \eta</math>. מתקיים <math>|f_n|\leq 1</math> ולכן הסדרה חסומה ומ[[משפט מונטל]] קיימת תת-סדרה <math>f_{n_j}</math> המתכנסת לפונקציה אנליטית f. בה"כ <math>f'(a) = \eta</math>. נשאר להוכיח ש f מתעתיקה את <math>\Omega</math>ל D באופן חח"ע ועל, ש f מתאפסת ב-a וכן יחידות.

'''שלב שלישי - נראה ש <math>f \in F</math>:'''

יהו <math>x \neq y</math>. נניח ש <math>y \not \in B(x,r) \subset \Omega </math>. נגדיר ב <math>B(x,r)</math>סדרה <math>\phi_{n_j}(z) = f_{n_j}(z) - f_{n_j}(y)</math>. כיוון ש <math>f_{n_j}</math> חח"ע נקבל ש <math>\phi_{n_j}</math> לא מתאפסות ב <math>\Omega</math>. ממשפט מונטל נקבל ש <math>\lim_{j \to \infty}\phi_{n_j}(z) = f(z) - f(y)</math> במ"ש על כל תת-קבוצה קומפקטית. [[משפט הורוויץ (אנליזה מרוכבת)|ממשפט הורוביץ]], נקבל ש <math>f(z)-f(y)</math>לא מתאפסת או שווה זהותית ל-0. אבל אם היא 0 אז f קבועה ולכן <math>f'(a) = 0 < \eta</math>בסתירה להגדרת f. לכן f חח"ע. כיוון ש <math>f_{n_j}:\Omega\rightarrow D</math>נקבל ש <math>f:\Omega\rightarrow \overline {D}</math>אבל ממשפט העתקה הפתוחה <math>f(\Omega)</math> קבוצה פתוחה ולכן <math>f:\Omega\rightarrow D</math>.

'''שלב רביעי - נוכיח ש<math>f(a) = 0,f(\Omega) = D</math>:'''

נסמן <math>\alpha = f(a)</math>ונניח בשלילה ש <math>\alpha \neq 0</math>. נגדיר <math>\phi_{ \alpha}(z) = \tfrac{z- \alpha}{1- \overline{\alpha}z}</math>נתבונן בפונקציה <math>g(z) = \phi_{\alpha}(f(z))</math>שנמצאת ב-F. מחישוב נקבל ש <math>g'(a) =\tfrac{\eta}{1-|\alpha|^2} > \eta </math> סתירה. כעת נראה ש <chem>f(\Omega) = D</chem>: נניח שלא אז יש <math>b \in D \setminus f(\Omega)</math>. הפונקציה <math>\phi_{b}(f(z))</math>לא מתאפסת ב <math>\Omega</math> ולכן יש לה שורש אנליטי שם, <math>\psi(z)^2 = \phi_{b}(f(z)</math>. ברור ש <math>\psi \in F</math>ומחישוב נקבל ש <math>\psi'(a) = \eta \tfrac{1-|b|^2}{\sqrt{|b|}}</math>. נגדיר <math>\nu(z) = \phi_{\psi(a)}(\psi(z))</math> . אזי <math>\nu \in F</math>ומחישוב נקבל ש <math>\nu'(a) = \eta \tfrac{1+|b|}{2\sqrt{|b|}} > \eta</math>סתירה.

'''שלב חמישי - נוכיח יחידות:'''

נניח ש f,g מקיימות את התכונות. נגדיר <math>S: D \rightarrow D, S(z) = f(g^{-1}(z))</math>אז S אז <math>S(0) = 0</math> ומ[[למת שוורץ]] נקבל שיש קבוע c, <math>|c| = 1</math> כך שמתקיים <math>S(z) = cz</math>. מקבלים ש <math>c = S'(0) =\tfrac {f'(a)}{g'(a)} > 0</math>לכן c ממשי ולכן c=1 ונקבל את הדרוש.

==מסקנות ושימושים==
המשפט מהווה תוצאה חזקה מאוד בתחום ה[[אנליזה מרוכבת|אנליזה המרוכבת]], ויש לו תוצאות חשובות רבות:
* כל שני תחומים פשוטי קשר ב-<math>\mathbb{C}</math> (השונים ממנו) שקולים קונפורמית. בפרט נובע שהם [[הומיאומורפיזם|הומיאומורפיים]].
* כל תחום פשוט קשר במישור המרוכב הוא [[מרחב כוויץ|כוויץ]] (שכן הוא שקול קונפורמית (ובפרט [[הומוטופיה (טופולוגיה)|הומוטופי]]) לעיגול היחידה, שהוא כוויץ).
* התכונות הבאות שקולות לתחום [[קבוצה פתוחה|פתוח]] ו[[מרחב קשיר|קשיר]]:
: - התחום פשוט קשר.
: - התחום פשוט קשר אנליטית (זהו תחום בו אינטגרל של כל פונקציה הולומורפית על כל מסילה סגורה הוא אפס).
: - לכל פונקציה שלא מתאפסת בתחום יש לוגריתם אנליטי.
: - לכל פונקציה שלא מתאפסת בתחום יש שורש אנליטי מכל סדר טבעי.
* [[משפט קרתיאודורי (פונקציות קונפורמיות)|משפט קרתיאודורי]] - אם <math>\Omega</math> תחום פשוט קשר החסום על ידי [[עקומת ז'ורדן]], אז ניתן להרחיב את ההעתקה הקונפורמית <math>f: \Omega \rightarrow D</math> באופן הומיאומורפי לשפה - <math>f: \partial\Omega \rightarrow \partial D</math>.
* המשפט קובע כי בין תחום פשוט קשר (לא כל המרחב) לבין עיגול היחידה קיימת שקילות קונפורמית, אך איננו אומר דבר על בנייתה המפורשת. הצגת פונקציה מפורשת היא בעיה לא פשוטה כלל - גם במקרים בהם יש מיון מלא, כמו במקרה של [[מצולע]] שלא חותך את עצמו, הפונקציות דיי מסובכות - ראו [[העתקות שוורץ-קריסטופל]] (או [[:en:Schwarz–Christoffel mapping|כאן]]).

==לקריאה נוספת==
<div class="mw-content-ltr">
* Complex Analysis, Stein & Sharkarchi, 224-228
</div>

==קישורים חיצוניים==
{{ויקישיתוף בשורה}}
* {{MathWorld}}

[[קטגוריה:משפטים באנליזה מרוכבת|רימן]]
[[קטגוריה:ברנהרד רימן]]