משפט ההעתקה של רימן
באנליזה מרוכבת, משפט ההעתקה של רימן (באנגלית: Riemann mapping theorem) קובע כי כל תחום פשוט קשר מרוכב (פתוח) השונה מ- שקול קונפורמית לעיגול היחידה הפתוח.
המשפט מהווה תוצאה חזקה, אשר לה מסקנות רבות בתורת הפונקציות ההולומורפיות. אינטואיטיבית, הוא קובע שכל תחום פשוט קשר, מסובך כמה שיהיה, שקול לעיגול היחידה באופן אנליטי המשמר תכונות רבות - כמו שינוי בזוויות. המשפט מאפשר להסיק תכונות על תחומים פשוטי קשר שונים על ידי מחקר תכונות של עיגול היחידה, אובייקט די פשוט.
המשפט קרוי על שמו של ברנהרד רימן, מתמטיקאי גרמני מהידועים והמשפיעים ביותר במתמטיקה.
ניסוח
[עריכת קוד מקור | עריכה]יהי תחום פשוט קשר. אז קיימת פונקציה הולומורפית חד חד ערכית ועל .
העתקה כזו היא העתקה קונפורמית (זו אחת ההגדרות השקולות להעתקה קונפורמית על המישור המרוכב), כלומר - כל תחום פשוט קשר שאיננו כל שקול קונפורמית לעיגול היחידה.
מגרסה "חזקה" יותר של המשפט ניתן להסיק כי הפונקציה גם יחידה כאשר קובעים נקודה שתלך לאפס. פורמלית, בהינתן , קיימת פונקציה יחידה כנ"ל המקיימת גם .
הוכחת המשפט איננה טריוויאלית כלל, ומערבת משפטים לא פשוטים רבים:
- למת שוורץ.
- קיום שורש אנליטי לפונקציה לא מתאפסת בתחום פשוט קשר, הנובע מקיום לוגריתם טבעי לפונקציה לא מתאפסת בתחום פשוט קשר.
- משפט מונטל, הקובע כי לכל סדרת פונקציות הולומורפיות חסומות יש תת-סדרה מתכנסת במידה שווה על כל תת-קבוצה קומפקטית.
- משפט הורוויץ, הקובע כי אם סדרת פונקציות שלא מתאפסות מתכנסת במידה שווה על כל תת-קבוצה קומפקטית, אז פונקציית הגבול היא או אפס זהותית, או לא מתאפסת כלל.
אפשר לשים לב שהמשפט לא נכון עבור , זאת משום שאז הפונקציה תהיה שלמה וחסומה, ולכן לפי משפט ליוביל - קבועה.
הוכחה
[עריכת קוד מקור | עריכה]נוכיח את הניסוח הבא של המשפט: יהי תחום פשוט קשר. יהי . אז קיימת פונקציה אנליטית וחח"ע ב יחידה כך ש . לצורך ההוכחה נסמן ב-F את קבוצת כל הפונקציות האנליטיות המעתיקות באופן חח"ע את ל-D (לא בהכרח על). נוכיח את המשפט בשלבים:
שלב ראשון - נוכיח ש :
יהי הפונקציה לא מתאפסת ב ולכן יש לה שורש אנליטי g שהוא בבירור חח"ע. נטען ש . אחרת יש כך ש לכן ולכן אבל אז בסתירה לכך ש g לא מתאפסת ב .נבחר . לפי משפט העתקה הפתוחה, קבוצה פתוחה. לכן קיים r>0 כך ש . תהי . אז היא מעבירה באופן חח"ע את לתוך D וכיוון ש נקבל ש .
שלב שני - נמצא את f:
כל אנליטית וחח"ע ב ולכן הנגזרת שלה לא מתאפסת שם. לכן . מנוסחת האינטגרל של קושי נקבל כי ולכן מאי שוויון המשולש האינטגרלי,
ולכן . לפי הגדרת הסופרימום, קיימת סדרה כך ש . מתקיים ולכן הסדרה חסומה וממשפט מונטל קיימת תת-סדרה המתכנסת לפונקציה אנליטית f. בה"כ . נשאר להוכיח ש f מתעתיקה את ל D באופן חח"ע ועל, ש f מתאפסת ב-a וכן יחידות.
שלב שלישי - נראה ש :
יהו . נניח ש . נגדיר ב סדרה . כיוון ש חח"ע נקבל ש לא מתאפסות ב . ממשפט מונטל נקבל ש במ"ש על כל תת-קבוצה קומפקטית. ממשפט הורוביץ, נקבל ש לא מתאפסת או שווה זהותית ל-0. אבל אם היא 0 אז f קבועה ולכן בסתירה להגדרת f. לכן f חח"ע. כיוון ש נקבל ש אבל ממשפט העתקה הפתוחה קבוצה פתוחה ולכן .
שלב רביעי - נוכיח ש:
נסמן ונניח בשלילה ש . נגדיר נתבונן בפונקציה שנמצאת ב-F. מחישוב נקבל ש סתירה. כעת נראה ש : נניח שלא אז יש . הפונקציה לא מתאפסת ב ולכן יש לה שורש אנליטי שם, . ברור ש ומחישוב נקבל ש . נגדיר . אזי ומחישוב נקבל ש סתירה.
שלב חמישי - נוכיח יחידות:
נניח ש f,g מקיימות את התכונות. נגדיר אז S אז ומלמת שוורץ נקבל שיש קבוע c, כך שמתקיים . מקבלים ש לכן c ממשי ולכן c=1 ונקבל את הדרוש.
מסקנות ושימושים
[עריכת קוד מקור | עריכה]המשפט מהווה תוצאה חזקה מאוד בתחום האנליזה המרוכבת, ויש לו תוצאות חשובות רבות:
- כל שני תחומים פשוטי קשר ב- (השונים ממנו) שקולים קונפורמית. בפרט נובע שהם הומיאומורפיים.
- כל תחום פשוט קשר במישור המרוכב הוא כוויץ (שכן הוא שקול קונפורמית (ובפרט הומוטופי) לעיגול היחידה, שהוא כוויץ).
- התכונות הבאות שקולות לתחום פתוח וקשיר:
- - התחום פשוט קשר.
- - התחום פשוט קשר אנליטית (זהו תחום בו אינטגרל של כל פונקציה הולומורפית על כל מסילה סגורה הוא אפס).
- - לכל פונקציה שלא מתאפסת בתחום יש לוגריתם אנליטי.
- - לכל פונקציה שלא מתאפסת בתחום יש שורש אנליטי מכל סדר טבעי.
- משפט קרתיאודורי - אם תחום פשוט קשר החסום על ידי עקומת ז'ורדן, אז ניתן להרחיב את ההעתקה הקונפורמית באופן הומיאומורפי לשפה - .
- המשפט קובע כי בין תחום פשוט קשר (לא כל המרחב) לבין עיגול היחידה קיימת שקילות קונפורמית, אך איננו אומר דבר על בנייתה המפורשת. הצגת פונקציה מפורשת היא בעיה לא פשוטה כלל - גם במקרים בהם יש מיון מלא, כמו במקרה של מצולע שלא חותך את עצמו, הפונקציות דיי מסובכות - ראו העתקות שוורץ-קריסטופל (או כאן).
לקריאה נוספת
[עריכת קוד מקור | עריכה]- Complex Analysis, Stein & Sharkarchi, 224-228
קישורים חיצוניים
[עריכת קוד מקור | עריכה]- משפט ההעתקה של רימן, באתר MathWorld (באנגלית)