Oka önsavı

Matematiğin bir alt dalı olan çok değişkenli karmaşık analizde Oka önsavı kompleks koordinat uzayının özalt kümesi olan bir holomorfluk bölgesinde  fonksiyonunun çoklualtharmonik olması gerektiğini ifade eden bir sonuçtur. Burada,  fonksiyonu 'nın sınırı olan 'ya uzaklık fonksiyonudur ve 'nın içindeki ve kapanışının dışındaki  için iyi tanımlıdır. Bu sonuç sayesinde, holomorfluk bölgesinin sözde dışbükey olduğu gösterilmiş olur.

Önsav, Kiyoşi Oka tarafından kanıtlanmıştır. Tarihi sırlamasına bakılırsa, bu önsav ilk olarak iki karmaşık değişkenli durumda  ve Hartogs bölgesinde  gösterilmiştir. Ayrıca, Oka önsavı, Levi probleminin tersidir. Belki de bu yüzden Oka, Levi problemine Hartogs'un Ters Problemi (Fr. problème inverse de Hartogs) adını vermiştir ve Levi problemi zaman zaman bu adla da anılır.

 Kaynakça 


Kategori:Çok değişkenli karmaşık analiz