Holomorfluk bölgesi

Matematiğin bir alt dalı olan çok değişkenli 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 ettirelemediği bölgelere verilen addır.

Karmaşık düzlemdeki açık kümelerin hepsi holomorfluk bölgesidir.^[1] 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 farklılığı ilk defa Fritz Hartogs göz önüne sermiştir ve sonuç en genel haliyle Hartogs devam teoremi olarak bilinmektedir.

${\displaystyle \Omega \subset \mathbb {C} ^{n}}$ açık bir küme olsun. Aşağıdaki koşulları sağlayan ${\displaystyle \Omega _{1}}$ ve ${\displaystyle \Omega _{2}}$ gibi açık kümeler yoksa, ${\displaystyle \Omega }$'ya holomorfluk bölgesi denir.

1. ${\displaystyle \emptyset \neq \Omega _{1}\subset \Omega _{2}\cap \Omega }$.
2. ${\displaystyle \Omega _{2}}$ bağlantılı ve ${\displaystyle \Omega _{2}\not \subset \Omega }$.
3. ${\displaystyle \Omega }$ üzerinde tanımlı her holomorf ${\displaystyle f}$ fonksiyonu için, tanım kümesi ${\displaystyle \Omega _{2}}$ olan ve ${\displaystyle \Omega _{1}}$ üzerinde ${\displaystyle f=g}$ sağlayan holomorf bir ${\displaystyle g}$ vardır.

Holomorfluk bölgesinin tanımına denk olan başka matematiksel ifadeler de vardır. Bu amaçla, ${\displaystyle \Omega \subset \mathbb {C} ^{n}}$ bir bölge olsun. O zaman aşağıdaki ifadeler birbirine denktir.

1. ${\displaystyle \Omega }$ holomorfluk bölgesidir.
2. ${\displaystyle \Omega }$ holomorf-dışbükey bölgedir. Yani, ${\displaystyle \Omega }$'nın tıkız altkümelerinin ${\displaystyle \Omega }$ içindeki holomorf dışbükey kaplamı ${\displaystyle \Omega }$ içinde yine tıkızdır. ${\displaystyle \Omega }$ üzerinde tanımlı holomorf fonksiyonların kümesi ${\displaystyle {\mathcal {O}}(\Omega )}$ ile gösterilirse, tıkız bir ${\displaystyle K\subset \Omega }$ için holomorf dışbükey kaplam şu şekilde tanımlanır:$${\displaystyle \displaystyle {\hat {K}}_{\Omega }:=\left\{z\in \Omega ;|f(z)|\leq \sup _{w\in K}|f(w)|\quad \forall f\in {\mathcal {O}}(\Omega )\right\}.}$$
3. ${\displaystyle \Omega }$ sözde dışbükey bölgedir.
4. ${\displaystyle \Omega }$ üzerinde Süreklilik İlkesi vardır. Yani, ${\displaystyle \triangle _{\alpha }}$ kümeleri ${\displaystyle \Omega }$ içinde yer alan kapalı analitik disklerse ve ${\displaystyle \cup _{\alpha }\partial \triangle _{\alpha }\subset \Omega }$ ise, o zaman ${\displaystyle \cup _{\alpha }\triangle _{\alpha }\subset \Omega }$ olur.
5. ${\displaystyle \Omega }$ yerel Levi özelliğine sahiptir: ${\displaystyle \Omega }$'nın sınırındaki her nokta için bir komşuluk vardır öyle ki bu komşuluğun ${\displaystyle \Omega }$ ile kesişiminde holomorf olan hiçbir fonksiyon komşuluğun tümüne holomorf olarak devam ettirilemez.

${\displaystyle 1\Rightarrow 3}$ Oka önsavı yardımıyla çözülür. ${\displaystyle 5\Rightarrow 1}$ ise Levi problemi olarak bilinir. İlk defa Kiyoshi Oka tarafından çözülmüştür.

• ${\displaystyle \Omega _{1},\dots ,\Omega _{n}}$ holomorfluk bölgesi ise, o zaman kesişimleri ${\displaystyle \Omega =\bigcap _{j=1}^{n}\Omega _{j}}$ de holomorfluk bölgesi olur.
• ${\displaystyle \Omega _{1}\subseteq \Omega _{2}\subseteq \dots }$ bir öncekini kapsayarak artan bir holomorfluk bölge dizisi ise, o zaman bu bölgelerin birleşimleri ${\displaystyle \Omega =\bigcup _{n=1}^{\infty }\Omega _{n}}$ de holomorfluk bölgesidir. Bu özellik Behnke-Stein teoremi olarak da bilinir.
• ${\displaystyle \Omega _{1}}$ ve ${\displaystyle \Omega _{2}}$ holomorfluk bölgesi ise, o zaman ${\displaystyle \Omega _{1}\times \Omega _{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.

• Behnke-Stein teoremi
• Sözde dışbükeylik
• Stein manifoldu

1. ^ Karmaşık düzleme eşit olmayan açık kümenin holomorfluk bölgesi olduğunu göstermek için bu 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 (Greene & Krantz 2006, s. 268). O zaman, Weierstrass teoremi 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.

• Greene, R. E; Krantz, S. G. (2006). Function theory of one complex variable. Providence, RI: American Mathematical Society. 
• Steven G. Krantz. Function Theory of Several Complex Variables, AMS Chelsea Publishing, Providence, Rhode Island, 1992.
• Boris Vladimirovich Shabat, Introduction to Complex Analysis, AMS, 1992