Karmaşık Sayılar

Bir kübitin durumu α|0⟩ + β|1⟩ biçiminde yazılır ve bu genlikler çoğu zaman sıradan gerçek sayılar değil, karmaşık sayılardır. Bu derste karmaşık sayıyı sıfırdan kuracağız: i'nin tanımı, karmaşık düzlem, modül, eşlenik ve faz; sonra bu araçları kuantum genliklerine uygulayacağız. Serinin tamamı için Kuantum Hesaplama dersleri sayfasına bakabilirsin.

Karmaşık Sayı Nedir? i'nin Doğuşu

x² = −1 denkleminin gerçek sayılar arasında çözümü yoktur; her gerçek sayının karesi en az sıfırdır. Matematik bu boşluğu i adlı yeni bir sayıyla doldurdu: i² = −1. Gerçek kısım a, sanal kısım b olmak üzere z = a + bi biçimindeki her sayıya karmaşık sayı denir; örneğin z = 3 + 4i. “Sanal” adı tarihsel bir alışkanlıktır: bu sayılar hayal ürünü değil, mühendisliğin ve kuantum fiziğinin günlük aracıdır.

İşlemler tanıdık kurallarla yürür. Toplamada gerçek ve sanal kısımlar ayrı toplanır: (3 + 4i) + (1 − 2i) = 4 + 2i. Çarpmada dağılma uygulanır ve her geçişte i² yerine −1 yazılır: (1 + i)(2 − i) = 2 − i + 2i − i² = 2 + i + 1 = 3 + i. Kritik nokta: i bir değişken değil, değeri belli bir sayıdır; onunla çalışmanın tek kuralı i² = −1'i bilmektir.

• Gerçek sayılar tek bir doğru üstünde, karmaşık sayılar bir düzlem üstünde yaşar.
• Gerçek sayılar “küçüktür” ile sıralanır; karmaşık sayıların doğal bir sıralaması yoktur.
• Gerçek sayıların karesi asla negatif değildir; i² = −1 tam bu boşluğu doldurur.

Not: Python ve NumPy'da karmaşık sayılar 3+4j biçiminde yazılır; elektrik mühendisliğinden gelen bu j geleneğini kodda sık göreceksin. Pratik yapmak istersen NumPy ile Bilimsel Hesaplama dersine göz at.

Karmaşık Düzlem, Modül ve Eşlenik

z = a + bi sayısını düzlemde (a, b) noktası gibi çizebilirsin: yatay eksen gerçek, düşey eksen sanal eksendir. Noktanın başlangıca uzaklığına modül denir: |z| = √(a² + b²). Örnek: |3 + 4i| = √(9 + 16) = 5. Modül her zaman gerçek ve negatif olmayan bir sayıdır; bu özellik birazdan olasılıkların temeli olacak.

z'nin eşleniği sanal kısmın işaretini çevirir: z* = a − bi; düzlemde gerçek eksene göre aynadır. Temel özdeşlik şudur: z·z* = a² + b² = |z|². Bu özdeşlik paydayı temizlemekte kullanılır: 1/z = z*/|z|². Adım adım: 1/(1 + i) = (1 − i)/((1 + i)(1 − i)) = (1 − i)/(1 − i²) = (1 − i)/2. Sonuç hâlâ karmaşık, ama payda artık düz bir gerçek sayı.

Kuantum bağlantısı tam buradadır: bir genliğin olasılığa dönüşümü |genlik|² ile verilir. Modülün karesi tanım gereği gerçek ve negatif olmadığı için karmaşık genlikler olasılığı bozmaz; faz diye fazladan bilgi taşır ama olasılık her zaman düzgün kalır. Temel kuralları tazelemek istersen Olasılık ve İstatistik Temelleri dersi iyi bir hatırlatıcıdır.

Kutupsal Biçim ve Faz: e^(iθ)

Düzlemdeki her nokta, uzaklık ve açıyla da tanımlanabilir; karmaşık sayı için buna kutupsal biçim denir: z = r(cos θ + i·sin θ), burada r = |z| ve θ gerçek eksenden ölçülen açıdır. Euler formülü bu yazımı kısaltır: e^(iθ) = cos θ + i·sin θ, kısaca z = r·e^(iθ). Örnek: 1 + i = √2·e^(iπ/4) (r = √2, θ = π/4).

Kutupsal biçimde çarpma şaşırtıcı derecede basittir: modüller çarpılır, açılar toplanır: r₁e^(iθ₁) · r₂e^(iθ₂) = r₁r₂·e^(i(θ₁+θ₂)). Modülü 1 olan e^(iθ) ile çarpmak, sayıyı düzlemde θ kadar döndürmek demektir. Üs ve fonksiyon kavramlarını Fonksiyonlar ve Temel Matematik dersinde tazelediysen e^(iθ) sana yabancı gelmeyecektir.

Kuantum dilinde θ açısına faz denir. Kapıların çoğu genlikleri karmaşık sayılarla çarpar: modülü korur, fazı döndürür. Faz tek başına ölçüm olasılıklarını değiştirmez ama genlikler toplandığında fark yaratır.

Kuantum Genlikleri: Faz Ne İşe Yarar?

Kuantum Hesaplama 101 dersinde gördüğün ψ = α|0⟩ + β|1⟩ yazımında α ve β karmaşık genliklerdir; normalizasyon kuralı |α|² + |β|² = 1 der. Şu iki durumu karşılaştıralım: ψ₁ = (1/√2)|0⟩ + (1/√2)|1⟩ ve ψ₂ = (1/√2)|0⟩ + (i/√2)|1⟩. İkisi de kurala uyar: 1/2 + 1/2 = 1. İkisinde de ölçüm yarı yarıya 0, yarı yarıya 1 verir; ölçerek bu iki durumu ayırt edemezsin.

Fark, kübite bir kapı uygulandığında ortaya çıkar. Hadamard kapısı H, durumu (α+β)/√2 |0⟩ + (α−β)/√2 |1⟩ hâline getirir; yani genlikleri önce toplar, sonra çıkarır. Hesabı adım adım izleyelim:

1. ψ₁ için toplama genliği (1/√2 + 1/√2)/√2 = 1, çıkarma genliği (1/√2 − 1/√2)/√2 = 0'dır; ölçüm her zaman 0 verir.
2. ψ₂ için toplama genliği (1 + i)/2, çıkarma genliği (1 − i)/2'dir.
3. Modül kareleri: |1 + i|² = 1² + 1² = 2, dolayısıyla her iki genliğin olasılığı 2/4 = 1/2'dir.

Sonuç çarpıcı: ölçüm istatistikleri aynıyken kapı sonrası davranışlar tümüyle farklıdır. Neden? ψ₁'de genlikler aynı fazdadır; toplandıklarında güçlenir, çıkarıldıklarında tamamen yok olur — buna girişim denir. ψ₂'de araya i girer: bağıl faz π/2'dir ve yok olma tam gerçekleşmez. Bağıl faz işte bu yüzden fizikseldir. Buna karşılık ψ yerine e^(iθ)ψ yazarsan tüm genlikler aynı açıyla döner; |e^(iθ)|² = 1 olduğundan hiçbir olasılık değişmez. Buna genel faz denir ve ölçülebilir değildir.

Genlikler aslında karmaşık bileşenli vektörlerdir; bu bakışı bir sonraki ünitedeki Vektörler dersinde geliştireceğiz. Kapıların genlik dönüşümlerinin iskeletini Matrisler ve Matris Çarpımı derslerinde kuracağız.

Sık Yapılan Hatalar ve Yanılgılar

Karmaşık sayılarda tuzaklar hep aynı yerdedir; en sık karşılaşılanlar şunlardır:

• |z|² ile z²'yi karıştırmak: z = 1 + i için z² = 2i, oysa |z|² = 2. Olasılık her zaman modülün karesidir; sayının kendisiyle çarpımı değil.
• Eşleniği atlamak: iç çarpım ⟨φ|ψ⟩ eşlenik üzerinden tanımlanır; eşleniksiz hesap |α|² + |β|² = 1 gibi normalizasyon kontrollerini bozar. Bunu Matrisler dersinde göreceksin.
• Genel faza anlam yüklemek: e^(iθ)ψ aynı fiziksel durumdur; ölçülebilir olan yalnızca genlikler arasındaki bağıl fazdır.
• “Sanal sayı var değildir” yanılgısı: sanallık değersizlik değil, tarihsel bir adlandırma; i olmadan ne devreler ne kuantum kapıları yazılamaz.
• i'yi değişken gibi işlemek: i sabit bir sayıdır; her geçişte i² = −1 uygulanır. Örneğin (1 + i)(1 − i) = 1 − i² = 2'dir.

Bu dersten sonra α|0⟩ + β|1⟩ yazımındaki her harf ve her faz sana anlamlı gelmeli. Bir sonraki ünite bu kuyuyu vektör ve matris diliyle derinleştirecek; harita için İçindekiler sayfasına bakabilirsin.

Kaynaklar ve İleri Okuma

Karmaşık sayı — Vikipedi (Türkçe) — tanım, tarihçe ve temel işlemler için Türkçe genel kaynak.

Complex number — Wikipedia — modül, eşlenik ve kutupsal biçim başlıkları bu dersteki araçların ayrıntılı karşılığıdır.

Euler's formula — Wikipedia — e^(iθ) = cos θ + i·sin θ özdeşliğinin anlamı ve türetiliş yolları.

IBM Quantum Learning — genlik, faz ve kübit durumlarının resmî kuantum hesaplama ders materyali.