# Dışbükey küme
Matematikte, iki elemanı arasındaki doğru parçasının tamamını yine içinde bulundaran kümelere dışbükey küme ya da konveks küme denir. Başka bir denk ifadeyle belirtmek gerekirse, dışbükey bir küme herhangi bir doğruyla kesişimi bir doğru parçası, sadece bir nokta ya da boş küme olan kümelere verilen addır. Örneğin, içi dolu bir küp bu bağlamda dışbükeydir. İçbükümlü olan herhangi bir küme ya da geometrik oluşum dışbükey olamaz. Mesela, hilâl şeklinde olan bir küme dışbükey değildir.
Düzlemdeki her dışbükey kümenin topolojik sınırı dışbükey bir eğri oluşturur. Bir A kümesini içinde bulunduran bütün kümelerin kesişimine A'nın kaplamı ya da daha açık bir şekilde, A'nın dışbükey kaplamı denir. A'nın dışbükey kaplamı A kümesini içeren en küçük dışbükey kümedir.
Dışbükey bir fonksiyon, epigrafının (yâni, fonksiyonun grafiğinin üzerinde veya üstündeki noktaların kümesi) dışbükey bir küme olması özelliğine sahip ve bir aralıkta tanımlı gerçel değerli bir fonksiyondur. Dışbükey kümelerin ve dışbükey fonksiyonların özelliklerini inceleyen ve araştıran matematik dalına dışbükey analiz denir. Optimizasyonun bir alanı olan dışbükey minimizasyon ise dışbükey kümeler üzerinde tanımlı dışbükey fonksiyonların minimizasyonu ile ilgilidir.
Verilen doğru parçası şartı gereğince, dışbükey kümelerin elemanlarının gerçel sayılarla çarpımı ve yine herhangi iki elemanı arasında toplama işlemi tanımlı olmak durumundadır. Dışbükey kümelerin tanımlandığı uzaylar arasında Öklid uzayları, gerçel sayılar üzerinden tanımlı afin uzaylar ve bazı Öklid-dışı geometriler bulunur.


## Tanım.
V kümesi gerçel sayılar üzerinde tanımlanmış bir vektör uzayı ya da afin uzay ya da daha da genel haliyle bir sıralı cisim olsun. Vnin bir altkümesi Dnin herhangi iki elemanını birleştiren doğru parçası yine C içinde kalıyorsa, Dye dışbükey küme denir.
Doğru parçası tanımı gereğince, C'nin iki elemanı olan x ve y için {(1-t)x+ty| t∈[0,1]} kümesinin yine D içinde kalması gerekir. Bu da, dışbükeyliğin afin dönüşümler altında değişmez olduğu anlamına gelir. Ayrıca, gerçel veya karmaşık bir topolojik vektör uzayındaki bir dışbükey kümenin yol bağlantılı (ve bu nedenle de bağlantılı) olduğu anlamına gelir.
Bir D kümesi x ve y'yi birleştiren doğru parçası üzerindeki başlangıç ve bitiş noktaları olan x ve y dışında her nokta Dnin topolojik içindeyse kesin dışbükeydir. Kapalı ve dışbükey bir altkümenin kesin dışbükey olması için ancak ve ancak bu altkümenin sınır noktalarının uç nokta olması ile mümkündür.
Bir D kümesi eğer hem dışbükey hem de dengeli ise mutlak dışbükeydir.


### Örnekler.
  - Gerçel sayılar kümesi ℝnin dışbükey altkümeleri aralıklar ya da sadece noktalardır.
  - Kartezyen düzlemdeki örneklere ise düzenli çokgenler, içi dahil olmak üzere üçgenler ve bu üçgenlerin kesişimi örnek olarak verilebilir.
  - Üç boyutlu Öklid uzayında ise Arşimed cisimleri ya da Platonik cisimler örnek verilebilir.
Öbür taraftan, 
  - dairesel halkalar ya da genel haliyle torus dışbükey değildir. 
  - Ayrıca, dışbükey bir kümenin topolojik kenarı genellikle dışbükey değildir. Meselâ, 
  - daire dışbükeydir ama çember değildir
  - içi dolu üçgen dışbükeydir ama üçgenin sınırını oluşturan küme dışbükey değildir.


## Özellikler.
Dışbükey bir D kümesinde alınan r tane nokta u_1, ⋯, u_r ile gösterilsin. Yine, r tane negatif-olmayan gerçel sayı ise λ_1, ⋯, λ_r ile gösterilsin. Eğer, λ_1+ ⋯+λ_r=1 ise, o zaman
∑_k=1^rλ_k u_k
noktası da D kümesine aittir.
Ayrıca, bir dışbükey veya içbükey fonksiyonun grafiğinin üstünde veya altında yer alan altküme dışbükeydir.


### Kesişim ve birleşimler.
Bir vektör uzayının, afin uzayın ya da Öklid uzayının dışbükey altkümeleri şu özelliklere sahiptir.
  - Boş küme veya uzayın tümü dışbükeydir.
  - İki dışbükey kümenin kesişimi yine dışbükeydir  bu yüzden, herhangi bir sayıya sahip olan dışkümeler ailesinin kesişimi yine dışbükeydir.
  - Biri bir sonrakinin altkümesi olacak şekilde alınan herhangi bir dışbükey kümeler dizisinin birleşimi yine dışbükeydir.


### Kapalı dışbükey kümeler.
Kapalı dışbükey kümeler, tüm limit noktalarını içeren dışbükey kümelerdir. Kapalı yarıuzaylar (uzayda, bir hiperdüzlemin üzerinde ve bir tarafında bulunan nokta kümeleri) kesişimleri olarak tanımlanabilirler.
Bu tür kesişimlerin dışbükey olduğu ve aynı zamanda kapalı kümeler olacağı açıktır. Tersini kanıtlamak için, yâni, her kapalı dışbükey kümenin böyle bir kesişim olarak gösterileceğini kanıtlamak için, "verilen kapalı dışbükey bir D kümesi ve onun dışındaki P noktası için, D'yi içeren ve P'yi içermeyen kapalı bir H yarıuzayı olduğu" biçimindeki destek hiperdüzlemi teoremine ihtiyaç vardır. Destek hiperdüzlem teoremi, fonksiyonel analizdeki Hahn-Banach teoreminin özel bir durumudur.


### Dışbükey kümeler ve dikdörtgenler.
D düzlemde bir dışbükey cisim (iç kısmı boş olmayan bir dışbükey küme) olsun. D içinde öyle bir r dikdörtgeni vardır ki r'nin benzeşim kopyalarından biri (R olsun) D kümesini çevreler. Ayrıca, burada pozitif benzeşim oranı en fazla 2'dir ve şu alan eşitsizliği sağlanır:
12 ·Alan(R) ≤Alan(D) ≤2·Alan(r).


### Diğer özellikler.
X topolojik vektör uzayı ve D⊂X dışbükey olsun
  - Dışbükey kümelerin topolojik kapanışı ve içi yine dışbükeydir.
  - Eğer a ∈D^o ve b ∈D ise o zaman [a, b[ := { (1 - r) a + r b : 0 ≤r lt  1 }⊆D^o olur.
  - D^o ise
   - D^o=D
   - D^o=D^o


## Dışbükey zarf ve Minkowski toplamı.
### Dışbükey zarf.
Bir kümenin dışbükey zarfı bu kümeyi içeren en küçük dışbükey kümedir. Dışbükey zarf, bir Öklid uzayının belirli bir alt kümesini içeren tüm dışbükey kümelerin kesişimi olarak veya eşdeğer olarak, altkümedeki tüm dışbükey nokta kombinasyonlarının kümesi olarak tanımlanabilir. Düzlemin sınırlı bir alt kümesi için, dışbükey zarf, altkümenin etrafına gerilmiş bir lastik bantla çevrelenmiş şekil olarak görselleştirilebilir.


### Minkowski toplamı.
Gerçel bir vektör uzayında, iki boş olmayan kümenin Minkowski toplamı, toplanan kümelerden eleman bazında vektörlerin toplanmasıyla oluşan küme olarak tanımlanır: 
S_1+S_2={x_1+x_2: x_1∈S_1, x_2∈S_2}.
Daha genel olarak, her biri boş olmayan sonlu sayıdaki kümelerin Minkowski toplamı, vektörlerin eleman bazında toplanmasıyla oluşan kümedir:
 ∑_n S_n = { ∑_n x_n : x_n ∈S_n }.
Minkowski toplama işlemi için, yalnızca sıfır vektörü 0'ı içeren "sıfır kümesi" {0} özel bir öneme sahiptir: Bir vektör uzayının boş olmayan her altkümesi S için 
S+{0}=S
olur. Cebirsel terminolojide, {0} Minkowski toplamının (boş olmayan kümelerin) birim elemanıdır. Boş küme de Minkowski toplamında önemlidir; çünkü, boş küme diğer tüm altkümeleri yok eder: Bir vektör uzayının her S altkümesi için, boş kümeyle yapılan Minkowski toplamı yine boştur:
S+∅=∅.


### Minkowski toplamlarının dışbükey zarfları.
Minkowski toplamı, dışbükey zarf alma işlemine göre iyi tanımlıdır. Diğer deyişle, bir gerçel vektör uzayın iki altkümesinin Minkowski toplamının dışbükey zarfı, bu iki altkümenin ayrı ayrı dışbükey zarflarının Minkowski toplamına eşittir. Dışbükey zarf işlemini Zarf olarak gösterecek olursak
Zarf(S_1+S_2)=Zarf(S_1)+Zarf(S_2).
Bu sonuç, her biri boş olmayan sonlu sayıdaki kümelerin Minkowski toplamı için de geçerlidir:
Zarf( ∑_n S_n ) = ∑_n Zarf (S_n ).
Matematiksel terminolojide, Minkowski toplamı ve dışbükey zarf alma işlemleri değişmeli işlemlerdir.


### Dışbükey kümelerin Minkowski toplamları.
Tıkız iki dışbükey kümenin Minkowski toplamı yine tıkızdır. Tıkız dışbükey kümeyle ve kapalı dışbükey bir kümenin Minkowski toplamı yine kapalıdır.
Dieudonné tarafından 1966'da kanıtlanan bir teorem iki dışbükey kapalı kümenin farkının yine kapalı olması için yeterli bir şart vermektedir.
Boş olmayan bir dışbükey S altkümesinin çekilme konisi aşağıdaki gibi tanımlansın: 
 ck S = { x ∈X : x + S ⊆S },
O zaman, çekilme konisi dışbükey bir konidir. 
  - Vektör uzayının 0 ∈X elemanı bu koniye aitir 
  - S + ck S = S özelliği sağlanır.
S'nin kapalı ve dışbükey olduğunu hatırlarsak, o zaman, ck S de kapalı olur ve her s_0 ∈S için
rec S = ⋂_t gt; 0 t (S - s_0).
Teorem (Dieudonné). A ve B bir yerel dışbükey topolojik vektör uzayının boş olmayan, kapalı ve dışbükey altkümeleri olsun. Ayrıca, ck A ∩ck B doğrusal bir altuzay olsun. A veya B yerel tıkız ise "A" − "B" kapalıdır.


## Dışbükeyliğin genellemeleri ve uzantıları.
Öklid uzayındaki dışbükeylik kavramı, tanımı bazı yönlerden değiştirerek genelleştirilebilir. "Genelleştirilmiş dışbükeylik" genel adı kullanılır, çünkü ortaya çıkan nesneler dışbükey kümelerin belirli özelliklerini korur.


### Yıldız-dışbükey (yıldız şekilli) kümeler.
C, gerçel veya karmaşık vektör uzayında bir küme olsun. C'deki #YÖNLENDİRME noktasından #YÖNLENDİRME 'deki herhangi bir y noktasına giden doğru parçası C'de bulunuyorsa C yıldız dışbükeydir (yıldız şeklindedir). Dolayısıyla, boş olmayan bir dışbükey küme her zaman yıldız-dışbükeydir ancak yıldız-dışbükey bir küme her zaman dışbükey değildir.


### Dik dışbükeylik.
Genelleştirilmiş dışbükeyliğin bir örneği dik dışbükeyliktir.
Öklid uzayındaki bir S kümesinde, bu kümenin iki noktasını birleştiren ve koordinat eksenlerinden herhangi birine paralel herhangi bir doğru parçası yine S içinde kalıyorsa, S'ye dik dışbükey denir. Herhangi bir dik dışbükey küme ailesinin kesişiminin yine dik dışbükey olduğunu kanıtlamak kolaydır. Dışbükey kümelerin diğer bazı özellikleri de yine geçerlidir.


### Öklid dışı geometri.
Dışbükey bir kümenin ve dışbükey bir kaplamın tanımı, doğal olarak Öklidyen olmayan geometrilere de genişletilebilir; bunun için, kümedeki herhangi iki noktayı birleştiren jeodezikleri içeren bir kümenin jeodezik dışbükey bir küme olduğu tanımlanır.


### Sıralama topolojisi.
Dışbükeylik, sıra topolojisine sahip tam sıralı bir küme X için genişletilebilir.
 - YÖNLENDİRME bir alt uzay olsun. Ydeki a ≤ b olan her a, b nokta çifti için, 
 - YÖNLENDİRME kapalı aralığı Y'de kalıyorsa, Y'ye dışbükey küme denir.
Genel olarak dışbükey bir küme bağlantılı değildir. Örneğin, #YÖNLENDİRME deki {1,2,3} alt uzayı hem dışbükeydir hem de bağlantılı değildir.


### Dışbükeylik uzayları.
Dışbükeylik kavramı, dışbükeyliğin belirli özellikleri aksiyom olarak seçilirse diğer nesnelere de genelleştirilebilir.
Verilen bir X kümesi için, X üzerindeki bir dışbükeylik, aşağıdaki aksiyomları sağlayan X'in alt kümelerinin #YÖNLENDİRME koleksiyonudur:
  - Boş küme ve X,  YÖNLENDİRME 'dedir
   - YÖNLENDİRME 'de herhangi bir koleksiyonun kesişimi yine  YÖNLENDİRME dedir.
   - YÖNLENDİRME elemanlarından oluşan bir zincirin ( YÖNLENDİRME nin elemanlarının altkümesi olması ilişkisi açısından) birleşimi  YÖNLENDİRME dedir.
 - YÖNLENDİRME 'nin elemanlarına dışbükey kümeler ve  YÖNLENDİRME çiftine ise dışbükeylik uzayı adı verilir. Sıradan dışbükeylik için ilk iki aksiyom geçerlidir ve üçüncüsü önemsizdir.
Soyut dışbükeyliğin ayrık geometriye daha uygun alternatif bir tanımı için, antimatroidlerle ilişkili dışbükey geometrilere bakınız.


### Dışbükey uzaylar.
Dışbükeylik, soyut bir cebirsel yapı olarak genelleştirilebilir. Bir uzay, noktaların dışbükey kombinasyonları alınabiliyorsa dışbükeydir.