משפט נושירו-ורשבסקי

מתוך ויקיפדיה, האנציקלופדיה החופשית

באנליזה מרוכבת, משפט נושירו-ורשבסקי (Noshiro–Warschawski theorem) (לעיתים קריטריון נושירו-ורשבסקי) נותן תנאי מספיק להיותה של פונקציה הולומורפית אוניוולנטית, כלומר גם חד חד ערכית, בתחום הגדרתה. ממנו נובע משפט אלכסנדר (Alexander), המדבר על פונקציות אוניוולנטיות בעיגול היחידה. המשפט נקרא על שמם של המתמטיקאים סטפן ורשבסקי ונושירו.

ניסוח[עריכת קוד מקור | עריכה]

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

הוכחה[עריכת קוד מקור | עריכה]

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

האגף הימני שונה מאפס, כי נתון .

משפט אלכסנדר[עריכת קוד מקור | עריכה]

מקרה פרטי חשוב של המשפט הנ"ל הוא:

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

דוגמה[עריכת קוד מקור | עריכה]

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

הכרחיות התנאים והכללות[עריכת קוד מקור | עריכה]

הדרישה שהתחום יהיה קמור היא הכרחית.

Tim הוכיח בשנת 1951 כי לכל תחום לא קמור ופשוט קשר בעל לפחות 2 נקודות שפה, קיימת פונקציה הולומורפית כזו ש- אך היא איננה חד-חד-ערכית.

גודמן הוכיח גרסה כללית יותר של המשפט עבור פונקציות p-ולנטיות (לפרטים ראו בקריאה נוספת):

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

ראו גם[עריכת קוד מקור | עריכה]

קישורים חיצוניים[עריכת קוד מקור | עריכה]