Find all the functions $f : C \to R^+$ such that they fulfill simultaneously the following conditions: $$(i) \ \ f(uv) = f(u)f(v) \ \ \forall u, v \in C$$$$(ii) \ \ f(au) = |a | f(u) \ \ \forall a \in R, u \in C$$$$(iii) \ \ f(u) + f(v) \le |u| + |v| \ \ \forall u, v \in C$$
Problem
Source: 2003 Cuba MO 2.8
Tags: algebra, complex numbers, functional equation
15.09.2024 12:39
parmenides51 wrote: Find all the functions $f : C \to R^+$ such that they fulfill simultaneously the following conditions: $$(i) \ \ f(uv) = f(u)f(v) \ \ \forall u, v \in C$$$$(ii) \ \ f(u) = |a | f(u) \ \ \forall a \in R, u \in C$$$$(iii) \ \ f(u) + f(v) \le |u| + |v| \ \ \forall u, v \in C$$ Uhhh ? If your $\mathbb R_+$ is $\mathbb R_{\ge 0}$ (and not, as usual on this forum, $\mathbb R_{>0}$), then (ii) implies $\boxed{f(u)=0\quad\forall u\in\mathbb C}$, which indeed fits.
15.09.2024 13:01
parmenides51 wrote: I do not know what notations they have in Cuba, but in the official files. they find another one f(u)=|u| Which obviously is not a solution, whatever are notations : Just choose $a=2$ and $u=1$ and (ii) is wrong
15.09.2024 13:05
: It is easily verified that this function satisfies the characteristics of the statement.
Attachments:

15.09.2024 13:10
condition b) of original problem is different from condition (ii) of your posted problem.
15.09.2024 13:11
oops, I missed that , I shall update and hide the solution, thanks for noticing
27.09.2024 19:18
Answer is only f(x) = |x|, pm me if I forget to post sol