יהודה שמחה (שיחה | תרומות) מ |
יהודה שמחה (שיחה | תרומות) (←פונקצית דיריכלה) |
||
(2 גרסאות ביניים של אותו משתמש אינן מוצגות) | |||
שורה 1: | שורה 1: | ||
[[קטגוריה:אינפי]] | [[קטגוריה:אינפי]] | ||
==הגדרה== | ==הגדרה== | ||
− | תהי <math>f</math> פונקציה ממשית המוגדרת וחסומה בקטע <math>(a,b)</math>. אזי ישנן שתי הגדרות שקולות לאינטגרל המסוים של <math>f</math> בקטע: | + | תהי <math>f</math> פונקציה ממשית המוגדרת וחסומה בקטע <math>(a,b)</math> . אזי ישנן שתי הגדרות שקולות לאינטגרל המסוים של <math>f</math> בקטע: |
− | *הגדרה לפי ''' | + | *הגדרה לפי '''דארבו''': אם גבול [[סכום דרבו|סכומי דארבו]] התחתונים קיים ושווה לגבול סכומי דארבו העליונים אזי הפונקציה <math>f</math> '''אינטגרבילית''' בקטע והאינטגרל המסוים בקטע שווה לגבול סכומי דארבו. |
− | *הגדרה לפי ''' | + | *הגדרה לפי '''רימאן''': אם גבול [[סכום רימן|סכומי רימאן]] קיים אזי <math>f</math> '''אינטגרבילית''' בקטע והאינטגרל המסוים בקטע שווה לגבול סכומי רימאן. |
==דוגמאות== | ==דוגמאות== | ||
===פונקצית דיריכלה=== | ===פונקצית דיריכלה=== | ||
− | הוכח כי הפונקציה הבאה אינה אינטגרבילית בקטע <math>[0,1]</math>: | + | הוכח כי הפונקציה הבאה אינה אינטגרבילית בקטע <math>[0,1]</math> : |
− | :<math>D(x)=\begin{cases} 1&x\in\Q\\0&x\notin\Q\end{cases}</math> | + | :<math>D(x)=\begin{cases}1&x\in\Q\\0&x\notin\Q\end{cases}</math> |
− | + | ;הוכחה. | |
כיון שבכל [[חלוקה]] ובכל קטע קיימות גם נקודה רציונאלית וגם נקודה אי-רציונאלית, מתקיים לכל קטע: | כיון שבכל [[חלוקה]] ובכל קטע קיימות גם נקודה רציונאלית וגם נקודה אי-רציונאלית, מתקיים לכל קטע: | ||
− | :<math>m_k=\inf\{D(x)|x_{k-1}\le x\le x_k\}=0</math> | + | :<math>m_k=\inf\Big\{D(x)|x_{k-1}\le x\le x_k\Big\}=0</math> |
− | :<math>M_k=\sup\{D(x)|x_{k-1}\le x\le x_k\}=1</math> | + | :<math>M_k=\sup\Big\{D(x)|x_{k-1}\le x\le x_k\Big\}=1</math> |
− | ולכן '''כל''' [[סכום דרבו]] תחתון שווה | + | ולכן '''כל''' [[סכום דרבו|סכום דארבו]] תחתון שווה |
− | :<math>\sum_k0\cdot\Delta_k =0</math> | + | :<math>\sum_k0\cdot\Delta_k=0</math> |
− | וכמו כן '''כל''' [[סכום דרבו]] עליון שווה | + | וכמו כן '''כל''' [[סכום דרבו|סכום דארבו]] עליון שווה |
:<math>\sum_k1\cdot\Delta_k=\sum_k\Delta_k=\Big|[0,1]\Big|=1-0=1</math> | :<math>\sum_k1\cdot\Delta_k=\sum_k\Delta_k=\Big|[0,1]\Big|=1-0=1</math> | ||
שכן סכום אורכי כל תתי-הקטעים של החלוקה, שווה לאורך הקטע כולו. | שכן סכום אורכי כל תתי-הקטעים של החלוקה, שווה לאורך הקטע כולו. | ||
− | אם כך, גבול סכומי | + | אם כך, גבול סכומי דארבו התחתונים הנו <math>0</math> והוא שונה מגבול סכומי דארבו העליונים שהוא <math>1</math>, ולכן הפונקציה '''אינה אינטגרבילית''' בקטע. |
− | ===פונקצית | + | ===פונקצית רימאן=== |
− | הוכח כי הפונקציה הבאה אינטגרבילית בקטע <math>[0,1]</math>, וכי מתקיים <math>\displaystyle\int\limits_0^1 R(x)dx=0</math> | + | הוכח כי הפונקציה הבאה אינטגרבילית בקטע <math>[0,1]</math> , וכי מתקיים <math>\displaystyle\int\limits_0^1 R(x)dx=0</math> |
:<math>R(x)=\begin{cases} \frac1{q}&x=\frac{p}{q}\\0&x\notin\Q\end{cases}</math> | :<math>R(x)=\begin{cases} \frac1{q}&x=\frac{p}{q}\\0&x\notin\Q\end{cases}</math> | ||
שורה 36: | שורה 36: | ||
כאשר <math>\frac{p}{q}</math> הוא '''השבר המצומצם''' של <math>x</math>. | כאשר <math>\frac{p}{q}</math> הוא '''השבר המצומצם''' של <math>x</math>. | ||
− | + | ;הוכחה. | |
− | באופן דומה לתרגיל על פונקציית דיריכלה, קל לראות כי גבול סכומי | + | באופן דומה לתרגיל על פונקציית דיריכלה, קל לראות כי גבול סכומי דארבו התחתונים הוא <math>0</math>. לכן ניתן להוכיח כי גבול סכומי דרבו העליונים גם הוא <math>0</math>. |
− | יהי <math>\epsilon>0</math>. צריך למצוא <math>\delta>0</math> כך ש'''לכל''' [[חלוקה]] עם [[חלוקה|פרמטר חלוקה]] קטן מ <math>\delta</math>, מתקיים שמרחק סכום | + | יהי <math>\epsilon>0</math> . צריך למצוא <math>\delta>0</math> כך ש'''לכל''' [[חלוקה]] עם [[חלוקה|פרמטר חלוקה]] קטן מ- <math>\delta</math> , מתקיים שמרחק סכום הדארבו העליון שלה מ- <math>0</math> קטן מ- <math>\epsilon</math> . |
− | כיון שמדובר בפונקציה חיובית, והגבול הנו <math>0</math>, צריך להוכיח שלכל חלוקה סכום | + | כיון שמדובר בפונקציה חיובית, והגבול הנו <math>0</math> , צריך להוכיח שלכל חלוקה סכום הדארבו העליון קטן מ- <math>\epsilon</math> . |
− | כעת נראה כי לכל מספר טבעי <math>q</math> מספר הנקודות בקטע בהן <math>R(x)\ge\frac1{q}</math> הוא סופי, ונסמן מספר זה ב-<math>n_q</math> . | + | כעת נראה כי לכל מספר טבעי <math>q</math> מספר הנקודות בקטע בהן <math>R(x)\ge\frac1{q}</math> הוא סופי, ונסמן מספר זה ב- <math>n_q</math> . |
אכן, הנקודות היחידות המקיימות תנאי זה הן <math>1,\frac12,\frac13,\frac23,\frac14,\frac24,\frac34,\ldots,\frac1{q},\ldots,\frac{q-1}{q}</math> (שימו לב שיתכן שחלק מהשברים הללו אינם מצומצמים ולכן יש אפילו פחות נקודות מאשר ברשימה הזו). | אכן, הנקודות היחידות המקיימות תנאי זה הן <math>1,\frac12,\frac13,\frac23,\frac14,\frac24,\frac34,\ldots,\frac1{q},\ldots,\frac{q-1}{q}</math> (שימו לב שיתכן שחלק מהשברים הללו אינם מצומצמים ולכן יש אפילו פחות נקודות מאשר ברשימה הזו). | ||
− | כעת, בהנתן חלוקה <math>P</math> כלשהי, לכל היותר <math>n_q</math> קטעים מכילים נקודות בהן <math>R\ge\frac1{q}</math>, ולכן שטח הפונקציה במלבנים המתאימים לחלקים אלה הוא לכל היותר <math>1</math> כפול אורך הקטע. | + | כעת, בהנתן חלוקה <math>P</math> כלשהי, לכל היותר <math>n_q</math> קטעים מכילים נקודות בהן <math>R\ge\frac1{q}</math> , ולכן שטח הפונקציה במלבנים המתאימים לחלקים אלה הוא לכל היותר <math>1</math> כפול אורך הקטע. |
בשאר הקטעים, גובה הפונקציה חסום על-ידי <math>\frac1{q}</math> . | בשאר הקטעים, גובה הפונקציה חסום על-ידי <math>\frac1{q}</math> . | ||
שורה 53: | שורה 53: | ||
לכן סכום הדרבו העליון הוא לכל היותר סכום הקטעים משני הסוגים האלו, ויתרה על כך: | לכן סכום הדרבו העליון הוא לכל היותר סכום הקטעים משני הסוגים האלו, ויתרה על כך: | ||
− | + | :<math>\overline{S}(R,P)\le\frac1{q}\cdot\Big|[0,1]\Big|+n_q\cdot\lambda(P)</math> | |
כאשר <math>\lambda(P)</math> הוא אורך הקטע הכי ארוך בחלוקה. בוודאי אורכי הקטעים המכילים את הנקודות הגבוהות קטנים או שווים לו. | כאשר <math>\lambda(P)</math> הוא אורך הקטע הכי ארוך בחלוקה. בוודאי אורכי הקטעים המכילים את הנקודות הגבוהות קטנים או שווים לו. |
גרסה אחרונה מ־15:21, 12 בפברואר 2017
הגדרה
תהי פונקציה ממשית המוגדרת וחסומה בקטע
. אזי ישנן שתי הגדרות שקולות לאינטגרל המסוים של
בקטע:
- הגדרה לפי דארבו: אם גבול סכומי דארבו התחתונים קיים ושווה לגבול סכומי דארבו העליונים אזי הפונקציה
אינטגרבילית בקטע והאינטגרל המסוים בקטע שווה לגבול סכומי דארבו.
- הגדרה לפי רימאן: אם גבול סכומי רימאן קיים אזי
אינטגרבילית בקטע והאינטגרל המסוים בקטע שווה לגבול סכומי רימאן.
דוגמאות
פונקצית דיריכלה
הוכח כי הפונקציה הבאה אינה אינטגרבילית בקטע :
- הוכחה.
כיון שבכל חלוקה ובכל קטע קיימות גם נקודה רציונאלית וגם נקודה אי-רציונאלית, מתקיים לכל קטע:
ולכן כל סכום דארבו תחתון שווה
וכמו כן כל סכום דארבו עליון שווה
שכן סכום אורכי כל תתי-הקטעים של החלוקה, שווה לאורך הקטע כולו.
אם כך, גבול סכומי דארבו התחתונים הנו והוא שונה מגבול סכומי דארבו העליונים שהוא
, ולכן הפונקציה אינה אינטגרבילית בקטע.
פונקצית רימאן
הוכח כי הפונקציה הבאה אינטגרבילית בקטע , וכי מתקיים
כאשר הוא השבר המצומצם של
.
- הוכחה.
באופן דומה לתרגיל על פונקציית דיריכלה, קל לראות כי גבול סכומי דארבו התחתונים הוא . לכן ניתן להוכיח כי גבול סכומי דרבו העליונים גם הוא
.
יהי . צריך למצוא
כך שלכל חלוקה עם פרמטר חלוקה קטן מ-
, מתקיים שמרחק סכום הדארבו העליון שלה מ-
קטן מ-
.
כיון שמדובר בפונקציה חיובית, והגבול הנו , צריך להוכיח שלכל חלוקה סכום הדארבו העליון קטן מ-
.
כעת נראה כי לכל מספר טבעי מספר הנקודות בקטע בהן
הוא סופי, ונסמן מספר זה ב-
.
אכן, הנקודות היחידות המקיימות תנאי זה הן (שימו לב שיתכן שחלק מהשברים הללו אינם מצומצמים ולכן יש אפילו פחות נקודות מאשר ברשימה הזו).
כעת, בהנתן חלוקה כלשהי, לכל היותר
קטעים מכילים נקודות בהן
, ולכן שטח הפונקציה במלבנים המתאימים לחלקים אלה הוא לכל היותר
כפול אורך הקטע.
בשאר הקטעים, גובה הפונקציה חסום על-ידי .
לכן סכום הדרבו העליון הוא לכל היותר סכום הקטעים משני הסוגים האלו, ויתרה על כך:
כאשר הוא אורך הקטע הכי ארוך בחלוקה. בוודאי אורכי הקטעים המכילים את הנקודות הגבוהות קטנים או שווים לו.
בסה"כ, נבחר q כך ש:
ולאחר מכן נבחר כך ש:
וכך קיבלנו את שרצינו.
חישוב האינטגרל המסוים
קיימות מספר שיטות לחישוב האינטגרל המסוים, כשהנפוצה והשימושית ביותר היא שימוש בנוסחת ניוטון-לייבניץ.