■

• R^n を適当に領域に分割し、それぞれの領域上で凸関数が定義され、境界で C^1級になるように関数が連結されているとき、R^n全体で凸関数になっているのは自明なことでしょうか?
• 一応、証明しました(もう少し条件を加えていますが)。
• f1,f2が凸のとき max(f1,f2) も凸です。では min(f1,f2) が凸になるための条件は何か?