İç Çarpım

İç çarpım, iki vektörü tek bir sayıya indirgeyen ve kuantum hesaplamanın olasılık, uzunluk ve benzerlik hesaplarını üstünde yürüttüğü temel işlemdir. Bu derste iç çarpımı sıfırdan, önce gerçel vektörlerle tanımlayacak; karmaşık sayılara geçerken eşlenik almanın neden zorunlu olduğunu adım adım hesaplarla göstereceğiz. Serinin tamamı için Kuantum Hesaplama dersleri sayfasına bakabilirsin; vektör kavramına yeni başlıyorsan önce Vektörler dersine, karmaşık sayılara hâkim değilsen bir önceki ünitedeki Karmaşık Sayılar dersine göz atman iyi olur.

İç Çarpım Nedir?

En tanıdık hâli, gerçel sayılı vektörlerdeki nokta çarpımdır: u = (u₁, u₂, …, uₙ) ve v = (v₁, v₂, …, vₙ) için iç çarpım, karşılıklı bileşenlerin çarpımlarının toplamıdır: ⟨u, v⟩ = u₁v₁ + u₂v₂ + … + uₙvₙ. Dikkat et: sonuç bir vektör değil, tek bir sayıdır. Geometrik anlamı da nettir; iç çarpım, bir vektörün diğerinin üzerinde ne kadar iz bıraktığını ölçer. İki vektör dikse sonuç sıfır, aynı yöne bakıyorlarsa sonuç uzunluklarının çarpımına eşit çıkar.

Kuantum mekaniği ise karmaşık sayılı vektörlerle çalışır ve burada kritik bir ek kural devreye girer: birinci vektörün bileşenleri karmaşık eşlenikleriyle alınır. ψ = (ψ₁, …, ψₙ) ve φ = (φ₁, …, φₙ) için tanım şudur: ⟨φ|ψ⟩ = φ₁*ψ₁ + φ₂*ψ₂ + … + φₙ*ψₙ; buradaki yıldız eşlenik demektir, örneğin i* = −i. Dirac gösterimindeki ⟨φ|ψ⟩ yazımı tam olarak bu işlemi simgeler; bra ve ket ayrıntılarını Dirac Bra-ket Notasyonu dersinde bulabilirsin.

Adım Adım İç Çarpım Hesabı

Gerçel bir örnekle başlayalım: u = (2, 1) ve v = (−1, 2). Hesap tek satırdır: ⟨u, v⟩ = 2·(−1) + 1·2 = −2 + 2 = 0. Sonuç sıfır olduğu için bu iki vektör diktir. Sonuç sıfır olmasaydı, işaret ve büyüklük anlamlı olurdu: u = (1, 3) ve v = (4, 2) için ⟨u, v⟩ = 1·4 + 3·2 = 10; pozitif ve büyük bir değer, iki vektörün aynı yöne doğru örtüştüğünü söyler.

Şimdi karmaşık örneğe geçelim: φ = (1, i) ve ψ = (i, 1). Adım adım: (1) Birinci vektörün bileşenlerini eşlenikle: (1, −i). (2) Karşılıklı bileşenleri çarp: 1·i = i ve (−i)·1 = −i. (3) Topla: i + (−i) = 0. Demek ki ⟨φ|ψ⟩ = 0; bu iki vektör diktir. Kuantum diliyle söylersek |0⟩ + i|1⟩ biçiminde okunabilen durum, i|0⟩ + |1⟩ biçimindeki durumdan tamamen bağımsızdır.

Peki eşlenik olmasaydı ne olurdu? φ = (1, i) vektörünün kendiyle sıradan çarpımı 1·1 + i·i = 1 + i² = 1 − 1 = 0 verirdi: sıfırdan farklı bir vektörün uzunluğu sıfır çıkardı; bu saçmalığı önlemenin yolu eşleniktir. Eşlenikle hesap şöyledir: ⟨φ|φ⟩ = 1·1 + (−i)·i = 1 − i² = 2, dolayısıyla norm √2 çıkar ve normalize hâli (1/√2, i/√2) olur. Gerçekten de ⟨φ|φ⟩ = (1/√2)² + |i/√2|² = 1/2 + 1/2 = 1; bu, her kuantum durumunun uymak zorunda olduğu normalizasyon koşuludur.

Temel Özellikler: Norm, Simetri, Doğrusallık

İç çarpımın kuantum hesaplamada iş yapmasını sağlayan dört özellik vardır:

• Pozitiflik: ⟨ψ|ψ⟩ her zaman gerçel ve ≥ 0'dır; yalnızca ψ sıfır vektörse sıfırdır.
• Eşlenik simetri: ⟨φ|ψ⟩ = ⟨ψ|φ⟩*; iç çarpımı ters çevirirsen sonucun eşleniğini elde edersin.
• Doğrusallık: ⟨φ|(aψ₁ + bψ₂)⟩ = a⟨φ|ψ₁⟩ + b⟨φ|ψ₂⟩; birinci tarafta ise eşlenik-doğrusallık geçerlidir: ⟨(aφ₁ + bφ₂)|ψ⟩ = a*⟨φ₁|ψ⟩ + b*⟨φ₂|ψ⟩.
• Norm ilişkisi: ‖ψ‖ = √⟨ψ|ψ⟩; ayrıca Cauchy–Schwarz eşitsizliği |⟨φ|ψ⟩| ≤ ‖φ‖·‖ψ‖ her zaman geçerlidir.

Bra–ket diliyle bakınca ⟨φ|, |φ⟩'nin eşlenik devriğidir: ket'i satıra çevirip bileşenleri eşleniklersen bra'yı bulursun. Bu dönüşümün matris karşılığı adjoint işlemidir; ayrıntı için Transpoz ve Adjoint dersine bakabilirsin. İç çarpım aynı zamanda matris çarpımının özel bir hâlidir: ⟨φ|ψ⟩, 1×n'lik bra satırıyla n×1'lik ket sütununun çarpımıdır; genel kuralı Matris Çarpımı dersinde işledik.

Kuantum Hesaplamada İç Çarpım: Olasılık ve Diklik

Bir kübit durumu |ψ⟩ = α|0⟩ + β|1⟩ verilsin. Normalizasyon koşulu ⟨ψ|ψ⟩ = 1'dir ve hesabı şöyledir: ⟨ψ|ψ⟩ = α*α + β*β = |α|² + |β|² = 1. Ölçüm olasılıkları da iç çarpımdan doğar: ⟨0| = (1, 0) satırı olduğundan ⟨0|ψ⟩ = α çıkar ve kübiti ölçtüğünde 0 görme olasılığın |⟨0|ψ⟩|² = |α|², 1 görme olasılığın |⟨1|ψ⟩|² = |β|²'dir. Bu kurala Born kuralı denir; “iç çarpımın modulusunun karesi olasılıktır” cümlesi kuantum hesaplamanın en sık duyacağın cümlelerindendir.

Diklik ise durumların birbirinden ayrışma biçimidir: ⟨0|0⟩ = 1, ⟨0|1⟩ = 0, ⟨1|0⟩ = 0, ⟨1|1⟩ = 1. Yani |0⟩ ile |1⟩ birim uzunlukta ve birbirine diktir; birim uzunlukta ve karşılıklı dik vektör ailelerine ortonormal baz denir, bu tür bazlarla yazılan durumlar her hesabı basitleştirir — ayrıntıları Ortonormal Bazlar dersinde. İki durum arasındaki |⟨φ|ψ⟩|² değerine çakışma (overlap) denir: 0 ise durumlar birbirinden tam ayırt edilebilir, 1 ise aynı durumdadırlar. Tüm bu hesaplar, iç çarpımın tanımlı olabilmesi için gereken zemini Kompleks Vektör Uzayları dersinde inceleyeceğiz.

Sık Yapılan Hatalar

• Eşleniği unutmak: ⟨φ|ψ⟩ hesaplarken birinci vektörü eşleniksiz çarparsan hem diklik hem norm yanlış çıkar; (1, i) örneğindeki gibi sıfırdan farklı bir vektör uzunluksuz görünebilir.
• Genliği olasılık sanmak: ⟨φ|ψ⟩ bir genliktir, yani kompleks bir sayı; olasılık modulusunun karesidir. ⟨0|ψ⟩ = 1/√2 bulduysan olasılık (1/√2)² = 1/2'dir, 1/√2 değil.
• Sonucu vektör sanmak: İç çarpımın çıktısı skalerdir; üst üste binme (toplama) başka bir işlemdir ve vektörleri yeni bir duruma taşır, iç çarpım ise durumları karşılaştırır.
• Bra–ket eşleşmesini karıştırmak: ⟨0|1⟩ = 0 iken ⟨0|0⟩ = 1'dir; hangi bra'nın hangi ket ile eşleştiğine her adımda dikkat et.

İç çarpım, bu üniten sonraki derslerinin üstüne kurulduğu temel taşıdır: özdeğer problemlerinde Özdeğer ve Özvektör ilişkileri, iç çarpım diliyle sadeleşir. Sıradaki derste birim uzunlukta ve dik vektörlerin nasıl bir hesap kolaylığı sağladığını göreceksin.

Kaynaklar ve İleri Okuma

Nokta çarpım — Vikipedi (Türkçe) — Gerçel vektörlerdeki nokta çarpımın tanımı, geometrik anlamı ve özellikleri.

Inner product space — Wikipedia — Genel tanım, aksiyomlar (pozitiflik, eşlenik simetri, doğrusallık) ve Cauchy–Schwarz eşitsizliği.

Bra–ket notation — Wikipedia — Dirac gösteriminin tanımı ve bra'nın ket'in eşlenik devriği (adjoint) olduğu ilişkisi.

Single systems — IBM Quantum Learning — Kübit durumlarını, iç çarpımı, normu ve ölçüm olasılıklarını doğrusal cebirle anlatan ücretsiz ders bölümü.