Trong giải tích lồi, một nhánh của toán học, miền hữu hiệu là một khái niệm mở rộng định nghĩa tập xác định của một hàm toán học.Cho một không gian vectơ X {\displaystyle X} , khi đó một hàm lồi ánh xạ vào trục số thực mở rộng, f : X → R ∪ { ± ∞ } {\displaystyle f:X\to \mathbb {R} \cup \{\pm \infty \}} , có miền hữu hiệu xác định bởiNếu hàm đó là hàm lõm, thì miền hữu hiệu của nó làMiền hữu hiệu cũng chính là kết quả phép chiếu trên đồ thị của hàm f : X → R ∪ { ± ∞ } {\displaystyle f:X\to \mathbb {R} \cup \{\pm \infty \}} vào X {\displaystyle X} , tức làNếu một hàm lồi f : X → R {\displaystyle f:X\to \mathbb {R} } ánh xạ vào trục số thực thông thường thì miền hữu hiệu của nó chính là tập xác định của hàm đó.Một hàm f : X → R ∪ { ± ∞ } {\displaystyle f:X\to \mathbb {R} \cup \{\pm \infty \}} là hàm lồi chính thường khi và chỉ khi f {\displaystyle f} lồi, có miền hữu hiệu khác rỗng và f ( x ) > − ∞ {\displaystyle f(x)>-\infty } với mọi x ∈ X {\displaystyle x\in X} .[4]