ВУЗ:
Составители:
Рубрика:
18
которого
δ
<d , выполняется неравенство
ε
ξ
τ
σ
<
−
|),(| I
f
при любом выборе
промежуточных точек
k
ξ
.
Определение 2
. Функция )(
x
f
называется интегрируемой (по Риману) на
отрезке ],[ ba , если существует конечный предел
I
f
d
=
→
),(lim
0
ξ
τ
σ
.
При этом число
I
называется определенным интегралом от функции
)(
x
f
по отрезку ],[ ba и обозначается символом
∫
=
b
a
dxxfI )(
.
Числа a и b называют нижним и верхним пределами интегрирования, )(
x
f
–
подынтегральной функцией, а
x
– переменной интегрирования.
В отличие от неопределенного интеграла, определенный интеграл пред-
ставляет собой число, а не функцию. Если интеграл существует, то это число
определяется однозначно и зависит только от вида функции
)(
x
f
и от чисел
a
и
b
. Отсюда, в частности, следует, что определенный интеграл не зависит от
выбора обозначения для переменной интегрирования:
∫∫∫
==
b
a
b
a
b
a
duufdttfdxxf )()()(
и т.д.
Вычисление определенного интеграла в соответствии с приведенным оп-
ределением связано с трудностями и громоздкими подсчетами. Поэтому чаще
используют другие подходы, о которых будет говориться ниже.
Пусть функция
)(
x
f
является интегрируемой на отрезке
],[ ba
функцией.
В этом случае будем писать
],[)( baL
x
f
∈
. Здесь
],[ baL
обозначает множество
всех интегрируемых на ],[ ba функций (вспомните, что представляют из себя
множества ],[ ba
C
и ],[
1
baC ).
2. Условия существования определенного интеграла.
Теорема 5
(необходимое условие интегрируемости функции). Если
],[)( baL
x
f
∈
, то она ограничена на
],[ ba
.
Δ
Предположим противное, т.е. допустим, что
)(
x
f
неограничена на
],[ ba
.
Покажем, что в этом случае интегральную сумму
f
σ
можно за счет выбора то-
чек
110
,...,,
−n
ξ
ξ
ξ
сделать сколь угодно большой при любом разбиении отрезка
],[ ba .
Действительно, так как
)(
x
f
неограничена на
],[ ba
, то при любом раз-
биении отрезка
],[ ba
, по крайней мере, на одном из отрезков
],[
1+kk
xx
функция
)(
x
f
будет неограничена. Пусть для определенности она неограничена на от-
резке ],[
1+ii
xx . Интегральную сумму
f
σ
представим в виде
18
которого d < δ , выполняется неравенство | σ f (τ ,ξ ) − I | < ε при любом выборе
промежуточных точек ξ k .
Определение 2. Функция f (x) называется интегрируемой (по Риману) на
отрезке [a, b] , если существует конечный предел
lim σ f (τ ,ξ ) = I .
d →0
При этом число I называется определенным интегралом от функции
f (x) по отрезку [a, b] и обозначается символом
b
I = ∫ f ( x) dx .
a
Числа a и b называют нижним и верхним пределами интегрирования, f (x) –
подынтегральной функцией, а x – переменной интегрирования.
В отличие от неопределенного интеграла, определенный интеграл пред-
ставляет собой число, а не функцию. Если интеграл существует, то это число
определяется однозначно и зависит только от вида функции f (x) и от чисел a
и b . Отсюда, в частности, следует, что определенный интеграл не зависит от
выбора обозначения для переменной интегрирования:
b b b
∫ f ( x) dx = ∫ f (t ) dt = ∫ f (u ) du и т.д.
a a a
Вычисление определенного интеграла в соответствии с приведенным оп-
ределением связано с трудностями и громоздкими подсчетами. Поэтому чаще
используют другие подходы, о которых будет говориться ниже.
Пусть функция f (x) является интегрируемой на отрезке [a, b] функцией.
В этом случае будем писать f ( x) ∈ L [a, b] . Здесь L [a, b] обозначает множество
всех интегрируемых на [a, b] функций (вспомните, что представляют из себя
множества C [a, b] и C 1 [a, b] ).
2. Условия существования определенного интеграла.
Теорема 5 (необходимое условие интегрируемости функции). Если
f ( x) ∈ L [a, b] , то она ограничена на [a, b] .
Δ Предположим противное, т.е. допустим, что f (x) неограничена на [a, b] .
Покажем, что в этом случае интегральную сумму σ f можно за счет выбора то-
чек ξ 0 , ξ1 ,..., ξ n−1 сделать сколь угодно большой при любом разбиении отрезка
[ a, b] .
Действительно, так как f (x) неограничена на [a, b] , то при любом раз-
биении отрезка [a, b] , по крайней мере, на одном из отрезков [ xk , xk +1 ] функция
f (x) будет неограничена. Пусть для определенности она неограничена на от-
резке [ xi , xi +1 ] . Интегральную сумму σ f представим в виде
Страницы
- « первая
- ‹ предыдущая
- …
- 16
- 17
- 18
- 19
- 20
- …
- следующая ›
- последняя »
