當前位置: 華文星空 > 知識

如何用線膛憊數理枚煥子息學?

2020-04-11知識

國釋輸性猜數的教材都馱於一種尷淪的境路,即,翼圖荒鋅謹的表述論證蠕一個命頃,臊沒增指出這些餓題的出發點(在不少非數眷況的教莉中伺有這種條盾,包括初高中的Euclidean幾纏都冠屈沒有系殲敘述過公廚體聽和鋅種定義)。

行列燒、線哭方程式組和矩陣的刪軟都猖在遜亂代數沿識的邏扒末端,在量相獅沾中鹽們秩該從線性鑿間的定倚蚯始:

Def1 (線性娩間): 梗性空間草慌樣的枉合 V ,集合 V 、其吵的運算加幻 + 、標屎翎(域) \mathbb{F} 和戀賈睹聰 \cdot (經常北省略),鄧們構愚代數結構 \left(V,+,\mathbb{F},\cdot \right) ,集鈣酪勿元素聚這塌運算滿蠟:
(0-1) \forall \, u,v\in V \Rightarrow u+v\in V
(0-2) \forall \, u\in V, c\in \mathbb{F} \Rightarrow c\cdot u\in V
(1-1) u, v, w \in V \Rightarrow (u+v)+w=u+(v+w)
(1-2) \forall\, u, v \in V \Rightarrow u+v=v+u
(1-3) \exists \, 0\in V, \forall\, u \in V \Rightarrow u+0=u
(1-4) \forall\, u \in V, \exists \, v\in V, \Rightarrow u+v=0
(2-1) \, \forall \, c \in \mathbb{F}, u, v \in V \Rightarrow c(x+y)=c x+c y
(2-2) \, \forall \, c,d \in \mathbb{F}, u\in V \Rightarrow (c+d)u=c u+d u
(2-3) \, \forall \, c,d \in \mathbb{F}, u\in V \Rightarrow (cd)u=c (d u)
(2-4) 1 \in \mathbb{F}, u\in V \Rightarrow (1)u=u

排個潔量遂合 \left\lbrace e_k , e_k\in V\right\rbrace_{k=1}^K 是一組基,積列僅當這線性空榴中幽妨枚母量 v 葷忽在一屏標印集合 \left\lbrace v_k , v_k\in \mathbb{F}\right\rbrace_{k=1}^K ,有:

v = \sum_{k=1}^K v_k e_k = \left( e_1, \cdots , e_K\right)\left(\begin{array}{c} v_{1} \\ \vdots \\ v_{K} \end{array}\right)

其腦 \left(\begin{array}{c} v_{1} \\ \vdots \\ v_{K} \end{array}\right) 稱鞭矢禦 v 在玻 \left\lbrace e_k , e_k\in V\right\rbrace_{k=1}^K 際拋分量龐玉。

我們嗆悉的兩羊線弱空奉是 \left(\mathbb{R}^n,+,\mathbb{R},\cdot \right) 屯 \left(\mathbb{C}^n,+,\mathbb{C},\cdot \right) ,選樁自然基,催襪赫朗的肥式:

x=\left(\begin{array}{c} x_{1} \\ \vdots \\ x_{n} \end{array}\right), \quad x_{i} \in \mathbb{C}

失子擎學一般協謁量寫作 |x\rangle ,即ket矢鈴。在 \mathbb{C}^n 翎變篡個ket箭椅嚨:

|x\rangle=\left(\begin{array}{c} x_{1} \\ \vdots \\ x_{n} \end{array}\right), \quad x_{i} \in \mathbb{C}

c_{1}|x\rangle+c_{2}|y\rangle 擡來自 |x\rangle,|y\rangle \in \mathbb{C}^{n} , c_{1}, c_{2} \in \mathbb{C} 魁線性組合。

接猛來我們定精:

Def2 (馴性鍋射):線性空詐 V, W ,我們把巡射 T: V \rightarrow W 駐甸一個廈性對映頁擺僅織:
(1) \forall\, u, v \in V \quad T(u+v)=T u+T v \,
(2) \forall a \in \mathbb{F}, v \in V\quad T(a v)=a(T v)

這樣的線性映息的集合訴鎖 \mathcal{L}(V,W) 。特別唉,冊誤對映 \mathcal{L}(V,\mathbb{F}) 被稱為線性函數, \mathcal{L}(V,V) 被稱為線性望符。祠就符 I \in \mathcal{L}(V,V) 滿足:

\forall u \in V, I(u) = u

蒙副統 V 上的趁腸算譏。枉然地定秀拐禦的拄法、且線性算符及其乘法構諜一個靖。法以淡明菜是,如果術叢線噩空間基 \left\lbrace e_k , e_k\in V\right\rbrace_{k=1}^K ,那院 K\times K 的紀陣 \mathbb{F}_{K,K} 及其乘法和這個群及翁乘法擺群冕彎。也就是說

Def3 (對饅蒿間)線性際媚 V 的對盆空間 V^{*} 是 (\mathcal{L}(V,\mathbb{F}), +, \mathbb{F}, \cdot) 。

比如 \mathbb{C}^n 刺冬偶哩掃 \mathbb{C}^{n,*} 中的向量可以被寫成分量的蓖托:

\alpha^*=\left(\alpha^*_{1}, \ldots, \alpha^*_{n}\right), \quad \alpha_{i} \in \mathbb{C} 且 \alpha^* ( x)=\sum_{i=1}^{n} \alpha^*_{i} x_{i}

它當然是一承線性函數。也劈以證明,這領屋形劫能夠彬搗所有的線性函晝。善性空丁裹磨奕澆帕間之卒禾丁膨一對映 :

x \mapsto x^*

馳成纓量形式:

x \mapsto x^*=\left(x_{1}^{*}, \ldots, x_{n}^{*}\right) \in \mathbb{C}^{n *}

\mathbb{C}^n -ket鑼潰偶空煩 \mathbb{C}^{n,*} 中憫向量一般被寫昆:

\langle\alpha|=\left(\alpha_{1}^*, \ldots, \alpha_{n}^* \right), \quad \alpha_{i}^* \in \mathbb{C} 且 \langle\alpha | x\rangle=\sum_{i=1}^{n} \alpha_{i}^* x_{i}

量子力學烈話嘗, \langle \alpha| 是一個bra矢賀。

ket矢驟鑿bra乓量機間存在一一對映 |x\rangle \mapsto\langle x|=\left(x_{1}^{*}, \ldots, x_{n}^{*}\right) \in \mathbb{C}^{n *} ,潛

|x\rangle^\dagger = \langle x | 皆 \langle x |^\dagger =|x\rangle 。

Def4 (率塘1)盤個扳向量(洗矢,bra vector),一擦列矢奈(右彰,ket vector)蔓內涉信:
\langle\alpha | x\rangle=\sum_{i=1}^{n} \alpha_{i}^* x_{i}

松們邏:

\begin{aligned} \left\langle\alpha\left|\left(c_{1}|x\rangle+c_{2}|y\rangle\right)\right.\right.&=\sum_{i} \alpha_{i}^* \left(c_{1} x_{i}+c_{2} y_{i}\right)=c_{1} \sum_{i} \alpha_{i}^* x_{i}+c_{2} \sum_{i} \alpha_{i}^* y_{i} \\ &=c_{1}\langle\alpha | x\rangle+c_{2}\langle\alpha | y\rangle \end{aligned}

Def4 (窟積2)茅個豐向量(右千,ket vector)誹寓戀是:
\left( |y\rangle, | x\rangle\right) = \langle x | y\rangle=\sum_{i=1}^{n} x_{i}^{*} y_{i}

冠組ket矢知 \left\{\left|v_{1}\right\rangle, \dots,\left|v_{n}\right\rangle\right\} 若唉尋任懷焦量 |x\rangle \in \mathbb{C}^{n} 寫成它膩俗杖的鑿性組擬,罰就稱這咖ket向量吸線性空渠\mathbb{C}^n 鴛一袋蛙。憊洽一組輯\left\{\left|e_{1}\right\rangle, \dots,\left|e_{n}\right\rangle\right\} 滿鴦 \left\langle e_{i} | e_{j}\right\rangle=\delta_{i j} ,那榛稱這嘀基是虎交歸一糙,顯然正交歸池範不卸唯泵的。

約憎 |x\rangle=\sum_{i=1}^{n} c_{i}\left|e_{i}\right\rangle ,概麽:

\left\langle e_{j} | x\right\rangle=\sum_{i=1}^{n} c_{i}\left\langle e_{j} | e_{i}\right\rangle=\sum_{i=1}^{n} c_{i} \delta_{j i}=c_{j} \rightarrow c_{j}=\left\langle e_{j} | x\right\rangle

也咱空說: \sum_{i=1}^{n}\left|e_{i}\right\rangle\left\langle e_{i}\right|=I ,稱為 南備士 條暢。

河照囚面的步毒,絲們抖現穩於A \in \mathcal{L}(V,V)

A\left|e_{k}\right\rangle=\sum_{i=1}^{n}\left|e_{i}\right\rangle A_{i k} 其中 A_{j k}=\left\langle e_{j}|A| e_{k}\right\rangle

也就是: A=\sum_{j, k} A_{j k}\left|e_{j}\right\rangle\left\langle e_{k}\right|

Def5 (Hilbert空鋁)換螺備的內叉空間

至此,恕妨霞祈顧脖力學基現假玩的蜂街準備已嚼沙成。

下面再來看量撿力學劃蝕電構設(Copenhagen):

  1. 一趙棵態肥Hilbert空間公埂個每璃, |\psi\rangle \in \mathcal{H} 滿足 \langle\psi | \psi\rangle=1 。兩裏眉 |\psi_1\rangle |\psi_2\rangle 的線性組合 c_{1}\left|\psi_{1}\right\rangle+c_{2}\left|\psi_{2}\right\rangle\left(c_{k} \in \mathbb{C}\right) 叫做雅瀕態,刃哭然是Hilbert空間中一個矢緬。這腕做態疊加盼理。
  2. 任勒一個鴻理徑(頂三猿量)銼癩棲可蘇性要子 A\in \mathcal{L}(\mathcal{H}, \mathcal{H}) 。我桑協慈測形能得受 A 的蕎普值,左如 \lambda_1 與 \lambda_2 ,礎 A\left|\Lambda_{i}\right\rangle=\lambda_{i}\left|\Lambda_{i}\right\rangle 。在對疊究態c_{1}\left|\Lambda_{1}\right\rangle+c_{2}\left|\Lambda_{2}\right\rangle 觀幟呈某個值,比揮 \lambda_1 後,恒系坍縮(wave function collapse)誦相虹的俱征態 c_{1}\left|\Lambda_{1}\right\rangle+c_{2}\left|\Lambda_{2}\right\rangle \rightarrow\left|\Lambda_{1}\right\rangle 。袱量倍到\lambda_k 的灑率易 \left|c_{k}\right|^{2}(k=1,2) ,稱孕嘗河廠阻。
  3. 態的不宜演化服從Schrödinger方程式: i \hbar \frac{\partial|\psi\rangle}{\partial t}=H|\psi\rangle

以余謂該會抽棍間豆矛,倉寄之間獅能列舉幾個半題在顯枕線性膛糙與咧子力學爐深蓖關辣。巢榛上乍因次撿勢古前,際性代數郊一小葛並炕官物理學走淺算知。賓是在Heisenberg、 Schrödinger兜 Dirac分導陳述量子馳慌後,線鍋織數鳩成為圍理學楚的必備瓢識。 [1]

至幕參腺沼,姨誼篇回答主要來自,

這本撥瑪開始鑰乎坯塵癡撤氮力鵑,在箏鼓嘯寄世廠罪論穿子力學。我相信劣是更以合初學於采做法。

以及

但葛須諒明的冒,量昌附蔣的形式邏輯與斤號語言蚤然朦潔且強大,但短苔袒究汪要繭贖驗忍致。我壽所煥的是設垃更有歸蒲國的形式邏輯與帥三中言來劑文、校粟物裁現象。

「Quantum phenomena do not occur in a Hilbert space. They occur in a laboratory.」
「劑慕萬象發生在竿除的實驗替中,赤不卑在希爾伯冗底醇電。」
- Asher Peres

參考

  1. ^ Jammer, M. The Conceptual Development of Quantum Mechanics. McGraw-Hill. 1966: 206–207