הבדלים בין גרסאות בדף "משתמש:אור שחף/133 - תרגול/26.6.11"
מ (←השתנות חסומה) |
מ (←פתרון) |
||
(גרסת ביניים אחת של אותו משתמש אינה מוצגת) | |||
שורה 21: | שורה 21: | ||
# נתון שבנוסף קיים <math>\varepsilon>0</math> כך ש-<math>f(x)\ge\varepsilon</math> לכל <math>x\in[a,b]</math>. הוכיחו <math>\frac1f</math> בעלת השתנות חסומה בקטע. | # נתון שבנוסף קיים <math>\varepsilon>0</math> כך ש-<math>f(x)\ge\varepsilon</math> לכל <math>x\in[a,b]</math>. הוכיחו <math>\frac1f</math> בעלת השתנות חסומה בקטע. | ||
===פתרון=== | ===פתרון=== | ||
− | # נניח ש-P חלוקה של הקטע ונסמן <math>h(t)=f(t)g(t)</math> אזי {{left|<math>\begin{align}v(h,P)&=\sum_{k=1}^n |h(x_k)-h(x_{k-1})|\\&=\sum_{k=1}^n|f(x_k)g(x_k)-f(x_{k-1})g(x_{k-1})|\\&=\sum_{k=1}^n|f(x_k)g(x_k)+f(x_{k-1})g(x_k)-f(x_{k-1})g(x_k)-f(x_{k-1})g(x_{k-1})|\\&\le\sum_{k=1}^n |g(x_k)||f(x_k)-f(x_{k-1})|+\sum_{k=1}^n |f(x_{k-1})||g(x_k)-g(x_{k-1})|\end{align}</math>}} | + | # נניח ש-P חלוקה של הקטע ונסמן <math>h(t)=f(t)g(t)</math> אזי {{left|<math>\begin{align}v(h,P)&=\sum_{k=1}^n |h(x_k)-h(x_{k-1})|\\&=\sum_{k=1}^n|f(x_k)g(x_k)-f(x_{k-1})g(x_{k-1})|\\&=\sum_{k=1}^n|f(x_k)g(x_k)+f(x_{k-1})g(x_k)-f(x_{k-1})g(x_k)-f(x_{k-1})g(x_{k-1})|\\&\le\sum_{k=1}^n |g(x_k)||f(x_k)-f(x_{k-1})|+\sum_{k=1}^n |f(x_{k-1})||g(x_k)-g(x_{k-1})|\end{align}</math>}}f,g בעלות השתנות חסומה ולכן חסומות. נסמן <math>|f|\le M_f\ \and\ |g|\le M_g</math> ולכן <math>v(h,P)\le M_g\cdot\overset b\underset aV f+M_f\cdot\overset b\underset aV g<\infty</math>. {{משל}} |
− | f,g בעלות השתנות חסומה ולכן חסומות. נסמן <math>|f|\le M_f\ \and\ |g|\le M_g</math> ולכן <math>v(h,P)\le M_g\cdot\overset b\underset aV f+M_f\cdot\overset b\underset aV g<\infty</math>. {{משל}} | + | # מתקיים <math>\forall x\in[a,b]:\ \frac1{f(x)}\le\frac1\varepsilon</math> ולכן {{left|<math>\begin{align}v(1/f,P)&=\sum_{k=1}^n\left|\frac1{f(x_k)}-\frac1{f(x_{k-1})}\right|\\&=\sum_{k=1}^n\left|\frac{f(x_{k-1})-f(x_k)}{f(x_k)f(x_{k-1})}\right|\\&\le\frac1{\varepsilon^2}\sum_{k=1}^n|f(x_k)-f(x_{k-1})|\\&\le\frac1{\varepsilon^2}\overset b\underset aV f\\&<\infty\end{align}</math>}}{{משל}} |
− | # מתקיים <math>\forall x\in[a,b]:\ \frac1{f(x)}\le\frac1\varepsilon</math> ולכן {{left|<math>\begin{align}v(1/f,P)&=\sum_{k=1}^n\left|\frac1{f(x_k)}-\frac1{f(x_{k-1})}\right|\\&=\sum_{k=1}^n\left|\frac{f(x_{k-1})-f(x_k)}{f(x_k)f(x_{k-1})}\right|\\&\le\frac1{\varepsilon^2}\sum_{k=1}^n|f(x_k)-f(x_{k-1})|\\& | + | |
==דוגמה 3== | ==דוגמה 3== |
גרסה אחרונה מ־20:06, 2 ביולי 2012
השתנות חסומה
הגדרה: נתונה פונקציה f המוגדרת ב- ותהי חלוקה של (). נגדיר . נתבונן בקבוצת כל המספרים עבור כל החלוקות האפשריות P של הקטע. אם קבוצה זו חסומה נאמר של-f יש השתנות חסומה בקטע, והיא .
משפט: פונקציה בעלת השתנות חסומה בקטע סגור חסומה בקטע. ההיפך אינו נכון - תתכן פונקציה חסומה בעלת השתנות בלתי חסומה.
דוגמה 1
קבעו האם בעלת השתנות חסומה.
פתרון
נשים לב כי f חסומה בקטע. נראה שבכל זאת היא בעל השתנות לא חסומה: נבחר את החלוקה של הקטע ולכן
משפט: פונקציה מונוטונית בקטע סגור היא בעלת השתנות חסומה בו.
משפט: השתנות חסומה שומרת על חיבור וכפל בסקלר: .
דוגמה 2
תהינה f ו-g בעלות השתנות חסומה ב-.
- הוכיחו כי המכפלה בעלת השתנות חסומה.
- נתון שבנוסף קיים כך ש- לכל . הוכיחו בעלת השתנות חסומה בקטע.
פתרון
- נניח ש-P חלוקה של הקטע ונסמן אזי f,g בעלות השתנות חסומה ולכן חסומות. נסמן ולכן .
- מתקיים ולכן
דוגמה 3
הוכח או הפרך: אם f בעלת השתנות חסומה בכל קטע סגור המוכל בקטע הפתוח אזי f בעלת השתנות חסומה בקטע הסגור .
פתרון
ניתן דוגמה נגדית: נגדיר . ניתן לראות כי f עולה ממש בקטע הפתוח ולכן בכל תת קטע סגור המוכל בקטע . לפיכך f בעלת השתנות חסומה בכל תת קטע סגור של , אבל היא אינה חסומה כאשר ולכן אינה בעלת השתנות חסומה ב-.