משפט הורוויץ (אנליזה מרוכבת)

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

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

תהי $\{f_{n}:\Omega \to \mathbb {C} \}$ סדרת פונקציות הולומורפיות על תחום פתוח וקשיר $\Omega$. נניח שהסדרה מתכנסת במידה שווה על כל תת-קבוצה קומפקטית לפונקציה $f$. אם לפונקציית הגבול יש שורש $z_{0}$ מסדר $m$, אז החל ממקום מסוים, לכל $f_{k}$ יש בדיוק $m$ שורשים בסביבה מספיק קטנה של $z_{0}$. בנוסף, כאשר $k\to \infty$ השורשים שואפים ל-$z_{0}$.

הוכחה

$f$ אינה זהותית 0 ולכן האפסים שלה מבודדים, בפרט קיים $r>0$ כך ש$f$ אינה מתאפסת ב ${\bar {B}}(z_{0},r)\backslash z_{0}$.

כעת מעקרון הארגומנט ${\frac {1}{2\pi i}}\int _{\partial B(z_{0},r)}f'(z)/f(z)dz=N_{f}(B(z_{0},r))=m$.

$f_{k}$ מתכנסת במידה שווה ל$f$ על תתי קבוצות קומפקטיות ולכן ממשפט ויירשטראס $f'_{k}$ מתכנסת במידה שווה ל$f'$ על תתי קבוצות קומפקטיות, בנוסף $f$ אינה מתאפסת על $\partial B(z_{0},r)$ ,$f$ רציפה ו$\partial B(z_{0},r)$ היא קבוצה קומפקטית ולכן ממשפט ויירשטראס קיים $\delta >0$ כך ש $|f|>\delta$ על $\partial B(z_{0},r)$, מהתכנסות במידה שווה החל ממקום מסוים $|f_{k}|>{\frac {\delta }{2}}$ על $\partial B(z_{0},r)$. על כן נקבל כי $f'_{k}/f_{k}\rightarrow f'/f$ במידה שווה על $\partial B(z_{0},r)$.

לכן, ${\frac {1}{2\pi i}}\int _{\partial B(z_{0},r)}f'(z)/f(z)dz=\lim _{k\to \infty }{\frac {1}{2\pi i}}\int _{\partial B(z_{0},r)}f_{k}'(z)/f_{k}(z)dz$

מעקרון הארגומנט ${\frac {1}{2\pi i}}\int _{\partial B(z_{0},r)}f_{k}'(z)/f_{k}(z)dz=N_{f_{k}}(B(z_{0},r))$ ובפרט זהו מספר שלם, על כן זו סדרה מתכנסת של מספרים שלמים ולכן החל ממקום מסוים היא קבועה ושווה לגבול שלה כלומר

${\frac {1}{2\pi i}}\int _{\partial B(z_{0},r)}f_{k}'(z)/f_{k}(z)dz=m$

ומעקרון הארגומנט ינבע של$f_{k}$ יש בדיוק $m$ שורשים בסביבה זו.

מסקנות

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

קישורים חיצוניים

• משפט הורוויץ, באתר MathWorld (באנגלית)