Hurwitz teoremi (karmaşık analiz)

Matematiğin bir alt dalı olan karmaşık analizde Hurwitz teoremi, matematikçi Adolf Hurwitz'in ispatladığı ve bu yüzden onun ismini almış önemli bir sonuçtur. Genel bir şekilde ifade etmek gerekirse, Hurwitz teoremi karmaşık düzlemdeki bir bölge üzerinde tanımlı bir holomorf fonksiyonlar dizisinin sıfırları ile bu dizinin limiti olan fonksiyonun sıfırlarını ilişkilendirir.

Teoremin ifadesi ve kanıtı

değiştir

Hurwitz teoreminin değişik kaynaklarda yaygın iki ifadesi mevcuttur:

İfade 1:[1] D karmaşık düzlemde bir bölge olsun.   de D üzerinde tanımlı, her bir öğesi D üzerinde sıfır olmayan bir holomorf fonksiyonlar dizisi olsun (Yani,  ). Eğer bu dizi D nin her tıkız altkümesinde bir   fonksiyonuna düzgün yakınsak ise, o zaman ya   'dır ya da   'nin D üzerinde sıfırı yoktur.

Kanıt: Varsayalım ki   D üzerindeki her noktada 0 olmasın (yani sıfır fonksiyonu olmasın) ama D 'nin en az bir noktasında da 0 değerini alsın. Diyelim ki bu nokta P olsun; yani   olsun. Bir çelişki elde etmemiz lazım. İlk önce gözlemlemiz gereken   'nin de holomorf olacağıdır; çünkü   holomorf fonksiyonların tıkız altkümeler üzerindeki düzgün yakınsadığı bir fonksiyondur. O yüzden, D üzerindeki herhangi bir noktada  'nin türevini almakta sakınca yoktur.
Öyle bir r>0 seçelim ki P merkezli ve r yarıçaplı kapalı daire D 'nin içinde kalsın ve aynı zamanda   de bu kapalı daire üzerinde P noktasından başka bir yerde 0 değerini almasın. Böyle bir r bulabiliriz: Evvela, D bir bölgedir ve bu yüzden açık ve bağlantılı bir kümedir. Aynı zamanda, holomorf fonksiyonların sıfırları korunmalı noktalardır. Şimdi,
 
ifadesi  'nin P'deki sıfırının mertebesini verecektir. Yani varsayımımız üzerine en az 1 olacaktır. Diğer taraftan, her k için   sıfır değerini almadığı için
 
ifadesi Cauchy integral teoremi sayesinde 0'a eşit olacaktır. Ancak, aynı zamanda en son yazdığımız bu integral   iken ilk yazdığımız integral ifadesine yakınsayacaktır; çünkü   tıkız bir kümedir ve bu küme üzerinde teoremin varsayımı gereği   ve   düzgün yakınsamaları vardır. İkinci yazdığımız her k için 0'a eşitti ve ilk yazdığımız ifade de 1'den büyüktü. Bu bir çelişkidir. O zaman teorem doğrudur.

İfade 2:[2] D karmaşık düzlemde bir bölge olsun.   de D üzerinde tanımlı bir holomorf fonksiyonlar dizisi olsun ve bu dizi de D üzerinde tanımlı bir   fonksiyonuna yakınsasın. Eğer     ve   üzerinde   ise, o zaman öyle bir   vardır ki her   için   ve   'nin   içinde aynı sayıda sıfırı vardır.

İkinci ifadenin kanıtı da birinci kanıta benzer olarak yapılabilir.

Örnekler

değiştir

İlk ifadenin örneği olarak   alabiliriz. Üstel fonksiyon 0 değerini almadığı için her n için dizinin fonksiyonları sıfır olmaz ve bu dizinin   iken yakınsadığı fonksiyon   fonksiyonudur.

İkinci ifadede, alınan dairenin sınırında   koşulu önemlidir. Mesela, birim daire üzerinde

 

fonksiyonları   noktalarında 0 değeri alır. Ancak, bu fonksiyonların yakınsadığı   fonksiyonunun birim daire üzerinde sıfırı yoktur.

  1. ^ Greene, Robert E. ve Krantz, Steven G., Function Theory of One Complex Variable, AMS, 3. baskı, sf.169, 2006.
  2. ^ Conway, John B., Functions of One Complex Variable I, Springer, 2. baskı, sf.152, 1978.