Karmaşık sayılar

Karmaşık sayılar, gerçek sayıların negatif sayıların karekökünü ifade edemediği sınırı aşmak için geliştirilmiş bir sayı sistemidir. ℂ simgesiyle gösterilen bu kümenin her elemanı a + bi biçiminde yazılır; burada a ve b birer gerçek sayı, i ise i² = −1 eşitliğini sağlayan sanal birimdir. Gerçek sayılar kümesi (ℝ), sanal kısmı sıfır (b = 0) olan karmaşık sayılar olarak bu kümenin (ℂ) bir alt kümesini oluşturur; dolayısıyla ℝ ⊂ ℂ bağıntısı geçerlidir.

Karmaşık sayıların tarihi, 16. yüzyılda İtalyan matematikçilerin kübik denklemleri çözme çabalarına dayanmaktadır. Gerolamo Cardano ve Scipione del Ferro, genel kübik denklemler için bir çözüm yöntemi geliştirirken negatif sayıların kareköklerini içeren ifadelerle karşılaşmıştır. Cardano, 1545 yılında yayımladığı Ars Magna adlı eserinde bu sayıları kavramsal olarak ele almış; ancak bunları "incelikli ama işe yaramaz" olarak nitelendirmiştir. Başlangıçta soyut bir kavram olarak değerlendirilen bu sayılara René Descartes "sanal sayılar" (nombres imaginaires) adını vermiştir; bu adlandırma günümüzde de kullanılmaktadır.

^{Karmaşık Sayıları Temsil Eden Görsel (Yapay zeka ile oluşturulmuştur)}

18. ve 19. yüzyıllarda karmaşık sayıların matematiksel temelleri sistemli biçimde oluşturulmuştur. Leonhard Euler 1748'de e^(iθ) = cos θ + i sin θ bağıntısını formüle etmiş; bu formül karmaşık sayıları üstel fonksiyonlarla ilişkilendirerek analizin temel araçlarından biri hâline getirmiştir. Carl Friedrich Gauss, 1799 yılında Cebirin Temel Teoremi'nin ilk matematiksel kanıtını sunmuştur. Jean-Robert Argand ise 1806'da karmaşık sayıları bir düzlem üzerinde göstermeyi önermiş ve bu yaklaşım "Argand diyagramı" ya da "karmaşık düzlem" adıyla yaygınlaşmıştır.

Karmaşık sayı, a ve b'nin gerçek sayı olduğu a + bi biçimindeki bir ifadedir. Bu gösterimde a sayısının gerçek kısmı, b ise sanal kısmı adını alır; matematiksel olarak bunlar Re(z) = a ve Im(z) = b biçiminde yazılır. b = 0 ise sayı saf gerçek, a = 0 ve b ≠ 0 ise saf sanal sayı adını alır. Bu standart gösterim, Kartezyen biçim olarak da bilinmektedir.

Karmaşık sayılar biçimsel olarak, toplama ve çarpma işlemleri şu şekilde tanımlanmış gerçek sayı çiftleri (a, b) olarak da kurulabilmektedir: (a, b) + (c, d) = (a + c, b + d) ve (a, b) · (c, d) = (ac − bd, ad + bc). Bu tanımda sanal birim i = (0, 1) çiftiyle özdeşleştirilmekte ve i² = −1 eşitliği çarpma kuralının doğal bir sonucu olarak türetilmektedir.

İki karmaşık sayının toplamı, gerçek kısımlar ve sanal kısımlar ayrı ayrı toplanarak elde edilir: (a + bi) + (c + di) = (a + c) + (b + d)i. Çıkarma da aynı kurala göre yürütülür.

İki karmaşık sayının çarpımı, çift terimli çarpım kuralına ve i² = −1 eşitliğine dayanılarak şu biçimde hesaplanır: (a + bi)(c + di) = (ac − bd) + (ad + bc)i.

a + bi sayısının karmaşık eşleniği a − bi olarak tanımlanmaktadır. Eşlenik, karmaşık düzlemde özgün sayının gerçek eksene göre yansımasına karşılık gelir. Bir karmaşık sayıyı eşleniğiyle çarpmak her zaman bir gerçek sayı verir: (a + bi)(a − bi) = a² + b². Bölme işleminde de bu özellikten yararlanılarak payda reel (gerçek) kılınır.

z = a + bi karmaşık sayısının modülü |z| = √(a² + b²) olarak tanımlanır ve karmaşık düzlemdeki orijinden uzaklığı temsil eder. Modül, gerçek sayılardaki mutlak değer kavramının karmaşık sayılara genelleştirilmiş hâlidir.

Karmaşık sayılar, yatay eksenin gerçek kısmı, dikey eksenin ise sanal kısmı temsil ettiği iki boyutlu bir koordinat sistemi olan karmaşık düzlem üzerinde gösterilebilir. Bu gösterimde her z = a + bi sayısı, düzlemdeki (a, b) noktasına karşılık gelir.

^{Karmaşık Sayıları Temsil Eden Görsel (Yapay zeka ile oluşturulmuştur)}

Karmaşık sayıların kutupsal biçimi, modül r ve argüman θ kullanılarak z = r(cos θ + i sin θ) olarak ifade edilir; burada r = |z| ve θ, pozitif gerçek eksenle oluşturulan açıdır. Euler formülü aracılığıyla bu biçim z = re^(iθ) olarak da yazılabilir. Kutupsal biçim, özellikle çarpma ve üs alma işlemlerinde hesabı önemli ölçüde kolaylaştırır; iki karmaşık sayının çarpımında modüller çarpılır, argümanlar toplanır.

Karmaşık sayılar teorisinin en önemli sonuçlarından biri Euler formülüdür: e^(iθ) = cos θ + i sin θ. Bu formül, üstel fonksiyonlar ile trigonometrik fonksiyonlar arasındaki matematiksel ilişkiyi kurar. θ = π değeri için e^(iπ) + 1 = 0 özdeşliği elde edilir; bu özdeşlik matematiğin beş temel sabitini (0, 1, i, π ve e) tek bir ifadede birleştiren temel bir matematiksel denklemdir.

Karmaşık sayıların yapısal özelliklerinden biri, ℂ'nin cebirsel olarak kapalı bir küme olmasıdır. Cebirin Temel Teoremi'ne göre derecesi en az 1 olan ve katsayıları karmaşık sayı olan her polinom denkleminin, karmaşık sayılar kümesinde en az bir kökü bulunmaktadır. Bu özellik gerçek sayılar kümesinde her zaman sağlanmamaktadır; örneğin x² + 1 = 0 denkleminin gerçek sayılar arasında çözümü yoktur. Gauss'un 1799'daki kanıtıyla temellendirilen ve Argand'ın 1806'da kesinleştirdiği bu teorem, karmaşık sayıları tüm polinomsal denklemler için genel bir çözüm alanı kılar.

Karmaşık sayılar, matematiğin sınırlarını aşarak pek çok uygulamalı bilim dalının temel aracına dönüşmüştür. Elektrik mühendisliğinde alternatif akım devrelerinin analizi karmaşık sayılarla yürütülmekte; empedans gibi büyüklükler bu sayı sistemiyle ifade edilmektedir. Sinyal işlemede Fourier dönüşümü karmaşık üstel fonksiyonlara dayanmakta; bu dönüşüm seslerin, görüntülerin ve iletişim sinyallerinin işlenmesinde yaygın biçimde kullanılmaktadır. Kuantum mekaniğinde dalga fonksiyonları karmaşık sayılarla tanımlanmakta; fiziksel sistemlerin matematiksel modellenmesi bu sayı sistemine dayanmaktadır. Kontrol teorisinde sistemlerin kararlılık analizi karmaşık düzlem üzerinde yürütülmektedir.