Mở trình đơn chính

Định nghĩaSửa đổi

Giả sử V là một không gian vector trên trường K.Tập con C của V được gọi là một nón lồi nếu và chỉ nếu αx + βy thuộc C, với mọi số vô hướngα, β thuộc trường K và với mọi x, y thuộc C.

Định nghĩa trên có thể viết gọn lại là αC + βC = C với mọi số vô hướngα, β thuộc trường K.

Khái niệm trên thực ra chỉ có ý nghĩa với không gian vector nào chấp nhận khái niệm số vô hướng dương, chẳng hạn như những không gian trên tập số hữu tỉ, đại số hay (thông dụng hơn) trên trường số thực

Theo định nghĩa nói trên thì tập rỗng, toàn bộ không gian V, không gian con tuyến tính của V (kể cả không gian con tầm thường {0}) đều là nón lồi. Các ví dụ khác về nón lồi: tập tất cả các vector sinh ra từ việc nhân một số dương tùy ý với một vector v cho trước của V, hay tập các vector thuộc V mà có tất cả các tọa độ đều dương.

Một ví dụ tổng quát hơn về nón lồi là tập các vector có dạng λx trong đó λ là một số vô hướng dương và x là một phần tử nằm trong một tập lồi con X của V. Đặc biệt, nếu Vkhông gian vector định chuẩn, và X là một quả cầu mở (hoặc đóng) của V mà không chứa vector 0, thì phép xây dựng nói trên tạo ra tập gọi là nón tròn lồi mở (hoặc đóng)

Nón lồi cũng kín đối với phép giao, nhưng điều này không chắc đúng đối với phép hợp. Nón lồi cũng kín đối với ánh xạ tuyến tính. Đặc biệt, nếu C là một nón lồi, phần nghịch của nó là -C cũng là nón lồi, và C (-C) là không gian vector con lớn nhất thuộc C.

Nón lồi cũng là nón tuyến tínhSửa đổi

Nếu C là nón lồi, khi đó với bất kỳ số vô hướng dương α và bất kỳ x thuộc C, ta có vector αx = (α/2)x + (α/2)x cũng thuộc C. (Điều này đúng ngay cả khi số vô hướng 2 = 1 + 1 đồng nhất bằng 0, vì trong trường hợp đó, chỉ có một số vô hướng dương duy nhất là 1.) Lý luận trên cho thấy nón lồi C là một trường hợp đặc biệt của nón tuyến tính.

Các định nghĩa khácSửa đổi

Cũng từ tính chất vừa nêu ở trên, ta có thể định nghĩa nón lồi theo cách như sau: nón lồi là nón tuyến tínhkín đối với phép tổ hợp lồi; hay chỉ cần kín với phép cộng. Một cách ngắn gọn, ta nói tập C là nón lồi nếu và chỉ nếu λC = CC + C = C với mọi số vô hướng dương α của V.

Cũng suy ra rằng người ta có thể thay phát biểu "các số vô hướng dương α, β" trong định nghĩa nón lồi bằng phát biểu "các số vô hướng không âm không đồng thời bằng zero α, β".

Nón tù và nón nhọnSửa đổi

Dựa vào định nghĩa ở trên, chúng ta suy ra rằng: nếu C là một nón lồi thì C >{0} và C {0} cũng là nón lồi. Một nón lồi được gọi là nhọn hay tùy thuộc vào việc nó có chứa vector 0 hay không. Thật ra với định nghĩa về nón lồi ở trên, nếu chúng ta thay điều kiện "dương" bằng điều kiện "không âm" của α, β thì ta đã loại trừ nón lồi bù trong phạm vi định nghĩa.

Nữa không gianSửa đổi

Nón lồi nhô và các nữa không gian hoàn hảoSửa đổi

Mặt cắt và hình chiếu của một tập lồiSửa đổi

Mặt cắt phẳngSửa đổi

Mặt cắt cầuSửa đổi

Luật sắp thứ tự từng phần dựa vào một nón lồiSửa đổi

Nón lồi đúngSửa đổi

Các ví dụ về nón lồiSửa đổi

Xem thêmSửa đổi

Tham khảoSửa đổi

David Luenberger; Yin-yu Ye. Linear and Non-linear Programming (ấn bản 4). Springer.