Looman-Menşov teoremi

Matematiğin bir alt dalı olan karmaşık analizde Looman-Menşov teoremi karmaşık düzlemdeki açık bir küme üzerinde tanımlı olan ve karmaşık değerler alan sürekli bir fonksiyonun holomorf olması için yeterli ve gerekli şartın bu fonksiyonun Cauchy-Riemann denklemlerini sağlaması olduğunu ifade eden bir sonuçtur. Teorem, süreklilikten daha güçlü bir varsayımla, fonksiyonun den ye Fréchet türevliliğini varsayan Goursat teoremini genelleştirmektedir.

Teorem, Hollandalı matematikçi Herman Looman ve Sovyet matematikçi Dmitri Menşov'un adını taşımaktadır.

 Tarihçe 
Goursat'nın 1900'de kanıtladığı sonuca göre bir fonksiyonun tanımlı olduğu her yerde karmaşık türeve sahip olması, Cauchy integral teoreminin kanıtını ve bu sayede Cauchy integral formülünü de verir. Böylece, fonksiyonun analitikliği elde edilir. Sonuç olarak, karmaşık değerler alan bir  fonksiyonunun tanım kümesindeki her  noktasında 

limiti varsa, o zaman fonksiyon holomorftur. Bu teorem, Pompeiu tarafından türevin hemen hemen yer yerde olduğu ve 

ifadesinin sınırlı olduğu varsayılarak genelleştirilmiştir.
Montel, 1913'te nin tanım kümesinde sınırlılığını, kısmi türevlerin varlığını ve  olduğunu varsayarak fonksiyonun holomorf olduğunu ispâtsız sunsa da, buna benzer bir teoremin kanıtı Looman'a kadar beklemiştir. Looman, Montel'in ispatsız sunduğu teoremin ifadesindeki fonksiyonun sınırlılığı varsayımını süreklilik varsayımıyla değiştirerek bir ispat vermiştir. Looman'ın sunduğu ispattaki kalan bir açık, Menşov tarafından kapatılmıştır; ancak, Menşov da kanıt yayınlamamıştır. Teoremi Looman ve Menşov'a atfeden ve tam bir ispatını sunan Saks olmuştur. Sayfa 197'deki Teorem 5.3 ve devamına bakınız

 Teoremin ifadesi 
 açık bir küme ve  sürekli olsun.  ve  kismî türevleri 'daki sayılabilir bir küme haricinde her yerde tanımlı olsun. O hâlde, 'nin holomorf olması için gerekli ve yeterli sonuç Cauchy–Riemann denklemlerini sağlamasıdır; yani, 

 Örnekler 
Looman'ın da bahsettiği üzere, teoremdeki süreklilik varsayımı zayıflatılamaz. Gerçekten de, 

fonksiyonu  noktasında analitik değildir (sürekli de değildir) ama Cauchy-Riemann denklemlerini her yerde sağlar.

Diğer taraftan, 

fonksiyonu da her yerde süreklidir ve Cauchy-Riemann denklemlerini  noktasında sağlar ama  noktasında analitik değildir. Bu yüzden, teoremdeki kısmi türevlerin varlığının sadece bir noktada var olduğuna yönelik zayıflaştırmakla yine aynı sonuç elde edilemez.

 Kaynakça 

Kategori:Karmaşık analiz teoremleri