Sözde dışbükeylik

Sözde dışbükey küme, matematikte çok değişkenli karmaşık analize temel oluşturan bir tanım kümesidir. Daha açık bir şekilde ifade edilecek olursa, çok değişkenli karmaşık analizde esas araç olarak kullanılan holomorf fonksiyonların doğal tanım kümesi sözde dışbükey kümelerdir.

Tanım

Sözde dışbükey kümeler için birden fazla tanım vermek mümkündür:

Hartogs sözde dışbükeyliği

Ω ⊂ C n {\displaystyle \Omega \subset {\mathbb {C} }^{n}} bağlantılı bir açık küme olsun. Ω {\displaystyle \Omega } üzerinde tanımlı sürekli, çoklualtharmonik bir φ {\displaystyle \varphi } fonksiyonu varsa ve bütün gerçel x {\displaystyle x} sayıları için { z ∈ Ω ∣ φ ( z ) < x } {\displaystyle \{z\in \Omega \mid \varphi (z)<x\}} kümesi Ω {\displaystyle \Omega } nın göreceli tıkız bir alt kümesi ise, o zaman Ω {\displaystyle \Omega } ya "sözde dışbükey" bölge adı verilir.


Levi sözde dışbükeyliği

Ω ⊂ C n {\displaystyle \Omega \subset {\mathbb {C} }^{n}} bağlantılı bir açık küme, Ω {\displaystyle \Omega } nın

sınırı olan b Ω {\displaystyle b\Omega } ise C 2 {\displaystyle C^{2}} olsun (yani yerel olarak iki kere türevli sürekli bir fonksiyonun görüntüsü olsun). Ω {\displaystyle \Omega } nın tanımlayıcı fonksiyonunu ise ρ {\displaystyle \rho } ile gösterelim. Eğer z ∈ b Ω {\displaystyle z\in b\Omega } iken

∑ j = 1 n ∂ ρ ∂ z j ( z ) w j = 0 {\displaystyle \sum _{j=1}^{n}{\frac {\partial \rho }{\partial z_{j}}}(z)w_{j}=0}

koşulunu sağlayan her w ∈ C n {\displaystyle w\in {\mathbb {C} }^{n}} için

∑ j , k = 1 n ∂ 2 ρ ∂ z j ∂ z k ¯ ( z ) w j w k ¯ ≥ 0 {\displaystyle \sum _{j,k=1}^{n}{\frac {\partial ^{2}\rho }{\partial z_{j}\partial {\bar {z_{k}}}}}(z)w_{j}{\bar {w_{k}}}\geq 0}

ise, o zaman Ω {\displaystyle \Omega } ya sözde dışbükey adı verilir. Bu eşitsizlik b Ω {\displaystyle b\Omega } nın noktalarında 0 {\displaystyle 0} dan daima büyükse, o zaman bölgeye kati sözde dışbükey adı verilir. b Ω {\displaystyle b\Omega } nın C 2 {\displaystyle C^{2}} olmadığı durumda, Ω {\displaystyle \Omega } nın altkümesi olan kati sözde dışbükey kümeler dizisinin limiti olarak Ω {\displaystyle \Omega } elde edilebiliyorsa, Ω {\displaystyle \Omega } ya yine sözde dışbükey adı verilir.

Verilen bu iki sözde dışbükeylik tanımı birbirine denktir. Bütün dışbükey kümeler aynı zamanda sözde dışbükeydir. n = 1 {\displaystyle n=1} iken, bütün bölgeler(açık, bağlantılı) sözde dışbükeydir.

Ayrıca bakınız

  • Holomorfik dışbükey zarf
  • Stein çokkatlısı
  • Analitik polihedron

Kaynakça

  • Lars Hörmander, An Introduction to Complex Analysis in Several Variables, North-Holland, 1990. (ISBN 0-444-88446-7).
  • Steven G. Krantz. Function Theory of Several Complex Variables, AMS Chelsea Publishing, Providence, Rhode Island, 1992.