本記事は以下の過去記事の内容を用います．連続関数の劣位集合は閉集合であることを証明する - エンジニアを目指す浪人のブログラグランジュ関数，ラグランジュ双対問題，最適性条件(KKT条件)のあらすじをまとめる - エンジニアを目指す浪人のブログ係数行列…