Разберите доказательство: "Если интеграл от 0 до 1 функции f равен 0 и f непрерывна, то f(x)=0 для всех x", найдите ошибку и сформулируйте корректное утверждение с условиями

25 Ноя в 15:44
4 +1
0
Ответы
1
Ошибка в доказательстве. Контрпример: f(x)=sin⁡(2πx)f(x)=\sin(2\pi x)f(x)=sin(2πx) непрерывна на [0,1][0,1][0,1] и
∫01f(x) dx=∫01sin⁡(2πx) dx=0, \int_0^1 f(x)\,dx=\int_0^1 \sin(2\pi x)\,dx=0,
01 f(x)dx=01 sin(2πx)dx=0,
но f≢0f\not\equiv0f0. Значит из ∫01f=0\int_0^1 f=001 f=0 и непрерывности нельзя заключить f(x)=0f(x)=0f(x)=0 для всех xxx.
В чём ошибка предполагаемого доказательства? Обычно оно идёт так: если существует x0x_0x0 с f(x0)>0f(x_0)>0f(x0 )>0, то по непрерывности есть окрестность (x0−δ,x0+δ)(x_0-\delta,x_0+\delta)(x0 δ,x0 +δ), где f(x)>0f(x)>0f(x)>0, значит интеграл по всей области якобы положителен — забыто, что интеграл по остальной части может быть отрицателен и компенсировать положительную часть. То есть неверно предположение, что положительная вкладка одной окрестности не может быть компенсирована в других точках.
Корректные утверждения (с доказательствами):
1) Если fff непрерывна на [0,1][0,1][0,1] и f(x)≥0f(x)\ge0f(x)0 для всех xxx, и
∫01f(x) dx=0, \int_0^1 f(x)\,dx=0,
01 f(x)dx=0,
то f(x)=0f(x)=0f(x)=0 для всех xxx. Доказательство: если бы существовал x0x_0x0 с f(x0)=c>0f(x_0)=c>0f(x0 )=c>0, по непрерывности найдётся δ>0\delta>0δ>0 и ε>0\varepsilon>0ε>0 такие, что f(x)≥εf(x)\ge\varepsilonf(x)ε на интервале длины δ\deltaδ, тогда
∫01f(x) dx≥∫x0−δx0+δf(x) dx≥ε⋅(2δ)>0, \int_0^1 f(x)\,dx \ge \int_{x_0-\delta}^{x_0+\delta} f(x)\,dx \ge \varepsilon\cdot(2\delta)>0,
01 f(x)dxx0 δx0 +δ f(x)dxε(2δ)>0,
противоречие.
2) Если fff непрерывна и ∫01∣f(x)∣ dx=0\int_0^1 |f(x)|\,dx=001 f(x)dx=0, то f≡0f\equiv0f0. Это следует из пункта 1 для g=∣f∣g=|f|g=f (она непрерывна и неотрицательна).
3) Обобщение: если fff непрерывна и не меняет знака на [0,1][0,1][0,1] (т.е. либо f≥0f\ge0f0, либо f≤0f\le0f0), то ∫01f=0\int_0^1 f=001 f=0 влечёт f≡0f\equiv0f0 (применяется пункт 1 к ∣f∣|f|f или аналогично).
Таким образом, требуется дополнительно условие неотрицательности (или нулевой интеграл модуля, или отсутствие смены знака), чтобы из нулевого интеграла непрерывной функции следовало тождественное нулевое значение.
25 Ноя в 15:55
Не можешь разобраться в этой теме?
Обратись за помощью к экспертам
Гарантированные бесплатные доработки в течение 1 года
Быстрое выполнение от 2 часов
Проверка работы на плагиат
Поможем написать учебную работу
Прямой эфир