+1
-2
oint_c f(z),dz = 0
ifadesini sağlayan bir f fonksiyonunun d üzerinde holomorf olması gerektiğini ifade eder. morera teoreminin varsayımı, f 'nin d üzerinde terstürevi olduğuna denktir.
teoremin tersi genel anlamda doğru değildir. holomorf bir fonksiyon, ek varsayımlar konulmadıkça, tanım kümesi üzerinde terstüreve sahip olmak zorunda değildir. örneğin, cauchy integral teoremi, holomorf bir fonksiyonun kapalı bir eğri üzerindeki çizgi integralinin ancak fonksiyonun tanım kümesinin basit bağlantılı olması durumunda sıfır olacağını ifade eder.
konu başlıkları
1 kanıt
2 uygulamalar
2.1 düzgün limitler
2.2 sonsuz toplamlar ve integraller
3 hipotezlerin zayıflatılması
4 kaynakça
5 dış bağlantılar
kanıt
a 'dan b 'ye iki yol boyunca integraller eşittir çünkü farkları kapalı bir döngü boyunca integraldir.
görece
olarak teoremin basit bir kanıtı vardır. f için açıkça bir terstürev oluşturulur. ondan sonra teorem, holomorf fonksiyonlar analitiktir gerçeğinden
yola çıkılarak kanıtlanır.
genellemeyi kaybetmeden, d 'nin bağlantılı olduğu varsayılabilir. d içinde bir a noktası sabitlensin ve d üzerinde aşağıdaki gibi karmaşık değerli bir f fonksiyonu tanımlansın:
f(b) = int_a^b f(z),dz.,
yukarıdaki integral, d içinde a 'dan b 'ye herhangi bir yol üzerinden alınabilir. burada f fonksiyonu iyi tanımlıdır çünkü hipotez gereği f 'nin a 'dan b 'ye giden herhangi iki eğri boyunca integrali eşittir. hesabın temel teoremi sayesinde f 'nin türevinin f olduğu görülür:
f'(z) = f(z).,
özellikle, f holomorftur. o zaman f de holomorf bir fonksiyonun türevi olduğu için holomorftur.
uygulamalar
morera teoremi karmaşık analizde standart bir araçtır. bir holomorf fonksiyon cebirsel olmayan bir yolla oluşturulacaksa, hemen hemen tüm argümanlarda morera teoremi kullanılır.
düzgün limitler
örneğin, f1, f2, ... açık bir küme üzerinde sürekli bir f fonksiyonuna düzgün bir şekilde yakınsayan bir holomorf fonksiyon dizisi olsun. cauchy integral teoreminden her n için ve disk içinde kapalı her c eğrisi için
oint_c f_n(z),dz = 0
ifadesinin doğru olduğu görülür. düzügün yakınsaklık sayesinde de her kapalı c eğrisi için
oint_c f(z),dz = lim_{nrightarrowinfty} oint_c f_n(z),dz = 0
ifadesinin doğruluğu biliniyor. bu yüzden, morera teoreminden dolayı f holomorf olmalıdır. bu gerçek, aynı zamanda, herhangi açık bir ω ⊆ c kümesi için, u : ω → c şeklinde tanımlanan sınırlı ve analitik tüm fonksiyonların kümesi a(ω)'nın supremum norm'a göre bir banach uzayı olduğunu göstermek için de kullanılabilir.
sonsuz toplamlar ve integraller
morera teoremi ayrıca riemann zeta fonksiyonu
zeta(s)=sum_{n=1}^infty frac{1}{n^s}
veya gama fonksiyonu
gamma(alpha)=int_0^infty x^{alpha-1} e^{-x},dx.
gibi toplamlar ve integraller yoluyla tanımlanmış fonksiyonların analitikliğini göstermek için de kullanılabilir.
hipotezlerin zayıflatılması
morera teoreminin hipotezleri epeyce zayıflatılabilir. özellikle, d bölgesi içindeki her kapalı t üçgeni için
oint_{partial t} f(z), dz
integralinin sıfır olması yeterlidir. bu aslında, holomorfiyi ayırıcı bir niteliğe sokar, yani f ancak ve ancak yukarıdaki koşullar sağlanırsa holomorftur.
ğer her c boyunca sıfırsa, o zaman f, d üzerinde holomorftur.
matematiğin bir dalı olan karmaşık analizde, giacinto morera'nın ardından adlandırılan morera teoremi, bir fonksiyonun holomorf olduğunu kanıtlamak için önemli bir ölçüttür.
morera teoremi, karmaşık düzlem üzerindeki açık bir d kümesi üzerinde tanımlı, sürekli, karmaşık değerli ve d içindeki her kapalı c eğrisi için
oint_c f(z),dz = 0
ifadesini sağlayan bir f fonksiyonunun d üzerinde holomorf olması gerektiğini ifade eder. morera teoreminin varsayımı, f 'nin d üzerinde terstürevi olduğuna denktir.
teoremin tersi genel anlamda doğru değildir. holomorf bir fonksiyon, ek varsayımlar konulmadıkça, tanım kümesi üzerinde terstüreve sahip olmak zorunda değildir. örneğin, cauchy integral teoremi, holomorf bir fonksiyonun kapalı bir eğri üzerindeki çizgi integralinin ancak fonksiyonun tanım kümesinin basit bağlantılı olması durumunda sıfır olacağını ifade eder.
konu başlıkları
1 kanıt
2 uygulamalar
2.1 düzgün limitler
2.2 sonsuz toplamlar ve integraller
3 hipotezlerin zayıflatılması
4 kaynakça
5 dış bağlantılar
kanıt
a 'dan b 'ye iki yol boyunca integraller eşittir çünkü farkları kapalı bir döngü boyunca integraldir.
görece olarak teoremin basit bir kanıtı vardır. f için açıkça bir terstürev oluşturulur. ondan sonra teorem, holomorf fonksiyonlar analitiktir gerçeğinden yola çıkılarak kanıtlanır.
genellemeyi kaybetmeden, d 'nin bağlantılı olduğu varsayılabilir. d içinde bir a noktası sabitlensin ve d üzerinde aşağıdaki gibi karmaşık değerli bir f fonksiyonu tanımlansın:
f(b) = int_a^b f(z),dz.,
yukarıdaki integral, d içinde a 'dan b 'ye herhangi bir yol üzerinden alınabilir. burada f fonksiyonu iyi tanımlıdır çünkü hipotez gereği f 'nin a 'dan b 'ye giden herhangi iki eğri boyunca integrali eşittir. hesabın temel teoremi sayesinde f 'nin türevinin f olduğu görülür:
f'(z) = f(z).,
özellikle, f holomorftur. o zaman f de holomorf bir fonksiyonun türevi olduğu için holomorftur.
uygulamalar
morera teoremi karmaşık analizde standart bir araçtır. bir holomorf fonksiyon cebirsel olmayan bir yolla oluşturulacaksa, hemen hemen tüm argümanlarda morera teoremi kullanılır.
düzgün limitler
örneğin, f1, f2, ... açık bir küme üzerinde sürekli bir f fonksiyonuna düzgün bir şekilde yakınsayan bir holomorf fonksiyon dizisi olsun. cauchy integral teoreminden her n için ve disk içinde kapalı her c eğrisi için
oint_c f_n(z),dz = 0
ifadesinin doğru olduğu görülür. düzügün yakınsaklık sayesinde de her kapalı c eğrisi için
oint_c f(z),dz = lim_{nrightarrowinfty} oint_c f_n(z),dz = 0
ifadesinin doğruluğu biliniyor. bu yüzden, morera teoreminden dolayı f holomorf olmalıdır. bu gerçek, aynı zamanda, herhangi açık bir ω ⊆ c kümesi için, u : ω → c şeklinde tanımlanan sınırlı ve analitik tüm fonksiyonların kümesi a(ω)'nın supremum norm'a göre bir banach uzayı olduğunu göstermek için de kullanılabilir.
sonsuz toplamlar ve integraller
morera teoremi ayrıca riemann zeta fonksiyonu
zeta(s)=sum_{n=1}^infty frac{1}{n^s}
veya gama fonksiyonu
gamma(alpha)=int_0^infty x^{alpha-1} e^{-x},dx.
gibi toplamlar ve integraller yoluyla tanımlanmış fonksiyonların analitikliğini göstermek için de kullanılabilir.
bekleyen değişiklikler bu sayfada görüntülenmektedirkontrol edilmemiş
atla: kullan, ara
eğer her c boyunca sıfırsa, o zaman f, d üzerinde holomorftur.
matematiğin bir dalı olan karmaşık analizde, giacinto morera'nın ardından adlandırılan morera teoremi, bir fonksiyonun holomorf olduğunu kanıtlamak için önemli bir ölçüttür.
morera teoremi, karmaşık düzlem üzerindeki açık bir d kümesi üzerinde tanımlı, sürekli, karmaşık değerli ve d içindeki her kapalı c eğrisi için
oint_c f(z),dz = 0
ifadesini sağlayan bir f fonksiyonunun d üzerinde holomorf olması gerektiğini ifade eder. morera teoreminin varsayımı, f 'nin d üzerinde terstürevi olduğuna denktir.
teoremin tersi genel anlamda doğru değildir. holomorf bir fonksiyon, ek varsayımlar konulmadıkça, tanım kümesi üzerinde terstüreve sahip olmak zorunda değildir. örneğin, cauchy integral teoremi, holomorf bir fonksiyonun kapalı bir eğri üzerindeki çizgi integralinin ancak fonksiyonun tanım kümesinin basit bağlantılı olması durumunda sıfır olacağını ifade eder.
konu başlıklarıbekleyen değişiklikler bu sayfada görüntülenmektedirkontrol edilmemiş
atla: kullan, ara
eğer her c boyunca sıfırsa, o zaman f, d üzerinde holomorftur.
matematiğin bir dalı olan karmaşık analizde, giacinto morera'nın ardından adlandırılan morera teoremi, bir fonksiyonun holomorf olduğunu kanıtlamak için önemli bir ölçüttür.
morera teoremi, karmaşık düzlem üzerindeki açık bir d kümesi üzerinde tanımlı, sürekli, karmaşık değerli ve d içindeki her kapalı c eğrisi için
oint_c f(z),dz = 0
ifadesini sağlayan bir f fonksiyonunun d üzerinde holomorf olması gerektiğini ifade eder. morera teoreminin varsayımı, f 'nin d üzerinde terstürevi olduğuna denktir.
teoremin tersi genel anlamda doğru değildir. holomorf bir fonksiyon, ek varsayımlar konulmadıkça, tanım kümesi üzerinde terstüreve sahip olmak zorunda değildir. örneğin, cauchy integral teoremi, holomorf bir fonksiyonun kapalı bir eğri üzerindeki çizgi integralinin ancak fonksiyonun tanım kümesinin basit bağlantılı olması durumunda sıfır olacağını ifade eder.
Tümünü Göster
