הצגת המקור של הדף "משפט ערך הביניים"

[[קובץ:Intermediatevaluetheorem.png|שמאל|ממוזער|300px|המחשה גרפית של משפט ערך הביניים. u מספר בין ערכי הפונקציה בקצוות הקטע, ולכן קיים c בקטע כך ש-<math>f(c)=u</math>.]]
'''משפט ערך הביניים''' אומר כי כאשר [[פונקציה ממשית]] [[פונקציה רציפה (אנליזה)|רציפה]] מקבלת שני ערכים שונים, היא תקבל כל ערך שביניהם.

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

==ניסוח פורמלי==

תהי <math>f</math> [[פונקציה ממשית]] [[רציפות|רציפה]] ב[[קטע סגור]] <math>[a,b]</math>.

יהי <math>t</math> מספר ממשי בין <math>f(a)</math> ל-<math>f(b)</math> (כלומר <math>f(a)\le t \le f(b)</math> או <math>f(b)\le t \le f(a)</math>).

אזי קיים <math>c \in [a,b]</math> כך ש-<math>f(c)=t</math>.

ניסוח שקול: תהי <math>f</math> פונקציה רציפה בקטע הסגור <math>[a,b]</math>, ויהי <math>\gamma</math> מספר ממשי שנמצא בין <math>f(a)</math> ל-<math>f(b)</math>. אזי למשוואה <math>f(x)=\gamma</math> יש פתרון <math>c \in [a,b]</math>.

===ניסוח נוסף===

קיים ניסוח שקול למשפט ערך הביניים, המשתמש במונחים שקל יותר להכליל אותם ל[[מרחב טופולוגי]] כללי ([[#תכונת ערך הביניים|ראו להלן]]): תהי <math>f:I\rightarrow \mathbb{R}</math> פונקציה רציפה המוגדרת על קטע סגור <math>I= [a,b]\subseteq\mathbb{R}</math>. אז התמונה <math>f(I)</math> של הקטע תחת הפונקציה היא בעצמה קטע.

==הוכחה==
'''הוכחה א''''

נניח [[ללא הגבלת הכלליות]] ש-<math>f(a)\le f(b)</math> (ההוכחה למקרה <math>f(b)\le f(a)</math> זהה). אנו רוצים למצוא מספר <math>c\isin(a,b)</math> כך ש-<math>f(c)=t</math> עבור <math>t\isin(f(a),f(b))</math>. נגדיר את הקבוצה הבאה: <math>A=\left\{x\isin[a,b]\mid f(x)\le t\right\}</math>. זוהי קבוצה לא ריקה (כי <math>a\isin A</math>) וחסומה (על ידי <math>b</math>), מכאן שיש לה [[חסם עליון]], על פי [[אקסיומת החסם העליון]] של [[שדה המספרים הממשיים|המספרים הממשיים]]. נסמן חסם עליון זה <math>c</math>, וכעת נוכיח כי <math>f(c)=t</math>. לשם כך נפריך את שתי הטענות הבאות: <math>f(c)>t</math> ו-<math>f(c)<t</math>.
* [[הוכחה בדרך השלילה|נניח בשלילה]] כי <math>f(c)>t</math>, אז <math>f(c)-t>0</math>, ולכן, מרציפות <math>f</math> נובע שקיים <math>\delta>0</math> כך שלכל <math>|x-c|<\delta</math> מתקיים <math>|f(x)-f(c)|<f(c)-t</math>, כלומר <math>f(x)>f(c)-(f(c)-t)=t</math>. אבל מאחר ש-<math>c</math> הוא חסם עליון של <math>A</math>, בכל סביבה שלו יש איבר מתוך <math>A</math>, ובפרט קיים <math>x\isin A</math> כך ש-<math>|x-c|<\delta</math>, אבל זו סתירה, כי מהגדרת <math>A</math> נובע ש-<math>f(x)\le t</math>.
* נניח בשלילה כי <math>f(c)<t</math>, אז <math>t-f(c)>0</math> ולכן קיים <math>\delta>0</math> כך שלכל <math>|x-c|<\delta</math> מתקיים <math>|f(x)-f(c)|<t-f(c)</math>, כלומר <math>f(x)<f(c)+(t-f(c))=t</math>. כלומר, מצאנו איבר <math>x>c</math> שעבורו <math>f(x)<t</math>, בסתירה להיות <math>c</math> חסם עליון.

מאחר ששללנו את האפשרויות <math>f(c)>t,f(c)<t</math>, בהכרח <math>f(c)=t</math>, כמבוקש.


'''הוכחה ב''''

אפשר להציע '''הוכחה שונה'''<ref>{{Citation|title=35 - משפט ערך הביניים|url=https://www.youtube.com/watch?v=yA6P3jeDZPc|accessdate=2023-10-18|language=he-IL}}</ref> למשפט, הנסמכת על אלגוריתם [[שיטת החצייה]] במקום על [[אקסיומת החסם העליון]]: 

נניח [[ללא הגבלת הכלליות]] ש-<math>f(a)\le f(b)</math> (ההוכחה למקרה <math>f(b)\le f(a)</math> זהה). עלינו למצוא מספר <math>c\isin(a,b)</math> כך ש-<math>f(c)=t</math> עבור <math>t\isin(f(a),f(b))</math>. 

ראשית נגדיר <math>a=a_1, b=b_1</math>. נתבונן בקטע <math>[a_1,b_1]</math>, ונסמן את נקודת האמצע <math>e_1=\frac{a_1 + b_1}{2}</math>. אם <math>f(e_1)=t</math> סיימנו, אחרת נניח [[ללא הגבלת הכלליות]] כי <math>t < f(e_1)</math>, ונסמן <math>a_1=a_2, e_1=b_2</math>. נשים לב כי <math>a_1,e_1\in[a_1,b_1]</math> ולכן <math>[a_2,b_2]\subseteq[a_1,b_1]</math>.

נמשיך באופן [[אינדוקציה מתמטית|אינדוקטיבי]], כך שלכל <math>n\in\Nu</math> הגדרנו כבר את הקטע <math>[a_n,b_n]</math>, ונסמן את נקודת האמצע <math>e_n=\frac{a_n + b_n}{2}</math>. אם <math>f(e_n)=t</math> סיימנו, אחרת נניח [[ללא הגבלת הכלליות]] כי <math>t<f(e_n)</math>, ונסמן <math>a_n=a_{n+1}, e_n=b_{n+1}</math>. נשים לב כי <math>a_n,e_n\in[a_n,b_n]</math> ולכן <math>[a_{n+1},b_{n+1}]\subseteq[a_n,b_n]</math>.

קיבלנו סדרה של קטעים <math>[a_n,b_n]</math> המקיימת את התכונות הבאות:
#כל הקטעים סגורים.
#כל קטע מוכל בקטעים הקודמים לו.
#סדרת אורכי הקטעים שואפת לאפס.

שתי התכונות הראשונות נובעות ישירות מדרך בניית הקטעים. כדי להיווכח בשלישית נשים לב שמכיוון שאורכו של כל קטע הוא [[חצי]] מאורכו של הקטע הקודם לו, הרי שהנוסחה הכללית לאורכם של הקטעים היא <math>\frac{b-a}{2^{n-1}}</math> עבור הקטע ה- <math>n</math>, וזו סדרה ששואפת לאפס.

אם כן, מתקיימים כל תנאי [[הלמה של קנטור]] ולכן קיימת <math>c</math> יחידה כך שלכל <math>n\in\Nu</math>, <math>a_n \leqslant c \leqslant b_n</math>. לפי הגדרת הסדרה, לכל <math>n\in\Nu</math>, <math>f(a_n) \leqslant t \leqslant f(b_n)</math>.

נתון כי <math>f(x)</math> היא פונקציה רציפה וגם <math>\lim_{n\rightarrow\infty}a_n=c, \lim_{n\rightarrow\infty}b_n=c</math> ולכן לפי [[פונקציה רציפה (אנליזה)|הגדרת הרציפות של היינה]] <math>\lim_{n\rightarrow\infty}f(a_n)=f(c)=\lim_{n\rightarrow\infty}f(b_n)</math>.

אזי לפי [[כלל הסנדוויץ']] <math>t=f(c)</math> כנדרש.

==הטענה ההפוכה==
הטענה כי "אם לכל מספר ממשי <math>y \in \left[ c,d \right]</math> קיים <math>x \in \left[ a,b \right]</math> המקיים <math>f(x)=y</math>, אז <math>f</math> רציפה", אינה נכונה. [[דוגמה נגדית]] למשפט היא הפונקציה <math>f(x) = \sin(1/x)</math> שמקיימת את התנאי אך היא אינה רציפה בנקודה <math>x=0</math> (שם מגדירים <math>f(x)=0</math>). דוגמה נגדית חזקה יותר, בה הפונקציה אינה רציפה באף נקודה, היא [[פונקציית בסיס 13 של קונוויי]].

==תכונת ערך הביניים==
אומרים ש[[מרחב טופולוגי]] <math>X</math> ניחן ב'''תכונת ערך הביניים''' אם לכל פונקציה [[רציפות (טופולוגיה)|רציפה]] <math>f: X \to \mathbb{R}</math>, לכל <math>a,b\in X</math> ולכל <math>t</math> בין <math>f(a)</math> ל-<math>f(b)</math>, קיים <math>c\in X</math> כך ש-<math>f(c)=t</math>. או בנוסח אחר, לכל <math>f: X \to \mathbb{R}</math> רציפה, <math>f(X)</math> הוא קטע. זוהי תכונה טופולוגית, היא נשמרת תחת [[הומיאומורפיזם]]. משפט ערך הביניים אומר שכל קטע הוא מרחב עם תכונת ערך הביניים.

מרחב ניחן בתכונת ערך הביניים [[אם ורק אם]] הוא [[מרחב קשיר]] - מרחב שאינו איחוד זר של שתי [[קבוצה פתוחה|קבוצות פתוחות]] לא ריקות (אינטואיטיבית, זהו מרחב העשוי מ"חתיכה אחת"). אם מרחב אינו קשיר, אז ניתן להציגו כאיחוד זר של קבוצות פתוחות לא ריקות <math>A</math> ו-<math>B</math>, ואז הפונקציה
<math>
f(x)= \left\{\begin{matrix}
1 & \mbox{if } x\in A \\
0 & \mbox{if } x \in B \end{matrix}\right.
</math>
היא רציפה וסותרת את תכונת ערך הביניים. בכיוון השני, אם מרחב הוא קשיר, תמונתו קשירה (כי אם <math>A,B</math> קבוצות פתוחות וזרות שאיחודן <math>f(X)</math>, <math>f^{-1}(A),f^{-1}(B)</math> הן קבוצות פתוחות וזרות שאיחודן <math>X</math>). וקבוצה קשירה ב-<math>\mathbb{R}</math> היא תמיד קטע.

למשל קבוצת ה[[מספר רציונלי|מספרים הרציונליים]] <math>\mathbb{Q}</math> אינה קשירה, וקיימות בה פונקציות רציפות שאינן מקיימות את תכונת ערך הביניים, כפי שמעידה לדוגמה הפונקציה הרציפה על הרציונליים:

<math>

f: \mathbb{Q} \to \mathbb{R},\quad

f(x)= \left\{\begin{matrix}
1 & \mbox{if } x<\sqrt2 \\
0 & \mbox{if } x>\sqrt2\end{matrix}\right.

</math>.

== ראו גם ==
* [[משפט דארבו]]

{{אנליזה מתמטית}}

==קישורים חיצוניים==
{{ויקישיתוף בשורה}}
* {{MathWorld}}

== הערות שוליים ==
{{הערות שוליים}}

{{מיון רגיל:ערך, ביניים}}
[[קטגוריה:ערכים שבהם תבנית בריטניקה אינה מתאימה]]
[[קטגוריה:משפטים באנליזה|ערך הביניים]]
[[קטגוריה:רציפות]]
[[קטגוריה:קשירות]]