Изменения

Перейти к: навигация, поиск

Определение интеграла Римана, простейшие свойства

642 байта добавлено, 07:55, 29 ноября 2010
Нет описания правки
Факт существования интеграла функции <tex>f</tex> обозначается как <tex>f \mathcal {2} R\left ( a,b \right )</tex><br><br>
Утверждение: Если <tex>f \mathcal {2} R\left ( a,b \right )</tex>, то <tex>f</tex> — ограничена.<br>
<tex>\triangleright</tex> Пусть <tex dpi = "140">\exists I=\lim \sigma \left ( f, \tau \right ), ~\epsilon=1</tex>. Делим <tex>\left [ a,b \right ]</tex> на <tex>n</tex> разных частей, так, чтобы <tex dpi = "140">\frac{b-a}{n}<\sigma </tex> и фиксируем такое разбиение. Среди отрезков <tex>x_n</tex> берём один из них: <tex dpi = "140">\left [ x_{k_0},x_{{k_0}+1} \right ]</tex> и варьируем <texdpi = "140">\overline{x_{k_0}}</tex> в его пределах произвольно; для других отрезков в качестве промежуточных точек берём их левую границу.<tex>I-1-\sum\limits_{k=0,k\neq k_0}^{n-1} f \left ( x_k \right )\cdot\Delta_{k}<f \left ( \overline{x_{k_0}} \right )\cdot\Delta_{k_0}<I+1-\sum\limits_{k=0,k\neq k_0}^{n-1} f \left ( x_k \right )\cdot\Delta_{k}</tex>. Разделим на <tex>\Delta_{k_0}</tex>: <tex>\left | f \left ( \overline{x_{k_0}} \right ) \right | \leqslant M_{k_0}</tex> на <tex>\left [ x_{k_0},x_{{k_0}+1} \right ]</tex>. Проделывая так с каждым отрезком, мы увидим, что на каждом из них фунцкия ограничена, значит, она будет ограничена на всём отрезке.
315
правок

Навигация