# Liouville teoremi (karmaşık analiz)
Matematiğin bir alt dalı olan karmaşık analizde, Liouville teoremi tam fonksiyonların sınırlılığıyla ilgili temel bir teoremdir.
Bilinen halini esas kanıtlayan Cauchy olsa da Joseph Liouville'in ismine atfedilmiştir..


## Teoremin ifadesi.
Liouville teoremi: "Tam bir fonksiyon sınırlı ise, o zaman sabittir."
Yani, C 'deki her "z" için |"f"("z")| ≤ "M" olan pozitif bir M varsa ve "f" holomorfsa, "f" sabittir.Başka bir deyişle, sabit olmayan bir tam fonkiyon karmaşık düzlemde sınırlı kalamaz.
Teorem, büyük ölçüde, en az iki karmaşık sayıyı almayan her tam fonksiyonun sabit olacağını söyleyen Picard'ın küçük teoremi ile iyileştirilmiştir.


## Kanıt.
Teorem, "holomorf fonksiyonların analitikliği" gerçeğinden elde edilir. "f", tam olduğu için, 0 etrafında Taylor serisi ile temsil edilebilir; yani
 f(z) = ∑_k=0^∞a_k z^k.
Buradaki a_k terimi ise (Cauchy integral formülü yardımıyla)
a_k = f^(k)/k! = 1 2 πi ∮_C_r f( ζ)ζ^k+1 dζ
olarak yazılır ("C""r", 0 merkezli, "r" yarıçaplı bir çemberdir.) Doğrudan
≤1/2 π ∮_C_r | f ( ζ) | / | ζ^k+1 | dζ≤1/2 π ∮_C_r M / r^k+1 dζ≤M/r^k,
tahmini yapılabilir (İkinci eşitsizlikte varsayımdaki her "z" için |"f"("z")| ≤ "M" eşitsizliği kullanılmıştır). Yol integralinde kullanılan "r" sayısının seçimi ise keyfidir. Bu yüzden, "r" sonsuza götürülürse, her "k" ≥ 1 için "a""k" = 0 elde edilir. Böylelikle, "f"("z") = "a"0 olur ve teorem kanıtlanmış olur.


## Sonuçlar.
### Cebirin temel teoremi.
Cebirin temel teoreminin Liouville teoremine dayanan kısa bir kanıtı vardır.


### Hiçbir tam fonksiyon bir diğer tam fonksiyona baskınlık kuramaz.
Teoremin bir sonucu da "gerçekte farklı" fonksiyonların birbirine baskınlık kuramayacağıdır, yani "f" ve "g" tamsa ve her yerde |"f"| ≤ |"g"| ise, o zaman bir "α" sayısı için "f " = α."g" olur. 
Bunu göstermek içinse h = f/g fonksiyonunu ele alalım. "h" 'nin tam bir fonksiyona uzatılabilmesi yetecektir ve böylece Liouville teoremi sonucu verecektir. "h" 'nin holomorf olması "g"−1(0) haricindeki noktalarda açıktır. Şimdi, "g"("a") = 0 ise varsayımdaki |"f"| ≤ |"g"| sayesinde "f"("a") = 0 ifadesi de vardır. Analitiklik sayesinde, "h" sürekli ve bu yüzden de holomorf olarak "a" üzerine uzatılabilir. Bu yüzden, "h", "g"−1(0) üzerinde tam bir fonksiyona uzatılabilir.


### Sabit olmayan eliptik fonksiyonlar C 'de tanımlanamaz.
Teorem aynı zamanda sabit olmayan eliptik bir "f" fonksiyonunun tanım kümesinin C 'de olamayacağını göstermekte de kullanılabilir. Olduğunu varsayalım. O zaman, "a" ve "b", "f" 'nin "a"/"b" gerçel olmayacak şekilde iki periyodu ise, köşeleri 0, "a", "b" ve "a" + "b" olan "P" paralelkenarını ele alalım. O zaman, "f" 'nin görüntüsü "f"("P") 'ye eşit olacaktır. "f" sürekli olduğu ve "P" tıkız olduğu için, "f"("P") de tıkız olacaktır ve bu yüzden sınırlı olacaktır. Böylece, "f" sabit olacaktır.
"Sabit olmayan eliptik fonksiyonlar C 'de tanımlanamaz" gerçeği aslında Liouville'in 1847'de eliptik fonksiyonlar kuramını kullanarak kanıtladığı ifadedir.


### Tam fonksiyonların genelde yoğun görüntüleri vardır.
"f" sabit olmayan tam bir fonksiyonsa, o zaman görüntüsü C içinde yoğundur. Bu ifade Liouville teoreminden daha güçlü bir sonuç olarak güzükse de aslında teoremin kolay bir sonucudur. Aynı sonuç, Casorati-Weierstrass teoremi sayesinde de elde edilebilir.
"f" 'nin görüntüsü yoğun olmasaydı, o zaman bir "w" karmaşık sayısı ve "r" > 0 gerçel sayısı olurdu öyle ki "w" merkezli, "r" yarıçaplı açık disk, "f" 'nin görüntüsünden bir eleman içermezdi. g(z) = 1/(f(z) - w) fonksiyonunu tanımlayalım. Varsayımdan dolayı, payda hiçbir zaman 0 olamaz. O halde, her z∈ℂ için, |g(z)|=\frac1<\frac1r</math> olacağı için, g sınırlı tam bir fonskiyon olur. Liouville teoremi sayesinde, "g" sabit olur. Ancak, bunun doğru olmadığı "f" sabit olmadığından açıktır. Yani, "f" 'nin görüntüsünin yoğun olmamasıyla bir tezat yakalanmış olur. Sonuç olarak, "f" sabit olmayan tam bir fonksiyonsa "f" 'nin görüntüsü yoğundur.