# Holomorf fonksiyonların analitikliği
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.
  - bir "a" noktası etrafında yakınsak bir kuvvet serisi olan
f(z)=∑_n=0^∞c_n(z-a)^n
ş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.
  - Kuvvet serileri sonsuz kere türevlenebilir olduğu için, holomorf fonksiyonlar da aynı özelliğe sahiptir.
  - 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
1 w-z .
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,
 f(z) amp;= 1 2π i∫_C f(w) w-z dw 
 amp;= 1 2π i∫_C 1 w-a·w-a w-zf(w) dw 
 amp;= 1 2π i∫_C 1 w-a·w-a (w-a)-(z-a)f(w) dw 
 amp;=1 2π i∫_C 1 w-a·1 1-z-a w-af(w) dw 
 amp;=1 2π i∫_C 1 w-a·∑_n=0^∞(z-a w-a)^n f(w) dw 
 amp;=∑_n=0^∞1 2π i∫_C (z-a)^n (w-a)^n+1 f(w) dw
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:
=∑_n=0^∞(z-a)^n 1 2πi∫_C f(w) (w-a)^n+1 dw.
İ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" "c""n" olur. Yani
=∑_n=0^∞c_n(z-a)^n
ifadesini yazabiliriz ki bu da istenen kuvvet serisidir.