משפט הרבע של קוב
באנליזה מרוכבת, משפט הרבע של קוב (Koebe quarter theorem) קובע כי התמונה של מעגל היחידה תחת פונקציה אוניוולנטית מכילה כדור ברדיוס . פונקציית קוב היא דוגמה לפונקציה שממקסמת את הטענה, ולכן לא ניתן לשפרה.
המשפט קרוי על שמו של המתמטיקאי הגרמני פאול קוב (אנ') שתיאר אותו בשנת 1907. חשיבותו של המשפט טמונה בכך שהוא נותן הערכה תחתונה מדויקת לגבי מידת הפתיחה של פונקציות אוניוולנטיות, ומהווה כלי בסיסי להבנת ההתנהגות הגאומטרית של פונקציות אלו.
מקור נוסף שמחזק את ההבנה של המשפט הוא משפט הקירוב של קוב, הקובע כי כל פונקציה אוניוולנטית במעגל היחידה יכולה להיות מקורבת במידת הרצון על ידי פונקציות אוניוולנטיות מסוג ספציפי הממקסמות את רדיוס ההכללה של התמונה.
משפט הרבע של קוב הוא דוגמה לאחת מהתוצאות הרבות באנליזה מרוכבת שמחברות בין תכונות אנליטיות של פונקציות מרוכבות לבין התנהגותן הגאומטרית.
ניסוח
[עריכת קוד מקור | עריכה]תהי פונקציה אוניוולנטית, כלומר פונקציה הולומורפית וחד חד ערכית, כאשר הוא מעגל היחידה. משפט הרבע של קוב טוען כי התמונה מכילה כדור ברדיוס סביב .
הוכחה
[עריכת קוד מקור | עריכה]על ידי תהליך נרמול ניתן להניח כי , כלומר . לכל , נגדיר ; היא גם אוניוולנטית ב-. לפי משפט דה ברנז' על עבור , נקבל , לכן , כדרוש.
פונקציית קוב
[עריכת קוד מקור | עריכה]הגדרה ותכונות
[עריכת קוד מקור | עריכה]פונקציית קוב היא הפונקציה ההולומורפית הנתונה על ידי . זוהי פונקציה חשובה במיוחד, שכן היא מהווה דוגמה לטענות רבות. ראשית, היא ממקסמת את משפט הרבע של קוב - מתקיים ו-.
פונקציית קוב ממקסמת גם את משפט דה ברנז', הטוען כי המקדמים בפיתוח טיילור של פונקציה אוניוולנטית מקיימים .
בנייה גאומטרית
[עריכת קוד מקור | עריכה]את פונקציית קוב ניתן לבנות כהרכבת פונקציות באופן הבא.
נביט בפונקציה . זוהי העתקה קונפורמית. הפונקציה מעבירה את לכל המישור המרוכב בלי הקרן . כעת, נבצע את תהליך הנרמול על ונקבל את פונקציית קוב - .
במילים אחרות, פונקציית קוב נבנית מפונקציה קונפורמית בין מעגל היחידה למישור בלי הקרן השמאלית, עליה מפעילים את תהליך הנירמול.