Giải tích lồi

Đa diện lồi trong không gian 3 chiều. Giải tích lồi không chỉ bao gồm nghiên cứu các tập con lồi trong không gian Euclid mà còn có các hàm lồi trong không gian trừu tượng.
Giải tích lồi là một nhánh của toán học nghiên cứu về tính chất của hàm lồi và tập lồi với những ứng dụng trong tối ưu hóa lồi, một lĩnh vực con của lý thuyết tối ưu hóa.

**Tập lồi**
Tập lồi là một tập C ⊆ X, với X là một không gian vectơ, sao cho với mọi x, y ∈ C và λ ∈ 0, 1 thì
 .

**Hàm lồi**
Hàm lồi là một hàm f : X → R ∪ {±∞} với giá trị thuộc tập số thực mở rộng thỏa mãn bất đẳng thức Jensen: với x, y ∈ X và λ ∈ 0, 1 ta có
 .
Nếu f cũng thỏa dạng ngặt của bất đẳng thức trên thì f được gọi là hàm lồi chặt.
Một cách tương đương, hàm lồi là hàm giá trị thực (mở rộng) có trên đồ thị
 
là một tập lồi.p=1-28

**Hàm lồi liên hợp**
Hàm lồi liên hợp của một hàm giá trị thực mở rộng f : X → R ∪ {±∞} (không nhất thiết phải là hàm lồi) là hàm f* : X* → R ∪ {±∞} với X* là không gian đối ngẫu của X, vàpp=75-79
 

**Hàm song liên hợp**
Hàm song liên hợp của một hàm f : X → R ∪ {±∞} là hàm liên hợp của hàm liên hợp, thường được viết là f** : X → R ∪ {±∞}. Hàm song liên hợp đóng vai trò hữu ích trong việc xác định khi nào xảy ra đối ngẫu mạnh hoặc đối ngẫu yếu (thông qua hàm nhiễu).
Với mọi x ∈ X, bất đẳng thức f**(x) ≤ f(x) được suy ra từ bất đẳng thức Young–Fenchel. Đối với hàm lồi chính thường, f = f** khi và chỉ khi f lồi và nửa liên tục dưới, theo định lý Fenchel–Moreau.pp=75-79

**Cực tiểu hóa lồi**
Bài toán cực tiểu hóa lồi (gốc) là một bài toán có dạng
 
sao cho f : X → R ∪ {±∞} là hàm lồi và M ⊆ X là một tập lồi.

**Bài toán đối ngẫu**
Trong lý thuyết tối ưu hóa, nguyên lý đối ngẫu phát biểu rằng các bài toán tối ưu có thể xem từ cả hai phía, phía bài toán gốc và phía bài toán đối ngẫu.
Tổng quát, cho hai cặp đối ngẫu các không gian lồi địa phương tách được (X, X*) và (Y, Y*). Với một hàm f : X → R ∪ {+∞} cho trước, ta có thể định nghĩa bài toán gốc là tìm x sao cho
 
Các điều kiện chế ước (nếu có) có thể được gắn vào hàm f bằng cách đặt f = f + I với I là hàm chỉ thị ứng với điều kiện đó. Gọi F : X × Y → R ∪ {±∞} là hàm nhiễu sao cho F(x, 0) = f(x).
Bài toán đối ngẫu ứng với hàm nhiễu đã chọn được cho bởi
 
với F* là hàm lồi liên hợp theo cả hai biến của F.
Khoảng cách đối ngẫu là hiệu giữa vế phải và vế trái của bất đẳng thứcpp=106-113
 
Nguyên lý này giống với nguyên lý về đối ngẫu yếu. Nếu cả hai vế bằng nhau thì bài toán được gọi là đạt đối ngẫu mạnh.
Có nhiều điều kiện để xảy ra đối ngẫu mạnh, chẳng hạn như:- F = F** với F là hàm nhiễu liên hệ bài toán gốc và bài toán đối ngẫu, và F** là hàm song liên hợp của F;- bài toán gốc là bài toán tối ưu hóa tuyến tính;- điều kiện Slater đối với một bài toán tối ưu hóa lồi.

**Đối ngẫu Lagrange**
Đối với một bài toán cực tiểu hóa lồi với điều kiện ràng buộc viết dưới dạng bất đẳng thức,
:: minx f(x) sao cho gi(x) ≤ 0 với mọi i = 1, ..., m.
bài toán đối ngẫu Lagrange là
:: supu infx L(x, u) sao cho ui(x) ≥ 0 với mọi i = 1, ..., m.
trong đó hàm mục tiêu L(x, u) là hàm đối ngẫu Lagrange được định nghĩa như sau:
 

**Chú thích**

**Tham khảo**
 chú thích sách|title=Convex Analysis and Monotone Operator Theory in Hilbert Spaces|last1=Bauschke|first1=Heinz H.|last2=Combettes|first2=Patrick L.|date=28 February 2017|publisher=Springer Science+Business Media|isbn=978-3-319-48311-5|series=CMS Books in Mathematics|oclc=1037059594- chú thích sách|title=Convex Optimization|url=https://archive.org/details/convexoptimizati0000boyd|last1=Boyd|first1=Stephen|last2=Vandenberghe|first2=Lieven|date=8 March 2004|publisher=Cambridge University Press|isbn=978-0-521-83378-3|series=Cambridge Series in Statistical and Probabilistic Mathematics|publication-place=Cambridge, U.K. New York|oclc=53331084- chú thích sách|title=Giải tích lồi|author1=Đỗ Văn Lưu|author2=Phan Huy Khải|publisher=Nhà xuất bản Khoa học và Kỹ thuật|year=2000|location=Hà Nội- location=Berlin- location=Dordrecht- chú thích sách|title=Variational Analysis|last1=Rockafellar|first1=R. Tyrrell|last2=Wets|first2=Roger J.-B.|date=26 June 2009|publisher=Springer Science+Business Media|isbn=9783642024313|series=Grundlehren der mathematischen Wissenschaften|volume=317|publication-place=Berlin, New York|oclc=883392544- chú thích sách|url=https://archive.org/details/functionalanalys00rudi|title=Functional Analysis|last=Rudin|first=Walter|publisher=McGraw-Hill|year=1991|isbn=978-0-07-054236-5|edition=2|series=International Series in Pure and Applied Mathematics|volume=8|location=New York, NY|oclc=21163277- mr=1461544- location=Berlin- chú thích sách|url=https://archive.org/details/convexanalysisge00zali_934|title=Convex Analysis in General Vector Spaces|last1=Zălinescu|first1=Constantin|date=30 July 2002|publisher=World Scientific Publishing|isbn=978-981-4488-15-0|location=River Edge, N.J. London|mr=1921556|oclc=285163112|url-access=limited|via=Internet Archive|issue=J

**Liên kết ngoài**
Thể loại:Giải tích lồi
Thể loại:Hình học lồi
Thể loại:Phân tích lồi