- Katılım
- 7 Eyl 2009
- Konular
- 6,986
- Mesajlar
- 38,038
- Çözüm
- 1
- Online süresi
- 7d 22h
- Reaksiyon Skoru
- 1,833
- Altın Konu
- 0
- Başarım Puanı
- 494
- MmoLira
- 6,585
- DevLira
- 0
ROHAN2 WORLD 1-120 TR TİPİ OFFICIAL YOHARA, BALATHOR VE AMON! 80. GÜNÜNDE! +10.000 ONLİNE! HİLE VE BOT %100 ENGELLİ HEMEN TIKLA!
Teoremlerin ifadesi
Küçük Picard
"Küçük Picard" adı da verilen ilk teorem, tam bir f(z) fonksiyonunun görüntü kümesinin ya tüm karmaşık düzlem ya da karmaşık düzlemin bir noktası hariç hepsi olduğunu ifade eder.
Bu teorem, Picard tarafından 1879 yılında kanıtlanmıştır. Sabit olmayan bir tam fonksiyonun görüntü kümesinin sınırsız olacağını ifade eden Liouville teoreminin önemli bir şekilde güçlendirilmiş halidir.
exp(1/z) 'nin, esaslı tekillik olan z=0 noktası merkezli çizimi. z noktasının renk özü exp(1/z 'nin karmaşık argumentini temsil etmektedir. Parlaklık ise aynı fonksiyonun mutlak değerini göstermektedir. Bu çizim, esaslı tekilliğe yaklaştıkça, sıfır olmayan bütün değerlerin alındığını gösterir.
Büyük Picard
"Büyük Picard" adı da verilen ikinci teorem, eğer f(z) 'nin w 'da esaslı tekilliği varsa, w 'yu içeren herhangi bir açık kümede f(z) 'nin en fazla bir değer hariç olmak üzere tüm değerleri sonsuz kere alacağını ifade eder.
Bu teorem de f 'nin görüntü kümesinin karmaşık düzlemde yoğun olacağını ifade eden Weierstrass-Casorati teoreminin önemli bir şekilde güçlendirilmiş halidir.
Notlar
'İstisna noktası' her iki teoremde de gereklidir: ez]] tam fonksiyondur, hiçbir zaman 0 olmaz, e1/z 'nin 0 'da esaslı tekilliği vardır ama yine de 0 değerini almaz.
"Büyük Picard", meromorfik fonksiyonlara da uygulanan biraz daha genel biçimiyle doğrudur: Eğer M, Riemann yüzeyiyse, w, M üzerinde bir nokta ise, P1C = C∪{∞} Riemann küresini gösteriyorsa ve f : M \ {w} → P1C , w noktasında esaslı tekilliği olan holomorf bir fonksiyonsa, o zaman f, M 'nin w 'yu içeren herhangi bir açık kümesinde, P1C 'nin en fazla iki noktası hariç tüm değerleri sonsuz kere alır.
Örneğin, f(z)=1/(1-exp(1/z)) 'nin z = 0 'da esaslı tekilliği vardır ve ∞ değerini 0 'ın herhangi bir komşuluğunda sonsuz kere alır; ancak hiçbir zaman 0 ve 1 değerlerini almaz.
Bu genelleştirmeyle beraber, "Küçük Picard" "Büyük Picard"dan çıkarılabilir çünkü bir tam fonksiyon ya polinomdur ya da fonksiyonun sonsuzda esaslı tekilliği vardır.
Bernhard Elsner'in son zamanlardaki bir hipotezi (Ann. Inst. Fourier 49-1 (1999) s.330) "Büyük Picard" ile ilgilidir: D-\{0\} karmaşık düzlemde delikli birim disk olsun ve U_1,U_2, \dots ,U_n, D-\{0\} 'ın sonlu açık bir kapsanışı olsun. Her U_j üzerinde bir holomorf f_j fonksiyonunun var olduğunu varsayalım öyle ki her U_jnU_k kesişimi üzerinde df_j = df_k olsun. O zaman, D birim diski üzerinde diferansiyeller birleşerek bir meromorfik 1-form oluştururlar. (Kalıntının sıfır olduğu özel durumda, hipotez Picard teoremiyle çözülebilir.)
Küçük Picard
"Küçük Picard" adı da verilen ilk teorem, tam bir f(z) fonksiyonunun görüntü kümesinin ya tüm karmaşık düzlem ya da karmaşık düzlemin bir noktası hariç hepsi olduğunu ifade eder.
Bu teorem, Picard tarafından 1879 yılında kanıtlanmıştır. Sabit olmayan bir tam fonksiyonun görüntü kümesinin sınırsız olacağını ifade eden Liouville teoreminin önemli bir şekilde güçlendirilmiş halidir.
exp(1/z) 'nin, esaslı tekillik olan z=0 noktası merkezli çizimi. z noktasının renk özü exp(1/z 'nin karmaşık argumentini temsil etmektedir. Parlaklık ise aynı fonksiyonun mutlak değerini göstermektedir. Bu çizim, esaslı tekilliğe yaklaştıkça, sıfır olmayan bütün değerlerin alındığını gösterir.
Büyük Picard
"Büyük Picard" adı da verilen ikinci teorem, eğer f(z) 'nin w 'da esaslı tekilliği varsa, w 'yu içeren herhangi bir açık kümede f(z) 'nin en fazla bir değer hariç olmak üzere tüm değerleri sonsuz kere alacağını ifade eder.
Bu teorem de f 'nin görüntü kümesinin karmaşık düzlemde yoğun olacağını ifade eden Weierstrass-Casorati teoreminin önemli bir şekilde güçlendirilmiş halidir.
Notlar
'İstisna noktası' her iki teoremde de gereklidir: ez]] tam fonksiyondur, hiçbir zaman 0 olmaz, e1/z 'nin 0 'da esaslı tekilliği vardır ama yine de 0 değerini almaz.
"Büyük Picard", meromorfik fonksiyonlara da uygulanan biraz daha genel biçimiyle doğrudur: Eğer M, Riemann yüzeyiyse, w, M üzerinde bir nokta ise, P1C = C∪{∞} Riemann küresini gösteriyorsa ve f : M \ {w} → P1C , w noktasında esaslı tekilliği olan holomorf bir fonksiyonsa, o zaman f, M 'nin w 'yu içeren herhangi bir açık kümesinde, P1C 'nin en fazla iki noktası hariç tüm değerleri sonsuz kere alır.
Örneğin, f(z)=1/(1-exp(1/z)) 'nin z = 0 'da esaslı tekilliği vardır ve ∞ değerini 0 'ın herhangi bir komşuluğunda sonsuz kere alır; ancak hiçbir zaman 0 ve 1 değerlerini almaz.
Bu genelleştirmeyle beraber, "Küçük Picard" "Büyük Picard"dan çıkarılabilir çünkü bir tam fonksiyon ya polinomdur ya da fonksiyonun sonsuzda esaslı tekilliği vardır.
Bernhard Elsner'in son zamanlardaki bir hipotezi (Ann. Inst. Fourier 49-1 (1999) s.330) "Büyük Picard" ile ilgilidir: D-\{0\} karmaşık düzlemde delikli birim disk olsun ve U_1,U_2, \dots ,U_n, D-\{0\} 'ın sonlu açık bir kapsanışı olsun. Her U_j üzerinde bir holomorf f_j fonksiyonunun var olduğunu varsayalım öyle ki her U_jnU_k kesişimi üzerinde df_j = df_k olsun. O zaman, D birim diski üzerinde diferansiyeller birleşerek bir meromorfik 1-form oluştururlar. (Kalıntının sıfır olduğu özel durumda, hipotez Picard teoremiyle çözülebilir.)
