Інтеграл Даніелла

Основна ідея полягає в аксіоматизуванні поняття інтеграла. Розглянемо сімейство ${\displaystyle H}$ обмежених дійснозначних функцій (названих елементарними функціями), визначених на множині ${\displaystyle X}$, що задовольняє таким аксіомам:

1. ${\displaystyle H}$ — лінійний простір із звичайними операціями додавання і скалярного множення.

2. ${\displaystyle h(x)\in H\Rightarrow |h(x)|\in H}$: якщо функція належить ${\displaystyle H}$, то її модуль також належить ${\displaystyle H}$

Крім того, на просторі елементарних функцій визначається позитивно визначений неперервний лінійний функціонал ${\displaystyle I}$, названий елементарний інтеграл.

1. Лінійність: якщо h і k обидва належать H, і ${\displaystyle \alpha }$, ${\displaystyle \beta }$ — довільні дійсні числа, тоді ${\displaystyle I(\alpha h+\beta k)=\alpha Ih+\beta Ik}$.
2. Невід'ємність: якщо ${\displaystyle h(x)\geq 0}$, тоді ${\displaystyle Ih\geq 0}$.
3. Неперервність: якщо ${\displaystyle h_{n}(x)}$ незростаюча послідовність (тобто ${\displaystyle h_{1}\geq \cdots \geq h_{k}\geq \cdots }$) функцій з ${\displaystyle H}$, які збігаються до нуля для всіх ${\displaystyle x}$ в ${\displaystyle X}$, тоді ${\displaystyle Ih_{n}\to 0}$.

У цих термінах можна визначити множину міри нуль. Множина ${\displaystyle Z}$, що є підмножиною ${\displaystyle X}$, має міру нуль, якщо для будь-якого ${\displaystyle \varepsilon >0}$ існує неспадна послідовність невід'ємних елементарних функцій ${\displaystyle h_{p}(x)\in H}$ така, що ${\displaystyle Ih_{p}<\varepsilon }$ і ${\displaystyle \sup _{p}h_{p}(x)\geq 1}$ на ${\displaystyle Z}$.

Якщо деяка умова виконується на ${\displaystyle X}$ скрізь, окрім, можливо, підмножини міри нуль, то говорять, що воно виконується майже всюди.

Розглянемо множину ${\displaystyle L^{+}}$, що складається зі всіх функцій, що є межею неспадних послідовностей ${\displaystyle {\lbrace h_{n}\rbrace }}$ елементарних функцій майже всюди, причому множина інтегралів ${\displaystyle Ih_{n}}$ обмежена. Інтеграл функції ${\displaystyle f\in L^{+}}$ за визначенням дорівнює:

${\displaystyle If=\lim _{n\to \infty }Ih_{n}}$

Можна показати, що це визначення коректне, тобто воно не залежить від вибору послідовності ${\displaystyle {\lbrace h_{n}\rbrace }}$.

За допомогою цієї конструкції можуть бути доведені майже всі теореми теорії інтеграла Лебега, наприклад теорема Лебега про домінантну збіжність, теорема Тонеллі — Фубіні, лема Фату і теорема Ріса — Фішера. Його властивості такі ж, як і у звичайного інтеграла Лебега.

Завдяки природній відповідності між множинами і функціями, можливо побудувати теорію міри на основі інтеграла Деніелла. Якщо взяти характеристичну функцію χ(x) деякої множини, то її інтеграл може бути взятий за міру цієї множини. Можна показати, що це визначення еквівалентне класичному визначенню міри по Лебегу.

Така побудова узагальненого інтеграла має деякі переваги перед методом Лебега, особливо у функціональному аналізі. Конструкції Лебега і Деніелла еквівалентні, якщо розглядати як елементарні ступінчасті функції, проте при узагальненні поняття інтеграла на складніші об'єкти (наприклад, лінійні функціонали) виникають істотні труднощі в побудові інтеграла за Лебегом. За Деніеллем інтеграл будується простіше.

• Інтеграл Рімана
• Інтеграл Лебега
• Інтеграл Стілтьєса
• Інтеграл Бохнера

• Daniell, Percy John, 1918, "A general form of integral, " Annals of Mathematics 19:: 279-94.
• ------, 1919, "Integrals in an infinite number of dimensions, " Annals of Mathematics 20: 281-88.
• ------, 1919, "Functions of limited variation in an infinite number of dimensions, " Annals of Mathematics 21: 30-38.
• ------, 1920, "Further properties of the general integral, " Annals of Mathematics 21: 203-20.
• ------, 1921, "Integral products and probability, " American Journal of Mathematics 43: 143-62.
• Royden, H. L., 1988. Real Analysis, 3rd. ed. Prentice Hall.
• Шилов Г.Е., Гуревич Б.Л — Интеграл, мера и производная, М., 1967
• Shilov, G. E., and Gurevich, B. L., 1978. Integral, Measure, and Derivative: A Unified Approach, Richard A. Silverman, trans. Dover Publications. ISBN 0-486-63519-8.