关于不完备性定理和不确定性原理的探讨 (小结)
+ U$ Z u7 G1 m. c) l
8 i$ n+ L: g p+ C- `3 {- G
2 m2 U i! ]* e( A& o; ]* }3 Y
! h8 f$ M0 e8 S& d' t' E: j3 y一、不完备性定理简述8 Z- T3 {& m" `2 B
1931年哥德尔发表论文《论数学原理和有关系统的形式不可判定命题》,即著名的哥德尔不完备性定理,其核心脉络大致可以分为这样三个步骤: (步骤一:数字化同构)不完备性定理证明方法的奇思妙想是把自然语言数字化,哥德尔在文中大量篇幅花费在十分繁琐的映射定义上,以便把自然语言映射为数字。因为自然语言可以转换为形式逻辑、形式逻辑可以演算成命题范式、而命题范式可以展开成为标准的逻辑门、并且逻辑门可视作一种二进制代码。比如逻辑门“与”可对应为01,逻辑门“或”可对应为10,逻辑门“非”可对应为11。然后二进制数再转换成小数,如0.1,0.01,0.11,因此形式逻辑运算不过是这三种码的组合。所以即使非常复杂的逻辑门组合,也只是小数点后的尾巴更长点而已,仍然还是个小数。也就是说‘自然语言系统’通过转换为命题逻辑门,恰巧可以对应于一个‘算术公理系统’的小数(有理数)。 哥德尔通过一种十分新颖的同构映射形式,把‘自然语言系统’和‘算术公理系统’联系到了一起。然后,对于原本并不严谨的自然语言的语义的证明,也就变成了惯常熟知的相对简单的严格算术证明。哥德尔天才的洞察力,发现了‘自然语言系统’和‘算术公理系统’的映射同构关系,这是解决自然语言系统语义歧义的关键。 3 [1 k' A1 p: x9 z ?! z) [
(步骤二:代数数与超越数的区别)历史上,有一些悖论,比如理发师悖论提出后,数学家们发现可以通过对集合论进行改造、通过对集合补充定义来排除悖论。当一个形式逻辑体系出现上述悖论时,就用一个更大的逻辑体系去包络它,让原先那个逻辑体系作为更大的逻辑体系的子集合。当然这样做的结果,新的母体系又可能产生新的矛盾。但这也没关系,只要类似地一层一层地包下去,逻辑系统空间从n维扩充为n+1维,以致于无穷维。依此类推,似乎所有的问题命题总能通过递归嵌套,从而针对性化解。希尔伯特、罗素等数学家都坚信,任何数学真理,只要通过一代又一代人的不断努力,都能依靠不断扩张的n+1维公理的逻辑系统化将其整合到数学的大厦中。简单来看,把一个有歧义的命题分而析之各个击破,相当于细化切分问题。类似于“一尺之捶,日取其半,万世不竭。”我们知道,以这种一刀一刀砍出来小段,其实就是一个分数(有理数)的数列。哥德尔把这种可以通过层层外延扩张的n+1维公理系统称为递归集。 但是,哥德尔发现,还存在另外一些逻辑悖论,比如说谎者诡论,相当于“非递归集”,并不能通过递归集得到完整表达。这类似于“超越数”,它超出了整个代数系统解答能力,超越数对代数系统而言,是不可判定命题。
1 j$ c2 j8 o" t" P9 @* p' Z
(步骤三:阿列夫0对阿列夫1的不完备)超越数是无理数的主力军,也是稠密实数的主要组成部分。康托尔证明了‘不可列’超越数比‘可列’有理数要多得多[2]。可列集合的势为阿列夫0,不可列集合的势为阿列夫1 。类似于阿列夫1之多的超越数对于阿列夫0维度的代数系统不可判定,哥德尔印证了不可列的“非递归集”对于可列的的形式逻辑系统是不可判定的。 可见,不完备性定理的本质是空间维度的不完备。 & \1 A; g4 R/ U% _& M
1 N' B) R% f2 Q, x1 u" u
8 P; y' E$ }# [- }
: r2 }' z; G7 }8 Y/ Y' x; F7 ^0 I
/ w- ~0 t& w- t! Z
二、不确定性原理与维度不完备 著名的‘波爱之争’中,波尔坚信矩阵力学是完备的,因为其依赖的希尔伯特空间具备柯西序列内部收敛性,普遍观点认为这意味着数学上的完备性。 但爱因斯坦却坚持认为量子力学是不完备的。依直觉而言这似乎是显然的,因为参照系的不完备将导致数据记录的不完备,因而出现不确定性。维度不完备往往是不确定性现象产生的根源。这就像六个面的骰子,如果我们在骰子的每一个面都有一台摄像机记录,那么对骰子的记录是全面完整确定的;只有当骰子投掷只显示一个面情况时,记录是概率性的。 量子力学到底是不是完备的理论体系,在‘波爱之争’之后也一直未有定论。本文尝试对这一问题作进一步探讨。 - g6 E# h9 C3 j( |0 K& a4 Y
下面,先来看一个具体直观的例子:泡利矩阵 + a6 A7 o0 [' @, A1 O% l/ o
t! ]5 h* O1 n# \5 E5 ?8 P
众所周知,σx矩阵和σy矩阵不对易,说明其共同本征函数系不完备。那么也许需要先弄清楚,其完备的共同本征函数系是几维的?表面上看二维的泡利矩阵当然是二维的。但是,泡利矩阵的二维并不是一个维度取自于实体空间x轴,另一个维度取自于y轴,而是取自复数空间的某个正、负的方向,而这方向同时和x、y、z三维相关。所以自旋空间有且只有三个泡利矩阵,而不会是两个或四个泡利矩阵。所以σx乘以σy并不是二维空间,而是个三维空间的,所以众所周知的,泡利矩阵σx、σy、σz互相不对易。其不对易的根源在于彼此没有共同的完备的基矢量。也就是说,σx、σy、σz的共同基矢量只有正负方向的二维,但是却需要表达一个三维空间。这不正是“不完备性定理”的本质问题么?(因为基矢量对空间维度不足够,所以表达不完备)
1 O3 o8 U+ J% ~4 R6 G1 t有限维度的矩阵的不完备性容易理解。不过我们知道哥本哈根矩阵力学的‘矩阵’是基于微积分表述的连续无限维度的,莫非连续无限维的基矢量也不完备么?" q7 m3 D! |5 @, U6 P, ^9 [
) E" y' F9 [- ?) o* K0 }
为此,我们来探讨一个不确定性原理的特例——高斯函数。高斯函数应用范围很广,在自然科学、社会科学、数学以及工程学等领域都能看到它的身影。高斯函数是不确定性原理的最简单、最典型、最清晰、最有说服力的例子。 【命题】矩阵力学的高斯函数的exp(ikx)本征函数系不完备
8 e7 b, w+ @ w
【证明: (步骤一:高斯函数原函数与其傅里叶变换函数,存在不确定性关系)
4 r$ y* U+ ?7 z- U: R7 I$ U2 J) ^
6 K; p" J& l7 z, c# @) j4 s! k
* L' _0 j5 {- F1 r2 {0 k2 J, ^
' I. r! O+ V+ ?( I* c: s2 ~4 z+ H
! M. V) i- u; Y9 b1 m# V
+ l e2 t- }* s( F0 p
0 E O1 r. v9 {$ Y
( P" X6 Q# J/ I* d; n
) U8 ^" b5 F+ g* [: O. \% U
―――――――――――――――――――――――――――――――――――――
/ }9 r* I: R/ T" W [注1:这是基于连续无穷维矩阵的表达式。
7 Z" c4 z. W' o8 v) L
2 G- `( t* r( a
) k$ Y1 Y! e2 ?: A+ {, U8 x
(步骤二:高斯函数原函数与其傅里叶变换函数,存在一组共同本征函数exp(ikx) )
; F5 T7 {" E2 I/ u$ O5 |5 D& }% o先证明高斯函数的傅立叶变换后还是高斯函数:
0 Q3 [7 u5 w2 [" _1 ~: U/ ~, _; N6 F/ K
证明了高斯函数的傅立叶变换后还是高斯函数,其实也就间接说明了高斯函数之间具备共同本证函数。 设高斯函数傅立叶变换函数为φ(k),高斯函数原函数为ψ(x),有:
, p9 t% y) G. H o
知:exp(ikx)是高斯函数傅立叶变换函数φ(k)的本证函数 又,由于高斯函数的傅立叶变换后还是高斯函数,可知exp(ikx)也是高斯函数原函数ψ(x)的本证函数。 很显然,exp(ikx)既是高斯波包原函数的本证函数、同时也是高斯函数傅立叶变换函数的本证函数。事实上,高斯函数原函数和高斯函数傅立叶变换函数,其实都是高斯函数。也就是说,高斯函数本身就是傅立叶变换的特征函数。既然不同高斯函数之间区别仅仅是系数不一样,它们当然具有共同的本证函数。当然也就不奇怪exp(ikx)是其中一个的本证函数,也就肯定是另一个的本证函数。 2 s* v, j' I; \4 r
. ~: P' j! p6 a# l% u. ^
' L- w" u* k5 I$ w
(步骤三:高斯函数与其傅里叶变换函数的以exp(ikx)为基的共同空间不完备) 反证:如果矩阵表达的高斯函数和其傅立叶变换函数的以exp(ikx)为基共同空间是完备空间,由对易算符定律: + _$ q3 S9 d: D! @! B4 s" J) M
则推导出,存在一组完备的共同本征函数系exp(ikx),使高斯函数和其傅立叶变换函数的矩阵表达式对易,这与上面‘步骤一’关于这两个函数存在不确定度关系的结论矛盾。 所以,矩阵表达的高斯函数和其傅立叶变换函数的共同本征函数exp(ikx)不完备 ――――――――――――――――――――――――――――――――――――――― [注2:exp(ikx),常常也记作exp(ipx)、exp(ipr)、exp(ipq)、exp(iEt)、exp(ist)等等。即自然数e的ipx次方,其中i是复数符号、p和x分别是傅立叶变换中的函数变量。 - v: ?$ X& m" U7 E0 ^
6 J c v+ O" M8 w
证明简洁、无懈可击。 高斯函数的exp(ikx)本征函数系居然是不完备的,很令人费解。 其根源在于向量空间(平面矩阵)的局限性。因为完备的exp(ikx)本征函数系超出了平面矩阵乘载范围,完备的exp(ikx)本征函数系是一个高阶张量空间。下面以单个电子的夫琅禾费点孔衍射实验来形象说明。 7 a) D5 U1 D2 _* B
9 P+ q% u+ I4 l! Q1 g % K3 N) K* W3 A$ g/ |2 o: H
* K- n) j; ^( _! ] y
7 a$ `- a4 c! l
9 @6 M; U9 J& x: i4 e! Z
$ P$ ^& f4 T, b( l, @, _. H: ?1 _5 I! t' ^- t4 c
- _8 Z" v7 }9 a- f
! p; @' E+ M- w
W$ {, o: c p8 V# d( V) n
三、单电子夫琅禾费点孔衍射实验 阿列夫2维度空间对于大多数人而言可能比较陌生。下面,以“单个电子的夫琅禾费点孔衍射图”来分析,我们能够从中更深入了解阿列夫2维度与量子态空间的内涵、了解不确定性原理与维度不完备的关系。 众所周知,通常的夫琅禾费衍射是“一束”平行光(或一束电子)通过一个方形小孔,形成sinc函数的衍射图形。这个实验形象地定格了量子在频域和空域的波粒二象性的现象,和理论完全一致。一头是‘矩形’小孔、另一头是‘sinc’衍射,而‘矩形’图的傅立叶变换正好是‘sinc’函数图象。因为直观简洁,这个实验常常用来解释不确定性原理。 一束电子的衍射大家都非常熟悉。但是单个电子穿过夫琅禾费实验的点孔的衍射图会是个什么样子呢?答案可能会让人很意外。 4 R9 f) K5 [# ]5 C" u- f" C
我们可以大致推断单电子夫琅禾费点孔实验,最有可能出现以下三者情况: 1、接受屏上出现一个均匀分布的光板
# q1 F% e0 T3 q, C m6 T+ f$ s* ~
我们知道一束白光的夫琅禾费单孔衍射图样中各色光排列为‘中间白色,然后依次向外为: 紫、 靛、 蓝 、绿、 黄、 橙、 红 ’。可以看出,光的波长越短,缝相对而言就越宽,孔径越宽,衍射现象越窄缩,则光强变强、条纹变窄;另一方面,波长越长,缝相对而言就越窄,孔径越窄,衍射现象越宽阔,则光强变弱、宽度变宽。光子波长相对较长,衍射现象条纹会将对较宽,以至当孔逢过小时,光影会扩散为整个屏,形成一个均匀分布的光板。冲击函数δ的傅里叶变换清楚表明了这个现象的理论基础。继而,根据光子的波色凝聚效应可以推断,一束光的每一个光子都是同态的,也就是说一个单光子的结果和一束光是一样的,所以说当单个光子通过夫琅禾费微孔后,接受屏上会出现一个均匀分布的光板。 既然单光子通过夫琅禾费微孔会出现一个均匀分布的光板,那么单电子通过夫琅禾费点孔接受屏也会出现同样的光板吗?答案是不会。 因为电子是费米子,不具备波色凝聚效应。根据泡利不相容原理,各电子之间不可能完全同态,因此一个电子的衍射和一束电子的衍射图不可能完全一样。即使一束电子在接受屏能够产生均匀分布的光板(这也值得怀疑),那也不是n个电子的一模一样的衍射图案(均匀分布光板)叠加出来的。另一方面,如果一个电子产生了均匀分布的衍射光板,根据泡利不相容原理,各电子之间不可能完全同态,第二个电子就不能再产生均匀分布的光板,则第一个电子和第二个电子的傅立叶变换图像出现差异。即第一个电子满足δ冲激函数的傅立叶变换时,第二个电子不满足。这显然不可能。 因此单电子夫琅禾费点孔实验接受屏上不会出现一个均匀分布的光板。 2、接受屏上是一个sinc衍射图形:
8 z4 V, y# _4 \7 M3 b
这是大家熟知的一束电子通过一个方形小孔的夫琅禾费衍射图象,实验和理论高度吻合,因此很多参考文章以夫琅禾费sinc衍射图形来解释不确定原理:
. t$ K. S: t" w7 g5 R' p5 J7 B8 c* U; i v' o
证明过程简洁清晰,不过非常遗憾,上面这个关于夫琅禾费衍射和不确定性原理的证明解释是有问题的。请看下面分析: & w- o/ x4 c1 [
但是: 8 @" y6 x7 C) u
很明显,上述的(2)和(1)矛盾。 上面推论过程的谬误根源在于隐含假设了电子波是“实体波”。但这是不可能的,因为实体物质波包必然会扩散。而如果电子是膨胀扩散的波包,这当然与事实(电子总是固定大小的)不符。下面是关于‘实体物质波’不可能存在的证明:7 J& U" T$ W. _' N
3 o! o; E, k* g 因此单电子夫琅禾费点孔实验接受屏上不会出现一个sinc衍射图形。
+ G2 T. Y( y3 d1 C. J
9 _# N" U4 ~, L, m
1 W" k6 K! L4 q0 B3 [: u, I) V
# }3 X+ _# o& \: t* C# d3、接受屏上出现一个点: 既然单个电子通过夫琅禾费点孔,接受屏上不可能出现一个均匀分布的光板、不可能出现sinc函数图形的衍射,那么似乎可以判断接受屏上应该出现一个点。乍看之下,这样思考当然是有一定道理的,我们知道电子波长相对很短,即使其有衍射现象条纹当然也会非常窄,以至于缩小为一个点。无数次电子衍射实验表明电子总是一个点一个点到达屏上,然后这些点电子根据泡利不相容原理(费米子不能处于同一个状态),电子靶点各不相同,大量电子点共同汇集成了衍射图像。 但是,当我们进一步分析时会发现其中的谬误:因为夫琅禾费装置的两端对应于傅立叶变换的两对偶域,比如障碍屏和接受屏分别对应于频域和时域,所以障碍屏和接受屏不可能同时是“点”,否则违反不确定性原理。
! I, k* y: d8 g; N H1 F: Y
傅立叶变换运算规则告诉我们,在实体空间中<q|X> 和<p|X>不可能同时是确定的"点”值。如果当障碍屏小孔等效为等式左边的波函数<q|X>时,这时<q|X>看作是“粒子”态(非零值投影到X>的区域有限),则等式右边的<p|X>必然是无穷无尽的频率“波”(非零值投影到X>的区域无限)。 这意味着,当我们在接受屏看到一个电子点时,则夫琅禾费障碍频的孔应该很宽,不可能是一个“点”孔。另一方面,如果夫琅禾费小孔充分狭窄至“点”孔,则接受屏不应该出现一个电子“点”。任何物理量在频域和时域取值范围都不能同时有限,这就是著名的“不确定性原理”。 因此,单电子夫琅禾费“点”孔实验接受屏上不能出现一个“点”图形。
4 k, d. \& n; w2 d2 u) c
那么,既然上面的三种情况的推演都会出现谬误,单电子夫琅禾费点孔实验到底会发生情况呢? 0 A# F/ c( d* G. O$ A
4 I$ h" K9 Z% k4 z
% U+ D( I5 c! f0 z; Q
! o6 f. R$ q6 v, z0 G
9 _. J( P( w& }( M" P
& A# @7 j6 M l; @1 K% P% F* | \( p
" k# R: j- e( e) v( t0 n9 a
% h, b: x* N2 x$ P2 }" x. ^
! H i9 E9 `3 Y1 l0 D9 O
四、粒子实体坐标{x}和位置算符的本征态x的区别 上述的夫琅禾费衍射分析之所以进入死胡同,究其根本是因为其逻辑推演过程拘泥于粒子实体空间,困扰于经典物理的狭隘思维。对经典物理粒子的实体空间的线性表达在数学形式上与平面矩阵是等价的,而平面矩阵却存在局限性。如下图,如果假定中间的exp(ipr)矩阵是傅立叶级数的展开式,则“单电子”和“点孔”概念等效于矩阵式中的ψ(r2)和φ(p2)两个元素点 。但如果仅仅ψ(r2)和φ(p2)两个点有非零值,则意味着中间的矩阵并不是傅立叶变换,因为这违反不确定性原理。而真正的傅立叶变换与不确定性原理是自洽一致的。 $ Q4 c- b; R* C: O W7 H& @
进一步分析,由于傅立叶变换中的对偶域空间模型,实际对应的是张量的概念。所以如果我们把有局限性的平面矩阵扩展为高阶张量时,是可以有效化解上述逻辑谬误的。如下图:
$ Z. }: }$ @) k% f 0 t7 ^2 y: E6 _! `& o8 |7 |
! a* ]6 h3 w5 w/ U5 b
在上面的高阶张量演算式中,把原来的平面矩阵的一个元素φ(p2)扩张成了张量中的一列3元素φ(p21)、φ(p22)......φ(p2n)等。需要特别指出的是,这里的φ(p21)、φ(p22)......φ(p2n)既不是实体小孔的数值、也不是实体投影点的数值,它们不是任何实体的夫琅禾费实验的演示设备或图形的实体坐标值,而是单个电子“穿过”障碍孔的逻辑概率。很早物理学家们就注意到量子现象与经典物理现象有本质不同。在经典物理中,一个物体绝对不可能穿过比它自身更小的障碍孔,当障碍屏“点孔”非常小时,经典粒子将会比“点孔”大,这时经典粒子不能通过比其更小的“点孔”。但是对于量子现象则有所不同,类似贯穿势垒的量子隧穿效应,具备某能量(频率)电子将会闯过障碍“点孔”、另一些则穿不过去。这对于单个电子而言,相当于逻辑上的概率性,而这种表征不同频率(可能还包含自旋方向、角动量等等不同属性)的电子的穿透性的概率幅,表征了‘概率本证态’。 ――――――――――――――――――――――――――――――― [注3:为方便表述,可连续取值的张量空间这里以离散值简化 : { E# {/ S. E! `
- W7 F5 ]2 z/ O9 n+ o! R7 Y% T
# H. J5 w* ~9 h2 n4 \+ v7 [, r
% D9 C$ w6 f9 e2 x
$ k9 _) H( Y" M1 F
( }& J) S% u: U Z6 U% J
值得庆幸的是,在高阶张量模型中,可以对单电子夫琅禾费点孔实验的 “单电子”、“点孔”和量子隧穿效应的“概率幅”等要素一一对应、完整表达。相应地,经典物理实体动量{p}由一个点值扩张成了一系列概率本证值p21、p22.....p2n等。需要注意的是,这种概率本证态的概率幅相当于动量算符的本征值p,而不是实体动量{p}。4 而这正是问题的关键,如果我们仔细审视,会发现上文关于单电子夫琅禾费点孔实验的分析中,混淆了粒子实体坐标{x}和位置算符的本征值x 的概念。在量子力学中,实体坐标和算符本征值是完全不同的两个概念。上一节的探讨中,所谓的“单电子”和“点孔”的概念都是经典物理的实体坐标的概念。但在量子力学中,量子态的意义要广泛得多,不仅仅局限于实体坐标,还包含了‘概率本证态’等新要素。 比如我们知道,不确定性关系△x△p=h/2 中的x和p并非粒子的实体坐标{x}和实体动量{p}概念,而是粒子的位置算符和动量算符的本征值的概率化反映。 " W9 S( X3 F5 X& @1 M3 R; ]
借此,让我们再回过头审视波爱之争的焦点。为什么波尔和爱因斯坦为此争论数十年无果,为什么很多物理学家乐此不疲议论了一整个世纪还在争论不休?根源亦在于此,因为他们混淆了坐标实际位置和位置算符本征值的概念。表面上粒子实体坐标{x}和位置算符的本征值x 好像都代表‘位置’的概念,但此位置不是彼位置。爱因斯坦观念中的粒子实体坐标{x}是基于经典力学机械决定论度量的,而机械决定论只讨论实体点坐标,所以{x}只能是实数连续(阿列夫1维度)空间的概念。而波尔观念中的位置算符的本征值x所处的态空间是阿列夫2维度的,本征值x实际上是阿列夫2维度的投影。它是阿列夫2维度空间的概念,所以它在实体坐标中体现为概率值。显而易见,位置算符本征值x和经典物理的实体坐标{x}根本不是一回事。粒子实体坐标{x}和位置算符的本征值x有本质区别。也就是说,表面上爱因斯坦和波尔虽然都在谈位置变量,但是他们谈的并不是同一回事。它们两者一个是阿列夫1维度的概念、一个是阿列夫2维度的概念。 ! e. g5 c/ R9 c9 T- h
需要特别指出的是,不同维度下对应于不同意义的概念,这也许并不那么醒目。但是在逻辑分析时概念维度却不容忽视。假如维度不一致,即使相同名字的概念也并不等价。比如,有一个这样的所谓的高级数学题:
- A. k7 _. @4 \9 k( n# p【求证:1元=1分
, `8 g$ }8 R$ N$ t. [+ h6 ^6 Q' L
解: 1元=100分 =10分×10分 =1角 ×1角 =0.1元×0.1元 =0.01元 =1分
- U& s* L% j" k6 ?. |】
上面的逻辑谬误就是一个典型的概念混淆,其关键点是‘100分’和‘10分×10分’相等吗? 相信大多数读者都知道,100分和10分×10分不相等。究其根本,因为其中的‘分’和‘分×分’是完全不同的概念。‘分’是一维概念,‘分×分’是二维概念。一维变元和二维变元,在逻辑上有本质区别,根本不可能划等号。如果强行划等号,逻辑谬误在所难免。
* M) K+ Z0 @$ w8 s }
――――――――――――――――――――――――――――――― [注4:为简化描述,本段的本征值p和x未予以区分。 - X$ w' k t k) e9 B8 C
: p8 p! y; d. u
' z! Z5 _2 x2 d% b. [; Q3 V) R
* S, x6 H) c7 h1 \/ t5 C
: y" g4 }* w/ S0 L* z
3 @" l' ~. B# b3 R
+ o! u+ g/ t s2 p- g% n) o5 p
粒子实体坐标{x}和位置算符的本征值x的区别,还可以从δ(x-p)的傅里叶变换演算中看出来。如果我们对{x}和x不加区别,就会出现如下谬误:
" ?! P" [. W' ~. Q3 ]5 G2 }! B
如果我们有效的区分了{p}和p,则exp(ipx):的正交性就一目了然:
- f9 K x& g7 W$ H: {4 {
: B* r0 ~. S0 z; x+ q
; c, c. b+ c1 g. c
# h0 Q# U6 `! C) d5 |8 H) A
――――――――――――――――――――――――――――――― [注5:动量p可以表达为(-id/dx),即p可看作x的函数。 $ }: l4 o5 s# `1 v/ J9 q) @/ ]2 g
: N! P1 o; x" e6 ^2 _
% m H) w# S. O i
% n/ o' K4 I( @ g/ Y0 Y
! p5 u1 @7 V" x( q$ t5 D- ~6 n8 w
8 j: I& Q7 @7 P. r0 V5 J4 }) J8 v
五、连续无穷维平面矩阵的不完备性 上一节,我们发现单电子夫琅禾费点孔实验推断三种结果之所以产生狭隘解释,追根溯源是因为平面矩阵下思维的狭隘性。那么,如果我们把平面矩阵扩充到无穷维,甚至连续无穷维,能不能解决类似的局限性问题呢?我们知道,连续无穷维矩阵,正是哥本哈根矩阵力学的根基。 深入探讨连续无穷维矩阵问题之前,需要我们再回头进一步审视高斯函数。第三节提到exp(ipx) 是高斯函数的本证函数,乍看之下这种提法一时难以让人接受。因为教科书中,一直把高斯波包ψ(r)本身和其傅立叶变换函数φ(p)看作波函数(量子态)。似乎没有人提出过平面波函数exp(ipx) 亦可以看作量子态。 / c7 x$ a6 V* X% _" E+ d
但是,另一方面,我们知道在傅立叶分解时,其实是把exp(ipx) 作为基矢量,而把原函数ψ(r)看作其傅立叶变换函数φ(p)的投影值。如果把exp(ipx) 作为基矢量,当然也就意味着exp(ipx) 是φ(p)的本证态。 2 r6 ^2 A1 s! @! E+ q& H4 [
再回头看看傅立叶变换的矩阵表达式:
1 W2 C5 X+ x+ T8 l4 ~$ a' L
1807年,法国数学家傅立叶向巴黎科学院递交了一篇论文《固体中的热传播》,在这篇研究热传导问题论文里的有一个当初并不起眼的副产品:任何一个信号(或者说一个函数)都可以表达为一系列不同频率的简谐振动(即平面波)的叠加。 把函数分解到简谐振动(即平面波)的叠加,即以exp(ipx) 基底 。
2 j$ K5 \% J5 c' O4 T4 O当我们以exp(ipx) 基底,把上图的矩阵表达式做一个简单变形时,可以写成下面这个样子:
6 o! G, w% x7 v) z$ L
上面这个矩阵表达式,意味着exp(ipx) 是φ(p)的微分形式的本证态。也就是说,在微分形式下,平方指数(非线性)形式的高斯函数可以转化为以exp(ipx)为基的线性结构。 % P( C N# }* }3 M: u
# c; U1 f& q5 W3 n4 N% I" X8 J: M
; x# _0 F, p& D P6 ]6 P- B& X0 C光滑图形通过微分构造出的这种‘微分形式线性关系’,正是微分几何。微分几何特别关注弧线,它把非笔直的弧线每个微小部分看作一段一段的微小直线段,然后在多重直线段模式下,进行多重线性分析。微分几何的实质,是把有限维欧几里得空间的维度扩展。比如把x坐标轴,扩展为dx1坐标轴、dx2坐标轴、dx3坐标轴......dxn坐标轴等等为新坐标轴的无穷维度空间。原本欧式空间x坐标轴下的曲折蜿蜒的弧线,在新的‘微分基矢量’dx1>、dx2>、dx3>......dxn>下变成了‘微小直线段’的组合。这样,有限维的欧式几何扩充成了无穷维的微分几何,非线性的曲线转换成了微分形式‘线性空间’,于是非线性关系变成了线性关系(或者多重线性关系)。显然,以微分dx1>、dx2>、dx3>......dxn>为基矢量的无穷维空间,对应于“连续无穷维矩阵”。
" U; l3 _ p9 O$ [1 F
# I" n* f, j. Y8 G; t5 X; {
另一方面,我们从第三节知道exp(ipx) 函数也可以看作无穷维空间的基,比如exp(ipx) 是高斯波包的本证态。 不仅如此,傅立叶变换理论已经证明exp(ipx) 还是所有线性时不变系统的共同本征函数(本证态)。
* e8 v& B& t; @0 J8 O) O
【定律】exp(ipx) 是所有线性时不变系统的共同本征函数系 [3]
) r* q, y9 b# ?" u, y
【证明: 设L是任意线性时不变系统,v是输入,w是输出
% P' w: M- g& k3 z) C即 w=Lv
则 w(x)=h(x)*v(x) ,即w可以表达成h和v的卷积 上式傅里叶变换记为: W(s)=H(s)V(s) 如果输入exp(ipx) [注:为方便表述,exp(ipx) 省略了常数项2π ] 即 v(x)= exp(ipx) 因为exp(ipx)的傅里叶变换等于脉冲函数δ(x-p) 则输出:W(s)=H(s)δ(s-p)=H(x)δ(x-p) [注:此处H(x)是个常数] 再通过傅里叶反变换,把上式从频域返回到时域,得到: w(x)=H(x) exp(ipx) 此处H(x)是个常数,记为c,则: w(x)= c exp(ipx) 即:输入exp(ipx) ,通过L线性时不变系统w=Lv,输出得到 c exp(ipx) 即:L exp(ipx) = c exp(ipx) [注: L作用在exp(ipx) 等于常数乘以exp(ipx) ]
+ K: y- D8 ^+ g6 p; _) A' f5 q
即: exp(ipx) 是任意线性时不变系统L的本征函数 证毕。】 8 {; @0 d K+ y4 z0 U- U5 q+ W9 g4 t
' E/ H y. `0 w2 A) T& \
既然exp(ipx) 是任意线性时不变系统的共同本证函数系,矩阵力学的所有量子态应该都可以通过exp(ipx) 本证态来表达。如果我们以exp(ipx)作为连续无穷维矩阵的元素,正如时域和频域之间的傅立叶变换矩阵那样,那么这种矩阵是不是可以完整表达所有的量子态呢?若如此,哥本哈根矩阵力学又为什么会出现“不确定性”呢?
& d6 @) K4 j" Z) g+ U如前所述,当p或x为自变量连续取值、两两不同时,可以得到exp(ipx) 本证函数系正交基,根据第三节,我们推断完备的exp(ipx) 空间维度为阿列夫2 。也就是说,线性无关的量子态有阿列夫2之多。
这就是问题的关键,因为阿列夫2级别无穷大的元素之多,已经远远超出了平面矩阵的逻辑范畴(平面矩阵的表达范围不能突破连续实数所能度量化的阿列夫1维度极限)。因此,如果以平面矩阵(阿列夫1维度的向量空间)对阿列夫2维度的量子态进行度量,会出现不完备性。所以在单电子夫琅禾费点孔实验中,我们不得不由平面矩阵扩展到高阶张量,才可能把“实体”图形和“非实体”概率幅等要素完备表达、才可能把量子本证态p和粒子实体坐标{x}的波粒二象性结为一体,却又保持逻辑的严格一致性。 进一步分析,三维实体粒子坐标{x}的微积分与连续无穷维平面矩阵是等价的,所以三维实体空间中其微分基矢量dx1>、dx2>、dx3>......dxn>的完备空间维度是阿列夫1 。而位置算符的本征值x可以是基于exp(ipx)本证态而言的,所以其完备空间维度是阿列夫2 。因为此,平面矩阵无法完备地表达它。所以本征值x在阿列夫1维度实体空间的投影会出现概率性。这和六维度骰子投掷显示一维面情况一样。高维度属性投影到低维度空间,因为其维度不完备就会出现概率性
) m. \2 ]1 `2 ~6 [* ~- e: i
4 ]) N5 N- l8 p- I5 B0 s
' i' s* y/ W" r$ p
2 Z3 E+ O0 G' c' Z( W
2 h$ o- w6 S, i$ a1 l9 c, z, C
. j$ s% V7 v. x- S7 p0 W1 b9 z需要指出的是,对于初学者来讲,很容易混淆向量和张量的概念,特别是在有限维的情况下。! u1 b/ A0 W B1 F, u- e$ ]( b5 f
在有限维的情况下,张量空间的数学定义一般是这样的:: G8 I' y( u# u8 Y" }" N! ~
(φ+ψ)(x) =φ(x)+ψ(x)" t" S/ p+ N) q1 T @+ }
(aφ)(x)=aφ(x)( K2 Y0 X5 ]) Y- Q a7 ]8 [' C
# a* Y; k1 B1 N8 C! V" p3 B7 t& X$ S* s上面两个式子,很容易化成下面的一个式子:
+ z! |8 J+ t5 i: G( R$ @(φ+ψ)(ax+by) =aφ(x)+aψ(x)+bφ(y)+bψ(y)" w8 b. h( j1 ^, E
在上式中,如果把φ(x)、ψ(x)、φ(y)、ψ(y)各看成基矢量,这不就是一个向量空间吗? 其实不然。因为向量空间(平面矩阵)是单层次线性空间,逻辑结构图如下:
2 ]/ A# `; s2 X
而张量是多重线性映射,逻辑结构要复杂得多。有些特殊张量可以转换为多层次线性空间,逻辑结构图如下: 6 [* R7 Z* [1 M X0 [( U
如果空间维度是无穷维,张量空间和向量空间更是迥然不同。 根据康托尔的理论[2],连续无穷维平面矩阵所包含的元素为阿列夫1 ^2,这还是阿列夫1 ;而连续无穷维高阶张量所包含的元素为 阿列夫1^阿列夫1,这已不再是阿列夫1,而是比阿列夫1 更高阶的阿列夫2级别的无穷大。 也正因为此,所以连续无穷维平面矩阵在量子态空间会出现不完备性。这也是平面矩阵出现不对易现象的本质。也是不确定性原理的根源。即,阿列夫1级别的基矢量对于阿列夫2维度空间的不完备性。 ( \- g" N0 @' S5 x! P
; N" `3 ], \0 Q0 _7 z# M( E" C" ?2 A7 Q* M
! g5 O( E4 @) d6 c+ ^, \# @
: w1 }# H8 Q# a% ~
i* }: a- G' q5 I; H! u
=================================== 六、[命题] 相互正交的exp(ipr)函数的总个数为阿列夫2 , @- Y8 i: ^% o$ `9 j* {7 [
( e# \- {+ s9 F; M' `* ^; a3 ^ b【注:首先声明上述语言表达是不严谨的,笔者本来的意思是想探讨‘在Hilbert空间定义下,以正交exp(ipr)函数为基底的系统的维度为阿列夫2’,但是遗憾的是Hilbert空间对问题所涉及的δ函数等广义函数的内积无定义、对exp(ipr)函数的内积也无定义。所以只能无奈不严谨的表达上述命题。严谨的表达可能只能等到某位数学大师扩展到‘广义Hilbert空间’以后吧。】8 S9 F# Z Y6 J# E9 y# K/ ?) ?) k
8 E- `( _, q, q" E下面让我们一步一步粗略探讨,相互正交exp(ipr)函数最多会有多少个?
3 ~5 x4 u8 D$ E, G) z1 f! g5 s(1)当exp(ipr)函数的变量整数取值时,相互正交exp(ipr)函数的个数为阿列夫0 【 证明一:" z; N0 _! }- N8 k# g3 Q
取xm和xn ,其中m、n为整数5 |5 ]- j. }5 k
" B4 U! x7 `# ] e& u
则:∫exp(ip)^xn exp(-ip)^xm dp
) ~3 U1 g- J5 _% T% O. n. w3 F" A! U5 C' H# J0 o
相当于计算两个exp(ipx)的乘积1 w J1 ^; ~2 Y+ p2 {7 j) s9 P# f$ `
又由于exp(ipx)可以转换为三角函数:+ S$ x) v' B# p+ v) d# f
1 p/ Y5 g' g ^* I. H$ i
, f3 y) y; ~6 {! r( e! L( ?6 s所以exp(ipx)的正交性,对应于三角函数的正交关系9 Z- R$ P1 A) z/ K) ~# W8 y6 R
0 j; t, i `7 Q8 q* }
; a: x8 B: z! M' a* R0 p! X* _: ^7 _* [ I7 g3 Z* u
7 @- h) g2 j, y l. U
+ _/ z- H' z% D4 `4 G7 u! A" A y9 c
即:m不等于n时的exp(ip xm)和exp(ip xn)两两内积为0% W7 Z8 @, q7 R: J( u
所以,两两不同的exp(ip)^xn 和exp(ip)^xm正交
8 i& }% V% G2 M: w又因为, 整数变量xn与函数exp(ip)^xn 对应,所以不同整数取值的exp(ip)^xn函数个数为阿列夫04 ?" n' x1 g* Z6 Y7 P
即,不同整数取值的两两正交的exp(ip)^xn 函数个数为阿列夫0 】
. V9 V- K; M) A
" s F, ]9 [: Q
) [9 O% O9 A& a- A7 Y& l+ q7 H4 t
" g: v& i: \4 o z4 W3 c2 ^& w
【证明二:. E; b' R, H# q. ^, O+ a0 D
, F; m! `( [$ ~4 v5 V. m4 n1 A因为, z; g9 ?' M% @& m5 y$ m
& ]! M6 s0 K9 a: c$ ` J( C$ Q9 Z' d) u$ [" _
根据欧拉公式:
2 X4 M, T9 Q6 V& H5 l
0 i W! u' b* E& ?( ?2 N6 G$ _* m. H
可知,整数不同取值的 k、m的exp(ikt)函数 和exp(imt)函数两两正交
" U7 x2 G) q' y3 }% R又因为, 整数变量k与函数exp(ikt)对应,所以不同整数取值的exp(ikt)函数个数为阿列夫0/ M# e) T& e- \: E; F
4 R2 ]7 p' F/ Z( A5 H" L, g即,不同整数取值的两两正交的exp(ikt) 函数个数为阿列夫05 ?) X, Y8 |" V9 c
】) I5 }. ]9 ^, o3 w/ E* U0 F
4 ~8 i3 u, ?7 B" O3 \% g+ w
$ o9 a( k- r# c7 ]8 _2 `8 ?
7 {5 }/ ^$ k9 N7 y$ x----------------------------------------
# Q; Y$ q) C1 R T(2)当exp(ipr)函数的变量实数连续取值时,相互正交exp(ipr)函数的个数为阿列夫1: j6 C1 h8 T2 z. F6 b
【证明如下:
5 m- ?$ d z9 r) Y8 A$ n4 D! A$ m( M2 D4 b) C
4 d& m( N6 `9 F! H3 O( r5 e/ F可知,连续不同取值的x的exp(ipx)函数两两正交
. q/ \5 z( K* \. Q: V; X由于连续实数集合的势为阿列夫1 ,即两两不同 x和x'个数为阿列夫18 t; J8 @5 U. i' h3 }0 [
又因为,任意 x'变量 映射到不同的延时δ(x-x')函数
- a0 X, |8 ]8 |! a1 Q, F9 E& |2 Q所以,连续不同取值x’时,两两内积为零的exp(ipx)函数个数为阿列夫10 H. r7 u8 l5 A) R' n- w& O
即,两两正交exp(ipx)函数个数为阿列夫1 】
6 a! b' \& i) T+ r, K, j" k% B# g. _! P
+ G" F* Y" Q: T" _3 i# Q! C; K
【注:上面这个证明对于Hilbert内积空间而言是不严谨的,因为exp(ipx)不是平方可积函数、不存在于Hilbert内积空间。但是基于下面两个事实,判定变量x连续不同取值的exp(ipx)函数两两正交并无不妥:0 ?8 ]* Q. W! i& v+ X& C1 L
" f$ d% y' _/ l6 m8 u3 L7 S
( e$ |" X: L# k% ?6 n5 m `2 x5 d# {第一、exp(ipx) 是某类线性系统的基底 [定律:exp(ipx) 是所有线性时不变系统的共同本征函数系 ]
# D) a8 j" t8 |' _) ? [证明: 设L是任意线性时不变系统,v是输入,w是输出 即 w=Lv 则 w(x)=h(x)*v(x) ,即w可以表达成h和v的卷积 上式傅里叶变换记为: W(s)=H(s)V(s) 如果输入exp(ipx) [注:为方便表述,exp(ipx) 省略了常数项2π ] 即 v(x)= exp(ipx) 因为exp(ipx)的傅里叶变换等于脉冲函数δ(x-p) 则输出:W(s)=H(s)δ(s-p)=H(x)δ(x-p) [注:此处H(x)是个常数] 再通过傅里叶反变换,把上式从频域返回到时域,得到: w(x)=H(x) exp(ipx) 此处H(x)是个常数,记为c,则: w(x)= c exp(ipx) 即:输入exp(ipx) ,通过L线性时不变系统w=Lv,输出得到 c exp(ipx) 即:L exp(ipx) = c exp(ipx) [注: L作用在exp(ipx) 等于常数乘以exp(ipx) ] 8 |$ r7 p/ [* N
即: exp(ipx) 是任意线性时不变系统L的本征函数
' }' \' h* X* b" J6 Q7 D& c/ U4 j2 k% P
第二、exp(ipx) 满足狄拉克正交性质
; q' M8 p7 x, ]+ Q
, ^; E1 _& z# |6 l9 q" H! {- l, Y: U$ q! F: l
/ u5 X' x @& O" G. }3 Q】! } |* G& h& h* p
* m1 V% p8 z2 Z) e q% Z6 E" F6 c r+ a
: B* m# p* @& t; L3 k, P* q2 Q y-----------------------------------------
3 U" r) z& e" s) s' x2 O
5 g1 w4 P& n1 [$ G1 {(3)当exp(ipr)函数的变量完备取值时,相互正交exp(ipr)函数的个数为阿列夫2
4 D! s h8 f; L- Y, p7 K; @
* U3 o2 e4 o3 `, d【探讨:) v5 M& N. U+ z0 e: L% _0 A2 a
(步骤一)
' F. z; d/ C! H根据:" J& h1 P+ A, b" ^/ N% w* P
+ Z" {# _; g7 K& L得到:
) X7 N* p6 z9 @1 G# U
- E" ~4 w! N' b0 \& N; M( `6 W【注:上面这个证明对于Hilbert内积空间而言是不严谨的,因为δ函数等广义函数不是平方可积函数、不存在于Hilbert内积空间。但是基于下面两个事实,判定变量不同取值的δ广义函数两两正交并无不妥:
# ?! H9 E. T6 D! e) i4 D# e4 e2 i/ a. Y+ S9 w+ x
# S4 E* ?8 y0 H% t* O8 g+ T! h) k 第一、δ广义函数是某类线性系统的基底$ s `/ x, G, s8 V
# Q7 p, ^+ m) ? P1 M[定律:δ广义函数是所有线性时不变系统的共同本征函数系 ] + J* @6 S" H" J3 U6 y, Q
[δ广义函数和exp(ipx)函数一样,都是基元函数,都是线性时不变系统的本征函数]
9 x# R4 ]. a" W5 B" R, k) [) V& F[在实际应用中,延时δ函数常常作为连续无穷维积分空间的基底,提取相应微分分量特征值,即取样:
6 M2 f6 [5 z! j6 r; y, h/ B9 j% A9 n) S2 d8 z1 h* K: @
1 y( m, n7 \6 b; V4 x3 O! K9 D
6 q, N Q T& B: Z4 r, Z: ]( Q' w& D& t; \% g4 |; Z; G
第二、不同延时δ(t-r)函数的乘积积分 与通常意义的内积的正交性质不冲突" F) [ S$ e# q. f& {6 s! ?1 J. ^
! e2 M W d$ d6 @0 b3 r/ U- F$ \. \[ 说明:
% a8 D8 W9 |/ H9 l7 {' r1 J) W) z实数变量的函数可以看作连无穷维向量,因此可以以向量形式分解函数,以西格玛类比积分
- p4 I* Z) K4 }" g1 A∫δ(t-r)δ(t-p)dt 如果形象类比离散的西格玛符号形式,如下: ∑δ(tn-r)δ(tn-p) = 0+0+0+......+ δ(r-r)δ(r-p)+......+ δ(p-r)δ(p-p)+......+ 0+0+0.....
6 Y5 w* d, q5 M- R& D即,当tn<>r(或tn<>p)时,各分量均为零 即,仅剩tn=r(或tn=p)时,分量δ(r-r)δ(r-p) 和 δ(p-r)δ(p-p) 可能不为零 - l7 j" @, M, t1 i; H9 d3 [
又因为,δ与x 的分布积等于零,即 x δ(x)=0 所以,δ(r-r)δ(r-p)=0 δ(p-r)δ(p-p)=0 . M9 L2 S3 C5 X+ @: h, L5 |
2 \$ T# Q( W# {/ A2 S/ c2 e
所以,∑δ(tn-r)δ(tn-p) = 0
% G& m) ^. n8 W! h$ G, m- z4 m& u0 g) q( R/ r* ]; U; @5 m
/ u6 X& \1 |$ a& M: }! [: N* a
】. C, H! D7 j* L" m" s1 q
3 H: C% d& L8 V
7 v. }+ q& g* F: f+ _6 k
% X' |/ w1 p2 P8 [
; H5 A |) S, T( u
(步骤二)
; L; S1 _ O/ K3 G6 H( ~2 @* f0 |: S' A, }/ M+ |
因为在坐标r表象中,动量p等于(-id/dr),即p为r的函数,记为:p=f(r)
0 K3 f D; u6 J! g+ p因为动量p确定时,p=f(r)是一个有限值,此时坐标r取值范围是从-∞到+∞ ,此时如果p×r空间集合全体元素与实数集满足一一映射,则p和r之间满足不动点定理。8 K8 M! q- W7 N2 M
% A/ k7 ^/ h+ R
即,如果p×r共同空间的全体元素与连续实数空间点可以一一映射,根据实数稠密性不动点定理,则存在r0,使f(r0)=r03 d; ? {3 u2 ^# [- D+ k
+ b; Z7 m8 M: _/ I+ E4 E& J* ^
即有,p0=r0 ,这意味着动量和坐标可以在某一点同时确定。这与不确定性原理矛盾!
& X' R% L. _ Y" M6 S
+ s" u: `/ w$ t9 i; U所以,p×r共同空间集合全体元素与实数集合不满足一一映射。5 J* D; t& @) b% M( y J/ B
' t! {. ?& v# J; O0 ~% k; w
' n+ v7 G! l9 z: d: m2 A
所以,p×r共同空间互不相等元素的集合的势不等于阿列夫10 L. z4 Y0 l) k4 U
又因为p×r共同空间的r和p可连续取值,所以 p×r共同空间互不相等元素的集合的势大于阿列夫0
5 B+ @( a- j) ~+ A8 h; q9 U所以,p×r共同空间互不相等元素的集合的势大于阿列夫1
; x8 Z& R0 t$ l) _& g4 o8 Q/ r& g1 E3 |. ~. ~% }8 a. V
) R7 K: g/ i/ M! k$ b
! w( j6 p+ Q1 j( `$ b) i: `1 L! x; Y! I
即,互不相等r、p的元素个数大于阿列夫1
& ~: G) z4 C: O' F! r即,互不相等r、p的元素个数大于等于阿列夫2) n! Y& Q/ W, i# z6 ] F8 C$ n
【注:+ q) t3 t6 c( K3 |, @. K
1、根据不确定性原理,频域和时域不能同时为压缩到点值:
3 O2 }1 l. Z# Y9 ~6 s+ m
R" v% m4 X H+ D: d; V- e4 E
7 s' j# n, b* n, [
7 [* w+ c5 t8 G* z; d
' p' }% N& Y8 m) h& Y$ C$ ~$ `
( v( l3 I5 A% o9 ?* F0 S$ S
+ I' `+ @+ X! ^/ [( |' f: w2、当动量p为确定值时,坐标r在-∞到+∞之间震荡,r在每一个具体位置的平均概率为零0 E7 s$ z0 M4 x
3、 根据“单电子夫琅禾费点孔衍射实验”,夫琅禾费衍射分析的量子现象类似贯穿势垒的量子隧穿效应,具备某能量(频率)电子将会闯过障碍“点孔”、另一些则穿不过去。这对于单个电子而言,相当于逻辑上的概率性,而这种表征不同频率的电子的穿透性的概率幅,表征了‘概率本证态’。只有在线性时不变系统表象中,对单电子夫琅禾费点孔实验的 “单电子”、“点孔”和量子隧穿效应的“概率幅”等要素才能做到一一对应完整表达。在傅立叶变换下,经典物理实体动量{p}由一个点值将扩张成了对偶域的一系列概率本证值r21、r22.....r2n等。在量子力学中的量子态的意义不仅仅局限于实体坐标,还包含了‘概率本证态’等新要素,‘概率本证态’的意义比实体空间含义更广泛。& E$ o1 s8 H! x. D
4、经典力学中在实体空间中讨论矢量关系,所涉范围为向量空间(即矩阵),经典力学的的实体空间与连续无穷维矩阵是一一对映的。 但是,平面的矩阵无法完备表达‘概率本证态’。详见:[命题]矩阵力学的高斯函数的exp(ikx)本征函数系不完备' l9 F/ T7 Z) h* l
5、完备的“概率本证态线性时不变系统”是一个高阶张量,是多重线性映射。这种多层次多重线性映射,比单层平面矩阵复杂得多,因此包含了更多的线性无关的基底。
7 Q4 S/ _ s2 H$ c. t/ m, V; R4 U】
, K2 ^+ x4 \3 v" h v5 H3 I% R8 V/ B5 z
8 s* N; G- p3 R8 m! U' Y- b' [" H# l
/ u: g' f D# o" R(步骤三)/ g6 q q% a3 o9 x! b
7 i0 y a" R( s" K% x6 J互不相等r、p的个数等于δ(r-p)为零值的个数,根据步骤一,δ(r-p)为零值的个数等于δ(t-r)和δ(t-p)相互正交函数的个数
: S+ n5 [7 E- |7 }7 h6 l/ A根据步骤二,互不相等r、p的元素个数大于等于阿列夫2,所以δ(t-r)和δ(t-p)相互正交函数的个数大于等于阿列夫2
6 ~9 k5 ]9 \, ~; o- Z/ W
# p1 q& P$ Y" N' N即,两两正交的δ(t-r)、δ(t-p)函数集合的势大于等于阿列夫22 {1 @3 b) l; L9 f
即,全体δ(t-r)函数集合空间的维度大于等于阿列夫21 d6 y. w- h( ]( @' g
) o/ b g6 m4 T$ X6 x7 U. \0 |
2 k' t; V7 U1 G! T3 X% P. K- X: b. _: c; m( }! r
(步骤四)
0 l A0 o5 ^4 W1 ?因为:0 C4 ~6 z4 G% v$ F8 h
- ^/ l# K y/ V6 ~/ r
n+ a1 `$ F* P! ^$ {6 x即,傅立叶正反变换均不是一对多的映射; y; R. b& T( s
即,傅立叶变换非退化,是非退化的线性变化
+ v/ T( I: z; k! \7 Y) i3 g% a6 \% ?4 m5 ~: q3 D% c& K
/ d1 v" y6 i& g, _8 g(步骤五)0 s( f, ]2 v9 } l0 u$ o- V
因为:
' a; n% Q z* |8 o; [. L! m: S; E0 X' \8 t/ g. a& q
3 x+ b1 W- [2 A) A% G4 X: h D
即,基元函数δ(r-p)和基元函数exp(ipr)是一一映射& D9 h8 b6 t9 e; v9 `
! V; @9 ?. i3 y5 z
; _- Z7 [3 D( s0 J. A. ~8 C! Y(步骤六)$ H$ m* n0 o4 K3 ^8 v3 ]+ e
根据步骤三和步骤五, 全体exp(ipr)函数集合空间的维度大于等于阿列夫2# |, A4 N9 z2 N, t5 V/ _
& O" Y8 l0 x+ ?
0 u" w# e K" ?5 D1 V7 R(步骤七)
3 c/ B; a. P% s又因为:
$ c' Z6 k. v, O f) ^$ O9 \
5 H- L6 U, O& P$ N
6 F, D, M) C. _- q$ k" x" r# {! T【注:阿列夫级无穷大是对集合中元素个数的评估,如果按照某种一一映射规则把集合元素按有序集排列,当最大元素映射值不超过阿列夫2 时,则集合元素个数不超过阿列夫2 。量子态空间可以考虑把系统能量(哈密顿算子)作为排序映射规则,此时坐标表象中最大排序元素映射值不可能超过阿列夫2 】7 }, ~, h: x Y# b5 N
' R8 Z! J0 j( W+ X4 C. Y5 P
4 g" ~* i I0 Y
& n0 J6 [$ Q, g$ ^$ ^- \/ g
(步骤八)
: z) O" r( t: E; `; P# a9 |根据步骤六和步骤七,因为空间维度不大于空间元素个数。2 t( l6 h- I J0 r; y& A
所以, 完备的exp(ipr)函数集合空间的维度为阿列夫2
8 y2 B+ A) c) G; R* q g
5 [1 e/ c# U7 F8 ~2 E Z% M1 i. x5 w2 I& A w
( J% E% Y2 x) Y- K; L7 H3 W- l证毕。】
5 W# h! [, U2 d Z
+ ? Y1 K. V$ O6 G9 y1 L
$ ?- W* _1 k8 ?
七、冲激函数δ与 实无穷 阿列夫1维度向量空间,在表达阿列夫2维度量子态空间时的局限性,还体现在冲激函数δ的刻画。冲激函数δ是单位1的傅立叶变换,同时冲激函数δ的傅立叶变换是单位1 :
( ?7 u1 E* C5 d' Z& ^# A
: K& k6 x$ U+ D7 O# m6 a( v& C* S
9 i O$ P% U: T1 z( G9 L( j/ w
形象而言,冲激函数δ在阿列夫2维度的态空间相当于单位1,其重要性是不言而喻的。
$ M+ _; i5 {1 G( B但是,如此重要的冲激函数δ,其数学定义却是异常怪异的。它的定义是这样的: 6 h' C6 p. A9 `7 ]9 M
) f$ j% i8 x- ^- o1 L4 `. E9 k7 k+ G
冲激函数的应用取得了巨大成功,甚至可以说如果没有冲激函数就没有量子力学、信号学、傅立叶变换。但是冲激函数却让数学界异常窘迫尴尬,数学根本解释不同这是个什么东西。$ I7 G. o' m& v, ]9 |) b2 @
因为这个怪胎函数仅在0点一个点有值、这个点值是∞、其积分等于1 (积分宽度为0、高度为∞、面积是1),( Z' M6 i q* @" K: R3 D% @/ O
数学表达为: 0 × ∞ = 1 。
% V/ S) ]# d1 j4 g: T零乘以无穷大等于1,放在严谨的数学体系中,谬误很明显。. w# V; S b, _
因为这相当于1/0= ∞ ,意味着两个“确定的”数的算术运算将等于“不确定”,这在数学逻辑中完全无法解释。) b8 c7 F7 d% i
但是,在阿列夫2维度的态空间中,以连续实数空间定义的冲激函数δ阿列夫1无穷大,却具备普通数值的演算性质。 比如,我们熟悉的三角函数cos ,它的傅里叶变换函数存在吗?
2 s% H0 b9 N& M
/ u$ w! T8 Q: v( G$ o如果我们以经典的微积分(阿列夫1维度)理论来观察,会发现这个积分不收敛,也就是说在实数理论中cos的傅里叶变换函数“不存在” 。+ Z9 k1 B6 r# A: c4 q" n1 E+ o) c
但是,如果基于张量空间的傅里叶变换理论,很容易可以算出cos的傅里叶变换函数(等于两个脉冲函数δ ):
* k) ^/ I; N! k# y
8 z; s+ P8 K* B: b这是工程学、信号学、物理学习以为常的图像。稍微调试一下频域的脉冲,很容易就能造出时域的cos余弦波。cos的傅里叶变换函数图像很明显是收敛的。
1 Z/ j% E7 ?* ?9 j* X- J; R' K" m
而且,cos的傅里叶变换函数是两个脉冲的确定的算式:1/2(δ(a)+δ(-a)) ,这个简单算式明白无误的表明了
7 r- a6 H& d$ k2 K% p' Gδ相当于普通的确定的数值(虽然它是无穷大,它却可以‘量化’而计算,这是‘实无穷’最贴切的例子)。
1 V/ ]$ Y6 l8 b% Y. C$ D ]
1 _6 x p: I1 B) L
同样的,根据实无穷理论,可以很好的解释cos的傅里叶变换函数,为什么一会收敛,一会又不收敛呢?它到底收敛吗?
1 C6 t0 d0 k. b& @2 \. E/ p 如果我们以经典数学连续实数点(阿列夫1空间)的旧眼光来观察,会发现这个积分不收敛;但是在阿列夫2维度的傅里叶对偶空间中,这个函数收敛。进一步审视,因为当冲击函数δ处于阿列夫1的范围(实数点积分空间)时,它超出空间逻辑范围,所以阿列夫1大小的δ相当于非确定的无穷∞,它不收敛;但当冲击函数δ处于阿列夫2的范围(傅里叶张量空间)时,它未超出空间逻辑范围,所以阿列夫1大小的δ相当于某个确定的数量值,它收敛。 , Q1 y% O- s: R" z) Z1 l
+ l4 Z8 ^! d7 j& Q$ Z* C
: ?: A6 u- \6 k2 _
6 K b% E1 l" d; k3 y- K0 G* G
7 Y3 y+ o( d9 P$ `9 ?3 ~
) n7 G) `" r: ]5 \; o
4 |0 }$ Q- ~# L
4 R( _/ D4 C7 O2 h5 S. U
4 M8 Y" X4 @. ~$ D
; a! E6 f7 c- A" G) }! p$ A
八、小结 $ t8 h4 ^4 r( F! s
下面再捋一捋“不确定性原理”和“不完备性定理”的内在脉络。 1、二者都是线性空间的表达引出的问题。“不完备性定理”问题的是形式逻辑公理体系问题,公理体系是基于线性空间的。“不确定性原理”也是有关线性空间的问题。海森堡的上司玻恩在阅读了海森堡交给他发表的论文后,发觉了位置与动量无限矩阵有一个很显著的关系──它们不互相对易。这里,‘不对易’和‘不确定性’互为充分必要条件。对易关系是针对矩阵而言的,而矩阵是线性系统的典型表征。 2、对易关系有一个充分必要条件:“如果两个算符有一组共同本征函数函数,而且是完备系统,那么它们对易。”可见,不对易算符的本质正是线性系统的不完备性问题。
3 g' q: Q% d" v; {8 ^& ~
我们不难发现,‘不完备性’和‘不确定性’本质都是线性空间的维度问题。“不完备性定理”的实质是维度的不完备,“不确定性原理”的实质也是维度的不完备。 不完备性定理说明,阿列夫0级别的基矢量对于阿列夫1维度空间不完备;不确定性原理说明,阿列夫1级别的基矢量对于阿列夫2维度空间不完备。
" B5 x7 v" Z2 G7 w/ [% A/ v( ^# W8 n
5 e4 b% f o p
exp(ipr)函数内积还有更多深刻的含义:
k8 r* T6 Y b
6 W& }, d, l$ D8 \1 f! C
% H8 j0 M7 `; k) l L9 {1 k4 f6 x2 Y
! H. c7 O2 A! _0 i$ i; O9 A* E, C6 j9 J) e
|