Matematiğin bir alanı olan karmaşık analizde, karmaşık değişkenli ve karmaşık değerler alan bir f fonksiyonu
bir a noktasında holomorfsa, a noktası etrafındaki açık bir komşuluk içindeki her noktada türevlenebilirdir. Aynı zamanda ters ifade de doğrudur: fonksiyon a noktası etrafındaki bir açık komşuluk içindeki her noktada türevlenebilir ise, fonksiyon a noktasında holomorftur.
Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir.
şeklinde açılıyorsa, fonksiyon a noktasında analitiktir.(bu durum yakınsaklık yarıçapının pozitif olduğu gösterir.)
Karmaşık analizin önemli teoremlerinden birisi de holomorf fonksiyonların analitik olmasıdır. Bu teoremin sonuçlarından bazıları ise şunlardır:
İki holomorf fonksiyon, fonksiyonların tanım kümelerinin kesişimi içinde yığılma noktası olan sonsuz bir kümeye ait olan her noktada aynı değerleri alıyorsa, aynı zamanda belli bir açık küme içindeki her yerde de aynı değerleri alıyordur. Bu özellik aslında özdeşlik teoreminin bir iyileştirilmesidir.
Yakınsaklık yarıçapı, her zaman, merkez olan a noktasından fonksiyonun en yakın tekilliğine olan uzaklığa eşittir. Eğer fonksiyonun tekilliği yoksa, yani fonksiyon tam bir fonksiyonsa, o zaman yakınsaklık yarıçapı sonsuzdur. Aslında daha düzgün bir ifadeyle, bu, teoremin doğrudan sonucu değildir ancak yan ürün olarak sayılabilir.
Karmaşık analizde tam olan bir tümsek (bump) fonksiyon yoktur. Bilhassa, karmaşık düzlemin herhangi bağlantılı açık bir kümesinde, bu küme üzerinde tanımlanmış holomorf bir tümsek fonksiyon olamaz. Birimin parçalanışını olanaksızlaştırdığı için, bu durumun karmaşık çokkatlıların çalışılmasında birçok dallanması vardır. Aksine, birimin parçalanışı herhangi gerçel bir çokkatlıda kullanılabilen bir araçtır.
Kanıt
İlk kez Cauchy tarafından verilen argüman, Cauchy integral formülü ve
Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir.
ifadesinin kuvvet serisi açılımına dayanmaktadır.
f , a merkezli açık bir diskin her yerinde türevli olsun. z de bu açık diskte olsun. C ise bu diskin içinde a merkezli, yarıçapı z 'nin a 'ya uzaklığından daha fazla olan pozitif yönlü (yani saat yönünün tersi yönlü) olan bir çember olsun. Cauchy integral formülünden başlarsak,
Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir.
sonucuna varırız.
Burada toplam ve integralin yer değişimi, geometrik serinin, yakınsaklık diskinin içindeki sınırdan uzak sınırlı altkümeler içindeki düzgün sürekliliği tarafından sağlanmaktadır. (z - a)n çarpanı w üzerinden alınan integrale bağlı olmadığından, çarpan dışarıya alınabilir:
Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir.
İntegral ve 1/(2πi) çarpanı z değişkenine bağlı olmadığından, yani z 'nin fonksiyonları olmadıklarından, tüm ifade bir sabit cn olur. Yani
Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir.
ifadesini yazabiliriz ki bu da istenen kuvvet serisidir.
Notlar
Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir.
kuvvet serisi kullanılırsa
Bu forumdaki linkleri ve resimleri görebilmek için en az 25 mesajınız olması gerekir.
elde edilir. Bu türevler için Cauchy integral formülüdür. Bu yüzden, elde edilen kuvvet serisi, f 'nin Taylor serisidir.
Bu argüman, merkez olan a noktasına f 'nin herhangi bir tekilliğinden daha yakın olan herhangi bir z noktası için doğrudur. Bu yüzden, Taylor serisinin yakınsaklık yarıçapı, a 'ya en yakın tekillik noktasının a noktasına olan uzaklığından daha daha küçük olamaz.(daha büyük de olamaz çünkü kuvvet serilerinin yakınsaklık çemberlerinin içinde tekillik noktaları yoktur).
Özdeşlik teoreminin özel bir durumu takip eden nottan çıkar. Eğer iki holomorf fonksiyon a noktasının etrafındaki (muhtemelen çok küçük) açık bir U komşuluğunda aynı değerleri alıyorsa, o zaman ikisi de d 'nin en yakın tekillikten a 'ya olan uzaklığı gösterdiği Bd(a) açık kümesinde de aynı değerleri alır.