Проверьте утверждение: если последовательность интегралов I_n = integral from 0 to 1 of x^n dx, то I_n сходится к 0; объясните разные подходы к доказательству и укажите, какие свойства функции и меры используются в доказательстве
Да — In=∫01xn dx→0I_n=\int_0^1 x^n\,dx\to0In=∫01xndx→0. Кратко три разных подхода и какие свойства используются. 1) Прямое вычисление (элементарно, Riemann): In=∫01xn dx=x n+1n+1∣01=1n+1 \displaystyle I_n=\int_0^1 x^n\,dx=\left.\frac{x^{\,n+1}}{n+1}\right|_0^1=\frac{1}{n+1}In=∫01xndx=n+1xn+101=n+11. Следовательно In→0I_n\to0In→0 при n→∞n\to\inftyn→∞. Используем: непрерывность x↦xnx\mapsto x^nx↦xn на [0,1][0,1][0,1] (Riemann-интегрируемая), обычная формула первообразной. 2) Теорема о доминированной сходимости (Lebesgue): Для каждого x∈[0,1)x\in[0,1)x∈[0,1) имеем xn→0x^n\to0xn→0, при x=1x=1x=1 предел =1=1=1, поэтому точечный предел почти везде (a.e.) равен 000 (так как мера точки {1}\{1\}{1} равна 000). Функции xnx^nxn измеримы и выполняется 0≤xn≤10\le x^n\le10≤xn≤1 для всех nnn и xxx. Поскольку функция 111 интегрируема на [0,1][0,1][0,1], по теореме Доминированной сходимости limn→∞∫01xn dx=∫010 dx=0.\displaystyle \lim_{n\to\infty}\int_0^1 x^n\,dx=\int_0^1 0\,dx=0.n→∞lim∫01xndx=∫010dx=0.
Используем: измеримость функций, конечная мера отрезка [0,1][0,1][0,1], наличие интегрирующего доминатора 111, и то что изменение на множестве меры ноль не влияет на интеграл. 3) Оценка и разбиение (элементарный анализ): Для любого ε∈(0,1)\varepsilon\in(0,1)ε∈(0,1)∫01xn dx=∫01−εxn dx+∫1−ε1xn dx≤(1−ε)n+ε.\displaystyle \int_0^1 x^n\,dx=\int_0^{1-\varepsilon} x^n\,dx+\int_{1-\varepsilon}^1 x^n\,dx\le (1-\varepsilon)^n+\varepsilon.∫01xndx=∫01−εxndx+∫1−ε1xndx≤(1−ε)n+ε.
При n→∞n\to\inftyn→∞ первый член →0\to0→0, остаётся ≤ε\le\varepsilon≤ε. Так как ε\varepsilonε произвольно, предел равен 000. Используем: монотонность xnx^nxn по xxx на [0,1][0,1][0,1], длина отрезка как мера, базовые оценки интеграла. Замечание: монотонная теорема о сходимости (Monotone Convergence) прямо не применяется, потому что xnx^nxn убывают по nnn; вместо неё используется доминированная теорема или прямой расчёт.
1) Прямое вычисление (элементарно, Riemann):
In=∫01xn dx=x n+1n+1∣01=1n+1 \displaystyle I_n=\int_0^1 x^n\,dx=\left.\frac{x^{\,n+1}}{n+1}\right|_0^1=\frac{1}{n+1}In =∫01 xndx=n+1xn+1 01 =n+11 .
Следовательно In→0I_n\to0In →0 при n→∞n\to\inftyn→∞.
Используем: непрерывность x↦xnx\mapsto x^nx↦xn на [0,1][0,1][0,1] (Riemann-интегрируемая), обычная формула первообразной.
2) Теорема о доминированной сходимости (Lebesgue):
Для каждого x∈[0,1)x\in[0,1)x∈[0,1) имеем xn→0x^n\to0xn→0, при x=1x=1x=1 предел =1=1=1, поэтому точечный предел почти везде (a.e.) равен 000 (так как мера точки {1}\{1\}{1} равна 000). Функции xnx^nxn измеримы и выполняется 0≤xn≤10\le x^n\le10≤xn≤1 для всех nnn и xxx. Поскольку функция 111 интегрируема на [0,1][0,1][0,1], по теореме Доминированной сходимости
limn→∞∫01xn dx=∫010 dx=0.\displaystyle \lim_{n\to\infty}\int_0^1 x^n\,dx=\int_0^1 0\,dx=0.n→∞lim ∫01 xndx=∫01 0dx=0. Используем: измеримость функций, конечная мера отрезка [0,1][0,1][0,1], наличие интегрирующего доминатора 111, и то что изменение на множестве меры ноль не влияет на интеграл.
3) Оценка и разбиение (элементарный анализ):
Для любого ε∈(0,1)\varepsilon\in(0,1)ε∈(0,1) ∫01xn dx=∫01−εxn dx+∫1−ε1xn dx≤(1−ε)n+ε.\displaystyle \int_0^1 x^n\,dx=\int_0^{1-\varepsilon} x^n\,dx+\int_{1-\varepsilon}^1 x^n\,dx\le (1-\varepsilon)^n+\varepsilon.∫01 xndx=∫01−ε xndx+∫1−ε1 xndx≤(1−ε)n+ε. При n→∞n\to\inftyn→∞ первый член →0\to0→0, остаётся ≤ε\le\varepsilon≤ε. Так как ε\varepsilonε произвольно, предел равен 000.
Используем: монотонность xnx^nxn по xxx на [0,1][0,1][0,1], длина отрезка как мера, базовые оценки интеграла.
Замечание: монотонная теорема о сходимости (Monotone Convergence) прямо не применяется, потому что xnx^nxn убывают по nnn; вместо неё используется доминированная теорема или прямой расчёт.