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

alt=|right|thumb|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ó:

: $\backslash mbox\{epi\}\; f\; =\; \{(x,\; \backslash mu)\; \backslash ,\; :\; \backslash ,\; x\; \backslash in\; \backslash mathbb\{R\}^n,\backslash ,\; \backslash mu\; \backslash in\; \backslash mathbb\{R\},\backslash ,\; \backslash mu\; \backslash ge\; f(x)\}\; \backslash subseteq\; \backslash mathbb\{R\}^\{n+1\}.$

Định nghĩa trên cũng đúng khi hàm mang giá trị trong tập . 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ỳ thay cho $\backslash mathbb\{R\}^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.