Ortonormal Bazlar

Bir kuantum durumunu güvenle yazmak, onunla hesap yapmak ve ölçüm olasılıklarını doğru okumak, altında yatan vektör uzayının iyi seçilmiş eksenlere — bir ortonormal baza — oturmasına bağlıdır. Bu derste baz kavramını sıfırdan kuracak, iki koşulu işleyecek, Gram–Schmidt ile somut bir hesap yapacak ve ölçümün neden bir baz seçimi olduğunu göreceğiz. Serinin tamamı için Kuantum Hesaplama dersleri sayfasına göz atabilirsin.

Baz Nedir? Uzayı Geren Eksenler

Bir vektör uzayındaki baz, iki koşulu birden sağlayan vektör takımıdır: takımın doğrusal kombinasyonları uzaydaki her vektörü üretebilmeli ve hiçbir eleman diğerlerinin kombinasyonu olarak yazılamamalı. İkinci koşula Lineer Bağımlılık dersinde baktığımız bağımsızlık denir. Takımın kaç elemanı varsa uzayın boyutu odur.

Somutlaştıralım: düzlemde e₁ = (1, 0) ve e₂ = (0, 1) klasik bazdır — ama tek baz değildir. v₁ = (1, 1) ile v₂ = (1, −1) de düzlemi gerer; (3, 5) vektörü bu ikisinde 4·v₁ − 1·v₂ olarak yazılır. Katsayılar değişti, vektör aynı kaldı: katsayılar baza bağlıdır, vektör değil. “Hangi bazda çalışıyorum?” sorusunu her hesabın başında sormalısın.

Ortogonallik ve Normalizasyon: İki Koşul

Bazı vektörleri arasındaki açıyı, bir önceki dersteki İç Çarpım aracıyla ölçeriz. İç çarpımı sıfır olan iki vektöre birbirine dik, yani ortogonal deriz. Ortogonalliğe bir de uzunluk koşulu ekleriz: her vektörün uzunluğu ‖v‖ = √⟨v|v⟩ tam 1 olmalı; buna normalize edilmiş vektör denir. İkisini birden sağlayan takıma ortonormal baz denir; tek satırlık özeti ⟨vᵢ|vⱼ⟩ = δᵢⱼ’dir. Buradaki δᵢⱼ Kronecker deltasıdır: i = j ise 1, i ≠ j ise 0 verir.

Neden uzunlukları 1’e sabitleyelim? Birincisi sadelik: açılım katsayıları doğrudan iç çarpımla çıkar, uzunluk düzeltmesi olmadan. İkincisi kuantum mekaniğinin emri: bir ψ durumu toplam olasılık 1 taşımalıdır; bu, ‖ψ‖² = ⟨ψ|ψ⟩ = 1 koşuludur. Normalize edilmemiş durum, toplamı 1 olmayan bir olasılık listesi gibidir: hesabı yapılır ama fiziksel olarak geçersizdir.

Kübit uzayında iki farklı ortonormal baz tanıyalım: hesaplama bazı { |0⟩, |1⟩ } ve Hadamard bazı { |+⟩, |−⟩ }, burada |+⟩ = (|0⟩ + |1⟩)/√2 ve |−⟩ = (|0⟩ − |1⟩)/√2. Kontrol: ⟨+|+⟩ = ½(1 + 1) = 1 ve ⟨+|−⟩ = ½(1 − 1) = 0. Aynı düzlemi geren iki ayrı eksen takımı kurduk; birazdan ölçümde farklarını göreceğiz. Notasyon için Dirac Bra-ket Notasyonu, karmaşık bileşenli genel kurulum için Kompleks Vektör Uzayları derslerine bakabilirsin.

Gram–Schmidt: Adım Adım Bir Hesap

Lineer bağımsız ama dik olmayan vektörleri, aynı uzayı geren ortonormal bir takıma çevirmenin standart yolu Gram–Schmidt yöntemidir: önce yeni vektörden öncekilerin üstündeki izdüşümü çıkar (dikleştir), sonra kalanı kendi uzunluğuna böl (normalize et). v₁ = u₁/‖u₁‖ ile başlanır; her adımda wₖ = uₖ − ⟨v₁|uₖ⟩v₁ − ⟨v₂|uₖ⟩v₂ − … hesaplanır, vₖ = wₖ/‖wₖ‖ alınır. Takımı u₁ = (1, 1), u₂ = (1, 0) üzerinden yürütelim:

1. İlk vektörü normalize et: ‖u₁‖ = √(1² + 1²) = √2, dolayısıyla v₁ = (1/√2, 1/√2).
2. İkinci vektörün v₁ üstündeki izdüşümünü çıkar: ⟨v₁|u₂⟩ = (1/√2)·1 + (1/√2)·0 = 1/√2. w₂ = (1, 0) − (1/√2)·(1/√2, 1/√2) = (1, 0) − (1/2, 1/2) = (1/2, −1/2).
3. Kalanı normalize et: ‖w₂‖ = √(1/4 + 1/4) = 1/√2, dolayısıyla v₂ = (1/√2, −1/√2).

Kontrol: ⟨v₁|v₂⟩ = ½ − ½ = 0 ✓ ve uzunluklar 1 ✓. { v₁, v₂ } artık { u₁, u₂ } ile aynı düzlemi geren ortonormal bir bazdır. Prosedür üç boyutta da aynıdır: üçüncü vektörü hem v₁’in hem v₂’nin izdüşümünden arındırırsın. Kuantumda ölçüm bazı kurarken bu yönteme sık başvurulur; özvektör kavramı Özdeğer ve Özvektör dersindeydi.

Kuantum Hesaplamada Ortonormal Bazlar

Ortonormal olmanın ödülü katsayı okumaktır. ψ durumunu ortonormal { |v₁⟩, |v₂⟩, … } bazı üzerinde ψ = a₁|v₁⟩ + a₂|v₂⟩ + … diye yazdıysan, katsayılar tek iç çarpımla çıkar: aᵢ = ⟨vᵢ|ψ⟩. Çünkü ⟨vᵢ|ψ⟩ = Σⱼ aⱼ⟨vᵢ|vⱼ⟩ = aᵢ; δᵢⱼ sayesinde komşu terimler yok olur. Normalize olmayan bir bazda bu iş için uzunluk düzeltmeleri gerekirdi.

Ölçüm tam olarak bu katsayı okumadır. |ψ⟩ = a|0⟩ + b|1⟩ durumunu σ_z bazı üzerinden ölçersen |a|² olasılıkla 0, |b|² olasılıkla 1 okursun; |a|² + |b|² = 1’dir çünkü ⟨ψ|ψ⟩ = 1. Aynı durumu başka eksende soralım: ψ = |+⟩’i σ_x bazı { |+⟩, |−⟩ } üzerinden ölçersen sonuç her seferinde + çıkar, çünkü ψ o bazın ilk vektörünün ta kendisidir. Oysa aynı ψ, σ_z bazında 0 ile 1 arasında yazı-tura dağılır. Öğreti şu: ölçüm cihazı seçmek, baz seçmektir; σ_x, σ_y, σ_z’nin her birinin kendi ortonormal özvektör bazı vardır.

Bu resmin taşları önceki derslerde yerli yerine konmuştu. Bir gözlemlenebilirin özvektörlerinin ortonormal baz oluşturması Hermitian yapının sonucudur: Hermitian Matrisler dersinde nedenini göreceksin. Baz değiştirmek, iç çarpımları koruyan — yani ortonormalligi bozmayan — bir dönüşümle yapılır: Üniteryen Matrisler dersinin konusu. ⟨φ|’nın bileşenleri eşlenik alarak yazması (adjoint) ise Transpoz ve Adjoint dersindeydi. Şık bir kimlik: ortonormal bazı oluşturan projektörlerin toplamı birim matristir, Σᵢ |vᵢ⟩⟨vᵢ| = I.

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

Kavram yerleşmeden yapılan hatalar şaşırtıcı biçimde tekrarlıdır; en yaygın beşi:

• Ortogonali ortonormal sanmak. (1, 2) ile (−2, 1) diktir ama uzunlukları √5’tir; bu bir ortogonal takımdır, ortonormal değil. Bölemeden kuantum durumu yazarsan olasılıklar 1’e ulaşmaz.
• Karmaşık iç çarpımda eşlenik almayı unutmak. ψ = (1, i)/√2’yi bileşensiz kendiyle çarparsan ½(1·1 + i·i) = 0 bulursun; oysa bir vektör kendiyle dik olamaz. Doğrusu: ⟨ψ|ψ⟩ = ½(1·1 + (−i)·i) = 1. Bra tarafı hep eşlenik alır.
• Standart bazi tek baz sanmak. e₁, e₂ — hatta |0⟩, |1⟩ — alışkanlığı başka eksenin önünde değildir; |+⟩, |−⟩ eşit derecede geçerlidir.
• Gram–Schmidt’te sırayı bozmak. Yeni vektörü, önceki tüm vektörlerin izdüşümlerinden arındırdıktan sonra normalize etmelisin; normalizasyonu başta yapıp sonra izdüşüm çıkarırsan uzunluk 1’den kayar.
• Global evreyi fiziksel fark sanmak. ψ ile e^(iθ)ψ aynı fiziksel durumdur; tüm |aᵢ|² değişmez. İki durumun farklı sayılması için ortonormal bazı farklı katsayılarla yazmaları gerekir.

Bu ders, Lineer Cebir ünitesinin araç setini tamamlar: iç çarpım, özvektör ve ortonormal eksenler artık birlikte kullanılabilir. Sıradaki dersler bunları kuantum kuramına bağlayacak: Hermitian yapı, üniteryen dönüşümler ve tensor çarpımı. Notasyonu akıcı hâle getirmek için Dirac Bra-ket Notasyonu dersine uğraman iyi olur.

Kaynaklar ve İleri Okuma

Orthonormal basis — Wikipedia — tanım, temel örnekler ve Fourier açılımı gibi sonuçların özeti.

Gram–Schmidt process — Wikipedia — yöntemin adım adım tanımı ve geometrik yorumu.

Inner product space — Wikipedia — iç çarpım, norm ve ortogonallik kavramlarının matematiksel çerçevesi.

IBM Quantum Learning — kuantum durumları, ölçüm bazları ve üniteryen dönüşümleri uygulamalı anlatan resmî ders materyali.