01-02-2011, 20:08
|
|
מנהל משבראש, בלשנות, תכנות ויהדות
|
|
חבר מתאריך: 04.06.06
הודעות: 33,130
|
|
|
אופס.. הייתה לי טעות. היינו צריכים להסתכל על הפונקציה [TEX]g(z) = f(z) - z[/TEX]
אנסה להסביר קצת יותר בהרחבה:
אם f אנליטית אזי בהכרח גם g הנ"ל אנליטית (כי סכום, כפל, שקרכלשהואחר של פונק' אנליטיות הוא גם אנליטי).
עכשיו נסתכל על קבוצת הנקודות [TEX]\left\{\tfrac{1}{2n}\right\}_{n\in\mathbb{N}}[/TEX], זו קבוצה אינסופית בעלת נק' הצטברות ב-0, אך לפי התנאי ש-[TEX]f(\tfrac{1}{2n}) = \tfrac{1}{2n}[/TEX] נקבל ש-[TEX]g(\tfrac{1}{2n}) = f(\tfrac{1}{2n}) - \tfrac{1}{2n} = \tfrac{1}{2n}-\tfrac{1}{2n} = 0[/TEX] בסדרה זו.
כלומר ל-g יש סדרה אינסופית של נקודות שהיא מתאפסת בהן, ולסדרה הזו יש נק' הצטברות בתחום - מכאן ש-[TEX]g(z)=0[/TEX] בכל התחום (למעשה בכל תחום הקשירות שנק' ההצטברות נמצאת בו, רק שכאן מדובר על כל המרחב) - יש משפט כזה.
אך אם g היא 0 בכל מקום, נקבל ש-[TEX]f(z) = z[/TEX] בכל מקום, וזה סתירה לנתון ש-[TEX]f(\tfrac{1}{2n+1}) = \tfrac{1}{2n}[/TEX].
הרחבה: המשמעות של המשפט לעייל היא שפונקציות אנליטיות הן מאד "נוקשות" ושהן יחידות עבור ערכים נתונים בקבוצה בעלת נק' הצטברות.
כלומר אם 2 פונקציות אנליטיות מקבלות את אותם ערכים בקבוצה בעלת נק' הצטברות בתחום, הן מקבלות את אותם ערכים בכל מקום בתחום הקשירות של נק' ההצטברות.
|