Karmaşık düzlem

matematikte karmaşık düzlem, gerçel eksen ve ona dik olan sanal eksen tarafından oluşturulmuş, karmaşık sayıların geometrik bir gösterimidir. karmaşık sayının gerçel kısmının x-ekseni boyuncaki yer değiştirmeyle, sanal kısmının ise y-eksenindeki yer değiştirmeyle temsil edildiği değiştirilmiş bir kartezyen düzlem olarak düşünülebilir.

karmaşık düzleme bazen de argand düzlemi denmektedir çünkü argand diagramlarında kullanılmaktadır. bu terimler ilk defa norveçli-danimarkalı kadastrocu ve matematikçi caspar wessel (1745-1818) tarafından kullanılmış olmasına rağmen, jean-robert argand'ın (1768-1822) adıyla anılmaktadır. argand diagramları karmaşık düzlemdeki bir matematiksel fonksiyonun kutuplarını ve sıfırlarını çizmek için sık sık kullanılır.

karmaşık düzlem kavramı karmaşık sayıların geometrik bir yorumuna da izin verir. toplama altında, vektörler gibi davranırlar. i̇ki karmaşık sayının çarpımı en kolay şekilde kutupsal koordinatlarda açıklanabilir – çarpımın büyüklüğü (veya modülüsü) iki mutlak değerin çarpımlarına eşittir ve çarpımın açısı (veya argumenti) iki açının veya iki argumentin toplamına eşittir. özelde, modülüsü 1 olan bir karmaşık sayıyla çarpım rotasyon gibi davranır.

gösterimsel uzlaşmalar 

karmaşık analizde karmaşık sayılar geleneksel olarak z ile gösterilirler. z 'nin kullanıldığı durumlarda ise w veya ω kullanılır. z sayısı, x ve y 'nin gerçel sayılar olduğu gerçel(x) ve sanal(y) kısımlarına

gibi ayrılabilir. burada i sayısı sanal birimdir. bu geleneksel gösterimde z karmaşık sayısı, kartezyen düzlemindeki (x, y) sayısına karşılık gelmektedir. kartezyen düzleminde (x, y) ayrıca kutupsal koordinatlar kulllanılarak

olarak ifade edilebilir.

kartezyen düzlemde arctanjant fonksiyonunun -π ile π (radyan cinsinden) arasında değer aldığı varsayılabilir ve x ≤ 0 olduğunda (x, y) noktaları için gerçel arctanjant fonksiyonunu tanımlamada dikkat edilmelidir. karmaşık düzlemde bu kutupsal koordinatlar şu formu alırlar:

bu denklemde,

eşitlikleri alınmıştır.

|z| burada z 'nin mutlak değeri veya modülüsüdür; θ ise z 'nin argumentidir ve genelde 0 ≤ θ < 2π olacak şekilde alınır. son eşitlik (|z|eiθ) ise euler formülünden alınmıştır. z 'nin argumenti çok değişkenlidir çünkü karmaşık üstel fonksiyon periyodiktir (periyodu 2πi dir ). bu yüzden, θ, arg(z) 'nin bir değeriyse, diğer değerler n 'nin sıfırdan farklı herhangi bir tam sayı olduğu arg(z) = θ + 2nπ ile verilir.

kontür integrali alma kuramı karmaşık analizin büyük bir kısmını oluşturur. bu bağlamda kapalı eğri boyunca gidişin yönü önemlidir – integralin alındığı yönü tersi yöne çevirmek integrali -1 ile çarpmak demektir. uzlaşma ise pozitif yönün saat yönünün tersi olduğudur. mesela, birim çember üzerinde z = 1 noktasından başlayıp pozitif yönde gitmek şöyle olur: başlangıçtaki z = 1 noktasından yukarıya ve sola z = i noktasına gidilir, sonra aşağıya ve sola -1 noktasına gidilir. sonra aşağıya ve sağa gidilerek -i noktasından geçilerek en sonunda yukarıya ve sağa doğru yol takip edilir ve başlangıç noktası olan z = 1 noktasına ulaşılır.

karmaşık analizin hemen hemen hepsi karmaşık fonksiyonlarla ilgilidir – yani karmaşık düzlemin bir altkümesini yine başka bir altkümesine (üst üste gelebilir veya aynı küme olabilir) gönderen fonksiyonlar. burada f(z) fonksiyonunun tanım kümesinden bahsederken bir diğer uzlaşım ise tanım kümesinin olduğu düzlemi z-düzlemi olarak, görüntü kümesinin olduğu düzlemi ise w-düzlemi olarak anmaktır. sembollere dökülürse,

olarak yazılır ve f, z-düzleminin ((x, y) koordinatlarıyla) w-düzlemine ((u, v) koordinatlarıyla) dönüşümü olarak düşünülür.

stereografik izdüşümler 

bazen karmaşık düzlemi birim kürenin yüzeyini işgal ediyormuş gibi düşünmek de faydalıdır. birim yarıçaplı küreyi ele alalım ve karmaşık düzlemi bu kürenin tam ortasına koyalım. böylece, kürenin merkezi ile orijin yani z=0 noktası aynı olsun. küre ile karmaşık düzlemin bu haldeki kesişimi düzlemdeki birim çember olacaktır.

küre üzerindeki noktalarla karmaşık düzlemin noktaları arasında birebir örten bir ilişki kurulabilir. düzlemde verilen bir nokta için, noktayı kürenin kuzey kutbuna bağlayan bir doğru çizelim. bu doğru küreyi kesinlikle başka bir noktada daha kesecektir. z =0 noktası ise güney kutbuna izdüşürülsün. birim çemberin içi kürenin içinde yer aldığı için (|z| < 1) tam bölgesi kürenin güney yarımküresine gönderilecektir. birim çemberin (|z| = 1) kendi ise ekvatora ve birim çemberin dışı (|z| > 1) ise kuzey yarımküreye gönderilecektir. bu prosedür tersine de çevrilebilir – küre yüzeyinde bir nokta verilmiş olsun ve bu nokta kuzey kutbundan hariç bir nokta olsun. o zaman, bu noktayı kuzey kutbuna bağlayan bir doğru çizebiliriz ve bu doğru da düzlemi kesinlikle bir kez keser.

bu stereografik izdüşüm esnasında bir nokta – kuzey kutup noktası – karmaşık düzlemin bir noktasıyla eşlenmemiştir. birebir örten ilişkiyi mükemmelleştirmek için küre yüzeyindeki kutup noktasına karşılık karmaşık düzleme sonsuzdaki nokta eklenir ve bu kutup noktası ile sonsuzdaki nokta birbirlerine eşlenir. bu topolojik uzay, yani karmaşık düzlem artı sonsuzdaki nokta, genişletilmiş karmaşık düzlem olarak da bilinir. bu da matematikçilerin karmaşık düzlem hakkında konuşurken neden tek bir "sonsuzdaki nokta" aldıklarını açıklar. gerçel sayı doğrusunda negatif ve pozitif olmak üzere iki adet sonsuz varken, genişletilmiş karmaşık düzlemde sadece bir tane sonsuz vardır.

küredeki enlem ve boylam çizgilerinin küreden düzleme izdüşürüldüğünde neler olabileceğini düşünelim. enlem doğrularının hepsi ekvatora paraleldir. böylece hepsi z = 0 merkezli mükemmel birer çember olurlar. boylam doğruları ise orijinden geçen (aynı zamanda sonsuzdan da geçen doğrular; çünkü güney ve kuzey kutuplarının her ikisinden geçerler) doğrular olacaktır.

bu, bir kürenin bir düzlem üzerine olan tek stereografik izdüşümü değildir. mesela, kürenin güney kutbu orijinin üstüne gelecek ve düzlem küreye teğet olacak şekilde koyulabilir. detaylar çok da önemli değildir. kürenin düzleme olan herhangi bir izdüşümü bir "sonsuzdaki nokta" yaratacaktır ve bu izdüşüm enlem ve boylam doğrularını düzlemde sırasıyla çemberlere ve doğrulara gönderecektir.

düzlemi kesmek 
karmaşık değişkenli fonksiyonları tartışırken karmaşık düzlemin bir kesiğini düşünmek de genelde uygundur. bu fikir doğal bir şekilde farklı bağlamlarda ortaya çıkmaktadır.

çok değerli ilişkiler ve dallanma noktaları 
i̇ki değerli basit

ilişkisini göz önüne alalım. bu ilişkiyi tek değerli bir fonksiyon olarak incelemeden önce, sonuç değerinin görüntüsü bir şekilde sınırlandırılmış olmalıdır. gerçel sayıların karekökleriyle uğraşırken bu yapılan çok kolaydır. mesela, y2 = x olacak şekilde

ifadesinde negatif olmayan bir y sayısı tanımlanabilir. ancak, bu fikir iki boyutlu karmaşık düzlemde iyi bir fikir değildir. neden olduğunu görmek için, z değeri birim çember üzerinde hareket ettikçe f(z)'nin değerinin nasıl değiştiğine bakalım.

ifadesini yazabiliriz.

açık bir şekilde, z çemberin tümünü turladıkça, w sadece çemberin yarısını turlar. böylelikle, karmaşık düzlemdeki sürekli bir hareket e0 = 1 pozitif karekökünü eiπ = -1 negatif kareköküne dönüştürmüştür.

bu problemin çıkış nedeni z ≠ 0 olan her karmaşık sayının iki karekökü varken z = 0 'ın sadece bir karekökünün olmasıdır. gerçel sayı doğrusu üzerinde bu problemden x = 0 noktasında bir bariyer dikerek kaçınabiliriz. herhangi kapalı bir kontürü dallanma noktası  z = 0'ı çevrelemekten korumak için, karmaşık düzlemde daha büyük bir bariyere ihtiyaç duyulur. bu bariyer bir dallanma kesimi veya başka bir deyişle dallanma kesiği ile yapılır ve bu durumda "kesik" z = 0 noktasından pozitif gerçel eksen boyunca sonsuz noktasına kadar uzanır. böylece, z 'nin kesik düzlemdeki argumenti 0 ≤ arg(z) < 2π aralığına sınırlandırılmış olur.

şimdi w = z½ 'nin tam bir tanımını verebiliriz. bunu yapmak içinse, her ikisi de gerçel eksen boyunca kesilmiş z-düzleminin iki kopyasına ihtiyaç duyulur. bir kopya üzerinde, 1'in karekökünü e0 = 1 olarak tanımlarız ve diğerinde ise 1'in karekökünü eiπ = -1 olarak tanımlarız. bu iki tam düzlem kesiğine ise yaprak denmektedir. süreklilik tartışmasıyla, bu (şimdi tek değerli olan) w = z½ fonksiyonunun ilk yaprağı 0 ≤ arg(w) < π olacak şekilde w-düzleminin yukarı düzlemine gönderdiğini, ikinci yaprağı ise π ≤ arg(w) < 2π olacak şekilde w-düzleminin aşağı düzlemine gönderdiğini gözlemleyebiliriz.

bu örnekteki dallanma kesiği gerçel eksen boyunca uzanmak ve hatta doğru olmak zorunda bile değildir. z = 0 noktasını sonsuz noktasına bağlayan herhangi bir sürekli eğri işimizi görecektir. bazı durumlarda, dallanma kesiği sonsuz noktasından geçmek zorunda bile değildir. mesela,

ilişkisini ele alalım. burada z2 - 1 polinomu z = ±1 değerlerinde 0 değerini alır ve böylece g 'nin açıkça iki dallanma noktası olur. düzlemi gerçel eksen boyunca, -1 'den 1 'e kadar, "kesebiliriz" ve g(z) 'nin tekdeğerli olduğu bir yaprak elde edebiliriz. alternatif bir kesim ise z = 1 noktasından sonsuz noktasına kadar pozitif gerçel eksen boyunca gidilip sonra bu sonsuz noktasından  z = -1 noktasına negatif gerçel eksen boyunca gidilerek yapılabilir.

bu durum en kolay biçimde yukarıda açıklanmış stereografik izdüşüm kullanılarak görülebilir. küre üzerinde, bu kesiklerden birisi ekvatordaki bir noktayı (z = -1) ekvatordaki başka bir noktaya (z = 1) bağlayacak şekilde boylam boyunca güney yarımkürede yolunun üstündeki güney kutbundan (z = 0) geçecek şekilde hareket eder. kesiğin ikincisi ise kuzey yarımkürede yine boylam şeklinde gider ve yine aynı ekvator noktasını kuzey kutbundan (yani sonsuzdaki noktadan) geçecek şekilde birleştirir.

meromorf fonksiyonların tanım kümelerinin sınırlandırılması 

bir meromorf fonksiyon
tanım kümesindeki sonlu veya sayılabilir sonsuz sayıdaki nokta dışında holomorf ve bu yüzden de analitik olan karmaşık bir fonksiyondur. böyle bir fonksiyonun tanımlanamadığı noktalara meromorf fonsiyonun kutupları denilir. bazen bütün bu kutuplar bir doğru üzerinde yer alırlar. bu durumda, matematikçiler fonksiyona "kesik düzlem üzerinde holomorf" derler. burada basit bir örneği var.

şeklinde tanımlanan gama fonksiyonunun (burada, γ, euler-mascheroni sabitidir) 0, -1, -2, -3, ... noktalarında basit kutupları vardır çünkü  z sıfır olduğunda veya negatif bir tam sayı olduğunda, sonsuz çarpımdaki paydalardan kesinlikle birisi 0 olmaktadır. tüm kutupları negatif gerçel eksen üzerinde z = 0 'dan sonsuza kadar sıralandığı için, bu fonksiyon

"kesiği negatif gerçel eksen üzerinde z = 0 'dan sonsuza kadar uzanan kesik düzlem üzerinde holomorf"

olarak tanımlanabilir.

aynı zamanda,  γ(z) başka bir şekilde

"-π < arg(z) < π olan ve z = 0 'ı hariç tutan kesik düzlemde holomorftur."

şeklinde tanımlanabilir.

bu kesik karşılaştığımız dallanma kesiğinden hafifçe farklıdır çünkü aslında kesik düzlemden negatif gerçel ekseni "hariç tutmaktadır". dallanma kesiği gerçel ekseni bir tarafta (0 ≤ θ) kesik düzlemle bağlı tutarken, diğer tarafta (θ < 2π) kesik düzlemden ayırmıştır.

aslında γ(z)'nin holomorf olduğu bir bölge yaratmak için, z = 0 'dan -∞ 'a uzanan tüm doğruyu kesmek gerekli değildir. yapılması gereken tek şey, {0, -1, -2, -3, ...} sayılabilir sonsuz kümesini düzlemde delmektir. ancak delikli bir düzlemde, kapalı bir kontür γ(z)'nin kutup noktalarından birini ya da daha fazlasını çevreleyebilir ve bu da kalıntı teoremi ile sıfır olmayan bir kontür integrali verir. karmaşık düzlem kesilerek γ(z) 'nin holomorf olduğu sınırlı bir bölge yaratılmakla kalınmaz aynı zamanda γ 'nın kesik düzlemdeki herhangi bir kapalı kontür integrali de 0'a eşit yapılır. bu, bazı matematik argümalarında önemli olabilir.

yakınsaklık bölgelerinin ayrıntılı olarak belirlenmesi 

çoğu karmaşık fonksiyon sonsuz seriler veya sürekli kesirler ile tanımlanır. bu sonsuz ifadelerin analizinin temelinde yatan düşünce, bu serilerin karmaşık düzlemde sonlu bir sayıya yakınsamaları için gerekli olan bölgeyi tanımlamaktır. düzlemdeki bir kesik aşağıdaki örneklerde de görüldüğü gibi bu süreci kolaylaştırabilir:

sonsuz serisi tarafından tanımlanan fonksiyonu göz önüne alalım. her karmaşık z sayısı için z2 = (-z)2 olduğu için, f(z), z 'nin çift fonksiyonu olacaktır. böylece, analiz karmaşık düzlemin bir yarısında yeterli olacaktır. seri

olduğunda tanımsız olduğu için, düzlem sanal eksen boyunca kesilir ve z 'nin gerçel kısmının 0 olmadığı yerde serinin yakınsaklığı kurulur.

bu örnekte, kesik sadece uygunluk içindir çünkü sonsuz toplamın tanımsız olduğu noktalar korunmuştur ve kesik düzlem daha uygun delikli bir düzlemle değiştirilebilir. bazı bağlamlarda, kesik gereklidir ve sadece uygun değildir. mesela, sonsuz periyodik sürekli kesir olarak tanımlı

ele alınsın. f(z) ancak ve ancak z,  z < -¼ 'ü sağlayan negatif bir gerçel sayı olmadıkça sonlu bir sayıya yakınsar. başka bir deyişle, bu sürekli kesir için yakınsaklık bölgesi kesiğin negatif gerçel eksen boyunca -¼ 'ten sonsuza kadar uzandığı kesik düzlemdir.

kesik düzlemi geri yapıştırmak 

fonksiyonunun f 'nin  tanım kümesini iki bağlantısız yaprağa bölerek nasıl tek değerli hale getirilebildiği yukarıda anlatılmıştı. aynı zamanda, bu iki yaprağı tekrar "yapıştırıp", üzerinde f(z) = z½ fonksiyonun holomorf olduğu ve fonksiyonun görüntüsünün (w = 0 noktası dışında) tüm w-düzlemi olduğu bir riemann yüzeyi oluşturulabilir. bu, şu şekilde yapılmaktadır:

kesik karmaşık düzlemin iki kopyasını düşünelim. kesikler ise gerçel sayı ekseninde z = 0 'dan sonsuz noktasına uzansın. bir yaprağın üzerinde 0 ≤ arg(z) < 2π tanımlayalım; böylece tanım gereği 1½ = e0 = 1 olsun. i̇kinci yaprak üzerinde 2π ≤ arg(z) < 4π tanımlayalım; böylece yine tanım gereği 1½ = eiπ = -1 olsun. şimdi ikinci yaprağı yukarıdan aşağıya çevirelim böylece sanal eksen ilk yaprağın sanal eksenin tersini göstersin ve gerçel eksenler de aynı yönü göstersin. şimdi iki yaprağı "yapıştıralım" (böylece "θ = 0" etiketli birinci yaprağın üzerindeki kenar, ikinci yaprağın "θ < 4π" etiketli kenarına bağlı olsun ve ikinci yaprağın üzerindeki "θ = 2π" etiketli kenar birinci yaprağın üzerindeki "θ < 2π" etiketli kenara bağlı olsun. sonuçta, üzerinde f(z)= z½ 'nin tek değerli ve holomorf olduğu (z = 0 hariç) riemann yüzey bölgesi elde edilir.

f 'nin bu bölge üzerinde neden tek değerli olduğunu anlamak için, birim çember etrafında ilk yaprak üzerinde z = 1 'den başlayan bir döngü ele alalım. 0 ≤ θ < 2π olduğunda hala ilk yaprakta oluruz. θ = 2π olduğunda ikinci yaprağa geçeriz ve iki yaprağı birleştirdiğimiz ve bu yüzden başlangıç noktasında θ = 4π  θ = 0 'a denk olduğu, z = 0 dallanma noktası etrafında ikinci bir döngü yapmak zorundayız. başka bir deyişle, dallanma noktası etrafında z iki tam tur yaptıkça, z 'nin w-düzlemindeki görüntüsü sadece bir tur çemberi dolaşır.

türevin formel tanımı

olduğunu gösterir. bundan, f 'nin türevinin var olduğunu ve türevin riemann yüzeyi üzerindeki z = 0 dışında her yerde sonlu olduğunu çıkarabiliriz (yani, f, z = 0 dışında holomorftur).

yukarıda tartışılan

fonksiyonu riemann yüzeyi için oluşturulabilir? yeniden, z-düzleminin iki kopyasıyla başlarız; ancak bu sefer her birisi gerçel doğru parçası boyunca, z = -1 'den z = 1 'e, kesilir – bunlar g(z) 'nin iki dallanma noktası olur. bunlardan birisini yine yukarıdan aşağıya çeviririz ve böylece sanal eksenler ters yönlü olurlar. i̇ki yaprağın karşılık gelen kenarları tekrar birleştirilir. g 'nin bu yüzey üzerinde tek değerli olduğu z = 1 merkezli birim yarıçaplı bir çember üzerinde döngü yapılarak doğrulanabilir.  birinci yapraktaki z = 2 noktasından başlanır ve z = 0 'daki kesikle karşılaşmadan çember etrafında yarım dönülür. bu kesik bizi ikinci yaprağa gitmeye zorlar böylece z, z = 1 dallanma noktası etrafında bir tam döngü, w ise bir yarım döngü  yapmıştır. w 'nun işareti terse döndürülmüştür (eiπ = -1 olduğundan) ve yolumuz bizi yüzeyin ikinci yaprağındaki z = 2 noktasına götürmüştür. başka bir yarım tur daha yaptığımızda, z = 0 olduğu kesiğin diğer tarafıyla karşılaşırız ve son olarak başlangıç noktamıza (birinci yapraktaki z = 2 noktasına) dallanma noktasının etrafında iki tam döngü yaptıktan sonra ulaşırız.

bu örnekte θ = arg(z) 'yi etiketlemenin doğal bir yolu birinci yaprakta -π < θ ≤ π, ikinci yaprakta π < θ ≤ 3π almaktır. i̇ki yapraktaki sanal eksenler ters yönde hareket ederler böylece saat yönünün tersi anlamındaki pozitif rotasyon, kapalı bir kontür bir yapraktan diğerine geçerken, korunur (ikinci yaprak yukarıdan aşağıyadır).  bu yüzey üç boyutlu uzayda yaprakları xy-düzlemine paralel olacak şekilde gömülsün. o zaman yüzey içinde iki kesiğin birleştiği dikey bir delik oluşacaktır. peki kesikler negatif eksen boyunca z = -1 'den sonsuza ve pozitif eksen boyunca z = 1 'den sonsuza ta ki kesikler birleşinceye kadar yapılırsa ne olur? yine bir riemann yüzeyi elde edilir ancak bu sefer "delik" yatay olur. topolojik olarak bu iki riemann yüzeyi birbirine denktir – ikisi de cinsi 1 olan yönlendirilebilir iki boyutlu yüzeylerdir.

karmaşık düzlemin kontrol teorisinde kullanımı 

kontrol teorisinde, karmaşık düzlemin bir kullanımı ise 's-düzlemi'dir. bir sistemin davranışını açıklayan denklemin (karakter denklemi) köklerini grafiksel olarak görüntülemek için kullanılır. denklem normalde laplace dönüşümünün parametresi olan 's' değişkenli bir polinom  olarak ifade edilir. 's'-düzlemi denmesinin nedeni de budur.

karmaşık düzlemin bir başka kullanımı ise nyquizt durağanlık kriteriyle olmaktadır.

'z-düzlemi', s-düzleminin laplace dönüşümü yerine z-dönüşümünün kullanıldığı bir ayrık-zaman versiyonudur.

"karmaşık düzlem"in diğer anlamları 

bu maddenin önceki bölümleri karmaşık düzleme karmaşık sayıların geometrik bir analoğu olarak davranmıştır. "karmaşık düzlem"in bu tür kullanımı uzun ve matematiksel olarak zengin bir tarihe sahipse de, "karmaşık düzlem"in matematiksel kavram olarak kullanıldığı tek alan bu değildir. i̇htimal dahilinde en az üç farklı anlam daha var:

 ayrılmış-karmaşık düzlem olarak da bilinen 1+1 boyutlu minkowski uzayı da, kartezyen düzlemdeki (x, y) noktasıyla kolaylıkla bağdaştırılabilen iki gerçel bileşene sahip cebirsel ayrılmış-karmaşık sayılar bağlamında bir "karmaşık düzlem"dir.
 gerçeller üzerindeki dual sayılar kümesi de kartezyen düzlemin (x, y) noktaları ile birebir ve örten olarak değiştirilebilir ve "karmaşık düzlem"in bir diğer örneğini temsil eder. 
 karmaşık sayıların kendileriyle kartezyen çarpımı olan c×c vektör uzayı da koordinatları karmaşık sayılar olan iki boyutlu vektör uzayı bağlamında bir "karmaşık düzlem"dir.

ayrıca bakınız 

 takımyıldız diagramı
 laplace dönüşümü
 riemann küresi
 riemann yüzeyi
 s düzlemi
 z-dönüşümü

dış bağlantılar 
 mathworld'deki argand diagramı bilgisi

notlar

kaynakça 
 francis j. flanigan, complex variables: harmonic and analytic functions, dover, 1983 isbn 0-486-61388-7.
 gino moretti, functions of a complex variable, prentice-hall, inc., 1964.
 h. s. wall, analytic theory of continued fractions, d. van nostrand company, inc., 1948; reprinted (1973) by chelsea publishing company isbn 0-8284-0207-8.
 e. t. whittaker and g. n. watson, a course in modern analysis, fourth edition, cambridge university press, 1927.

karmaşık analiz
karmaşık sayılar
kontrol teorisi