Trên đồ thị (toán học)

Một hàm (màu đen) là hàm lồi khi và chỉ khi vùng nằm phía trên đồ thị của nó (màu lục) là tập lồi. Vùng này chính là trên đồ thị của hàm.

Trong toán học, trên đồ thị (tiếng Anh: epigraph hoặc supergraph) của một hàm f : Rⁿ → R là tập hợp các điểm nằm trong hoặc ở phía trên đồ thị của nó:

$\text{epi}f=\{(x,\mu ):x\in {ℝ}^n,\mu \in ℝ,\mu \ge f(x)\}\subseteq {ℝ}^{n+1}.$

Định nghĩa trên cũng đúng khi hàm mang giá trị trong tập [[Đường số thực mở rộng|Bản mẫu:Math]]. Trong trường hợp này, trên đồ thị là rỗng khi và chỉ khi f đồng nhất bằng vô hạn.

Tập xác định (thay vì tập hợp đích) của hàm không đóng vai trò đặc biệt quan trọng trong cách định nghĩa này; đó có thể là một không gian tuyến tính bất kỳ hoặc thậm chí là một tập hợp bất kỳ thay cho ${ℝ}^n$.

Một cách tương tự, tập hợp các điểm nằm trong hoặc ở phía dưới đồ thị của hàm được gọi là dưới đồ thị của hàm đó.

Trên đồ thị thường được ứng dụng để diễn giải về mặt hình học các đặc tính của hàm lồi hoặc để chứng minh các đặc tính này.

Tính chất

Một hàm được gọi là lồi khi và chỉ khi trên đồ thị của nó là tập lồi. Trên đồ thị của một hàm afin thực g : Rⁿ → R là một nửa không gian trên Rⁿ⁺¹.

Một hàm được gọi là nửa liên tục dưới khi và chỉ khi trên đồ thị của nó là đóng.

Xem thêm

• Dưới đồ thị (toán học)

Tham khảo

• Rockafellar, Ralph Tyrell (1996), Convex Analysis, Princeton University Press, Princeton, NJ. Bản mẫu:ISBN.
• Đỗ Văn Lưu; Phan Huy Khải (2000), Giải tích lồi, Nhà xuất bản Khoa học và Kỹ thuật, Hà Nội, tr. 38.