Hàm f được gọi là tựa lồi nếu với mọi x, y thuộc C, \lambda thuộc khoảng [0,1] ta có
Hàm f được gọi là tựa lồi chặt nếu với mọi x, y thuộc C, x khác y, \lambda thuộc khoảng (0,1) ta có
Kết hợp với bài đã đăng: Phần 1: Hàm lồi, hàm lồi chặt, hàm lồi mạnh ta có thêm một số kết quả sau:
Một hàm tựa lồi chặt thì tựa lồi. Hàm tựa lồi thì chưa chắc tựa lồi chặt, ví dụ y=1, hay y=|x|/x, nếu x khác 0 và y=0 nếu x=0.
Nếu hàm f lồi thì nó tựa lồi. Điều ngược lại không đúng. Chẳng hạn, hàm số cho bởi công thức sau: f(x)=x nếu x thuộc đoạn [0,1] và f(x)= 1 nếu x >1.
Hàm lồi không suy ra hàm tựa lồi chặt, phản thí dụ y=const. Một câu hỏi khác là hàm tựa lồi chặt có suy ra tính lồi và lồi chặt không? Câu trả lời cũng phủ định cụ thể là căn bậc hai của x(

Không có nhận xét nào :