שינויים

=השתנות חסומה {{הערה|(המשך)}}=

'''הגדרה:''' נתונה פונקציה f המוגדרת ב-<math>[a,b]</math> ותהי <math>P=\{x_0,x_1,\dots,x_n\}</math> חלוקה של <math>[a,b]</math> (<math>a=x_0<x_1<\dots<x_n=b</math>). ההשתנות (וריאציה) של f לפי P מוגדרת כ-<math>v(f,P)=\sum_{i=1}^n |f(x_i)-f(x_{i-1})|</math>. כמו כן נגדיר את <math>\overset b\underset aV f</math>, המסומן גם כ-<math>\overset b\underset aT f</math> ונקרא "ההשתנות הכללית/כוללת של הפונקציה", בתור <math>\sup_P v(f,P)</math>. אם קבוצת כל ההשתנויות חסומה, כלומר ההשתנות הכללית סופית, נאמר של-f יש השתנות חסומה ב-<math>[a,b]</math>.

==משפט 1==

|}

תוצאה זו בלתי תלוייה בחלוקה P ולכן <math>\overset b\underset aV f=\sup_P v(f,P)\le g(b)-g(a)+h(b)-h(a)<\infty</math>. {{משל}}

==משפט 2==