שינויים
בדיקה
{{הערההמשך הגיע|את תיאור=משפט 2 לא סיימנו בהרצאה הקודמת, ולכן המשכנו אותו ב-22.2.11. עם זאת, [[משתמש:אור שחף/133 - הרצאה/|תאריך=20.2.11#משפט 2|חלק זה מופיע בסיכום ההרצאה הקודמת]] ולא בדף זה.}}
===משפט 3===תהי f כנ"ל. אזי <math>\underline\int_a^b f(x)dx=\lim_{\lambda(P)\to0}\underline S(f,P)</math> וכן <math>\overline{\int}_a^b f(x)dx=\lim_{\lambda(P)\to0}\overline S(f,P)</math>.====הוכחה====הטענה הראשונה אומרת שלכל <math>\varepsilon>0</math> קיים <math>\delta>0</math> כך שאם <math>\lambda(P)<\delta</math> אז <math>0\le\overline S(f,P)-\overline{\int}_a^b f(x)dx<\varepsilon</math>. ברור כי אכן מתקיים <math>0\le\overline S(f,P)-\overline{\int}_a^b f(x)dx</math>. כעת יהי <math>\varepsilon>0</math> נתון. האינטגרל לפי הגדרת האינפימום קיימת חלוקה מסויימת Q של <math>[a,b]</math> כך ש-<math>0\le\overline S(f,Q)-\overlineדרבו {\int}_a^b f(x)dx<\frac\varepsilon2</math> ונניח של-Q יש r נקודות חלוקה. כעת נניח ש-P חלוקה כלשהי של <math>[a,b]</math> כך ש-<math>\lambda(P)<\frac\varepsilon{2r\Omega}</math>, ונגדיר <math>R=P\cup Q</math>. כיוון ש-R עידון של Q, <math>\overline{\int}_a^b fהערה|(xהמשך)dx\le\overline S(f,R)\le\overline S(f,Q)</math> ונובע ש-<math>0\le\overline S(f,R)-\overline{\int}_a^b f(x)dx\le\overline S(f,Q)-\overline{\int}_a^b f(x)dx<\frac\varepsilon2</math>. אבל R התקבלה מ-P ע"י הוספה של לכל היותר r נקודות, לכן ע"פ משפט 2 ידוע ש-<math>\overline S(f,P)-\overline S(f,R)\le r\lambda(P)\Omega<r\Omega\frac\varepsilon{2r\Omega}=\frac\varepsilon2</math>. לכן נוכל להסיק
==משפט 3==תהי f מוגדרת וחסומה ב-<math>[a,b]</math>. אזי <math>\underline\int_a^b f(x)\mathrm dx=\lim_{\lambda(P)\to0}\underline S(f,P)</math> וכן <math>\overline{\int}_a^b f(x)\mathrm dx=\lim_{\lambda(P)\to0}\overline S(f,P)</math>.===הוכחה===הטענה הראשונה אומרת שלכל <math>\varepsilon>0</math> קיים <math>\delta>0</math> כך שאם <math>|\lambda(P)|=\lambda(P)<\delta</math> אזי <math>\left|\overline S(f,P)-\overline{\int}_a^b f(x)\mathrm dx\right|<\varepsilon</math>. ברור מהגדרת האינטגרל העליון כי <math>0\le\overline S(f,P)-\overline{\int}_a^b f(x)\mathrm dx</math>. כעת יהי <math>\varepsilon>0</math> נתון. לפי הגדרת האינפימום קיימת חלוקה מסויימת Q של <math>[a,b]</math> כך ש-<math>0\le\overline S(f,Q)-\overline{\int}_a^b f(x)\mathrm dx<\frac\varepsilon2</math> ונניח של-Q יש r נקודות חלוקה. כעת נניח ש-P חלוקה כלשהי של <math>[a,b]</math> כך ש-<math>\lambda(P)<\frac\varepsilon{2r\Omega}</math>, ונגדיר <math>R=P\cup Q</math>. כיוון ש-R עידון של Q, <math>\overline{\int}_a^b f(x)\mathrm dx\le\overline S(f,R)\le\overline S(f,Q)</math> ונובע ש-<math>0\le\overline S(f,R)-\overline{\int}_a^b f(x)\mathrm dx\le\overline S(f,Q)-\overline{\int}_a^b f(x)\mathrm dx<\frac\varepsilon2</math>. אבל R התקבלה מ-P ע"י הוספה של לכל היותר r נקודות, לכן ע"פ משפט 2 ידוע ש-<math>\overline S(f,P)-\overline S(f,R)\le r\lambda(P)\Omega<r\Omega\frac\varepsilon{2r\Omega}=\frac\varepsilon2</math>. לכן נוכל להסיק <math>0\le\overline S(f,P)-\overline{\int}_a^b f(x)\mathrm dx=\overline S(f,P)-\overline S(f,R)+\overline S(f,R)-\overline{\int}_a^b f(x)\mathrm dx<\frac\varepsilon2+\frac\varepsilon2=\varepsilon</math>.
ההוכחה לאינטגרל התחתון דומה. {{משל}}
עכשיו נניח ש-<math>\lim_{\lambda(P)\to0}\overline S(f,P)-\underline S(f,P)=0</math>ונוכיח את ההיפך. אם כן אז ממשפט דרבו 3 <math>0=\lim_{\lambda(P)\to0}\overline S(f,P)-\lim_{\lambda(P)\to0}\underline S(f,P)=\overline{\int}_a^b f(x)\mathrm dx-\underline\int_a^b f(x)\mathrm dx</math>. ולכן f אינטגרבילית. {{משל}}
תהי f כנ"ל. אזי f אינטגרבילית ב-<math>[a,b]</math> אם"ם לכל <math>\varepsilon>0</math> קיימת חלוקה P של <math>[a,b]</math> כך ש-<math>\overline S(f,P)-\underline S(f,P)<\varepsilon</math>.
אם נתון ש-f אינטגרבילית אז ממשפט 4 <math>\lim_{\lambda(P)\to0}\overline S(f,P)-\underline S(f,P)=0</math>. לכן עבור <math>\varepsilon>0</math> קיים <math>\delta>0</math> כך שלכל P המקיימת <math>\lambda(P)<\delta</math> מתקיים <math>\overline S(f,P)-\underline S(f,P)<\varepsilon</math>.
לצד השני, נניח שלכל <math>\varepsilon>0</math> קיימת חלוקה P כך ש-<math>\lambda(P)<\delta</math> מתקיים שמתקיים <math>\overline S(f,P)-\underline S(f,P)<\varepsilon</math>. כידוע, לכל חלוקה P מתקיים <math>\underline S(f,P)\le\underline\int_a^b f\le\overline{\int}_a^b f\le\overline S(f,P)</math>. לפי הנתון נקבל <math>0\le\overline{\int}_a^b f-\underline\int_a^b f<\varepsilon</math>. זה נכון לכל <math>\varepsilon>0</math> ולכן <math>\overline{\int}_a^b f-\underline\int_a^b f=0</math>, כלומר f אינטגרבילית ב-<math>[a,b]</math>. {{משל}}
ונובע ממשפט 5 (או 4) ש-f אינטגרבילית ב-<math>[a,b]</math>. {{משל}}
תהי f מוגדרת ומונוטונית בקטע <math>[a,b]</math>. אזי f אינטגרבילית ב-<math>[a,b]</math>.
{{left|<math>\begin{align}\overline S(f,P)-\underline S(f,P)&=\frac{b-a}n\sum_{k=1}^n\Big(f(x_k)-f(x_{k-1})\Big)\\&=\frac{b-a}n\sum_{k=1}^n\Big(f(x_1)-\underbrace{f(x_0)}_{=f(a)}+f(x_2)-f(x_1)+\dots+\underbrace{f(x_n)}_{=f(b)}+f(x_{n-1})\Big)\\&=\frac{b-a}n\Big(f(b)-f(a)\Big)\end{align}</math>}}
נשאיף <math>n\to\infty</math> ואגף ימין שואף ל-0. מכאן ש-<math>\overline S(f,P)-\underline S(f,P)</math> קטן כרצוננו, וקיימנו את התנאי של משפט 5. לכן f אינטגרבילית ב-<math>[a,b]</math>. {{משל}}