4
$\begingroup$

Let $f$ be a holomorphic function on the open unit disc.

Is $(\sup \vert f \vert)^2 = \sup (\vert f\vert^2)$?

2 Answers 2

7

I don't think this has anything to do with $f$ being a holomorphic function on the open unit disk. The square of the supremum of any set of non-negative numbers is the supremum of the squares.

5

For weakly positive real numbers, the inequalities $x \le y$ and $x^2 \le y^2$ are equivalent. Since the modulus of the function is always weakly positive, this is all you need.

  • 0
    non-negative, to be precise...2011-11-13
  • 1
    @joriki: Sorry, I am living in a weakly positive country, will correct.2011-11-13
  • 1
    @joriki: I refuse to use "non-negative" and "non-positive" (or non-decreasing, etc), it goes against human cognitive functioning to gratuitously add negations.2011-11-13
  • 1
    Interesting. For my cognitive functioning, "non-negative" is a lot easier to parse than "weakly positive".2011-11-13
  • 0
    @joriki You should try it with a directed concept where you did not already "grow up" with the term.2011-11-13