Bra-ket gösterimi

Vikipedi, özgür ansiklopedi
Atla: kullan, ara

Kuantum mekaniği'nde, kuantum durumları'nın tanımı için bir standard gösterim bra–ket gösterimidir ,braket açılar'dan ve dikey çubuk'lardan oluşur.O ayrıca matematik'teki soyut vektörler ve doğrusal fonksiyonel'leri ifade etmekte kullanılabilir.Çünkü o (veya bir karmaşık vektör uzayında nokta çarpım olarak) bir ⟨bra|ket⟩ tarafından ifade edilen iki durumun iç çarpım'ıdır,,

\langle\phi|\psi\rangle ,

bir sol parçanın içinde, ⟨φ| oluşumu, bra /brɑː/ olarak adlandırılır, ve bir sağ parça, |ψ⟩,ket /kɛt/ olarak adlandırılır. bu gösterim 1939 içinde Paul Dirac tarafından tanıtılmış idi[1] ve ayrıca Dirac gösterimi olarak bilinir,100 yıla yakın önce iç çarpım için Grassmann öncülerinin kullandığı [φ|ψ] gösterimi vardı .[2]

Bra–ket gösterimi Kuantum mekaniği içinde yaygındır:kuantum mekaniği kullanılarak hemen her fenomen -Modern fiziğin büyük bir bölümü dahil olmak üzere-genellikle bra-ket gösterimiyle açıklanabilir. gösterimin itiraz parçası soyut 'bağımsız gösterim' kodları olduğunu bununla birlikte çok uzatmadan bu özel bir gösteriminin üretiminde çok yönlülük veya ilgili uzayların doğrusal doğasına fazla bağımlılıktır(örneğin x, veya p, veya özfonksiyon tabanı).Örtüşme ifadesi ⟨φ|ψ⟩ tipik karşılaştırma olarak durum'ların ψ olasılık genliği için ϕ durumu içine çöküş'üdür.

Vektör uzayları[değiştir | kaynağı değiştir]

Altyapı: Vektör uzayları[değiştir | kaynağı değiştir]

Ana madde: Vektör uzayı

Fizikte, taban vektör'ler herhangi Öklidyen vektör geometrik gösteriminde kullanılan açı'lar ve uzunluk'lar, farklı yönler içinde,yani uzaysal yönelimleri'nin terimleri içindedir. Bu sıradan gösterim ve bra-ket gösterim arasındaki gösterimsel eşdeğerliliği görmek kolaydır, Şimdilik bu kadar; Bir A vektörü düşünün 3-d Öklidyen uzayı'nın bir ögesi olarak gerçel sayılar'ın alanı'nı kullanıyor , sembolik durumlar olarak A ∈ ℝ3.

A vektörü taban vektör'lerinin kümesi kullanılarak yazılmış olabilir ve Koordinat sistemi'ni karşılar. Tabandışı vektörler "Bir vektör yapı taşları" gibidir,bir vektör için birbirine eklenir, ve koordinat'lar her yön içindeki taban vektörlerin sayılarıdır.Bir vektörün kullanışlı iki gösterimi taban vektörler'in yalın bir doğrusal kombinasyonu'dur ve sütün matris'lerdir.kartezyen taban ailesi kullanılıyor, bir A vektörü yazılırsa:

3d gerçel vektör bileşenler ve taban izdüşüm; benzerlikler arası vektör hesabı gösterimi veDirac gösterimi.İzdüşüm Dirac gösterimininde önemli bir özelliğidir.
 \begin{align}
\mathbf{A} & = A_x \mathbf{e}_x + A_y \mathbf{e}_y + A_z \mathbf{e}_z \\
& = A_x \begin{pmatrix} 1 \\ 0 \\ 0 \end{pmatrix} +
A_y \begin{pmatrix} 0 \\ 1 \\ 0 \end{pmatrix} +
A_z \begin{pmatrix} 0 \\ 0 \\ 1 \end{pmatrix} \\
& = \begin{pmatrix} A_x \\ 0 \\ 0 \end{pmatrix} +
\begin{pmatrix} 0 \\ A_y \\ 0 \end{pmatrix} +
\begin{pmatrix} 0 \\ 0 \\ A_z \end{pmatrix} \\
& = \begin{pmatrix}
A_x \\
A_y \\
A_z \\
\end{pmatrix}
\end{align}

sırasıyla, burada ex, ey, ez Kartezyen taban vektör'ler olarak adlandırılır(tüm birim vektör'ler ortogonaldir ) ve Ax, Ay, Az 'ya karşılık gelen,içinde yönleri x, y, z olan koordinatlardır. Daha genel bir gösterimle,3-d uzayı içinde herhangi taban için biz şöyle yazarız;

\mathbf{A} = A_1 \mathbf{e}_1 + A_2 \mathbf{e}_2 + A_3 \mathbf{e}_3 = \begin{pmatrix}
A_1 \\
A_2 \\
A_3 \\
\end{pmatrix}

daha fazla yaygınlaştırılması Bir A vektörü düşünün bir N boyutlu vektör uzayı üzerinde ℂ karmaşık sayılar'ın alanı, sembolik olarak durumu A ∈ ℂN dır. A vektörü yine de, geleneksel olarak baz vektörleri ya da bir kolon matrisi lineer bir kombinasyonu ile temsil edilir:

\mathbf{A} = \sum_{n=1}^N A_n \mathbf{e}_n = \begin{pmatrix}
A_1 \\
A_2 \\
\vdots \\
A_N \\
\end{pmatrix}

koordinatlar şimdi tüm kompleks değerli olsa;

Daha da genel olarak, A bir vektör içinde bir karmaşık Hilbert uzayı içinde olabilir. Bazı Hilbert uzayları, gibi ℂN,sonlu boyutu vardır, eğer diğerlerinin sonlu boyut varsa.Bir sonlu-boyutlu uzay içinde, Anın sütun-vektör gösterimi birçok sonsuz karmaşık sayıların bir listesidir

Vektörler için Ket gösterimi[değiştir | kaynağı değiştir]

Bunun yerine daha boldtip,okların üzerinde, alt vb geleneksel yerlerde kullanılan; \mathbf{A},\,\underline{A}, \, \vec{A} , Bir vektör için Dirac notasyonu dikey çubukları ve açısal parantez kullanır: |A⟩. Bu gösterim kullanıldığında, bu vektörler "ket"denir."ket-A" olarak okunur.[3] Bu, tüm vektörler, elde edilen vektör ve esas için de geçerlidir.

Önceki vektörler artık yazılabilir;

 |A \rangle = A_x|e_x \rangle + A_y|e_y \rangle + A_z|e_z \rangle =
\begin{pmatrix} A_x \\ A_y \\ A_z \end{pmatrix},

veya in daha kolay bir gösterim,

 |A \rangle = A_1|e_1 \rangle + A_2|e_2 \rangle + A_3|e_3 \rangle =
\begin{pmatrix} A_1 \\ A_2 \\ A_3 \end{pmatrix},

Son olarak kısa yazılmış şekli;

|A \rangle = A_1|1 \rangle + A_2|2 \rangle + A_3|3 \rangle

kullanılabilecek herhangi bir sembol, harfler, sayılar, hatta kelimelere nasıl dikkat edilir- Uygun bir etiket olarak görev ne olursa olsun -" Bir ket içinde etiket olarak kullanılabilir .Diğer bir değişle,sembol |A⟩ nın bir özel ve evrensel matematik anlamı vardır, ama sadece "A" nın kendisi tarafından değil . Bununla birlikte, kolaylık sağlamak için,Ket iç etiketleri arkasında bazı mantıksal düzeni oluşturmak genellikle yoktur, kuantum mekanik ile bir burada kuantum sayılarının listesi içinde bu tür etiketleme yaygın bir uygulama olarak enerji öz-ketleri'dir.

İç çarpımlar ve bras[değiştir | kaynağı değiştir]

Ana madde: iç çarpım

Bir iç çarpım nokta çarpım'ın bir genelleştirilmesidir,iki vektörün iç çarpımı bir karmaşık sayıdır,iç çarpımlar için bir özel Bra–ket gösterimi  :

 \langle A | B \rangle = \text{ iç-çarpım ket } | A \rangle \text{ile ket } | B \rangle

örneğin,üç-boyutlu karmaşık Öklid uzayı,

\langle A | B \rangle = A_x^*B_x + A_y^*B_y + A_z^*B_z

burada A_i^*'e Ai'ın karmaşık eşleniği denir.Bir özel durum,bir vektör ile kendisinin iç çarpımı,o norm'un karesi(büyüklük) :

\langle A | A \rangle = |A_x|^2 + |A_y|^2 + |A_z|^2

Bra–ket gösteriminin bölünmüş bu iç çarpımı (ayrıca bir "braket" te denir)iki parça içindedir,"bra" ve "ket":

 \langle A | B \rangle = \left( \, \langle A | \, \right) \,\, \left( \, | B \rangle \, \right)

burada ⟨A| bir bra'dır, okunuşu "bra-A",ve |B⟩ bir ket'tir yukarıdaki gibi.

Amaç iç çarpımın içinin bir bra ve bir ket "bölünme"sidir,bu iki bra ⟨A| ve ket |Bkendi başlarına anlamlıdır,ve bir iççarpımın diğer konuları içinde kullanılabilir. Ayrı bras ve Kets anlamları hakkında düşünmek için iki ana yöntem vardır:

Bras ve kets satır ve sütun vektörler[değiştir | kaynağı değiştir]

Bir sonlu boyutlu vektör uzayı için, bir sabit ortonormal baz kullanılır,iç çarpım bir satır vektör ile bir sütun vektörün bir matris çarpımı olarak yazılabilir:

 \langle A | B \rangle = A_1^* B_1 + A_2^* B_2 + \cdots + A_N^* B_N =
\begin{pmatrix} A_1^* & A_2^* & \cdots & A_N^* \end{pmatrix}
\begin{pmatrix} B_1 \\ B_2 \\ \vdots \\ B_N \end{pmatrix}

Taban olarak,bras ve kets olarak tanımlanabilir:

 \langle A | = \begin{pmatrix} A_1^* & A_2^* & \cdots & A_N^* \end{pmatrix}
 | B \rangle = \begin{pmatrix} B_1 \\ B_2 \\ \vdots \\ B_N \end{pmatrix}

ve bu anlaşıldı ise bu bir bra sonrası bir ket'le matris çarpımı anlamına gelir.

Eşlenik devriği (ayrıca Hermisyen eşlenik te denir) bir bra karşılığında ket ve tersi:

\langle A |^\dagger = |A \rangle, \quad |A \rangle^\dagger = \langle A |

çünkü eğer bir bra ile başlatılır

\begin{pmatrix} A_1^* & A_2^* & \cdots & A_N^* \end{pmatrix},

bir karmaşık eşleniği gerçekleştirdiğinde ve bir ket ile sonlanma varsa matris devriği şu olur

\begin{pmatrix} A_1 \\ A_2 \\ \vdots \\ A_N \end{pmatrix}

Ket ile ilgili bra gibi doğrusal operatörler[değiştir | kaynağı değiştir]

Daha bir soyut tanım, bunun eşdeğeri ama daha kolay sonlu-boyutlu uzaya genelleştirilebilir, bu bras doğrusal fonksiyonel'ler olarak kets denir, yani operatörler bu giriş bir ket ve çıkış bir karmaşık sayıdır. bra operatörleri iççarpım ile tutarlı olarak tanımlanabilir matematik terminolojide,bras'ın vektör uzayı kets'lerin vektör uzayı ile dual uzay'dır ,

Kuantum mekanikte uygulamaları[değiştir | kaynağı değiştir]

matematiksel yapısı kuantum mekaniğinin doğrusal cebir üzerinde büyük kısım içinde yer alır :

  • Dalga fonksiyonu ve diğer kuantum durumlar bir karmaşık Hilbert uzayı içinde vektörler olarak gösterilebilir. (Bu Hilbert uzayının tam yapısı durumuna bağlıdır.) bra–ket gösterimi içinde, örneğin, bir electron "durum" |ψ⟩ içinde gereklidir. (Teknik açıdan, kuantum durumları Hilbert uzayı içinde vektörlerin yollarıdır , herhangi sıfırdışı karmaşık sayılar c için aynı duruma karşılık c|ψ⟩ olarak.)
  • Kuantum çakışması kurucu durumların vektör toplamları tanımlanabilir. Örneğin, |1⟩+i |2⟩ durumu içinde bir elektron bir kuantum |1⟩ ve |2⟩ durumlarının çakışmasıdır.
  • ölçüm ile ilişkili(gözlenebilirler denir) kuantum durumlarının Hilbert uzayı üzerindeki doğrusal işlemcilerdir .
  • Dinamikler ayrıca Hilbert uzayı üzerinde doğrusal işlemciler ile tanıtılabilir. Örneğin, Schrödinger resmi içinde, burada bir doğrusal zaman evrimi işlemcisi U ile bir elektronun özelliği eğer şimdi sağdaki |ψ⟩ durumu içinde ise,ikinci tek bu aynı U her olasılık |ψ⟩ için U|ψ⟩ durumu içinde olacaktır, .
  • Dalga fonksiyonunun normalleşmesi bir dalga fonsiyonu ölçeği böylece bunun normu 1'dir.

Since in kuantum mekanik içinde sanal her hesaplama vektörler ve doğrusal işlemciler içerir, bu içerebilir, ve sıklıkla bra–ket gösterimi yapar içerir. Bir kaç örnek aşağıdadır:

Özellikler[değiştir | kaynağı değiştir]

Bra-ket notasyonu lineer cebirsel ifadelerin resmi manipülasyonu kolaylaştırmak için tasarlanmıştır. Bu manipülasyonu sağlar özelliklerin bazıları, burada listelenmiştir. In what follows, c1 vec2 denote arbitrary karmaşık sayılars, c* c'nin karmaşık eşlenik ifadesi, A ve B keyfi doğrusal işlemciler ifadesidir, ve bu özellikler herhangi bras ve kets seçimi için tutulur.

Doğrusallık[değiştir | kaynağı değiştir]

  • Böylece bras doğrusal fonksiyondur,
\langle\phi| \; \bigg( c_1|\psi_1\rangle + c_2|\psi_2\rangle \bigg) = c_1\langle\phi|\psi_1\rangle + c_2\langle\phi|\psi_2\rangle.
  • ikili uzay içinde doğrusal fonksiyonun toplamının ve skaler çarpımının tanımı ile ,[4]
\bigg(c_1 \langle\phi_1| + c_2 \langle\phi_2|\bigg) \; |\psi\rangle = c_1 \langle\phi_1|\psi\rangle + c_2 \langle\phi_2|\psi\rangle.

Hermityen eşlenik[değiştir | kaynağı değiştir]

  • Bir bra Hermityen konjugeye karşılık gelen ket, ve tersi.
  • Karmaşık bir sayının Hermityen eşleniği kompleks eşleniğidir.
  • Herhangi bir şeyin (lineer operatörler, bra kets, sayılar) Hermityen eşleniğinin Hermitsel eşleniği, kendisi-olur
(x) = x.verilen kompleks sayıların, bras, Ket, iç çarpımları dış çarpımları ve / veya bra-ket notasyonda yazılmış olanlar doğrusal operatörlerin, herhangi bir kombinasyonu, onun Hermityen konjuge sırasının tersine hesaplanabilir bileşenlerini ve her birinin Hermityen eşleniğini alıyor.

Bu kurallar resmi olarak bu tür bir ifadenin Hermitsel konjügatını yazmak için yeterlidir; aşağıda bazı örnekler:

  • Ketler:

\left(c_1|\psi_1\rangle + c_2|\psi_2\rangle\right)^\dagger = c_1^* \langle\psi_1| + c_2^* \langle\psi_2| ~.
  • İççarpım:
\langle \phi | \psi \rangle^* = \langle \psi|\phi\rangle ~.
  • Matris ögeleri:
\langle \phi| A | \psi \rangle^* = \langle \psi | A^\dagger |\phi \rangle
\langle \phi| A^\dagger B^\dagger | \psi \rangle^* = \langle \psi | BA |\phi \rangle ~.
  • Dış çarpımlar:
\left((c_1|\phi_1\rangle\langle \psi_1|) + (c_2|\phi_2\rangle\langle\psi_2|)\right)^\dagger = (c_1^* |\psi_1\rangle\langle \phi_1|) + (c_2^*|\psi_2\rangle\langle\phi_2|)~.

Ayrıca bakınız[değiştir | kaynağı değiştir]

Kaynakça ve notlar[değiştir | kaynağı değiştir]

  1. ^ PAM Dirac (1939). "A new notation for quantum mechanics". Mathematical Proceedings of the Cambridge Philosophical Society 35 (3): ss. 416–418. doi:10.1017/S0305004100021162. http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=2031476. 
  2. ^ H. Grassmann (1862). Extension Theory. History of Mathematics Sources. American Mathematical Society, London Mathematical Society, 2000 translation by Lloyd C. Kannenberg. 
  3. ^ Quantum Mechanics Demystified, D. McMahon, Mc Graw Hill (USA), 2006, ISBN(10-) 0-07-145546 9
  4. ^ Lecture notes by Robert Littlejohn, eqns 12 and 13

Daha ileri okuma[değiştir | kaynağı değiştir]

  • Feynman, Leighton and Sands (1965). The Feynman Lectures on Physics Vol. III. Addison-Wesley. ISBN 0-201-02115-3. 

Dış bağlantılar[değiştir | kaynağı değiştir]