Xem mã nguồn của Bao lồi

[[Tập tin:Extreme points.svg|nhỏ|Bao lồi của tập hợp màu đỏ là [[tập lồi]] màu xanh và màu đỏ.]]
Trong [[hình học]], '''bao lồi''' của một hình là [[tập lồi|tập hợp lồi]] nhỏ nhất chứa hình đó. Bao lồi có thể được định nghĩa là giao của tất cả tập lồi chứa một tập con cho trước của một [[không gian Euclid]], hoặc là tập hợp gồm tất cả [[tổ hợp lồi]] của các điểm trong tập con đó. Đối với một tập con [[Tập bị chặn|bị chặn]] của mặt phẳng, bao lồi có thể được minh họa thành một hình bao bởi một [[dây đàn hồi]] kéo dãn xung quanh tập con đó.

Bao lồi của [[tập mở]] là bao lồi mở, và bao lồi của [[tập compact]] là bao lồi compact. Mỗi tập lồi compact đều là bao lồi của các [[điểm cực biên]] của nó. Toán tử bao lồi là một ví dụ về [[toán tử đóng]], và một [[antimatroid]] có thể được biểu diễn bằng cách áp dụng toán tử đóng này cho tập hợp hữu hạn các điểm. Các bài toán [[thuật toán]] về việc tìm bao lồi của một tập hợp hữu hạn các điểm trong mặt phẳng hoặc các không gian Euclid ít chiều khác và bài toán [[Đối ngẫu xạ ảnh|đối ngẫu]] về các [[nửa không gian]] giao nhau đều là những vấn đề cơ bản của [[hình học tính toán]]. Chúng có thể được giải trong thời gian <math>O(n\log n)</math> đối với tập hợp điểm hai chiều hoặc ba chiều, và trong thời gian bằng với độ phức tạp thời gian trong trường hợp tệ nhất được cho bởi [[định lý cận trên]] ở không gian nhiều chiều hơn.

Cùng với tập hợp điểm hữu hạn, bao lồi cũng đã được nghiên cứu đối với [[đa giác đơn]], [[chuyển động Brown]], [[Đường cong|đường cong ghềnh]] và [[Trên đồ thị (toán học)|trên đồ thị của hàm]]. Bao lồi được ứng dụng rộng rãi trong toán học, thống kê, tối ưu hóa tổ hợp, kinh tế, mô hình hóa hình học và tập tính học. Một số cấu trúc liên quan đến nó bao gồm [[bao lồi trực giao]], [[lớp lồi]], [[chỏm lồi]], [[tam giác đạc Delaunay]] và [[sơ đồ Voronoi]].

== Định nghĩa ==
[[Tập tin:ConvexHull.svg|nhỏ|Bao lồi của một tập phẳng bị chặn]]
Một tập hợp các điểm trên một [[không gian Euclid]] được gọi là [[tập lồi]] nếu nó chứa các đoạn thẳng nối từng cặp điểm của nó. Bao lồi của một tập <math>X</math> cho trước có thể được định nghĩa là{{sfnp|Rockafellar|1970|page=12}}

# Tập lồi nhỏ nhất chứa <math>X</math>
# Giao của tất cả các tập lồi chứa <math>X</math>
# Tập hợp tất cả [[tổ hợp lồi]] của các điểm trong <math>X</math>
# Hợp của tất cả [[đơn hình]] với các đỉnh thuộc <math>X</math>.

Với [[tập bị chặn]] trong mặt phẳng Euclid mà các điểm trong tập đó không tạo thành đường thẳng thì đường biên của bao lồi là [[Định lý đường cong Jordan|đường cong Jordan]] với [[chu vi]] nhỏ nhất chứa <math>X</math>. Có thể tưởng tượng rằng ta kéo dãn một [[dây đàn hồi]] để nó bao quanh toàn bộ tập <math>S</math> rồi thả dây ra để nó co lại đến mức tối đa; khi đó, dây bao lại tập lồi của <math>S</math>.<ref name="deBerg3">{{harvtxt|de Berg|van Kreveld|Overmars|Schwarzkopf|2008|p=3}}</ref> Cách hiểu này không thể mở rộng được ngay cho không gian nhiều chiều hơn: với một tập hợp hữu hạn các điểm trong không gian ba chiều, một lân cận của một [[cây bao trùm]] của các điểm này bao lại chúng với diện tích bề mặt nhỏ tùy ý và nhỏ hơn diện tích bề mặt của bao lồi.<ref>{{harvtxt|Williams|Rossignac|2005}}. Xem thêm Douglas Zare, trả lời trong [https://mathoverflow.net/questions/123901/the-perimeter-of-a-non-convex-set/166317#166317 "the perimeter of a non-convex set"] (chu vi của một tập không lồi), MathOverflow, ngày 16 tháng 5 năm 2014.</ref> Tuy nhiên, trong không gian nhiều chiều, một số dạng của [[bài toán vật cản]] về việc tìm một bề mặt năng lượng thấp nhất nằm trên một hình cho trước có thể có bao lồi là nghiệm của chúng.{{sfnp|Oberman|2007}}

Với các đối tượng trong không gian ba chiều, định nghĩa đầu tiên phát biểu rằng bao lồi là [[vùng giới hạn]] lồi nhỏ nhất của các đối tượng đó. Định nghĩa qua giao của các tập lồi có thể được mở rộng cho [[hình học phi Euclid]], và định nghĩa qua tổ hợp lồi có thể được mở rộng từ không gian Euclid sang [[không gian vectơ]] thực hoặc [[không gian afin]] bất kỳ; bao lồi cũng có thể được khái quát hóa theo một cách trừu tượng hơn sang [[matroid định hướng]].{{sfnp|Knuth|1992}}

=== Quan hệ giữa các định nghĩa ===
[[Tập tin:3D Convex Hull.tiff|nhỏ|Bao lồi 3D của một đám mây điểm gồm 120 điểm]]
Định nghĩa đầu tiên không hiển nhiên đúng: vì sao phải tồn tại một tập lồi nhỏ nhất chứa <math>X</math> với mọi <math>X</math>? Tuy nhiên, định nghĩa thứ hai (giao của tất cả các tập lồi chứa <math>X</math>) lại mang tính rạch ròi hơn. Theo đó, bao lồi là tập con của mỗi tập lồi <math>Y</math> khác <math>X</math> chứa <math>X</math>, vì <math>Y</math> có trong các tập được giao. Do đó, nó chính là tập lồi nhỏ nhất chứa <math>X</math>. Vì vậy, hai định nghĩa đầu tiên là tương đương nhau.{{sfnp|Rockafellar|1970|page=12}}

Mỗi tập lồi chứa <math>X</math> phải chứa tất cả tổ hợp lồi của các điểm trong <math>X</math> (theo giả thiết rằng nó là tập lồi), nên tập hợp tất cả các tổ hợp lồi này có trong giao của tất cả các tập lồi chứa <math>X</math>. Ngược lại, tập hợp tất cả các tổ hợp lồi cũng là một tập lồi chứa <math>X</math> nên nó cũng chứa giao của tất cả các tập lồi chứa <math>X</math>, và do đó định nghĩa thứ hai và thứ ba là hai định nghĩa tương đương.<ref name="rock12lay17">{{harvtxt|Rockafellar|1970|p=12}}; {{harvtxt|Lay|1982|p=17}}.</ref>

Thực tế, theo [[Định lý Carathéodory (bao lồi)|định lý Carathéodory]], nếu <math>X</math> là tập con của một không gian Euclid <math>d</math> chiều, mỗi tổ hợp lồi của một số hữu hạn các điểm trong <math>X</math> cũng là một tổ hợp lồi của nhiều nhất <math>d + 1</math> điểm trong <math>X</math>. Tập hợp các tổ hợp lồi của một bộ gồm <math>d + 1</math> điểm là một [[đơn hình]]; trong mặt phẳng nó là một [[tam giác]] và trong không gian ba chiều nó là một [[tứ diện]]. Vì vậy, mỗi tổ hợp lồi của các điểm trong <math>X</math> đều thuộc một đơn hình có các đỉnh thuộc <math>X</math>, nên định nghĩa thứ ba và thứ tư là hai định nghĩa tương đương.<ref name="rock12lay17" />

=== Bao trên và bao dưới ===
Ở hai chiều, bao lồi đôi khi được chia thành hai phần là bao trên và bao dưới, kéo dài giữa các điểm ngoài cùng bên trái và bên phải của bao đó. Tổng quát hơn, đối với bao lồi trong bất kỳ không gian nhiều chiều nào, có thể chia đường biên của bao đó thành các điểm mặt trên (những điểm mà theo đó một tia hướng lên không giao với bao), điểm mặt dưới và điểm cực biên. Với bao ba chiều, các phần mặt trên và mặt dưới của đường biên tạo thành những đĩa tôpô.<ref>{{harvtxt|de Berg|van Kreveld|Overmars|Schwarzkopf|2008}}, tr. 6. Ý tưởng chia bao thành hai phần đến từ một dạng hiệu quả của thuật toán [[quét Graham]] của {{harvtxt|Andrew|1979}}.</ref>

== Tính chất tôpô ==

=== Bao đóng và bao mở ===
''Bao lồi đóng'' của một tập hợp là [[tập đóng]] của bao lồi, và ''bao lồi mở'' là [[Phần trong (tô pô)|phần trong]] (hoặc, trong một số tài liệu, [[phần trong tương đối]]) của bao lồi.{{Sfnp|Sontag|1982}}

Bao lồi đóng của <math>X</math> là giao của tất cả các [[nửa không gian]] đóng chứa <math>X</math>. Nếu bao lồi của <math>X</math> đã là một [[tập đóng]] (xảy ra chẳng hạn khi <math>X</math> là một [[tập hữu hạn]] hoặc, tổng quát hơn, là một [[tập compact]]) thì nó bằng bao lồi đóng đó. Tuy nhiên, giao của các nửa không gian đóng là tập đóng, nên khi một bao lồi không phải là bao lồi đóng thì nó không thể biểu diễn được theo cách này.{{Sfnp|Rockafellar|1970|page=99}}

Nếu bao lồi mở của một tập hợp <math>X</math> là bao lồi <math>d</math> chiều thì mỗi điểm trong bao đó thuộc một bao lồi mở gồm nhiều nhất <math>2d</math> điểm thuộc tập <math>X</math>. Tập hợp các đỉnh của một [[hình vuông]], khối bát diện đều, hoặc [[đa diện chéo|khối đa diện chéo]] trong không gian nhiều chiều là những ví dụ về trường hợp cần đúng <math>2d</math> điểm.<ref>{{Harvard citation text|Steinitz|1914}}; {{Harvard citation text|Gustin|1947}}; {{Harvard citation text|Bárány|Katchalski|Pach|1982}}</ref>

=== Sự bảo toàn tính chất tôpô ===
[[Tập tin:Versiera007.svg|nhỏ|Đường cong phù thủy Agnesi, một ví dụ về tập đóng có bao lồi là mở (nửa không gian trên mở)]]
Về mặt tôpô, bao lồi của một [[tập mở]] luôn luôn là bao lồi mở, và bao lồi của một tập compact luôn luôn là bao lồi compact. Tuy nhiên, có một số tập đóng có bao lồi không phải là bao lồi đóng.<ref>{{Harvard citation text|Grünbaum|2003}}, tr. 16; {{Harvard citation text|Lay|1982}}, tr. 21; {{Harvard citation text|Sakuma|1977}}.</ref> Chẳng hạn, tập đóng

:<math>\left \{ (x, y)\mathop{\bigg|}y \geq \frac{1}{1 + x^2} \right \}</math>
(tập hợp các điểm thuộc hoặc nằm phía trên [[đường cong phù thủy Agnesi]]) có bao lồi là [[nửa mặt phẳng trên]] mở.<ref>Đây là ví dụ trong {{harvtxt|Talman|1977|loc=nhận xét 2.6}}.</ref>

Tính compact của bao lồi của tập compact trong không gian Euclid với số chiều hữu hạn được khái quát hóa bằng [[định lý Krein–Smulian]], theo đó bao lồi đóng của một tập con compact yếu trong một [[không gian Banach]] (một tập con có tính compact dưới dạng [[tôpô yếu]]) là bao lồi compact yếu.{{sfnp|Whitley|1986}}

===Điểm cực biên===
{{Chính|Định lý Krein–Milman}}
Một [[điểm cực biên]] của một tập lồi là một điểm trong tập hợp không nằm trên một đoạn thẳng giữa hai điểm khác trong cùng tập hợp đó. Đối với một bao lồi, mỗi điểm cực biên đều phải thuộc tập đã cho, vì ngược lại nó không thể tạo thành một tổ hợp lồi gồm các điểm đã cho. Theo [[định lý Krein–Milman]], mỗi tập lồi compact trong một không gian Euclid (hoặc, tổng quát hơn, trong một [[không gian vectơ tôpô lồi địa phương]]) là bao lồi của các điểm cực biên của nó.<ref>{{harvtxt|Krein|Milman|1940}}; {{harvtxt|Lay|1982|p=43}}</ref> Tuy nhiên, định lý này có thể không đúng đối với các tập lồi không compact; ví dụ, toàn bộ mặt phẳng Euclid và [[Quả cầu|quả cầu đơn vị mở]] đều có tính lồi, nhưng chúng không có điểm cực biên nào. [[Lý thuyết Choquet]] mở rộng định lý này từ tổ hợp lồi hữu hạn của các điểm cực biên sang tổ hợp vô hạn trong các không gian tổng quát hơn.{{sfnp|Okon|2000}}

==Tính chất hình học và đại số==

===Toán tử đóng===
Toán tử bao lồi có các tính chất đặc trưng của một [[toán tử đóng]]:{{sfnp|Kiselman|2002}}

* Bao lồi của một tập <math>X</math> bất kỳ là một tập cha của <math>X</math>.
* Với hai tập hợp <math>X</math> và <math>Y</math> sao cho <math>X \subseteq Y</math> thì bao lồi của <math>X</math> là tập con của bao lồi của <math>Y</math>.
* Với mọi tập hợp <math>X</math>, bao lồi của bao lồi của <math>X</math> bằng bao lồi của <math>X</math>.

Khi được áp dụng cho một tập hợp hữu hạn các điểm, đó chính là toán tử đóng của một [[antimatroid]], cụ thể là antimatroid bao của tập hợp đó. Mỗi antimatroid đều có thể được biểu diễn theo cách này bằng bao lồi của các điểm trong một không gian Euclid với số chiều đủ lớn.{{sfnp|Kashiwabara|Nakamura|Okamoto|2005}}

===Tổng Minkowski===
Các phép toán dựng bao lồi và tính [[tổng Minkowski]] giao hoán lẫn nhau vì tổng Minkowski của bao lồi của các tập hợp có cùng kết quả với bao lồi của tổng Minkowski của các tập hợp đó. Kết luận này là một bước để chứng minh [[Bổ đề Shapley–Folkman|định lý Shapley–Folkman]] giới hạn khoảng cách giữa một tổng Minkowski và bao lồi của nó.<ref>{{harvtxt|Krein|Šmulian|1940|loc=định lý 3|p=562–563}}; {{harvtxt|Schneider|1993}}, định lý 1.1.2 (tr. 2–3) và chương 3.</ref>

===Đối ngẫu xạ ảnh===
Phép [[đối ngẫu xạ ảnh]] để dựng bao lồi của một tập hợp hữu hạn các điểm chính là phép dựng giao của một họ gồm các nửa không gian đóng chứa điểm gốc (hoặc một điểm bất kỳ xác định).{{sfnp|de Berg|van Kreveld|Overmars|Schwarzkopf|2008|page=254}}

==Trường hợp đặc biệt==

===Tập hợp điểm hữu hạn===
{{Chính|Đa diện lồi}}
[[Tập tin:Convex hull.png|nhỏ|Bao lồi của các điểm trong mặt phẳng]]
Bao lồi của một tập hợp điểm hữu hạn <math>S \subset \R^d</math> tạo thành một [[đa giác lồi]] khi <math>d = 2</math>, hoặc tổng quát hơn là một [[đa diện lồi]] trong <math>\R^d</math>. Mỗi điểm cực biên của bao đó được gọi là [[Đỉnh (hình học)|đỉnh]], và (theo định lý Krein–Milman) mỗi đa diện lồi đều là bao lồi của các đỉnh của nó. Nó chính là đa diện lồi duy nhất có các đỉnh thuộc <math>S</math> và bao hết toàn bộ <math>S</math>.<ref name="deBerg3" /> Với tập hợp các điểm ở [[vị trí tổng quát]], bao lồi là một [[đa diện đơn hình]].{{sfnp|Grünbaum|2003|page=57}}

Theo [[định lý cận trên]], số mặt của bao lồi của <math>n</math> điểm trong không gian Euclid <math>d</math> chiều là <math>O(n^{\lfloor d/2 \rfloor})</math>.{{sfnp|de Berg|van Kreveld|Overmars|Schwarzkopf|2008|page=256}} Đặc biệt, ở hai chiều và ba chiều, số mặt lớn nhất của bao lồi tuyến tính theo <math>n</math>.{{sfnp|de Berg|van Kreveld|Overmars|Schwarzkopf|2008|page=245}}

===Đa giác đơn===
{{Chính|Bao lồi của một đa giác đơn}}
[[Tập tin:Convex hull of a simple polygon.svg|nhỏ|Bao lồi của một đa giác đơn]]
Bao lồi của một [[đa giác đơn]] bao quanh đa giác đã cho và được nó chia thành nhiều vùng, trong đó có một vùng là chính đa giác đó. Các vùng còn lại, giới hạn bởi một [[chuỗi đa giác]] của đa giác và một cạnh của bao lồi, được gọi là ''rãnh'' (pocket). Thực hiện lặp lại phân tích này với mỗi rãnh một cách đệ quy thì một biểu diễn phân cấp của đa giác đã cho được tạo thành và được gọi là ''cây sai phân lồi'' (convex differences tree) của đa giác đó.{{sfnp|Rappoport|1992}} Chiếu lại một rãnh qua cạnh bao lồi của nó làm mở rộng đa giác đơn này thành một đa giác mới với chu vi không đổi và diện tích lớn hơn, và [[định lý Erdős–Nagy]] phát biểu rằng quá trình mở rộng này sẽ chấm dứt sau một số hữu hạn bước.{{sfnp|Demaine|Gassend|O'Rourke|Toussaint|2008}}

===Chuyển động Brown===
Đường cong do [[chuyển động Brown]] tạo ra trong mặt phẳng, tại bất kỳ thời điểm cố định nào, có xác suất là 1 để có bao lồi mà đường biên tạo thành một [[đường cong khả vi liên tục]]. Tuy nhiên, với một góc <math>\phi</math> thỏa mãn <math>\pi / 2 < \phi < \pi</math>, sẽ có những thời điểm trong chuyển động Brown mà trong đó một chất điểm chạm vào đường biên của bao lồi tại một đỉnh của góc <math>\phi</math>. [[Số chiều Hausdorff]] của tập hợp những thời điểm đặc biệt như thế là <math>1 - \pi /2 \phi</math> (với xác suất cao).{{sfnp|Cranston|Hsu|March|1989}}

===Đường cong trong không gian===
[[Tập tin:Oloid structure.svg|thế=|nhỏ|Oloid, bao lồi của hai đường tròn trong không gian 3D]]
Đối với bao lồi của một [[Đường cong không gian|đường cong trong không gian]] hoặc một tập hợp hữu hạn các đường cong không gian ở vị trí tổng quát trong không gian ba chiều, các phần của đường biên cách ra khỏi những đường cong này là các bề mặt [[Bề mặt xiên|xiên]] và [[Bề mặt khai triển được|khai triển được]].{{sfnp|Sedykh|1981}} Một số ví dụ bao gồm [[oloid]], bao lồi của hai đường tròn trong các mặt phẳng vuông góc, trong đó mỗi đường tròn đều đi qua tâm của đường tròn còn lại;{{sfnp|Dirnböck|Stachel|1997}} [[sphericon]], bao lồi của hai nửa đường tròn đồng tâm trong các mặt phẳng vuông góc; và D-form, các hình lồi có được từ [[định lý Alexandrov]] đối với một mặt phẳng được tạo thành bằng cách dán hai tập lồi phẳng cùng chu vi lại với nhau.{{sfnp|Seaton|2017}}

===Hàm toán học===
{{Chính|Bao lồi dưới}}
Bao lồi hoặc [[bao lồi dưới]] của một hàm <math>f</math> trong một không gian vectơ thực là hàm có [[Trên đồ thị (toán học)|trên đồ thị]] là bao lồi dưới của trên đồ thị của <math>f</math>. Nó là [[hàm lồi]] cực đại duy nhất bị chặn trên bởi <math>f</math>.{{sfnp|Rockafellar|1970|page=36}} Định nghĩa này có thể được mở rộng cho bao lồi của một tập hợp các hàm (có được từ bao lồi của hợp của các trên đồ thị, hoặc từ giá trị nhỏ nhất theo từng điểm của chúng) và, ở dạng này, có tính đối ngẫu với phép toán [[liên hợp lồi]].{{sfnp|Rockafellar|1970|page=149}}

==Tính toán==
{{Chính|Thuật toán bao lồi}}
Trong [[hình học tính toán]], có một số thuật toán để tính bao lồi của một tập hợp hữu hạn các điểm và các đối tượng hình học khác. Ở đây "tính bao lồi" có nghĩa là xây dựng một [[cấu trúc dữ liệu]] rõ ràng và hiệu quả để biểu diễn hình lồi cần tìm. Các dạng biểu diễn đầu ra đã được xét đối với bao lồi của tập hợp điểm bao gồm một hệ [[bất phương trình bậc nhất]] mô tả các [[Mặt (hình học)|mặt]] của bao, một [[Đồ thị (lý thuyết đồ thị)#Đồ thị vô hướng|đồ thị vô hướng]] của các mặt đó (kể cả các mặt liền kề), hoặc toàn bộ [[dàn]] mặt của bao đó.{{sfnp|Avis|Bremner|Seidel|1997}} Ở hai chiều, có một cách đơn giản hơn là liệt kê các điểm là đỉnh trong [[cấp cyclic]] của chúng quanh bao này.<ref name="deBerg3" />

Với bao lồi hai chiều hoặc ba chiều, độ phức tạp tính toán của các thuật toán tương ứng thường được đo theo số điểm đầu vào <math>n</math> và số điểm trong bao lồi <math>h</math>, có thể nhỏ hơn đáng kể so với <math>n</math>. Đối với bao trong không gian nhiều chiều thì số mặt của các chiều khác cũng có thể được quan tâm khi phân tích thuật toán. [[Quét Graham]] có thể tính bao lồi của <math>n</math> điểm trong mặt phẳng trong thời gian <math>O (n \log n)</math>. Với các điểm ở hai và ba chiều, có một số [[thuật toán nhạy cảm đầu ra]] phức tạp hơn có thể tính được bao lồi trong thời gian <math>O (n \log h)</math>, trong đó có [[thuật toán Chan]] và [[thuật toán Kirkpatrick–Seidel]].{{sfnp|de Berg|van Kreveld|Overmars|Schwarzkopf|2008|page=13}} Với số chiều <math>d > 3</math>, thời gian để tính bao lồi là <math>O (n^{\lfloor d/2 \rfloor})</math>, bằng với độ phức tạp đầu ra trong trường hợp tệ nhất của bài toán.<ref>{{harvtxt|Chazelle|1993}}; {{harvtxt|de Berg|van Kreveld|Overmars|Schwarzkopf|2008|p=256}}</ref> Bao lồi của một đa giác đơn trong mặt phẳng có thể được dựng trong [[Độ phức tạp thời gian|thời gian tuyến tính]].<ref>{{harvtxt|McCallum|Avis|1979}}; {{harvtxt|Graham|Yao|1983}}; {{harvtxt|Lee|1983}}.</ref>

Các cấu trúc dữ liệu [[bao lồi động]] có thể được dùng để theo dõi bao lồi của một tập hợp điểm khi thêm vào hoặc xóa đi các điểm trong tập hợp,{{sfnp|Chan|2012}} và các cấu trúc [[bao lồi điểm chuyển động]] có thể giúp theo dõi bao lồi đối với các điểm chuyển động liên tục.{{sfnp|Basch|Guibas|Hershberger|1999}} Dựng bao lồi cũng là công cụ cho một số thuật toán hình học tính toán khác, chẳng hạn như thuật toán [[thước cặp quay]] dùng để tính [[chiều dài]] và [[đường kính]] của một tập hợp điểm.{{sfnp|Toussaint|1983}}

==Các cấu trúc liên quan==
{{Nhiều hình
| align = 
| direction = 
| total_width = 450
| image1 = Orthogonal-convex-hull.svg
| caption1 = Bao lồi trực giao
| image2 = Relative convex hull.svg
| caption2 = Bao lồi tương đối
}}
Một số hình khác có thể được xác định từ một tập hợp các điểm theo cách tương tự như với bao lồi, có thể là tập cha nhỏ nhất với tính chất nhất định, là giao của tất cả các hình chứa các điểm đó từ một họ các hình cho trước, hoặc là hợp của tất cả tổ hợp của các điểm với dạng nhất định. Ví dụ:

* [[Bao afin]] là không gian con afin nhỏ nhất của một không gian Euclid chứa một tập hợp cho trước, hoặc là hợp của tất cả tổ hợp afin của các điểm trong tập hợp đó.<ref name="Westermann">{{harvtxt|Westermann|1976}}.</ref>
* [[Bao tuyến tính]] là không gian con tuyến tính nhỏ nhất của một không gian vectơ chứa một tập hợp cho trước, hoặc là hợp của tất cả tổ hợp tuyến tính của các điểm trong tập hợp đó.<ref name="Westermann" />
* [[Bao conic]] hoặc bao dương của một tập con của một không gian vectơ là tập hợp tất cả tổ hợp dương của các điểm trong tập con đó.<ref name="Westermann" />
* [[Bao trực quan]] của một đối tượng ba chiều, đối với một tập hợp điểm nhìn, chứa các điểm <math>p</math> sao cho mỗi tia từ một điểm nhìn đi qua <math>p</math> đều cắt đối tượng đó. Một cách tương đương, nó là giao của các mặt nón (không lồi) được tạo bởi các đường biên của đối tượng đối với mỗi điểm nhìn. Trong [[tái cấu trúc 3D]], nó là hình lớn nhất có thể có các đường biên giống nhau từ các điểm nhìn cho trước.{{sfnp|Laurentini|1994}}
* Bao tròn hoặc bao alpha của một tập con của mặt phẳng là giao của tất cả các đĩa với bán kính cho trước là <math>1/ \alpha</math> chứa tập con đó.<ref name="Edelsbrunner">{{harvtxt|Edelsbrunner|Kirkpatrick|Seidel|1983}}</ref>
* [[Bao lồi tương đối]] của một tập con của một [[đa giác đơn]] hai chiều là giao của tất cả các tập cha lồi tương đối, trong đó một tập hợp nằm trong đa giác đó là tập lồi tương đối nếu nó chứa [[đường trắc địa]] giữa hai điểm bất kỳ của nó.{{sfnp|Toussaint|1986}}
* [[Bao lồi trực giao]] là giao của tất cả các tập cha lồi trực giao được nối lại với nhau, trong đó một tập hợp được gọi là tập lồi trực giao nếu nó chứa tất cả các đoạn thẳng song song với trục tọa độ nối từng cặp điểm có trong nó.{{sfnp|Ottmann|Soisalon-Soininen|Wood|1984}}
* Bao lồi trực giao là một trường hợp đặc biệt của một dạng cấu trúc tổng quát hơn, [[bao siêu lồi]], vốn có thể được xem là [[không gian mêtric đơn ánh]] nhỏ nhất chứa các điểm của một [[không gian mêtric]] cho trước.{{sfnp|Herrlich|1992}}
* [[Bao lồi chỉnh hình]] là một dạng khái quát hóa của các khái niệm tương tự sang [[Đa tạp phức|đa tạp giải tích phức]], có được do nó là giao của các tập mức con của các [[hàm chỉnh hình]] chứa một tập hợp cho trước.{{sfnp|Rossi|1961}}

[[Tam giác đạc Delaunay]] của một tập hợp điểm và dạng [[Đối ngẫu (toán học)|đối ngẫu]] của nó, [[sơ đồ Voronoi]], đều có liên quan đến bao lồi: tam giác đạc Delaunay của một tập hợp điểm trên <math>\R^n</math> có thể được xem là hình chiếu của một bao lồi trên <math>\R^{n+1}</math>.{{sfnp|Brown|1979}} Các [[hình alpha]] của một tập hợp điểm hữu hạn cho một họ gồm các đối tượng hình học (không lồi) lồng nhau mô tả hình dạng của một tập hợp điểm tại các cấp độ chi tiết khác nhau. Mỗi hình alpha đều là hợp của một số điểm trong tam giác đạc Delaunay, được chọn bằng cách so sánh [[Đường tròn ngoại tiếp|bán kính đường tròn ngoại tiếp]] của chúng với tham số alpha. Chính tập hợp điểm đó tạo thành một điểm cuối của họ các hình đó, và bao lồi của nó tạo thành điểm cuối còn lại.<ref name="Edelsbrunner" /> [[Lớp lồi]] của một tập hợp điểm là một họ gồm đa giác lồi lồng nhau, trong đó đa giác ngoài cùng là bao lồi, với các lớp bên trong được dựng một cách đệ quy từ các điểm không phải là đỉnh của bao lồi đó.{{sfnp|Chazelle|1985}}

[[Chỏm lồi]] của một đa giác là đa giác lồi lớn nhất được chứa trong nó. Nó có thể được tìm trong [[Độ phức tạp thời gian|thời gian đa thức]], nhưng số mũ của thuật toán rất cao.{{sfnp|Chang|Yap|1986}}

==Ứng dụng==
Bao lồi được ứng dụng rộng rãi trong nhiều lĩnh vực. Trong toán học, bao lồi được dùng để nghiên cứu [[đa thức]], [[giá trị riêng]] của ma trận, [[phần tử đơn nguyên đơn vị]] và một số định lý liên quan đến bao lồi trong [[hình học rời rạc]]. Trong [[thống kê chuẩn mạnh]], bao lồi là đường viền ngoài cùng của [[độ sâu Tukey]], là một phần quan trọng của [[bagplot]] minh họa dữ liệu hai chiều, và được dùng để xác định tập nguy cơ của các [[quy tắc ra quyết định ngẫu nhiên]]. Bao lồi của [[vectơ chỉ thị]] của nghiệm cho các bài toán tổ hợp là nội dung trọng tâm trong [[tối ưu hóa tổ hợp]] và [[tổ hợp đa diện]]. Trong kinh tế học, bao lồi có thể được dùng để áp dụng các phương pháp về [[tính lồi trong kinh tế]] cho các thị trường không lồi. Trong mô hình hóa hình học, đặc tính bao lồi [[đường cong Bézier]] hỗ trợ tìm các giao điểm của chúng, và bao lồi là một phần không thể thiếu trong việc đo thân tàu. Và trong nghiên cứu về tập tính của động vật, bao lồi xuất hiện trong một định nghĩa thường dùng về [[phạm vi chỗ ở]].

===Toán học===
[[Tập tin:Tverberg heptagon.svg|nhỏ|Phân hoạch của bảy điểm thành ba tập con với bao lồi giao nhau, luôn luôn tồn tại với bảy điểm bất kỳ trong mặt phẳng theo [[định lý Tverberg]]]]
[[Đa giác Newton]] của [[đa thức]] đơn biến và [[đa diện Newton]] của đa thức đa biến là bao lồi của các điểm được suy ra từ số mũ của các hạng tử trong đa thức, và có thể được dùng để phân tích tính [[tiệm cận (giải tích)|tiệm cận]] của đa thức và giá trị của nghiệm của đa thức đó.<ref>{{harvtxt|Artin|1967}}; {{harvtxt|Gel'fand|Kapranov|Zelevinsky|1994}}</ref> Bao lồi và đa thức cũng có liên hệ với nhau trong [[định lý Gauss–Lucas]], theo đó mọi [[Không điểm của hàm số|nghiệm]] của [[đạo hàm]] của một đa thức đều nằm trong bao lồi của các nghiệm của đa thức đó.{{sfnp|Prasolov|2004}}

Trong [[lý thuyết phổ]], [[miền số]] của một [[ma trận chuẩn tắc]] là bao lồi của các [[giá trị riêng]] của nó.{{sfnp|Johnson|1976}} [[Định lý Russo–Dye]] mô tả bao lồi của các [[phần tử đơn nguyên đơn vị]] trong một [[C*-đại số]].{{sfnp|Gardner|1984}} Trong [[hình học rời rạc]], [[định lý Radon]] và [[định lý Tverberg]] có liên quan đến sự tồn tại phân hoạch của các tập hợp điểm thành các tập con với bao lồi giao nhau.{{sfnp|Reay|1979}}

Định nghĩa tập lồi là tập hợp chứa tất cả các đoạn thẳng nối các điểm của nó và bao lồi là giao của tất cả các tập cha lồi đều áp dụng được cho [[không gian hyperbol]] và không gian Euclid. Tuy nhiên, trong không gian hyperbol, còn có thể xét đến bao lồi của tập hợp [[điểm lý tưởng]] gồm những điểm không thuộc chính không gian hyperbol mà chỉ nằm trong đường biên của một mô hình không gian đó. Đường biên của bao lồi của các điểm lý tưởng của không gian hyperbol ba chiều là tương tự với [[bề mặt xiên]] trong không gian Euclid, và các tính chất mêtric của chúng đóng vai trò quan trọng trong [[giả thuyết hình học hóa]] trong [[tôpô ít chiều]].{{sfnp|Epstein|Marden|1987}} Bao lồi hyperbol cũng được dùng khi tính [[tam giác đạc]] [[Dạng chính tắc|chính tắc]] của [[đa tạp hyperbol]], hay xác định xem hai [[Nút thắt (toán học)|nút thắt]] có bằng nhau hay không.{{sfnp|Weeks|1993}}

Xem thêm mục [[Bao lồi#Chuyển động Brown|chuyển động Brown]] về ứng dụng của bao lồi trong [[chuyển động Brown]], và mục [[Bao lồi#Đường cong trong không gian|đường cong không gian]] về ứng dụng của bao lồi trong lý thuyết về [[bề mặt khai triển được]].

===Thống kê===
[[Tập tin:Bagplot.png|nhỏ|Một bagplot. Vùng được tô màu nhạt ở ngoài cùng là bao lồi, và vùng được tô màu đậm hơn ở bên trong là hình bao với độ sâu Tukey là 50%.]]
Trong [[thống kê chuẩn mạnh]], bao lồi là một trong những thành phần chủ chốt của một [[bagplot]], một phương pháp để minh họa phân bố của các điểm mẫu hai chiều. Các hình bao của [[độ sâu Tukey]] tạo thành một họ tập lồi lồng nhau với bao lồi nằm ngoài cùng, và bagplot cũng hiển thị một đa giác khác có hình bao với độ sâu 50% từ họ lồng nhau đó.{{sfnp|Rousseeuw|Ruts|Tukey|1999}}

Trong [[lý thuyết quyết định]] thống kê, tập nguy cơ của một [[quy tắc ra quyết định ngẫu nhiên]] là bao lồi của các điểm nguy cơ của các quy tắc ra quyết định tất định nằm dưới nó.{{sfnp|Harris|1971}}

===Tối ưu hóa tổ hợp===
Đối tượng nghiên cứu trọng tâm trong [[tối ưu hóa tổ hợp]] và [[tổ hợp đa diện]] là bao lồi của [[vectơ chỉ thị]] của nghiệm cho một bài toán tổ hợp. Nếu mặt của các đa diện đó có thể tìm được, mô tả đa diện là giao của các nửa không gian, thì các thuật toán dựa trên [[quy hoạch tuyến tính]] có thể được dùng để tìm nghiệm tối ưu.<ref>{{harvtxt|Pulleyblank|1983}}; đặc biệt xem phần nhận xét ngay sau định lý 2.9.</ref> Bao lồi của các vectơ trọng số của các nghiệm đó, một dạng khác của bao lồi, cũng được dùng trong [[tối ưu hóa đa mục tiêu]]. Ta có thể cực đại hóa bất kỳ [[Hàm tựa lồi|tổ hợp tựa lồi]] của các trọng số bằng cách tìm và kiểm tra từng đỉnh của bao lồi, hiệu quả hơn nhiều so với khi kiểm tra tất cả các nghiệm có thể có.{{sfnp|Katoh|1992}}

===Kinh tế===
Trong [[mô hình Arrow–Debreu]] của [[Lý thuyết cân bằng tổng thể|cân bằng kinh tế tổng thể]], đại diện kinh tế được giả thiết là có [[tập ngân sách]] lồi và [[ưa thích lồi]]. Các giả thiết này của [[tính lồi trong kinh tế]] có thể được dùng để chứng minh sự tồn tại của một cân bằng như thế. Khi dữ liệu kinh tế trong thực tế là [[Phi lồi (kinh tế)|phi lồi]] thì có thể chuyển dữ liệu này sang trạng thái lồi bằng cách lấy bao lồi của nó. Định lý Shapley–Folkman có thể được áp dụng để chứng minh rằng với các thị trường lớn thì phép xấp xỉ này là chính xác và dẫn đến một "tựa cân bằng" đối với thị trường phi lồi ban đầu.<ref>{{harvtxt|Nicola|2000}}; đặc biệt xem mục 16.9, "Non Convexity and Approximate Equilibrium", tr. 209–210.</ref>

===Mô hình hóa hình học===
Trong [[mô hình hóa hình học]], một trong những tính chất then chốt của [[đường cong Bézier]] là nó nằm trong bao lồi của các điểm kiểm soát của nó. Cái gọi là "đặc tính bao lồi" này có thể được áp dụng để nhanh chóng tìm ra giao điểm của các đường cong như vậy chẳng hạn.{{sfnp|Chen|Wang|2003}}

Trong thiết kế tàu thuyền, [[chu vi xích thân tàu]] (chain girth) là một độ đo kích thước của một [[Thuyền buồm|tàu buồm]], được xác định bằng bao lồi của mặt cắt ngang thân tàu. Nó khác với [[chu vi mặt ngoài thân tàu]] (skin girth) là chu vi của chính mặt cắt đó ngoại trừ đối với tàu thuyền có bao lồi.{{sfnp|Mason|1908}}

===Tập tính học===
Bao lồi thường được xem là đa giác lồi nhỏ nhất trong [[tập tính học]], một lĩnh vực nghiên cứu hành vi của động vật, ở đó nó là cách tiếp cận cổ điển để ước lượng [[phạm vi chỗ ở]] của một loài động vật dựa vào các điểm mà loài động vật đó được quan trắc.<ref>{{harvtxt|Kernohan|Gitzen|Millspaugh|2001|p=137–140}}; {{harvtxt|Nilsen|Pedersen|Linnell|2008}}.</ref> Các [[điểm ngoại lai]] có thể làm kích thước của đa giác đó tăng một cách quá mức; một hướng tiếp cận khác để hạn chế tình trạng này là chỉ ước lượng dựa trên tập con của các điểm quan trắc, chẳng hạn như chọn một trong các lớp lồi sát với một tỉ lệ mật độ điểm dữ liệu làm mẫu,{{sfnp|Worton|1995}} hoặc áp dụng phương pháp [[bao lồi địa phương]] bằng cách hợp bao lồi của [[Giải thuật k hàng xóm gần nhất|láng giềng]] của các điểm.{{sfnp|Getz|Wilmers|2004}}

===Vật lý lượng tử===
Trong [[vật lý lượng tử]], [[không gian trạng thái]] của một hệ thống lượng tử — tập hợp tất cả các cách hệ thống có thể được thiết lập — là một bao lồi có điểm cực biên là các [[toán tử nửa xác định dương]] gọi là trạng thái thuần và các điểm ở phía trong gọi là trạng thái hỗn hợp.{{sfnp|Rieffel|Polak|2011}} [[Định lý Schrödinger–HJW]] chứng minh rằng một trạng thái hỗn hợp bất kỳ có thể được viết thành tổ hợp lồi của các trạng thái thuần theo nhiều cách khác nhau.{{sfnp|Kirkpatrick|2006}}

=== Nhiệt động lực học ===
[[Tập tin:Mg–C convex hull.png|nhỏ|Bao lồi của các hợp chất [[magnesi]]–[[carbon]].{{sfnp|Kim|Kim|Koo|Lee|Il Min|Kim|2019}} Trong ví dụ này Mg<sub>2</sub>C<sub>3</sub> được dự đoán là không bền do nó nằm ở phía trên bao đó.]]
Một bao lồi trong [[nhiệt động lực học]] đã được [[Josiah Willard Gibbs]] xác định trong bài báo năm 1873,{{sfnp|Gibbs|1873}} dù nó được xuất bản từ trước khi thuật ngữ "bao lồi" có tên gọi như hiện tại. Trong một tập hợp các mức năng lượng của các [[hệ số tỷ lượng]] đối với một vật liệu, chỉ có mức năng lượng với những giá trị đo nằm ở bao lồi dưới mới bền vững. Khi loại đi một điểm thì khoảng cách của nó tới bao này chỉ độ bền của trạng thái đó.<ref>{{harvtxt|Hautier|2014}}, đặc biệt xem [https://books.google.com/books?id=9nu5BQAAQBAJ&dq=convex+hull+phase&pg=PA143 tr. 143]; {{harvtxt|Fultz|2020}}</ref>

==Lịch sử==
Bao lồi của các điểm trong mặt phẳng xuất hiện lần đầu tiên dưới dạng đa giác Newton trong thư của [[Isaac Newton]] gửi [[Henry Oldenburg]] vào năm 1676.<ref>{{harvtxt|Newton|1676}}; xem {{harvtxt|Auel|2019|p=336}} và {{harvtxt|Escobar|Kaveh|2020}}.</ref> Thuật ngữ ''convex hull'' trong [[tiếng Anh]] xuất hiện sớm nhất từ công trình của {{harvs|txt|authorlink=Garrett Birkhoff|first=Garrett|last=Birkhoff|year=1935}}, và cụm từ tương ứng trong [[tiếng Đức]] xuất hiện sớm hơn, chẳng hạn như trong bình duyệt về {{harvs|txt|authorlink=Dénes Kőnig|last=Kőnig|year=1922}} của [[Hans Rademacher]]. Một số thuật ngữ khác như ''convex envelope'' cũng được sử dụng trong khoảng thời gian này.<ref>Chẳng hạn xem {{harvtxt|White|1923|p=520}}.</ref> Đến năm 1938, theo [[Lloyd Dines]], từ ''convex hull'' đã trở thành tiêu chuẩn, và Dines thêm rằng ông thấy đó là điều đáng tiếc, vì nghĩa thông tục của từ ''hull'' có thể được hiểu rằng nó chỉ bề mặt của một hình, trong khi bao lồi thực tế còn chứa thêm cả phần bên trong chứ không chỉ có phần bề mặt đó.{{sfnp|Dines|1938}}

==Chú thích==
{{Tham khảo|30em}}

==Tham khảo==
{{refbegin|30em}}
*{{citation
 | last = Andrew | first = A. M.
 | doi = 10.1016/0020-0190(79)90072-3
 | issue = 5
 | journal = Information Processing Letters
 | pages = 216–219
 | title = Another efficient algorithm for convex hulls in two dimensions
 | volume = 9
 | year = 1979}}
*{{citation
 | last = Artin
 | first = Emil
 | author-link = Emil Artin
 | contribution = 2.5. Newton's Polygon
 | contribution-url = https://books.google.com/books?id=VixOGTdZaCQC&pg=PA37
 | mr = 0237460
 | pages = 37–43
 | publisher = Gordon and Breach
 | title = Algebraic Numbers and Algebraic Functions
 | year = 1967
 }}
*{{citation
 | last = Auel
 | first = Asher
 | issue = 3
 | journal = Notices of the American Mathematical Society
 | mr = 3889348
 | pages = 330–340
 | title = The mathematics of Grace Murray Hopper
 | url = https://www.ams.org/journals/notices/201903/rnoti-p330.pdf
 | volume = 66
 | year = 2019
 | doi = 10.1090/noti1810
 | s2cid = 76650751
 }}
*{{citation
 | last1 = Avis | first1 = David
 | last2 = Bremner | first2 = David
 | last3 = Seidel | first3 = Raimund
 | doi = 10.1016/S0925-7721(96)00023-5
 | issue = 5–6
 | journal = Computational Geometry
 | mr = 1447243
 | pages = 265–301
 | title = How good are convex hull algorithms?
 | volume = 7
 | year = 1997}}
*{{citation
 | last1 = Bárány | first1 = Imre
 | last2 = Katchalski | first2 = Meir
 | last3 = Pach | first3 = János
 | doi = 10.1090/S0002-9939-1982-0663877-X | doi-access = free
 | issue = 1
 | journal = Proceedings of the American Mathematical Society
 | mr = 663877
 | pages = 109–114
 | title = Quantitative Helly-type theorems
 | volume = 86
 | year = 1982
 | jstor = 2044407}}
*{{citation
 | last1 = Basch | first1 = Julien
 | last2 = Guibas | first2 = Leonidas J.
 | last3 = Hershberger | first3 = John
 | citeseerx = 10.1.1.134.6921
 | doi = 10.1006/jagm.1998.0988
 | issue = 1
 | journal = Journal of Algorithms
 | mr = 1670903
 | pages = 1–28
 | title = Data structures for mobile data
 | volume = 31
 | year = 1999}}
*{{citation
 | last = Birkhoff | first = Garrett
 | doi = 10.2307/1989687
 | issue = 2
 | journal = Transactions of the American Mathematical Society
 | mr = 1501815
 | pages = 357–378
 | title = Integration of functions with values in a Banach space
 | volume = 38
 | year = 1935| jstor = 1989687 }}
*{{citation
 | last = Brown | first = K. Q.
 | doi = 10.1016/0020-0190(79)90074-7
 | issue = 5
 | journal = Information Processing Letters
 | pages = 223–228
 | title = Voronoi diagrams from convex hulls
 | volume = 9
 | year = 1979}}
*{{citation
 | last1 = de Berg | first1 = M.
 | last2 = van Kreveld | first2 = M.
 | last3 = Overmars | first3 = Mark
 | last4 = Schwarzkopf | first4 = O.
 | edition = 3rd
 | publisher = Springer
 | title = Computational Geometry: Algorithms and Applications
 | year = 2008
 | isbn = 978-3-642-09681-5}}
*{{citation
 | last = Chan | first = Timothy M.
 | doi = 10.1142/S0218195912600096
 | issue = 4
 | journal = International Journal of Computational Geometry and Applications
 | mr = 2994585
 | pages = 341–364
 | title = Three problems about dynamic convex hulls
 | volume = 22
 | year = 2012}}
*{{citation
 | last1 = Chang | first1 = J. S.
 | last2 = Yap | first2 = C.-K.
 | doi = 10.1007/BF02187692
 | issue = 2
 | journal = Discrete & Computational Geometry
 | mr = 834056
 | pages = 155–182
 | title = A polynomial solution for the potato-peeling problem
 | volume = 1
 | year = 1986| doi-access = free
 }}
*{{citation
 | last = Chazelle | first = Bernard
 | doi = 10.1109/TIT.1985.1057060
 | issue = 4
 | journal = IEEE Transactions on Information Theory
 | mr = 798557
 | pages = 509–517
 | title = On the convex layers of a planar set
 | volume = 31
 | year = 1985}}
*{{citation
 | last = Chazelle
 | first = Bernard
 | citeseerx = 10.1.1.113.8709
 | doi = 10.1007/BF02573985
 | issue = 1
 | journal = Discrete & Computational Geometry
 | pages = 377–409
 | title = An optimal convex hull algorithm in any fixed dimension
 | url = https://www.cs.princeton.edu/~chazelle/pubs/ConvexHullAlgorithm.pdf
 | volume = 10
 | year = 1993
 | s2cid = 26605267
 }}
*{{citation
 | last1 = Chen | first1 = Qinyu
 | last2 = Wang | first2 = Guozhao
 | date = March 2003
 | doi = 10.1016/s0167-8396(03)00003-7
 | issue = 1
 | journal = Computer Aided Geometric Design
 | pages = 29–39
 | title = A class of Bézier-like curves
 | volume = 20}}
*{{citation
 | last1 = Cranston | first1 = M.
 | last2 = Hsu | first2 = P.
 | last3 = March | first3 = P.
 | issue = 1
 | journal = Annals of Probability
 | jstor = 2244202
 | mr = 972777
 | pages = 144–150
 | title = Smoothness of the convex hull of planar Brownian motion
 | volume = 17
 | year = 1989| doi = 10.1214/aop/1176991500
 }}
*{{citation
 | last1 = Demaine | first1 = Erik D.
 | last2 = Gassend | first2 = Blaise
 | last3 = O'Rourke | first3 = Joseph
 | last4 = Toussaint | first4 = Godfried T.
 | contribution = All polygons flip finitely ... right?
 | doi = 10.1090/conm/453/08801
 | location = Providence, Rhode Island
 | mr = 2405683
 | pages = 231–255
 | publisher = American Mathematical Society
 | series = Contemporary Mathematics
 | title = Surveys on Discrete and Computational Geometry
 | volume = 453
 | year = 2008}}
*{{citation
 | last = Dines | first = L. L.
 | doi = 10.2307/2302604
 | issue = 4
 | journal = [[American Mathematical Monthly]]
 | jstor = 2302604
 | mr = 1524247
 | pages = 199–209
 | title = On convexity
 | volume = 45
 | year = 1938}}
*{{citation
 | last1 = Dirnböck
 | first1 = Hans
 | last2 = Stachel
 | first2 = Hellmuth
 | issue = 2
 | journal = Journal for Geometry and Graphics
 | mr = 1622664
 | pages = 105–118
 | title = The development of the oloid
 | url = http://www.heldermann-verlag.de/jgg/jgg01_05/jgg0113.pdf
 | volume = 1
 | year = 1997
 }}
*{{citation
 | last1 = Edelsbrunner | first1 = Herbert
 | last2 = Kirkpatrick | first2 = David G.
 | last3 = Seidel | first3 = Raimund
 | doi = 10.1109/TIT.1983.1056714
 | issue = 4
 | journal = IEEE Transactions on Information Theory
 | pages = 551–559
 | title = On the shape of a set of points in the plane
 | volume = 29
 | year = 1983}}
*{{citation
 | last1 = Epstein | first1 = D. B. A.
 | last2 = Marden | first2 = A.
 | editor-last = Epstein | editor-first = D. B. A.
 | contribution = Convex hulls in hyperbolic space, a theorem of Sullivan, and measured pleated surfaces
 | mr = 903852
 | pages = 113–253
 | publisher = Cambridge University Press | location = Cambridge
 | series = London Mathematical Society Lecture Note Series
 | title = Analytical and geometric aspects of hyperbolic space (Coventry/Durham, 1984)
 | volume = 111
 | year = 1987}}
*{{citation
 | last1 = Escobar
 | first1 = Laura
 | last2 = Kaveh
 | first2 = Kiumars
 | date = September 2020
 | issue = 8
 | journal = Notices of the American Mathematical Society
 | pages = 1116–1123
 | title = Convex polytopes, algebraic geometry, and combinatorics
 | url = https://www.ams.org/journals/notices/202008/rnoti-p1116.pdf
 | volume = 67
 | doi = 10.1090/noti2137
 | s2cid = 221659506
 }}
*{{citation
 | last = Fultz
 | first = Brent
 | date = April 2020
 | doi = 10.1017/9781108641449
 | page = 55
 | publisher = Cambridge University Press
 | title = Phase Transitions in Materials
 | url = https://books.google.com/books?id=AkbhDwAAQBAJ&pg=PA55
 }}
*{{citation
 | last = Gardner | first = L. Terrell
 | doi = 10.2307/2044692
 | issue = 1
 | journal = Proceedings of the American Mathematical Society
 | mr = 722439
 | page = 171
 | title = An elementary proof of the Russo-Dye theorem
 | volume = 90
 | year = 1984| jstor = 2044692
 }}
*{{citation
 | last1 = Gel'fand | first1 = I. M. | author1-link = Israel Gelfand
 | last2 = Kapranov | first2 = M. M.
 | last3 = Zelevinsky | first3 = A. V.
 | contribution = 6. Newton Polytopes and Chow Polytopes
 | doi = 10.1007/978-0-8176-4771-1
 | isbn = 0-8176-3660-9
 | mr = 1264417
 | pages = 193–213
 | publisher = Birkhäuser
 | series = Mathematics: Theory & Applications
 | title = Discriminants, Resultants, and Multidimensional Determinants
 | year = 1994}}
*{{citation
 | last1 = Getz
 | first1 = Wayne M.
 | last2 = Wilmers
 | first2 = Christopher C.
 | doi = 10.1111/j.0906-7590.2004.03835.x
 | issue = 4
 | journal = Ecography
 | pages = 489–505
 | publisher = Wiley
 | title = A local nearest-neighbor convex-hull construction of home ranges and utilization distributions
 | url = https://www.cnr.berkeley.edu/~getz/Reprints04/Getz&WilmersEcoG_SF_04.pdf
 | volume = 27
 | year = 2004
 }}
*{{citation
 | last = Gibbs | first = Willard J. | author-link = Josiah Willard Gibbs
 | journal = Transactions of the Connecticut Academy of Arts and Sciences
 | pages = 382–404
 | title = A method of geometrical representation of the thermodynamic properties of substances by means of surfaces
 | volume = 2
 | year = 1873}}; in lại trong ''[https://archive.org/details/scientificpaper00gibbgoog The Scientific Papers of J. Willard Gibbs, Vol. I: Thermodynamics]'', Longmans, Green, & Co., 1906, [https://archive.org/details/scientificpaper00gibbgoog/page/n67 tr. 33–54]
*{{citation
 | last1 = Graham | first1 = Ronald L.
 | last2 = Yao | first2 = F. Frances
 | doi = 10.1016/0196-6774(83)90013-5
 | issue = 4
 | journal = Journal of Algorithms
 | mr = 729228
 | pages = 324–331
 | title = Finding the convex hull of a simple polygon
 | volume = 4
 | year = 1983}}
*{{citation
 | last = Grünbaum | first = Branko
 | edition = 2nd
 | isbn = 9780387004242
 | publisher = Springer
 | series = Graduate Texts in Mathematics
 | title = Convex Polytopes
 | volume = 221
 | year = 2003}}
*{{citation
 | last = Gustin | first = William
 | doi = 10.1090/S0002-9904-1947-08787-5
 | journal = Bulletin of the American Mathematical Society
 | mr = 20800
 | pages = 299–301
 | title = On the interior of the convex hull of a Euclidean set
 | volume = 53
 | year = 1947| issue = 4
 | doi-access = free
 }}
*{{citation
 | last = Harris
 | first = Bernard
 | contribution = Mathematical models for statistical decision theory
 | contribution-url = https://apps.dtic.mil/dtic/tr/fulltext/u2/737250.pdf
 | mr = 0356305
 | pages = 369–389
 | title = Optimizing methods in statistics (Proc. Sympos., Ohio State Univ., Columbus, Ohio, 1971)
 | year = 1971
 | access-date = 2020-08-31
 | archive-date = 2021-02-28
 | archive-url = https://web.archive.org/web/20210228072623/https://apps.dtic.mil/dtic/tr/fulltext/u2/737250.pdf
 }}
*{{citation
 | last = Hautier | first = Geoffroy
 | editor1-last = Atahan-Evrenk | editor1-first = Sule
 | editor2-last = Aspuru-Guzik | editor2-first = Alan
 | contribution = Data mining approaches to high-throughput crystal structure and compound prediction
 | doi = 10.1007/128_2013_486
 | pages = 139–179
 | pmid = 24287952
 | publisher = Springer International Publishing
 | series = Topics in Current Chemistry
 | title = Prediction and Calculation of Crystal Structures: Methods and Applications
 | volume = 345
 | year = 2014}}
*{{citation
 | last = Herrlich | first = Horst
 | department = Proceedings of the Symposium on General Topology and Applications (Oxford, 1989)
 | doi = 10.1016/0166-8641(92)90092-E
 | issue = 1–3
 | journal = Topology and Its Applications
 | mr = 1173256
 | pages = 181–187
 | title = Hyperconvex hulls of metric spaces
 | volume = 44
 | year = 1992| doi-access = free
 }}
*{{citation
 | last = Johnson | first = Charles R.
 | doi = 10.1016/0024-3795(76)90080-x
 | issue = 1
 | journal = Linear Algebra and Its Applications
 | mr = 460358
 | pages = 89–94
 | title = Normality and the numerical range
 | volume = 15
 | year = 1976| doi-access = free
 }}
*{{citation
 | last1 = Kashiwabara | first1 = Kenji
 | last2 = Nakamura | first2 = Masataka
 | last3 = Okamoto | first3 = Yoshio
 | citeseerx = 10.1.1.14.4965
 | doi = 10.1016/j.comgeo.2004.05.001
 | issue = 2
 | journal = Computational Geometry
 | mr = 2107032
 | pages = 129–144
 | title = The affine representation theorem for abstract convex geometries
 | volume = 30
 | year = 2005}}
*{{citation
 | last = Katoh | first = Naoki
 | journal = IEICE Trans. Fundamentals of Electronics, Communications and Computer Sciences
 | pages = 321–329
 | title = Bicriteria network optimization problems
 | volume = E75-A
 | year = 1992}}
*{{citation
 | last1 = Kernohan | first1 = Brian J.
 | last2 = Gitzen | first2 = Robert A.
 | last3 = Millspaugh | first3 = Joshua J.
 | editor1-last = Millspaugh | editor1-first = Joshua
 | editor2-last = Marzluff | editor2-first = John M.
 | contribution = Analysis of animal space use and movements
 | isbn = 9780080540221
 | publisher = Academic Press
 | title = Radio Tracking and Animal Populations
 | year = 2001}}
*{{citation
 | last1 = Kim | first1 = Sooran
 | last2 = Kim | first2 = Kyoo
 | last3 = Koo | first3 = Jahyun
 | last4 = Lee | first4 = Hoonkyung
 | last5 = Min | first5 = Byung Il
 | last6 = Kim | first6 = Duck Young
 | bibcode = 2019NatSR...920253K
 | date = December 2019
 | doi = 10.1038/s41598-019-56497-6
 | issue = 1
 | journal = Scientific Reports
 | page = 20253
 | pmc = 6934831 | pmid = 31882982
 | title = Pressure-induced phase transitions and superconductivity in magnesium carbides
 | volume = 9}}
*{{citation
 | last = Kirkpatrick | first = K. A.
 | arxiv = quant-ph/0305068
 | doi = 10.1007/s10702-006-1852-1
 | issue = 1
 | journal = Foundations of Physics Letters
 | pages = 95–102
 | title = The Schrödinger–HJW theorem
 | volume = 19
 | year = 2006| bibcode = 2006FoPhL..19...95K
 | s2cid = 15995449
 }}
*{{citation
 | last = Kiselman | first = Christer O.
 | doi = 10.1090/S0002-9947-02-02915-X
 | issue = 5
 | journal = Transactions of the American Mathematical Society
 | mr = 1881029
 | pages = 2035–2053
 | title = A semigroup of operators in convexity theory
 | volume = 354
 | year = 2002| doi-access = free
 }}
*{{citation
 | last = Knuth
 | first = Donald E.
 | author-link = Donald Knuth
 | doi = 10.1007/3-540-55611-7
 | isbn = 3-540-55611-7
 | location = Heidelberg
 | mr = 1226891
 | publisher = Springer-Verlag
 | series = Lecture Notes in Computer Science
 | title = Axioms and Hulls
 | url = http://www-cs-faculty.stanford.edu/~uno/aah.html
 | volume = 606
 | year = 1992
 | s2cid = 5452191
 | access-date = 2020-08-31
 | archive-date = 2017-06-20
 | archive-url = https://web.archive.org/web/20170620062425/http://www-cs-faculty.stanford.edu/~uno/aah.html
 }}
*{{citation
 | last = Kőnig | first = Dénes
 | date = December 1922
 | doi = 10.1007/bf01215899
 | issue = 1
 | journal = Mathematische Zeitschrift
 | pages = 208–210
 | title = Über konvexe Körper
 | volume = 14| s2cid = 128041360 }}; xem thêm bình duyệt của Hans Rademacher (1922), {{JFM|48.0835.01}}
*{{citation
 | last1 = Krein
 | first1 = Mark
 | last2 = Milman
 | first2 = David
 | journal = [[Studia Mathematica]]
 | pages = 133–138
 | title = On extreme points of regular convex sets
 | url = https://eudml.org/doc/219061
 | volume = 9
 | year = 1940
 | doi = 10.4064/sm-9-1-133-138
 }}
*{{citation
 | last1 = Krein | first1 = M.
 | last2 = Šmulian | first2 = V.
 | doi = 10.2307/1968735
 | journal = Annals of Mathematics | series = Second Series
 | jstor = 1968735
 | mr = 2009
 | pages = 556–583
 | title = On regularly convex sets in the space conjugate to a Banach space
 | volume = 41
 | year = 1940| issue = 3 | hdl = 10338.dmlcz/100106
 | hdl-access = free
 }}
*{{citation
 | last = Laurentini | first = A.
 | doi = 10.1109/34.273735
 | issue = 2
 | journal = IEEE Transactions on Pattern Analysis and Machine Intelligence
 | pages = 150–162
 | title = The visual hull concept for silhouette-based image understanding
 | volume = 16
 | year = 1994}}
*{{citation
 | last = Lay | first = Steven R.
 | isbn = 0-471-09584-2
 | mr = 655598
 | publisher = John Wiley & Sons
 | title = Convex Sets and their Applications
 | year = 1982}}
*{{citation
 | last = Lee | first = D. T.
 | doi = 10.1007/BF00993195
 | issue = 2
 | journal = International Journal of Computer and Information Sciences
 | mr = 724699
 | pages = 87–98
 | title = On finding the convex hull of a simple polygon
 | volume = 12
 | year = 1983| s2cid = 28600832 }}
*{{citation
 | last = Mason
 | first = Herbert B.
 | page = 698
 | title = Encyclopaedia of Ships and Shipping
 | url = https://books.google.com/books?id=d3gDAAAAYAAJ&pg=PA698
 | year = 1908
 }}
*{{citation
 | last1 = McCallum | first1 = Duncan
 | last2 = Avis | first2 = David
 | doi = 10.1016/0020-0190(79)90069-3
 | issue = 5
 | journal = Information Processing Letters
 | mr = 552534
 | pages = 201–206
 | title = A linear algorithm for finding the convex hull of a simple polygon
 | volume = 9
 | year = 1979}}
*{{citation
 | last = Newton
 | first = Isaac
 | author-link = Isaac Newton
 | date = October 24, 1676
 | publisher = University of Oxford
 | title = Letter to Henry Oldenburg
 | url = https://www.newtonproject.ox.ac.uk/view/texts/normalized/NATP00196
 | work = The Newton Project
 }}
*{{citation
 | last = Nicola | first = Piercarlo
 | contribution = General Competitive Equilibrium
 | doi = 10.1007/978-3-662-04238-0_16
 | pages = 197–215
 | publisher = Springer
 | title = Mainstream Mathematical Economics in the 20th Century
 | year = 2000}}
*{{citation
 | last1 = Nilsen | first1 = Erlend B.
 | last2 = Pedersen | first2 = Simen
 | last3 = Linnell | first3 = John D. C.
 | year = 2008
 | doi = 10.1007/s11284-007-0421-9
 | issue = 3
 | journal = Ecological Research
 | pages = 635–639
 | title = Can minimum convex polygon home ranges be used to draw biologically meaningful conclusions?
 | volume = 23| s2cid = 30843551
 }}
*{{citation
 | last = Oberman | first = Adam M.
 | doi = 10.1090/S0002-9939-07-08887-9
 | issue = 6
 | journal = Proceedings of the American Mathematical Society
 | mr = 2286077
 | pages = 1689–1694
 | title = The convex envelope is the solution of a nonlinear obstacle problem
 | volume = 135
 | year = 2007| doi-access = free
 }}
*{{citation
 | last = Okon | first = T.
 | doi = 10.4171/ZAA/952
 | issue = 2
 | journal = Zeitschrift für Analysis und ihre Anwendungen
 | mr = 1768994
 | pages = 303–314
 | title = Choquet theory in metric spaces
 | volume = 19
 | year = 2000}}
*{{citation
 | last1 = Ottmann | first1 = T.
 | last2 = Soisalon-Soininen | first2 = E.
 | last3 = Wood | first3 = Derick
 | doi = 10.1016/0020-0255(84)90025-2
 | issue = 3
 | journal = Information Sciences
 | pages = 157–171
 | title = On the definition and computation of rectilinear convex hulls
 | volume = 33
 | year = 1984}}
*{{citation
 | last = Prasolov
 | first = Victor V.
 | contribution = 1.2.1 The Gauss–Lucas theorem
 | contribution-url = https://books.google.com/books?id=b1a7ye_EjZwC&pg=PA12
 | doi = 10.1007/978-3-642-03980-5
 | isbn = 3-540-40714-6
 | mr = 2082772
 | pages = 12–13
 | publisher = Springer
 | series = Algorithms and Computation in Mathematics
 | title = Polynomials
 | volume = 11
 | year = 2004
 }}
*{{citation
 | last = Pulleyblank | first = W. R.
 | editor1-last = Bachem | editor1-first = Achim
 | editor2-last = Korte | editor2-first = Bernhard
 | editor3-last = Grötschel | editor3-first = Martin
 | contribution = Polyhedral combinatorics
 | doi = 10.1007/978-3-642-68874-4_13
 | pages = 312–345
 | publisher = Springer
 | title = Mathematical Programming: The State of the Art (XIth International Symposium on Mathematical Programming, Bonn 1982)
 | year = 1983}}
*{{citation
 | last = Rappoport | first = Ari
 | doi = 10.1111/1467-8659.1140235
 | issue = 4
 | journal = Computer Graphics Forum
 | pages = 235–240
 | title = An efficient adaptive algorithm for constructing the convex differences tree of a simple polygon
 | volume = 11
 | year = 1992| s2cid = 20137707
 }}
*{{citation
 | last = Reay | first = John R.
 | doi = 10.1007/BF02760885 | doi-access = free
 | issue = 3
 | journal = Israel Journal of Mathematics
 | mr = 570883
 | pages = 238–244 (1980)
 | title = Several generalizations of Tverberg's theorem
 | volume = 34
 | year = 1979| s2cid = 121352925
 }}
*{{citation
 | last1 = Rieffel | first1 = Eleanor G.
 | last2 = Polak | first2 = Wolfgang H.
 | isbn = 978-0-262-01506-6
 | pages = 215–216
 | publisher = MIT Press
 | title = Quantum Computing: A Gentle Introduction
 | year = 2011}}
*{{citation
 | last = Rockafellar | first = R. Tyrrell
 | mr = 0274683
 | publisher = Princeton University Press | location = Princeton, N.J.
 | series = Princeton Mathematical Series
 | title = Convex Analysis
 | volume = 28
 | year = 1970}}
*{{citation
 | last = Rossi | first = Hugo
 | doi = 10.2307/1970292
 | journal = Annals of Mathematics
 | jstor = 1970292
 | mr = 133479
 | pages = 470–493
 | series = Second Series
 | title = Holomorphically convex sets in several complex variables
 | volume = 74
 | year = 1961| issue = 3 }}
*{{citation
 | last1 = Rousseeuw | first1 = Peter J.
 | last2 = Ruts | first2 = Ida
 | last3 = Tukey | first3 = John W.
 | doi = 10.1080/00031305.1999.10474494
 | issue = 4
 | journal = The American Statistician
 | pages = 382–387
 | title = The bagplot: A bivariate boxplot
 | volume = 53
 | year = 1999}}
*{{citation
 | last = Sakuma | first = Itsuo
 | doi = 10.1016/0022-0531(77)90095-3
 | issue = 1
 | journal = Journal of Economic Theory
 | pages = 223–227
 | title = Closedness of convex hulls
 | volume = 14
 | year = 1977}}
*{{citation
 | last = Schneider
 | first = Rolf
 | doi = 10.1017/CBO9780511526282
 | isbn = 0-521-35220-7
 | location = Cambridge
 | mr = 1216521
 | publisher = Cambridge University Press
 | series = Encyclopedia of Mathematics and its Applications
 | title = Convex Bodies: The Brunn–Minkowski Theory
 | url = https://archive.org/details/convexbodiesbrun0000schn
 | volume = 44
 | year = 1993
 }}
*{{citation
 | last = Seaton | first = Katherine A.
 | arxiv = 1603.08409
 | doi = 10.1080/17513472.2017.1318512
 | issue = 4
 | journal = Journal of Mathematics and the Arts
 | mr = 3765242
 | pages = 187–202
 | title = Sphericons and D-forms: a crocheted connection
 | volume = 11
 | year = 2017| s2cid = 84179479
 }}
*{{citation
 | last = Sedykh | first = V. D.
 | issue = 6
 | journal = Trudy Seminara Imeni I. G. Petrovskogo
 | mr = 630708
 | pages = 239–256
 | title = Structure of the convex hull of a space curve
 | year = 1981}}, translated in ''Journal of Soviet Mathematics'' 33 (4): 1140–1153, 1986, {{doi|10.1007/BF01086114}}
*{{citation
 | last = Sontag
 | first = Eduardo D.
 | issue = 1
 | journal = Pacific Journal of Mathematics
 | mr = 644949
 | pages = 183–201
 | title = Remarks on piecewise-linear algebra
 | url = https://projecteuclid.org/euclid.pjm/1102734396
 | volume = 98
 | year = 1982
 | doi = 10.2140/pjm.1982.98.183
 }}
*{{citation
 | last = Steinitz | first = E.
 | doi = 10.1515/crll.1914.144.1
 | journal = Journal für die Reine und Angewandte Mathematik
 | mr = 1580890
 | pages = 1–40
 | title = Bedingt konvergente Reihen und konvexe Systeme. (Fortsetzung)
 | volume = 1914
 | year = 1914| issue = 144 | s2cid = 122998337 }}
*{{citation
 | last = Talman
 | first = Louis A.
 | issue = 1–2
 | journal = Kōdai Mathematical Seminar Reports
 | mr = 463985
 | pages = 62–70
 | title = Fixed points for condensing multifunctions in metric spaces with convex structure
 | url = https://projecteuclid.org/euclid.kmj/1138833572
 | volume = 29
 | year = 1977
 }}
*{{citation
 | last = Toussaint | first = Godfried
 | citeseerx = 10.1.1.155.5671
 | contribution = Solving geometric problems with the rotating calipers
 | title = Proceedings of IEEE MELECON '83, Athens
 | year = 1983}}
*{{citation
 | last = Toussaint | first = Godfried
 | contribution = An optimal algorithm for computing the relative convex hull of a set of points in a polygon
 | pages = 853–856
 | publisher = North-Holland
 | title = Proceedings of EURASIP, Signal Processing III: Theories and Applications, Part 2
 | year = 1986}}
*{{citation
 | last = Weeks | first = Jeffrey R.
 | doi = 10.1016/0166-8641(93)90032-9
 | issue = 2
 | journal = Topology and Its Applications
 | mr = 1241189
 | pages = 127–149
 | title = Convex hulls and isometries of cusped hyperbolic 3-manifolds
 | volume = 52
 | year = 1993| doi-access = free
 }}
*{{citation
 | last = Westermann | first = L. R. J.
 | doi = 10.1016/1385-7258(76)90065-2
 | issue = 2
 | journal = Indagationes Mathematicae
 | mr = 0404097
 | pages = 179–184
 | title = On the hull operator
 | volume = 38
 | year = 1976
 | doi-access = free
 }}
*{{citation
 | last = White | first = F. Puryer
 | date = April 1923
 | issue = 68
 | journal = Science Progress in the Twentieth Century
 | jstor = 43432008
 | pages = 517–526
 | title = Pure mathematics
 | volume = 17}}
*{{citation
 | last = Whitley | first = Robert
 | doi = 10.2307/2046536
 | issue = 2
 | journal = Proceedings of the American Mathematical Society
 | mr = 835903
 | pages = 376–377
 | title = The Kreĭn-Šmulian theorem
 | volume = 97
 | year = 1986| jstor = 2046536
 }}
*{{citation
 | last1 = Williams | first1 = Jason
 | last2 = Rossignac | first2 = Jarek
 | editor1-last = Kobbelt | editor1-first = Leif
 | editor2-last = Shapiro | editor2-first = Vadim
 | contribution = Tightening: curvature-limiting morphological simplification
 | doi = 10.1145/1060244.1060257
 | hdl = 1853/3736
 | pages = 107–112
 | publisher = ACM
 | title = Proceedings of the Tenth ACM Symposium on Solid and Physical Modeling 2005, Cambridge, Massachusetts, USA, June 13-15, 2005
 | year = 2005| s2cid = 15514388
 }}
*{{citation
 | last = Worton | first = Bruce J.
 | doi = 10.2307/2533254
 | issue = 4
 | journal = Biometrics
 | jstor = 2533254
 | pages = 1206–1215
 | title = A convex hull-based estimator of home-range size
 | volume = 51
 | year = 1995}}
{{refend}}

== Đọc thêm ==

*{{citation
 | author1 = Đỗ Văn Lưu
 | author2 = Phan Huy Khải
 | publisher = [[Nhà xuất bản Khoa học và Kỹ thuật]]
 | location = Hà Nội
 | title = Giải tích lồi
 | contribution = Chương I: Tập lồi
 | pages = 3–37
 | year = 2000}}. Đặc biệt xem mục "1.1.2 Bao lồi và bao lồi đóng", tr. 6–9.

==Liên kết ngoài==

* {{springer|title=Convex hull|id=p/c026270}}
* {{MathWorld|urlname=ConvexHull|title=Convex Hull|mode=cs2}}

{{Phân tích lồi}}

[[Thể loại:Hình học lồi]]
[[Thể loại:Giải tích thực]]
[[Thể loại:Thuật toán hình học]]