... gmlà các hàm nửa liên tục dưới và h1, , hklà các hàm liên tục trong D. Khiđó bài toán (CP ) có nghiệm nếu D = ∅.Chứng minh. Định lý được chứng minh nhờ tính nửa liên tục dưới của các hàm ... phân của một tổ hợp dương các hàm lồi: Mệnh đề 1.2. Cho f1, f2: Rn→ R là các hàm lồi và t1, t2> 0. Khi đó∂(t1f1+ t2f2)(x) = t1∂f1(x) + t2∂f2(x) ∀x ∈ Rn.Chứng minh. ... thiết rằng các hàm c(x) và r(x) là các hàm affine, ở đây D∗là ma trận có các cột làd∗i, i = 1, l∗với d∗ilà cơ sở của ∂h(c∗)− λ∗, còn l∗là số chiều của ∂h(c∗).Chứng minh. Theo...