Собственные интегралы
[14/100%]Положим
Интегрируема ли функция
Пусть функция (см. также 169, VIII 240) определена следующим образом:
Показать, что она непрерывна в каждой иррациональной точке, разрывна в каждой рациональной и в каждом интервале собственно интегрируема.
Пусть собственно интегрируемы в интервале ; далее,
Показать, что при стремлении максимальной длины интервала разбиения к нулю
Пусть собственно интегрируема в интервале , собственно интегрируема в интервале и пусть . Тогда
Пусть функция собственно интегрируема в интервале . Для любого можно указать две такие кусочно-постоянные1 функции , что
во всем интервале и
В частности, можно добиться того, чтобы точки разрыва функций и были равноотстоящими.
Footnotes
-
*) То есть в каждом конечном интервале имеющие не более чем конечное число точек разрыва, а в промежутках между последними — постоянные. ↩
(Продолжение.) Если имеет ограниченное изменение, то можно и определить так, чтобы их полные изменения не превосходили полного изменения функции .
Положим
Тогда для любой функции , собственно интегрируемой в интервале , имеет место предельное соотношение
( — целое).
Если собственно интегрируема в интервале , то
(Продолжение.) Показать, что
Функция , где , собственно интегрируема в интервале .
Если собственно интегрируема в интервале , то точки непрерывности функции в интервале образуют всюду плотное множество.
Если собственно интегрируема в интервале , то равенство
имеет место тогда и только тогда, когда во всех точках непрерывности функции , лежащих внутри данного интервала.
Пусть функция собственно интегрируема в интервале , причем там ; пусть, далее, непрерывна для . Тогда также собственно интегрируема в интервале .
Если и собственно интегрируемы, то , вообще говоря, уже не является собственно интегрируемой [98, 99].