07-11-2009, 20:45
|
|
מנהל משבראש, בלשנות, תכנות ויהדות
|
|
חבר מתאריך: 04.06.06
הודעות: 33,133
|
|
|
עצם קיום האינפימום נובע מכך שקבוצת הממשיים היא שדה סדור שלם (לא יודע אם הסבירו לכם בדיוק מה זה, אבל אינטואיטיבית זה אומר שאין בה "חורים")
צריך רק להראות שאותו אינפימום הוא הגבול של הפונקציה
עפ"י הגדרת האינפימום (חסם תחתון), אנו יודעים כי לכל אפסילון גדול מאפס, קיים איזשהו [TEX]x_0[/TEX] כך שהפונקציה מקבלת בו ערך שמרחקו מהאינפימום אינו עולה על אפסילון, כלומר [TEX]f(x_0) < \inf f(x) + \varepsilon[/TEX]
ידוע לנו גם שהפונקציה יורדת, משמע לכל x הגדול מ-[TEX]x_0[/TEX] מתקיים [TEX]f(x) < f(x_0)[/TEX] ולפיכך גם [TEX]f(x) < \inf f(x) + \varepsilon[/TEX], ולאחר העברת אגפים [TEX]f(x) - \inf f(x) < \varepsilon[/TEX]
כמו-כן גם [TEX]- \varepsilon < 0 \le f(x) - \inf f(x)[/TEX] (כי זה חסם תחתון) ועל כן [TEX]- \varepsilon < f(x) - \inf f(x) < \varepsilon[/TEX] או בנוסח אחר [TEX]\left| f(x) - \inf f(x) \right| < \varepsilon[/TEX] וזה כאמור לכל x הגדול מ-[TEX]x_0[/TEX]
ננסח מחדש, הגענו למקנה כי לכל אפסילון גדול מאפס, קיים איזשהו [TEX]x_0[/TEX] כך שלכל x הגדול מ-[TEX]x_0[/TEX] מתקיים [TEX]\left| f(x) - \inf f(x) \right| < \varepsilon[/TEX]
זו בדיוק הגדרת הגבול ושלפיה מתקבל [TEX]\lim _{x \to \infty } f(x) = \inf f(x)[/TEX]
וזהו
נערך לאחרונה ע"י ShoobyD בתאריך 07-11-2009 בשעה 20:47.
|