Định lý Fenchel–Moreau

Một hàm không có tính nửa dưới liên tục. Theo định lý Fenchel–Moreau, hàm này không bằng với hàm song liên hợp của nó.

Trong giải tích lồi, định lý Fenchel–Moreau (theo tên của Werner Fenchel và Jean Jacques Moreau) phát biểu điều kiện cần và đủ để một hàm $f$ bằng với hàm song liên hợp $f^{**}$ của nó. Kết quả này trái ngược với tính chất chung rằng $f^{**}\leq f$. Định lý Fenchel–Moreau được ứng dụng trong lý thuyết đối ngẫu để chứng minh tính đối ngẫu mạnh (thông qua hàm nhiễu).

Phát biểu

Cho $(X,\tau )$ là một không gian lồi địa phương Hausdorff. Với hàm $f:X\to \mathbb {R} \cup \{\pm \infty \}$ lấy giá trị trên trục số thực mở rộng, thì $f=f^{**}$ khi và chỉ khi một trong các điều kiện sau được thỏa mãn:

1. $f$ lồi, chính thường và nửa liên tục dưới;
2. $f\equiv +\infty$, hoặc
3. $f\equiv -\infty$.