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 **<math>k</math> 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''<sup>0</sup>) 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 (''C<sup>k</sup>'') 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 \Omega 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\in C^k(\Omega) yazılır ve fonksiyona **<math>k</math> kere sürekli türevlenebilir fonksiyon** denir.

Bu fonksiyon sınıfları birbirinin içine özalt olacak şekildedirler; yani, her k>0 için, C^k sınıfı C^{k-1} sınıfının içindedir ve C^k \subsetneq C^{k-1} özelliğini gösterecek  C^{k-1} fonksiyonları vardır.

### Düzgün (''C<sup>∞</sup>'') 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^{\infty} gösterimi kullanılır. 
Daha matematiksel bir ifadeyle, açık bir \Omega kümesi üzerinde tanımlı bir f fonksiyonu verilsin. Eğer bu fonksiyon sonsuz türevlenebilir bir fonksiyon ise, o zaman f\in C^{\infty}(\Omega) 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^\omega 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''<sup>0</sup>) 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) = 
\begin{cases}
x  &  x \geq 0, \\ 
0 &\text{ } x 

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

### Türevlenebilir ama sürekli türevlenebilir değil (''C''<sup>1</sup> değil)

g(x) = \begin{cases}x^2\sin{\left(\tfrac{1}{x}\right)} & \quad x \neq 0, \\ 0 &\quad x = 0\end{cases}
fonksiyonunun türevi 
g'(x) = \begin{cases}-\mathord{\cos\left(\tfrac{1}{x}\right)} + 2x\sin\left(\tfrac{1}{x}\right) & \quad x \neq 0, \\ 0 &\quad x = 0\end{cases}
tarafından verilir. Ancak, \cos(1/x) fonksiyonu  → 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) = \begin{cases}x^{4/3}\sin{\left(\tfrac{1}{x}\right)} & \quad x \neq 0, \\ 0 &\quad x = 0\end{cases}
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''<sup></sup>)
Ü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) = 
\begin{cases}
e^{-\frac{1}{x}} & x >0 \text{ iken},\\ 
0 & \text{ diğer durumlarda}
\end{cases}
olarak tanımlanan fonksiyon düzgündür ama  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) = 
\begin{cases}
e^{-\frac{1}{1-x^2}} & |x| 
olarak tanımlanan yumru fonksiyonu düzgün fonksiyondur ama  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.

## Ayrıca bakınız
*Bağ interpolasyonu

## Notlar


## Kaynakça