# Holomorfluk bölgesi
Matematiğin bir alt dalı olan karmaşık analizde, holomorfluk bölgesi, üzerinde tanımlı olan holomorf fonksiyolardan en az bir tanesinin daha büyük bir bölgeye holomorf özelliğini koruyarak devam ettirilemediği bölgelere verilen addır. Karmaşık düzlemdeki açık kümelerin hepsi holomorfluk bölgesidir. Ancak, karmaşık düzlemde geçerli olan bu sonucun dengi bir sonuç yüksek boyutlu uzayda herhangi bir bölge için geçerli değildir. Bu yüzden, holomorfluk bölgelerin belirleyici özelliklerini bulmak yirminci yüzyılın ilk yarısında çok değişkenli karmaşık analizde en yoğun çalışılmış konulardan birisi olmuştur. Bu farklılığı ilk defa Fritz Hartogs göz önüne sermiştir ve sonuç en genel haliyle Hartogs devam (genişleme) teoremi olarak bilinmektedir.


## Tanım.
Ω⊂ℂ^n açık bir küme olsun. Aşağıdaki koşulları sağlayan Ω_1 ve Ω_2 gibi açık kümeler yoksa, Ω'ya holomorfluk bölgesi denir.
  - ∅≠Ω_1 ⊂Ω_2 ∩Ω.
  - Ω_2 bağlantılı ve Ω_2⊄Ω.
  - Ω üzerinde tanımlı her holomorf f fonksiyonu için, tanım kümesi Ω_2 olan ve Ω_1 üzerinde f=g sağlayan holomorf bir g vardır.


## Denk tanımlar.
Holomorfluk bölgesinin tanımına denk olan başka matematiksel ifadeler de vardır. Bu amaçla, Ω⊂ℂ^n bir bölge olsun. O zaman aşağıdaki ifadeler birbirine denktir. 
  - Ω holomorfluk bölgesidir.
  - Ω holomorf-dışbükey bölgedir. Yani, Ω'nın tıkız altkümelerinin Ω içindeki holomorf dışbükey zarfı Ω içinde yine tıkızdır. Ω üzerinde tanımlı holomorf fonksiyonların kümesi 𝒪(Ω) ile gösterilirse, tıkız bir K ⊂Ω için holomorf dışbükey zarf şu şekilde tanımlanır: K̂_Ω:= { z ∈Ω  |f(z)| ≤sup_w ∈K |f(w)| ∀f ∈𝒪(Ω)}.
  - Ω sözde dışbükey bölgedir.
  - Ω üzerinde Süreklilik İlkesi vardır. Yani, _α kümeleri Ω içinde yer alan kapalı analitik disklerse ve ∪_α∂_α⊂Ω ise, o zaman ∪_α_α⊂Ω olur.
  - Ω yerel Levi özelliğine sahiptir: Ω'nın sınırındaki her nokta için bir komşuluk vardır öyle ki bu komşuluğun Ω ile kesişiminde holomorf olan hiçbir fonksiyon komşuluğun tümüne holomorf olarak devam ettirilemez.
1⇒3 Oka önsavı yardımıyla çözülür. 
5 ⇒1 ise Levi problemi olarak bilinir. İlk defa Kiyoshi Oka tarafından çözülmüştür.


## Özellikler.
  - Ω_1, …, Ω_n holomorfluk bölgesi ise, o zaman kesişimleri Ω= ⋂_j=1^n Ω_j de holomorfluk bölgesi olur.
  - Ω_1 ⊆Ω_2 ⊆… bir öncekini kapsayarak artan bir holomorfluk bölge dizisi ise, o zaman bu bölgelerin birleşimleri Ω=⋃_n=1^∞Ω_n de holomorfluk bölgesidir. Bu özellik Behnke-Stein teoremi olarak da bilinir.
  - Ω_1 ve Ω_2 holomorfluk bölgesi ise, o zaman Ω_1 ×Ω_2 de holomorfluk bölgesidir.
  - Birinci Cousin problemi bir holomorfluk bölgesinde her zaman çözülebilir. İkinci Cousin problemi ise ilave topolojik varsayımlar eklenerek çözülebilir.


## Karmaşık düzlemde sonuçlar.
Karmaşık düzlemdeki açık kümelerin hepsi holomorfluk bölgesidir.
Karmaşık düzleme eşit olmayan açık kümenin holomorfluk bölgesi olduğunu göstermek için genelde iki ayrı yöntem takip edilir. Ya fonksiyonun sıfır değeri aldığı noktaların kümeye eşit olmadığı ve kümenin sınırındaki her noktaya yığılması istenir ya da fonksiyonun sınırdaki noktalara doğru limitinin sonsuz olması istenir. Mesela, açık kümenin sınırının her noktasına yığılma gösteren ama herhangi bir şekilde içerideki bir noktaya yığılmayan karmaşık sayı dizisi inşa edilebilir. O zaman, Weierstrass çarpım teoreminin bir genellemesi yardımıyla, bu bölge üzerinde holomorf olan ve bu dizinin yığılma noktalarında sıfır değerleri olan bir fonksiyon vardır. Bu fonksiyonun çarpmaya göre tersi, açık kümenin üzerinde tanımlı ve holomorftur. Bu sayede, bu kümenin dışına holomorf olarak devam ettirilemez.


### Örnekler.
  - Hadamard boşluk teoremi sayesinde, kuvvetleri belli tamsayıları atlayan (boşluklu) seriler birim diskin dışına holomorf bir şekilde genişletilemez. Mesela, 
 - a ≥2 tamsayı olmak üzere ∑_n=0^∞z^a^n serisi birim diskin dışına holomorf olarak devam ettirilemez. 
 - Başka bir örnek ise ∑_n=0^∞z^n! serisidir. 
 - Aynı türden başka bir örnek ise ∑_n=0^∞z^2^n serisidir.
  - ∏_ν=0^∞(1-z^2^ν) de birim diskin dışına holomorf bır şekilde devam ettirilemeyen holomorf bir fonksiyondur.