Hàm lồi đóng

Trong toán học, một hàm $f:{ℝ}^n\to ℝ$ được gọi là đóng nếu với mọi $\alpha \in ℝ$, tập dưới mức $\{x\in \text{dom}f|f(x)\le \alpha \}$ là một tập đóng.

Một cách tương đương, nếu trên đồ thị của nó xác định bởi $\text{epi}f=\{(x,t)\in {ℝ}^{n+1}|x\in \text{dom}f,f(x)\le t\}$ là tập đóng, thì $f$ là hàm đóng.

Định nghĩa trên áp dụng được cho bất kỳ hàm toán học nào, nhưng được dùng nhiều nhất đối với hàm lồi. Một hàm lồi chính thường là hàm đóng khi và chỉ khi nó nửa liên tục dưới.

Tính chất

• Nếu$f:{ℝ}^n\to ℝ$ là hàm liên tục và $\text{dom}f$ đóng thì $f$ đóng.
• Nếu$f:{ℝ}^n\to ℝ$ là hàm liên tục và $\text{dom}f$ mở, thì $f$ đóng khi và chỉ khi nó hội tụ về $\mathrm{\infty }$ theo mọi chuỗi hội tụ đến một điểm biên của $\text{dom}f$.
• Một hàm lồi chính thường đóng $f$ là cận trên đúng theo từng điểm của tập hợp tất cả các hàm afin $h$ sao cho $h\le f$.

Tham khảo

• Bản mẫu:Cite book
• Bản mẫu:Cite book

Bản mẫu:Mathanalysis-stub