rmula_16是对称的，那么formula_17是formula_1中唯一的元素，使得以下泛函取最小值formula_19，formula_20对所有formula_13，即：
证明.
一般情形.套用里斯表示定理到连续线性型上，可知存在唯一的formula_23，使得formula_24对任意formula_13成立。对所有formula_26，映射formula_27是formula_1上连续线性型，因此同样可知存在唯一的formula_29，使得fo