משפט ערך הביניים – הבדלי גרסאות

מתוך ויקיפדיה, האנציקלופדיה החופשית
תוכן שנמחק תוכן שנוסף
CocuBot (שיחה | תרומות)
מ r2.6.1) (בוט מוסיף: gl:Teorema do valor intermedio
MerlIwBot (שיחה | תרומות)
שורה 54: שורה 54:
[[pt:Teorema do valor intermediário]]
[[pt:Teorema do valor intermediário]]
[[ru:Теорема Больцано — Коши]]
[[ru:Теорема Больцано — Коши]]
[[sk:Lagrangeova veta o strednej hodnote]]
[[sv:Bolzanos sats]]
[[sv:Bolzanos sats]]
[[uk:Теорема Больцано-Коші]]
[[uk:Теорема Больцано-Коші]]

גרסה מ־17:10, 27 ביוני 2011

המחשה גרפית של משפט ערך הביניים

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

ניסוח פורמלי

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

ניסוח נוסף

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

בהינתן קטע סגור ופונקציה רציפה , אזי :

  • תמונת הקטע היא גם קטע.
  • מתקיים או ש או ש .

הוכחה

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

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

נניח כי , אז ולכן קיים כך שלכל מתקיים , כלומר . כלומר, מצאנו איבר שעבורו , בסתירה להיות חסם עליון.

מאחר ששללנו את האפשרויות , בהכרח , כמבוקש.

הטענה ההפוכה

הטענה כי "אם לכל מספר ממשי קיים המקיים , אז f רציפה", אינה נכונה. דוגמה נגדית למשפט היא הפונקציה שמקיימת את התנאי אך היא אינה רציפה בנקודה x=0 (שם מגדירים f(x)=0). דוגמה נגדית חזקה יותר, בה הפונקציה אינה רציפה באף נקודה, היא פונקציית הבסיס-13 של קונוויי.

ראו גם