Kompleks Vektör Uzayları
Kuantum mekaniğinin sahnesi, içi gerçek sayılarla değil kompleks sayılarla dolu bir vektör uzayıdır: kübitlerin genlikleri, kapıların etkileri, olasılıkların hesaplandığı iç çarpımların hepsi bu uzayda yaşar. Bu derste kompleks vektör uzayının ne olduğunu, gerçek vektör uzaylarından nerede ayrıldığını ve kuantum durumlarının neden böyle bir uzayda tanımlandığını somut hesaplarla öğreneceksin. Serinin tamamına Kuantum Hesaplama dersleri sayfasından ulaşabilirsin; vektör kavramını henüz görmediysen önce Vektörler dersine, kompleks sayıları tazelemek için Karmaşık Sayılar dersine göz at.
Kompleks Vektör Uzayı Nedir?
Bir vektör uzayı, üzerinde iki işlemin tanımlandığı bir vektör kümesidir: vektörleri toplayabilme ve bir vektörü bir skalerle çarpabilme. Kritik koşul şudur: bu işlemlerin sonucu yine aynı kümede kalmalı ve bildiğin cebir kuralları (değişme, dağılma, sıfır vektörün varlığı) geçerli olmalı. "Kompleks" vektör uzayı derken skalerlerin gerçek sayılar ℝ değil kompleks sayılar ℂ olduğundan söz ediyoruz: bir vektörü (1 + 2i) gibi bir sayıyla çarpabilirsin ve sonuç yine uzayın içinde kalır.
En sık karşılaşacağın örnek ℂⁿ'dir: n tane kompleks bileşenden oluşan sıralı listeler. ℂ²'nin bir elemanı örneğin (1 + i, 3) vektörüdür; bileşenlerini topla ya da her birini i ile çarp, sonuç yine ℂ²'de kalır — işte kapanış özelliği. Boyut kavramı ise dikkat ister: ℂ, skalerleri ℂ'den alınırsa 1 boyutludur; ama skalerleri ℝ'den alınırsa 2 boyutludur, çünkü 1 ve i bağımsız iki yöndür. Aynı küme, skaler alanı değişince farklı boyut kazanır.
Kübit Uzayı: ℂ² Üzerinde Somut Bir Örnek
Tek bir kübitin durum uzayı ℂ²'dir. Standart hesaplama tabanını |0⟩ = (1, 0) ve |1⟩ = (0, 1) vektörleriyle gösteririz; bu yazım biçimine Dirac bra-ket notasyonu denir. Kübitin genel hâli, bu iki taban vektörünün kompleks katsayılarla toplamıdır: ψ = α|0⟩ + β|1⟩. Buradaki α ve β sayılarına genlik denir ve geçerli bir kuantum durumunda |α|² + |β|² = 1 koşulu sağlanmalıdır.
Yani her vektör bir kuantum durumu değildir; yalnızca uzunluğu 1 olanlar öyledir. Küçük bir hesap yapalım: v = (1 + i, 1) vektörünü normalize edelim. Uzunluğun karesi |1 + i|² + |1|² = 2 + 1 = 3'tür; dolayısıyla uzunluk √3'tür. Her bileşeni √3'e bölersek ψ = ((1 + i)/√3, 1/√3) birim vektörünü elde ederiz. Kontrol edelim: |(1 + i)/√3|² = 2/3, |1/√3|² = 1/3 ve toplamları 1. Bu durumda kübiti ölçtüğünde 2/3 olasılıkla 0, 1/3 olasılıkla 1 okursun: olasılıklar, genliklerin modül kareleridir.
Kübit sayısı artarsa ne olur? Her eklenen kübit uzaya 2 çarpanı olarak yansır: n kübitlik bir kayıt ℂ'nin 2ⁿ boyutlu uzayında yaşar. Üç kübit 8 boyut, on kübit 1024 boyut demektir; üstel büyümenin kaynağı budur. İki kübitlik uzayların nasıl birleştirildiğini Tensor ve Kronecker Çarpımı dersinde ayrıntısıyla işleyeceğiz.
İç Çarpım, Norm ve Olasılıklar
Kompleks uzaylarda iç çarpımın bir kuralı değişir: ilk vektörün bileşenleri eşlenik alınır. ℂⁿ için tanım şöyledir: ⟨φ|ψ⟩ = φ₁*ψ₁ + φ₂*ψ₂ + … + φₙ*ψₙ. Bu ayrıntı küçük görünür ama her şeyi ayakta tutar. Eşlenik almasaydık ψ'nın kendisiyle çarpımı ψ·ψ gibi kompleks bir sayı olabilirdi — (i)(i) = −1 — ve "uzunluğun karesi" anlamsızlaşırdı. Eşlenik kuralıyla ⟨ψ|ψ⟩ = |ψ₁|² + … + |ψₙ|² çıkar: daima gerçek ve negatif değildir. İç çarpımın tüm özelliklerini İç Çarpım dersinde ayrıca işliyoruz.
Norm, iç çarpımdan doğar: ‖ψ‖ = √⟨ψ|ψ⟩. Ölçüm olasılıkları da aynı kaynaktan gelir: ψ durumundayken taban vektörü |φ⟩'yı ölçme olasılığı |⟨φ|ψ⟩|²'dir. Yukarıdaki örneğe dönersek ⟨0|ψ⟩ = (1 + i)/√3 olduğundan 0 ölçme olasılığı |(1 + i)/√3|² = 2/3'tür — önceki hesapla birebir aynı sonuç. İki durumun benzerliği de böyle ölçülür: taban vektörleri dik olduğundan ⟨0|1⟩ = 0, yani 0 okunan bir kübitin 1 ölçülme olasılığı sıfırdır. Taban vektörlerinin birim uzunlukta ve birbirine dik olma koşulları Ortonormal Bazlar dersinin konusudur.
Son bir incelik: ψ ile e^(iθ)ψ — yani tüm genlikleri aynı faz çarpanıyla çarpılmış hâl — olasılık düzeyinde ayırt edilemez; çünkü |e^(iθ)| = 1'dir. Buna küresel faz denir ve ölçülemez. Ama göreli faz, yani α ile β'nin fazları arasındaki fark ölçülebilirdir: α|0⟩ + β|1⟩ durumu ile α|0⟩ − β|1⟩ durumu aynı değildir; girişim altında farklı sonuçlar üretirler. Kuantum hesaplamanın kompleks sayılara duyduğu ihtiyaç tam olarak buradadır: fazlar, girişim yoluyla olasılıkları artırıp azaltan bilgidir.
Sık Yapılan Hatalar ve Yanılgılar
- İç çarpımda eşleniği unutmak. ⟨φ|ψ⟩ hesaplarken ilk vektörün bileşenlerini eşleniklemen gerekir; unutursan sonuç yanlış çıkar, üstelik ⟨ψ|ψ⟩ negatif ya da kompleks olabilir.
- Her vektörü kuantum durumu sanmak. Geçerli bir durum için norm 1 gerekir; normalize edilmemiş bir ψ, olasılık toplamını 1'den saptırdığı için fiziksel bir duruma karşılık gelmez.
- Küresel faz ile göreli fazı karıştırmak. Tüm genliklere aynı e^(iθ) çarpanını koymak ölçümü değiştirmez; yalnızca bir genliğin fazını değiştirmek durumu değiştirir.
- Boyutu bileşen sayısıyla eş görmek. ℂⁿ n kompleks sayı taşır ama 2n gerçek sayıya karşılık gelir; boyut skaler alana bağlıdır.
Özet: Bu Dersten Akılda Kalanlar
- Kompleks vektör uzayı, toplama ve kompleks skalerle çarpmaya kapalı bir vektör kümesidir; temel örnek ℂⁿ'dir.
- Tek kübitin uzayı ℂ²'dir; taban vektörleri |0⟩ ve |1⟩'dir ve geçerli durumlar |α|² + |β|² = 1 koşulunu sağlar.
- Kompleks iç çarpım ilk argümanın eşleniğini alır; böylece ⟨ψ|ψ⟩ daima gerçek ve negatif değildir, olasılıklar |⟨φ|ψ⟩|² ile hesaplanır.
- Küresel faz ölçülemez, göreli faz ölçülebilir ve girişimin kaynağıdır; n kübit ℂ'nin 2ⁿ boyutlu uzayında yaşar.
- Durumları birbirine dönüştüren kapılar, bu uzayın uzunluk koruyan dönüşümleridir; matris karşılıkları Üniteryen Matrisler dersinde gelir.
Bu ders, Lineer Cebir ünitesinin kompleks tarafına açılan kapıydı. Artık bir kuantum durumunu ψ gibi bir vektör olarak yazabilir, normalize edebilir ve iç çarpımla ölçüm olasılıklarını hesaplayabilirsin. Sıradaki derslerde bu uzayın üzerinde duran matrisleri, özdeğerleri ve kuantum kapılarını işleyeceğiz.
Sık Sorulan Sorular
Kompleks vektör uzayı nedir?
Skalerleri kompleks sayı olan vektör uzayıdır: vektörleri toplayıp kompleks sayılarla çarptığında sonuç yine aynı kümede kalmalıdır. En bilinen örneği ℂⁿ'dir; kuantum mekaniğinde durum uzayları, iç çarpım tanımlanmış kompleks vektör uzaylarının özel bir hâli olan Hilbert uzaylarıdır.
Kuantum durumu neden gerçek değil kompleks vektörlerle gösterilir?
Çünkü genliklerin fazlarını taşıyan bir gösterim gerekir ve girişim bu fazlarla üretilir. Kompleks sayılar e^(iθ) çarpanlarıyla fazı doğal biçimde taşır; gerçek vektörlerde bu faz bilgisi yoktur. Üstelik kapıların durumlara uyguladığı dönüşümler de genelde kompleks matrislerdir.
Bir kübit hangi uzayda yaşar, kaç boyutludur?
Tek kübit, iki bileşenli kompleks uzay ℂ²'de yaşar: ψ = α|0⟩ + β|1⟩. Geçerli durumlar normu 1 olan vektörlerdir, yani |α|² + |β|² = 1. Küresel faz ölçülemediği için fiziksel durumlar bir küre yüzeyinde parametrelendirilir; bu gösterime Bloch küresi denir.
Kompleks iç çarpımda eşlenik almak neden gerekli?
Eşlenik alınmazsa ⟨ψ|ψ⟩ gibi ifadeler kompleks hatta negatif çıkabilir; örneğin (i)(i) = −1. Eşlenikle birlikte ⟨ψ|ψ⟩ = Σ|ψᵢ|² olur: daima gerçek ve sıfırdan küçük değildir. Olasılık yorumunun tutarlı olması bu eşlenik kuralına bağlıdır.
Kaynaklar ve İleri Okuma
Vektör uzayı — Vikipedi (Türkçe) — vektör uzayı tanımı, aksiyomları ve skaler alan kavramının Türkçe özeti.
Vector space — Wikipedia — skaler alanın seçimi, aksiyomlar ve örnekler.
Bra–ket notation — Wikipedia — Dirac notasyonunun kompleks iç çarpımlı uzaylarla resmî bağıntısı.
Basics of quantum information — IBM Quantum Learning — kompleks vektörler, genlikler ve normalizasyonun resmî ders notu.
A fast quantum mechanical algorithm for database search — L. K. Grover (arXiv:quant-ph/9605043) — girişimin hesap gücüne dönüştüğü klasik makale özeti.