Регулируемый интеграл - Regulated integral

В математика, то регулируемый интеграл это определение интеграция за регулируемые функции, которые определены как единые ограничения из пошаговые функции. Использование регулируемого интеграла вместо Интеграл Римана был защищен Николя Бурбаки и Жан Дьедонне.

Определение

Определение ступенчатых функций

Позволять [а, б] быть фиксированным закрыто, ограниченный интервал в реальная линия р. Действительная функция φ : [а, б] → р называется ступенчатая функция если существует конечное раздел

${displaystyle Pi ={a=t_{0}<t_{1}<cdots <t_{k}=b}}$

из [а, б] такой, что φ постоянно на каждом открыто интервал (т_я, т_я+1) из Π; предположим, что это постоянное значение c_я ∈ р. Затем определите интеграл ступенчатой ​​функции φ быть

${displaystyle int _{a}^{b}varphi (t),mathrm {d} t:=sum _{i=0}^{k-1}c_{i}|t_{i+1}-t_{i}|.}$

Можно показать, что это определение не зависит от выбора разбиения в том смысле, что если Π₁ это еще один раздел [а, б] такой, что φ постоянна на открытых интервалах Π₁, то численное значение интеграла от φ то же самое для Π₁ что касается Π.

Расширение регулируемых функций

Функция ж : [а, б] → р называется регулируемая функция если это равномерный предел последовательности ступенчатых функций на [а, б]:

• есть последовательность ступенчатых функций (φ_п)_п∈N такой, что || φ_п − ж ||_∞ → 0 как п → ∞; или, что то же самое,
• для всех ε > 0 существует ступенчатая функция φ_ε такой, что || φ_ε − ж ||_∞ < ε; или, что то же самое,
• ж заключается в замыкании пространства ступенчатых функций, причем замыкание берется в пространстве всех ограниченные функции [а, б] → р и в отношении верхняя норма || - ||_∞; или эквивалентно,
• для каждого т ∈ [а, б), правосторонний предел

${displaystyle f(t+)=lim _{sdownarrow t}f(s)}$

существует, и для каждого т ∈ (а, б], левосторонний предел

${displaystyle f(t-)=lim _{suparrow t}f(s)}$

тоже существует.

Определить интеграл регулируемой функции ж быть

${displaystyle int _{a}^{b}f(t),mathrm {d} t:=lim _{n o infty }int _{a}^{b}varphi _{n}(t),mathrm {d} t,}$

куда (φ_п)_п∈N - любая последовательность ступенчатых функций, равномерно сходящаяся к ж.

Необходимо убедиться, что этот предел существует и не зависит от выбранной последовательности, но это непосредственное следствие непрерывное линейное расширение Теорема элементарного функционального анализа: a ограниченный линейный оператор Т₀ определено на плотный линейное подпространство E₀ из нормированное линейное пространство E и принимает значения в банаховом пространстве F однозначно продолжается до ограниченного линейного оператора Т : E → F с тем же (конечным) норма оператора.

Свойства регулируемого интеграла

• Интеграл - это линейный оператор: для любых регулируемых функций ж и грамм и константы α и β,

${displaystyle int _{a}^{b}alpha f(t)+eta g(t),mathrm {d} t=alpha int _{a}^{b}f(t),mathrm {d} t+eta int _{a}^{b}g(t),mathrm {d} t.}$

• Интеграл также является ограниченный оператор: каждая регулируемая функция ж ограничен, а если м ≤ ж(т) ≤ M для всех т ∈ [а, б], тогда

${displaystyle m|b-a|leq int _{a}^{b}f(t),mathrm {d} tleq M|b-a|.}$

Особенно:

${displaystyle left|int _{a}^{b}f(t),mathrm {d} tight|leq int _{a}^{b}|f(t)|,mathrm {d} t.}$

• Поскольку ступенчатые функции интегрируемы, а интегрируемость и значение интеграла Римана совместимы с равномерными пределами, регулируемый интеграл является частным случаем интеграла Римана.

Расширение функций, определенных на всей реальной линии

Можно распространить определения ступенчатой ​​функции и регулируемой функции и связанных с ними интегралов на функции, определенные в целом. реальная линия. Однако следует соблюдать осторожность с некоторыми техническими моментами:

• раздел, на открытых интервалах которого требуется, чтобы ступенчатая функция была постоянной, может быть счетным множеством, но должно быть дискретный набор, т.е. не имеют предельные точки;
• требование равномерной сходимости необходимо ослабить до требования равномерной сходимости на компактные наборы, т.е. закрыто и ограниченный интервалы;
• не каждый ограниченная функция интегрируема (например, функция с постоянным значением 1). Это приводит к понятию локальная интегрируемость.

Расширение на вектор-функции

Приведенные выше определения проходят через mutatis mutandis в случае функций, принимающих значения в нормированное векторное пространство Икс.

Смотрите также

• Интеграл Лебега
• Интеграл Римана

Рекомендации

• Бербериан, С. (1979). «Регулируемые функции: альтернатива Бурбаки интегралу Римана». Американский математический ежемесячник. Математическая ассоциация Америки. 86 (3): 208. Дои:10.2307/2321526. JSTOR  2321526.
• Гордон, Рассел А. (1994). Интегралы Лебега, Данжуа, Перрона и Хенстока. Аспирантура по математике, 4. Провиденс, Род-Айленд: Американское математическое общество. ISBN  0-8218-3805-9.