Şöyle başlıyim öyleyse izninizle söze:
Kompleks analiz ile ilgili sorduğunuz herhangi bir çok elementer soru bile öyle bir dallanır budaklanır ki hangi daldan tutacağınızı şaşırırsınız cevaplarken.
Şimdi, ilk olarak, Euler formülü eix=cosx+isinx,x∈R den dolayı komplexde tanımladığınız f(z)=ez fonksiyonu periyodiktir (Kompleks sayılarda tanımlı fonksiyonlar periyodik de ne demekse!:)). Dolayısıyla bu fonksiyon 1-1 değildir. Yani f:C→C, f(z)=ez, bildiğimiz anlamda, tersinir değildir. Böyle fonksiyonların terslerine "çok değerli fonksiyon" denir. Yani logz dediğimiz fonksiyon bir çok değerli fonksiyondur ve
logz=ln|z|+iarg(z)
olarak tanımlanır. Bunun bir dalı ise
Logz=ln|z|+iArg(z),z∈C−(−∞,0]
şeklinde tanımlanır. Buna logaritmanın esas (principal ın çevirisi için yardım lütfen) dalı denir.
Burada arg(z), 2π periyotlu iken Arg(z) tek değerlidir ve değerlerini (−π,π) arasında alır. Örneğin, arg(1)=0+2nπ iken Arg(1)=0'dır.
(Çok değerli fonksiyonların dalı nasıl tanımlanır, logaritmanın tam (İng Entire) bir dalı var mıdır soruları ayrı birer sorulardır.)