Разберите доказательство: "Если интеграл от 0 до 1 функции f равен 0 и f непрерывна, то f(x)=0 для всех x", найдите ошибку и сформулируйте корректное утверждение с условиями
Ошибка в доказательстве. Контрпример: 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, ∫01f(x)dx=∫01sin(2πx)dx=0,
но f≢0f\not\equiv0f≡0. Значит из ∫01f=0\int_0^1 f=0∫01f=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, ∫01f(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, ∫01f(x)dx≥∫x0−δx0+δf(x)dx≥ε⋅(2δ)>0,
противоречие. 2) Если fff непрерывна и ∫01∣f(x)∣ dx=0\int_0^1 |f(x)|\,dx=0∫01∣f(x)∣dx=0, то f≡0f\equiv0f≡0. Это следует из пункта 1 для g=∣f∣g=|f|g=∣f∣ (она непрерывна и неотрицательна). 3) Обобщение: если fff непрерывна и не меняет знака на [0,1][0,1][0,1] (т.е. либо f≥0f\ge0f≥0, либо f≤0f\le0f≤0), то ∫01f=0\int_0^1 f=0∫01f=0 влечёт f≡0f\equiv0f≡0 (применяется пункт 1 к ∣f∣|f|∣f∣ или аналогично). Таким образом, требуется дополнительно условие неотрицательности (или нулевой интеграл модуля, или отсутствие смены знака), чтобы из нулевого интеграла непрерывной функции следовало тождественное нулевое значение.
∫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\equiv0f≡0. Значит из ∫01f=0\int_0^1 f=0∫01 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)dx≥∫x0 −δx0 +δ f(x)dx≥ε⋅(2δ)>0, противоречие.
2) Если fff непрерывна и ∫01∣f(x)∣ dx=0\int_0^1 |f(x)|\,dx=0∫01 ∣f(x)∣dx=0, то f≡0f\equiv0f≡0. Это следует из пункта 1 для g=∣f∣g=|f|g=∣f∣ (она непрерывна и неотрицательна).
3) Обобщение: если fff непрерывна и не меняет знака на [0,1][0,1][0,1] (т.е. либо f≥0f\ge0f≥0, либо f≤0f\le0f≤0), то ∫01f=0\int_0^1 f=0∫01 f=0 влечёт f≡0f\equiv0f≡0 (применяется пункт 1 к ∣f∣|f|∣f∣ или аналогично).
Таким образом, требуется дополнительно условие неотрицательности (или нулевой интеграл модуля, или отсутствие смены знака), чтобы из нулевого интеграла непрерывной функции следовало тождественное нулевое значение.