# Düzgünlük
Matematiğin bir alt dalı olan analizde düzgünlük, bir fonksiyonun tanım bölgesinde sürekli bir şekilde türevlenebilme sayısı ile ölçülen bir özelliktir. Bir fonksiyonun türevlenebilirlik sınıfı sayesinde fonksiyonun kaçıncı mertebeden sürekli bir türevi olup olmadığı belirlenir. Sonuç olarak, fonksiyonlara sonsuz kere türevli (düzgün fonksiyon) veya k kere sürekli türevlenebilir fonksiyon denir.


## Tanımlar.
Türevlenebilirlik sınıfı, fonksiyonların türevlerinin özelliklerine göre sınıflandırılmasıdır. Bir fonksiyonun, eğer varsa, en yüksek mertebeli türevi ve bu türevin sürekli olması, bu fonksiyonun türevlenebilirlik sınıfının kıstasıdır.


### Sürekli ("C"0) fonksiyon.
Eğer bir fonksiyon sadece sürekli ise ve hiç türevlenemez ise ya da fonksiyonun türevli olup olmadığından bağımsız olarak sadece sürekli olduğuna vurgu yapılmak istendiğinde, fonksiyon için C^0 gösterimi kullanılır.


### Sürekli türevlenebilir ("Ck") fonksiyon.
k pozitif bir tamsayı olmak üzere, en az k kere türevlenebilen ve k'inci türevi sürekli olan bir fonksiyonun türevlenebilirlik sınıfını göstermek için C^k gösterimi kullanılır. Daha matematiksel bir ifadeyle, açık bir Ω kümesi üzerinde tanımlı bir f fonksiyonu verilsin. Eğer bu fonksiyon k kere türevlenebilen ve k'inci türevi sürekli olan bir fonksiyon ise, o zaman f∈C^k(Ω) yazılır ve fonksiyona k kere sürekli türevlenebilir fonksiyon denir.
Bu fonksiyon sınıfları birbirinin içine özalt olacak şekildedirler; yani, her k gt;0 için, C^k sınıfı C^k-1 sınıfının içindedir ve C^k ⊊C^k-1 özelliğini gösterecek C^k-1 fonksiyonları vardır.


### Düzgün ("C∞") fonksiyon.
Tanım kümesindeki bütün noktalarda "sonsuz kere türevli" olan, yani, keyfi bir k pozitif bir tamsayısı için k'inci türevi var olan bir fonksiyona düzgün fonksiyon ya da sonsuz türevli fonksiyon denir. Düzgün bir fonksiyonun türevlenebilirlik sınıfını göstermek için C^∞ gösterimi kullanılır. 
Daha matematiksel bir ifadeyle, açık bir Ω kümesi üzerinde tanımlı bir f fonksiyonu verilsin. Eğer bu fonksiyon sonsuz türevlenebilir bir fonksiyon ise, o zaman f∈C^∞(Ω) yazılır.


#### Analitik fonksiyon.
Bir fonksiyon düzgün fonksiyon ise ve tanım kümesi içindeki her noktanın bir komşuluğunda Taylor serisi fonksiyona o noktada yakınsıyorsa, o zaman bu fonksiyona analitik fonksiyon denir. Düzgün olup da analitik olmayan fonksiyonlar vardır. Yumru fonksiyonu bu tür bir örnektir. Holomorf fonksiyonlar karmaşık analitiktir. Analitik fonksiyonlar için C^ω gösterimi mevcuttur; ancak, genelde bu gösterim okuyucuya ilk gösterildiğinde açıklanır. Analitikliğe vurgu yapılmak istendiğinde, bir fonksiyonun gerçel analitik ya da karmaşık analitik olduğundan genelde yazı ya da söz ile bahsedilip gösterimlerin karmaşaya yol açmaması hedeflenir.


## Örnekler.
### Sürekli ("C"0) ama türevlenebilir değil.
Grafiğinin sıfır noktasında köşesi olan aşağıdaki fonksiyon süreklidir ama sıfır noktasında türevi yoktur.
f(x) = 
x amp; x ≥0, 
0 amp; x lt; 0


### Sonlu kere sürekli türevlenebilir ("C"k).
Her çift k tamsayısı için,
f(x)=|x|^k+1
fonksiyonu her x noktasında süreklidir ve k kere türevlenebilir. Yani, fonksiyon "C"k fonksiyondur. Ancak, x = 0 noktasında, fonksiyon (k + 1) kere türevli değildir. Bu sebeple, fonksiyon "C"k fonksiyondur ama fonksiyon "C"k+1 fonksiyon değildir. Genellersek, fonksiyon j ≤ k için "C"j fonksiyondur ama j > k için "C"j fonksiyon değildir.


### Türevlenebilir ama sürekli türevlenebilir değil ("C"1 değil).
g(x) = x^2sin(1x) amp; x ≠0, 
 0 amp; x = 0
fonksiyonunun türevi 
g'(x) = -cos(1x) + 2xsin(1x) amp; x ≠0, 
 0 amp; x = 0
tarafından verilir. Ancak, cos(1/x) fonksiyonu x → 0 iken salınacağından, g'(x) fonksiyonu sıfır noktasında sürekli olmaz. Bu yüzden, g(x) fonksiyonunun türevi vardır ama türevi sürekli değildir. O yüzden, bu fonksiyon, "C"1 sınıfına ait değildir.


### Türevlenebilir ama Lipschitz sürekli değil.
h(x) = x^4/3sin(1x) amp; x ≠0, 
 0 amp; x = 0
fonksiyonu türevlenebilirdir ama fonksiyonun türevi tıkız bir küme üzerinde sınırsızdır. Bu yüzden, h fonksiyonu türevlenebilir olup, yerel olarak Lipschitz sürekli olmayan bir fonksiyon örneğidir.


### Analitik ("C"ω).
Üstel fonksiyon e^x analitik fonksiyondur ve bu yüzden, "C"ω sınıfına aittir. Trigonometrik fonksiyonlar da tanımlı oldukları bölgelerde analitiktir; çünkü, Euler formülü sayesinde, e^ix ve e^-ix fonksiyonlarının doğrusal katışımıdırlar (kombinasyonudurlar).


### Düzgün ama analitik değil.
f(x) = 
e^-1/x amp; x gt;0 iken,
0 amp; diğer durumlarda
olarak tanımlanan fonksiyon düzgündür ama x = 0 noktasında fonksiyonun Taylor serisi sıfır fonksiyonuna eşittir ama fonksiyonun kendisi sıfır fonksiyonuna eşit değildir; yani, bu fonksiyon analitik değildir. Fonksiyonun sıfır değeri almadığı noktaların kümesinin kapanışı negatif-olmayan gerçel sayılar olduğu için fonksiyonun destek kümesi tıkız değildir. Diğer taraftan, 
f(x) = 
e^-1/1-x^2 amp; |x| lt; 1 iken,
0 amp; diğer durumlarda
olarak tanımlanan yumru fonksiyonu düzgün fonksiyondur ama x = ±1 noktalarında analitik değildir. Bu fonksiyon, aynı zamanda, tıkız destekli ve gerçel değerli düzgün fonksiyonlara bir örnektir. Karmaşık değerli analitik fonksiyonlar ele elındığında, yani holomorf fonksiyonlar için, tıkız destekli tam fonksiyonlar ya da tanım kümesinin tıkız desteğinden farkı sayılamaz çoklukta nokta içeren holomorf fonksiyonlar sıfır fonksiyonuna özdeştir.