Критерій Дарбу

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

В аналізі функцій дійсних змінних, Інтеграл Дарбу або Сума Дарбу — це одне з можливих визначень інтегралу функції. Інтеграли Дарбу еквівалентні інтегралам Рімана. Це означає, що функція є інтегрованою за Дарбу тоді і тільки тоді якщо вона інтегрована за Ріманом і значення двох інтегралів, якщо вони існують, є однаковими. Інтеграли Дарбу є простішими щодо їх визначення, ніж інтеграли Рімана. Інтеграли Дарбу отримали свою назву від імені їх відкривача, Ґастона Дарбу.

Сума Дарбу[ред.ред. код]

Визначення[ред.ред. код]

Нижня (зелена) і верхня (сіра) суми Дарбу на 4 відрізках розбиття

Нехай на відрізку [a,b] визначена дійсна функція f. Розглянемо розбиття

\tau =\left\{ {{x}_{k}} \right\}_{k=0}^{n}:a={{x}_{0}}<{{x}_{1}}<\ldots <{{x}_{n-1}}<{{x}_{n}}=b.

Введемо позначення

{{m}_{k}}=\inf \left\{ f\left( x \right):x\in \left[ {{x}_{k-1}},{{x}_{k}} \right] \right\},k=\overline{1,n},
{{M}_{k}}=\sup \left\{ f\left( x \right):x\in \left[ {{x}_{k-1}},{{x}_{k}} \right] \right\},k=\overline{1,n}.

Нарешті, розглянемо суми

s\left( f,\tau  \right)=\sum\limits_{k=1}^{n}{{{m}_{k}}\left( {{x}_{k}}-{{x}_{k-1}} \right)} — нижня сума Дарбу,
S\left( f,\tau  \right)=\sum\limits_{k=1}^{n}{{{M}_{k}}\left( {{x}_{k}}-{{x}_{k-1}} \right)} — верхня сума Дарбу.

Властивості сум Дарбу[ред.ред. код]

  • Нижня сума Дарбу не перевищує верхньої суми Дарбу на заданому розбитті.
\forall \tau \ s\left( f,\tau  \right)\le S\left( f,\tau  \right);
При здрібненні розбиття нижня сума збільшується верхня сума зменшується
  • Нижня сума Дарбу на деякому розбитті не перевищує верхньої суми Дарбу на подрібненні цього розбиття. Аналогічно верхня сума Дарбу на деякому розбитті не менше нижньої суми Дарбу на подрібненні цього розбиття.
\forall {{\tau }_{1}},{{\tau }_{2}}:{{\tau }_{1}}\subset {{\tau }_{2}}\ \left\{ \begin{align}
  & s\left( f,{{\tau }_{1}} \right)\le s\left( f,{{\tau }_{2}} \right) \\ 
 & S\left( f,{{\tau }_{1}} \right)\ge S\left( f,{{\tau }_{2}} \right) \\ 
\end{align} \right.,
{{\tau }_{1}}\subset {{\tau }_{2}} означає, що {{\tau }_{2}} є подрібнення розбиття {{\tau }_{1}};
  • Якими б не були два розбиття одного й того самого відрізка, нижня сума Дарбу на одному розбитті не перевищує верхньої суми Дарбу на іншому розбитті.
\forall {{\tau }_{1}},{{\tau }_{2}}\ s\left( f,{{\tau }_{1}} \right)\le S\left( f,{{\tau }_{2}} \right),
Висновок: нижні суми Дарбу обмежені, зверху, а верхні — знизу.
  • Нехай {{I}^{*}}\left( f \right) і {{I}_{*}}\left( f \right) — верхній та нижній інтеграли Дарбу відповідно. Тоді
\forall \tau \ s\left( f,\tau  \right)\le {{I}_{*}}\left( f \right)\le {{I}^{*}}\left( f \right)\le S\left( f,\tau  \right);
  • Нехай \sigma(f, \tau, \zeta) — інтегральна сума. Тоді \forall \tau
s(f, \tau) = \inf_{\zeta} \sigma(f, \tau, \zeta),
S(f, \tau) = \sup_{\zeta} \sigma(f, \tau, \zeta).

Інтеграл Дарбу[ред.ред. код]

Верхнім інтегралом Дарбу називають число

{{I}^{*}}\left( f \right)=\inf \left\{ S\left( f,\tau  \right):\tau  \right\},

де \tau  — деяке розбиття множини, а S\left( f,\tau  \right) — його верхня сума Дарбу.

Відповідно нижнім інтегралом Дарбу називають:

{{I}_{*}}\left( f \right)=\sup \left\{ s\left( f,\tau  \right):\tau  \right\},

де s\left( f,\tau  \right) — нижня сума Дарбу.

Критерій Дарбу інтегровності функції[ред.ред. код]

Наведені твердження надані для функції одної змінної.

Нехай дійсна функція f\left( x \right) визначена і обмежена на відрізку \left[ a,b \right]. Нехай {{I}^{*}}\left( f \right) і {{I}_{*}}\left( f \right) — верхній та нижній інтеграли Дарбу функції f\left( x \right) на заданому відрізку відповідно. Тоді такі 3 умови еквівалентні:

Джерела[ред.ред. код]

Посилання[ред.ред. код]