ある本に、以下の定理が書いてあります。
凸関数はその定義域が凸集合であることを前提としていると思います。
なぜ定理としているのでしょうか？

定理3.6
凸関数の定義域は凸集合である。