Bài toán bao hàm biến phân
Tiếp theo chúng tôi sẽ sử dụng một dạng khác của định lý KKM-Fan (xem định lý 2.3.1 bên dưới) để chứng minh sự tồn tại nghiệm cho các bài toán bao hàm biến phân (IP1-IP4). Về cách đặt và cách chứng minh có vài thay đổi so với trong [25] của hai tác giả Hải-Khánh. Giả thiết về tính compact của miền xác định A có thể bỏ đi bằng cách đưa vào các điều kiện bức.