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

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

ניסוחעריכה

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

הוכחהעריכה

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

 

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

משפט אלכסנדרעריכה

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

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

דוגמהעריכה

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

הכרחיות התנאים והכללותעריכה

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

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

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

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

ראו גםעריכה

קישורים חיצונייםעריכה