משפט הרבע של קוב

באנליזה מרוכבת, משפט הרבע של קוב (Koebe quarter theorem) קובע כי התמונה של מעגל היחידה תחת פונקציה אוניוולנטית  מכילה כדור ברדיוס . פונקציית קוב היא דוגמה לפונקציה שממקסמת את הטענה, ולכן לא ניתן לשפרה.

המשפט קרוי על שמו של המתמטיקאי הגרמני  שתיאר אותו בשנת 1907. חשיבותו של המשפט טמונה בכך שהוא נותן הערכה תחתונה מדויקת לגבי מידת הפתיחה של פונקציות אוניוולנטיות, ומהווה כלי בסיסי להבנת ההתנהגות הגאומטרית של פונקציות אלו.

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

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

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

הוכחה
על ידי תהליך נרמול ניתן להניח כי , כלומר . לכל , נגדיר ; היא גם אוניוולנטית ב-. לפי משפט דה ברנז' על  עבור , נקבל , לכן , כדרוש.

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

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

בנייה גאומטרית
את פונקציית קוב ניתן לבנות כהרכבת פונקציות באופן הבא.

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

במילים אחרות, פונקציית קוב נבנית מפונקציה קונפורמית בין מעגל היחידה למישור בלי הקרן השמאלית, עליה מפעילים את תהליך הנירמול.

ראו גם
 פונקציה אוניוולנטית
 משפט דה ברנז'
 השערת גודמן

קוב