← 返回博客

数学科普系列 · 第 6 篇

内积与正交:量子态如何"互相独立"

前情提要:我们已经知道,量子态是一支"有长度、有方向"的矢量,住在一个由基矢量张成的复矢量空间里;我们也知道"量子门"在数学上就是一个矩阵,负责对这支矢量做旋转、翻转、缩放。本文要给那支矢量配上一把最关键的"尺子"——内积,并由此引出"正交"这件让量子态彼此独立的事。

一、内积,就是把两个矢量"投影相乘再相加"

先回到最朴素的画面。假设有两个矢量,一个叫甲,一个叫乙。每个矢量都可以拆成一串数字(坐标),比如平面上甲是 (3, 1)、乙是 (2, 4)。

"内积"干的事,简单到一句话就能说清:把这两个数串对应位置的数字两两相乘,再把乘积全加起来。 写成算式:

内积(甲, 乙) = 3×2 + 1×4 = 6 + 4 = 10

注意结果是一个"光秃秃的数",没有方向——这就是内积和"矢量相加"最不一样的地方:矢量相加得到矢量,内积相乘得到标量。

为什么叫"投影相乘再相加"?因为"甲在乙方向上的投影长度"乘以"乙自己的长度",恰好就等于这个和。你不用真去算投影,只要把对应坐标相乘相加,答案就出来了。内积就是一把尺子,专门量"两个矢量之间有多少共同分量"。

二、内积衡量"相似度":同向就大,垂直就零

把内积当尺子,最妙的用法是量"两个矢量有多像"。

  • 如果两个矢量指向同一方向(比如甲=(2,0)、乙=(5,0)),它们"完全重合"在一条线上,内积 = 2×5 + 0×0 = 10,是个很大的正数。
  • 如果两个矢量指向相反方向(甲=(2,0)、乙=(-3,0)),内积 = 2×(-3) = -6,是个负数,说明它们"反着来"。
  • 如果两个矢量垂直(甲=(2,0) 朝右,乙=(0,3) 朝上),内积 = 2×0 + 0×3 = 0,恰好归零!

这个"垂直得零"的现象太重要了,我们给它一个专属名字:正交(orthogonal)。两个矢量正交,就等于它们在彼此的方向上"没有一丁点投影"——谁也借不到谁的长度。

稍微提一句背后的规律:两个矢量的内积,等于它们长度的乘积再乘上"夹角的余弦"。夹角越小,余弦越接近 1,内积越大;夹角 90 度时余弦是 0,内积归零;夹角超过 90 度,余弦变负,内积变负。所以内积的符号和大小,一口气把"像不像、同向还是反向"全告诉你了。

flowchart LR A["矢量甲: 一串坐标"] --> C["对应坐标两两相乘"] B["矢量乙: 一串坐标"] --> C C --> D["乘积全部相加"] D --> E["内积: 一个标量"] E --> F["大等于同向, 零等于正交, 负等于反向"]

三、正交 = 互相独立:测量不会"串台"

现在把镜头切回量子世界。前面说过,一个量子态是一支矢量,测量时得到某个基态的概率,等于"态矢量和那个基矢量做内积、再取模平方"。

关键来了:如果两个量子态彼此正交,它们做内积就是 0,模平方也是 0——也就是说,你绝不会把一个态误测成另一个态。

打个比方。想象两个互不相交的抽屉,一个装红球、一个装蓝球,你从红球抽屉里伸手,摸到的一定是红球,绝不会摸到蓝球的影儿。正交的两个量子态就是这样两个"互不串台"的抽屉:它们携带的信息完全不重叠,你测量其中一个,结果清清楚楚属于它自己,绝不会被另一个"污染"。

这正是"独立"的数学含义。经典世界里我们说两件事独立,是说知道一件帮不了你判断另一件;量子世界里说两个态正交,是更强的一层意思——在测量上,它们是彻底分开的两扇门,走错门的概率严格为零。

四、正交基:一组两两垂直的单位箭头,张出整个空间

单一把尺子还不够,我们要给整个空间配一套"标准坐标系"。这就要请出正交基(orthonormal basis)了。它有两层要求:

1. 正交:基与基之间两两垂直,内积为 0; 2. 归一:每个基矢量自身长度是 1("单位箭头")。

最眼熟的例子就是平面直角坐标系:横轴箭头 e1=(1,0)、纵轴箭头 e2=(0,1)。它俩互相垂直、长度都是 1,就是一组正交基。任何平面矢量都能被它们唯一地拆开:

矢量 = a×e1 + b×e2

这里的 a、b 就是坐标。换作量子比特,e1 就是 |0>、e2 就是 |1>——它们正交归一,于是任意单比特态都写成 a|0> + b|1>,且 |a|² + |b|² = 1(归一化,概率加起来为 1)。

"唯一展开"是这句口诀的精髓:同一套正交基下,一个矢量只有一种拆法。这就像同一个城市,用经纬度(一套正交坐标)定位,每个地点只有一组唯一的经纬度。正交基给了我们一套不会歧义的"地址系统",量子态住进去,坐标就是它的概率幅。

五、量子计算里的正交:量子比特"0 和 1"的数学根源

把前面所有拼图拼起来,就到了量子计算的门口。

量子态住在一个叫希尔伯特空间的复矢量房间里(这个房间我们在讲矢量与空间时打过照面)。这个房间最基础的一组正交基,正是 |0> 和 |1>。它们为什么能代表"计算结果的 0 和 1"?因为正交 = 可区分:测量一个处在 |0> 的态,永远得到 0,绝不会蹦出 1;反过来测 |1> 永远得到 1。两个结果像两个不相交的抽屉,互不串台。

这才是量子比特"0/1"真正的数学根源——它不像经典比特是"开关的物理高低电平",而是希尔伯特空间里两支彼此正交的单位矢量。正因为有这份正交性,我们才能把一个量子比特明确地"读出"成 0 或 1;也正是这份正交性,让多个量子比特的基态 |00>、|01>、|10>、|11> 彼此全部两两正交,从而能同时承载互不干扰的 2^n 个计算分支。

下次你看到量子算法说"把量子比特制备到 |0>",你就知道:那是在说"把这支配箭,对准那支长度为 1、与 |1> 垂直的标准箭头放好"。内积这把尺子,从这一刻起,就一直在后台悄悄量着每个态"像不像 0、像不像 1"。

读后小测

3 句话复述

1. 内积把两个矢量对应坐标相乘再相加,得到一个标量,是衡量"相似度"的尺子。 2. 两个矢量垂直(正交)时内积为 0,意味着它们互不重叠、互相独立,测量不会串台。 3. 一组两两正交且长度为 1 的正交基能唯一展开空间里任意矢量;量子比特的 |0> 和 |1> 正是一组正交基,这是"0/1"可区分的数学根源。

1 件动手小事

在纸上画一支朝右的箭头 e1=(1,0) 和一支朝上的箭头 e2=(0,1),这就是一组正交基。再画一支斜 45 度的箭头 v=(1/√2, 1/√2)。算内积:v 和 e1 的内积 = 1/√2(即坐标 a),v 和 e2 的内积 = 1/√2(即坐标 b),两者模平方各为 1/2。这一下,你就亲手验证了"任意矢量 = 正交基坐标的唯一组合",并看见了叠加态概率从哪来。