>>18
一般に制約条件が等式で制約式が連続関数なら成り立つ
連続の定義を「開集合の逆像は開集合」とすれば証明は自明