最適化、数値計算において現れるいくつかの定義を証明なしで簡潔にメモしておく。