Найдите все непрерывные функции f: R->R, такие что f(x+y) = f(x) + f(y) и f(xy) = f(x)f(y) для всех x,y. Обсудите роль непрерывности и возможные дискретные контрпримеры без неё
Ответ: единственные такие функции — f(x)≡0f(x)\equiv0f(x)≡0 и f(x)=xf(x)=xf(x)=x для всех x∈Rx\in\mathbb Rx∈R. Доказательство (кратко). Пусть f:R→Rf:\mathbb R\to\mathbb Rf:R→R удовлетворяет f(x+y)=f(x)+f(y),f(xy)=f(x)f(y) ∀x,y.
f(x+y)=f(x)+f(y),\qquad f(xy)=f(x)f(y)\ \forall x,y. f(x+y)=f(x)+f(y),f(xy)=f(x)f(y)∀x,y.
Из аддитивности f(0)=0f(0)=0f(0)=0. Подставив x=y=1x=y=1x=y=1 в мультипликативность, получаем f(1)=f(1)2f(1)=f(1)^2f(1)=f(1)2, значит f(1)=0f(1)=0f(1)=0 или f(1)=1f(1)=1f(1)=1. - Если f(1)=0f(1)=0f(1)=0, то для любого xxx имеем f(x)=f(x⋅1)=f(x)f(1)=0f(x)=f(x\cdot1)=f(x)f(1)=0f(x)=f(x⋅1)=f(x)f(1)=0, т.е. f≡0f\equiv0f≡0. - Если f(1)=1f(1)=1f(1)=1, то аддитивность даёт f(q)=qf(q)=qf(q)=q для всех рациональных qqq. Далее для любого xxxf(x2)=f(x)2≥0,
f(x^2)=f(x)^2\ge0, f(x2)=f(x)2≥0,
поэтому f(t)≥0f(t)\ge0f(t)≥0 для всех t≥0t\ge0t≥0. Значит аддитивная функция fff ограничена снизу на отрезке [0,1][0,1][0,1] (например, f≥0f\ge0f≥0 там). Стандартный факт: аддитивная функция, ограниченная на множестве положительной меры (или на отрезке), непрерывна и потому имеет вид f(x)=axf(x)=axf(x)=ax. Подстановка в мультипликативность даёт a(xy)=a2(xy)a(xy)=a^2(xy)a(xy)=a2(xy) для всех x,yx,yx,y, откуда a=0a=0a=0 или a=1a=1a=1. Второй случай совместим с f(1)=1f(1)=1f(1)=1, даёт f(x)=xf(x)=xf(x)=x. Роль непрерывности и контрпримеры без неё. Непрерывность здесь не нужна в предпосылке: сочетание аддитивности и мультипликативности уже приводит к тому, что fff неотрицательна на [0,∞)[0,\infty)[0,∞) и поэтому аддитивная fff, будучи ограниченной на отрезке, оказывается линейной (то есть непрерывной). Следовательно даже без предположения о непрерывности остаются только f≡0f\equiv0f≡0 и f(x)=xf(x)=xf(x)=x. Если же убрать одно из условий, то без непрерывности возможны патологические решения. Примеры: - Только аддитивность: существуют бесчисленные непостоянные нелинейные решения (Cauchy-функции), задаваемые произвольным Q-линейным продолжением по Хамелевой базе. - Только мультипликативность: множество решений тоже велико; простой пример — g(0)=0, g(x)=1g(0)=0,\; g(x)=1g(0)=0,g(x)=1 для x≠0x\ne0x=0, это мультипликативная (но не аддитивная) функция.
Доказательство (кратко). Пусть f:R→Rf:\mathbb R\to\mathbb Rf:R→R удовлетворяет
f(x+y)=f(x)+f(y),f(xy)=f(x)f(y) ∀x,y. f(x+y)=f(x)+f(y),\qquad f(xy)=f(x)f(y)\ \forall x,y.
f(x+y)=f(x)+f(y),f(xy)=f(x)f(y) ∀x,y. Из аддитивности f(0)=0f(0)=0f(0)=0. Подставив x=y=1x=y=1x=y=1 в мультипликативность, получаем f(1)=f(1)2f(1)=f(1)^2f(1)=f(1)2, значит f(1)=0f(1)=0f(1)=0 или f(1)=1f(1)=1f(1)=1.
- Если f(1)=0f(1)=0f(1)=0, то для любого xxx имеем f(x)=f(x⋅1)=f(x)f(1)=0f(x)=f(x\cdot1)=f(x)f(1)=0f(x)=f(x⋅1)=f(x)f(1)=0, т.е. f≡0f\equiv0f≡0.
- Если f(1)=1f(1)=1f(1)=1, то аддитивность даёт f(q)=qf(q)=qf(q)=q для всех рациональных qqq. Далее для любого xxx f(x2)=f(x)2≥0, f(x^2)=f(x)^2\ge0,
f(x2)=f(x)2≥0, поэтому f(t)≥0f(t)\ge0f(t)≥0 для всех t≥0t\ge0t≥0. Значит аддитивная функция fff ограничена снизу на отрезке [0,1][0,1][0,1] (например, f≥0f\ge0f≥0 там). Стандартный факт: аддитивная функция, ограниченная на множестве положительной меры (или на отрезке), непрерывна и потому имеет вид f(x)=axf(x)=axf(x)=ax. Подстановка в мультипликативность даёт a(xy)=a2(xy)a(xy)=a^2(xy)a(xy)=a2(xy) для всех x,yx,yx,y, откуда a=0a=0a=0 или a=1a=1a=1. Второй случай совместим с f(1)=1f(1)=1f(1)=1, даёт f(x)=xf(x)=xf(x)=x.
Роль непрерывности и контрпримеры без неё. Непрерывность здесь не нужна в предпосылке: сочетание аддитивности и мультипликативности уже приводит к тому, что fff неотрицательна на [0,∞)[0,\infty)[0,∞) и поэтому аддитивная fff, будучи ограниченной на отрезке, оказывается линейной (то есть непрерывной). Следовательно даже без предположения о непрерывности остаются только f≡0f\equiv0f≡0 и f(x)=xf(x)=xf(x)=x.
Если же убрать одно из условий, то без непрерывности возможны патологические решения. Примеры:
- Только аддитивность: существуют бесчисленные непостоянные нелинейные решения (Cauchy-функции), задаваемые произвольным Q-линейным продолжением по Хамелевой базе.
- Только мультипликативность: множество решений тоже велико; простой пример — g(0)=0, g(x)=1g(0)=0,\; g(x)=1g(0)=0,g(x)=1 для x≠0x\ne0x=0, это мультипликативная (но не аддитивная) функция.