时空的几何

                     

贡献者: 零穹

预备知识 向量空间

   学习狭义相对论的 “现代” 方式时强调时空的几何,这种方法将引领我们自然的到达广义相对论和 Einstein 的引力。本部分以一种更为严格的形式展现狭义相对论的几何。

1. 基本定义

   相对论认为,任一事件都由它发生的时间和地点确定,因此描述事件的所在 “空间”(数学概念,可视为拓扑空间的空间)称为时空。

定义 1 时空,事件,距离

   若 E 是一集合,其上的元素通过映射 x:ER4 和四维矢量空间 R4 一一对应。若在 E 上定义了如下的距离函数

(1)ΔsAB2:=ρ2(A,B):=Δx,Δx=ηαβΔxαΔxβ, 
其中,Δx:=x(B)x(A)η=diag[1,1,1,1] 是对角化矩阵。则称 E 的元素为事件(event),R4E时空,映射 x 称为坐标系, xA:=x(A) 是称为点 AE时空坐标ΔsAB=ΔsAB2 称为 A,B间隔(separation),η 称为度规(matric)。规定坐标从 0 标记,即 α=0,1,2,3,并称坐标 x0时间(time)坐标,可记为 t(x1,x2,x3) 称为空间(space)坐标,可记作 r

   注:事实上,更严格的狭义相对论时空几何的定义需要借助仿射空间定义在伪欧几里得空间上(指数有限度量空间)。即定义在一个点空间配上一个带有不定二次型的矢量空间上。然而,为了减轻物理专业的负重,并考虑到在坐标系确定了的仿射空间中,仿射空间中的点和矢量空间的矢量一一对应(子节 3 ),这里直接放弃仿射空间,而只用到 4 维矢量空间 R4。因此,只需注意,这里讨论的时空实际上是已经选定了某一坐标系的仿射空间,即是某一观测者视角下的时空几何。

   注意到度规 η 是一个不定型(定义 1 ),因此 s2(A,B) 有三种可能,即 ΔsAB2>0,ΔsAB2=0,ΔsAB2<0

定义 2 类时,类空,类光

   设 A,B 是时空中的两个事件,则称间隔 ΔsAB)类时间隔(timelike),若 ΔsAB2<0;为类空间隔(sapcelike),若 ΔsAB2>0;为类光间隔(lightlike)或零值(null),若 ΔsAB2=0

   “类光” 一词来源于相对论中光的轨迹为时空中的直线,即 Δt2=Δr2。显然,

(2)Δt2>Δr2,类时,Δt2=Δr2,类光,Δt2<Δr2,类空. 

   在相对论中,对于(有质量)粒子,其在两邻近点的间隔满足 ds2<0

定义 3 本征时间

   称由

(3)Δτ2:=Δs2 
定义的 τ本征时间(proper time)。

定义 4 世界线

   时空中的曲线 f:IR4 称为世界线

2. 洛伦兹变换

   在数学上,运动是使得两点间距离保持不变的线性变换,而在伪欧几里得空间,为了在实数情况下讨论,运动被定义为使得距离平方不变的变换。对应在相对论中,使得间隔平方不变的线性变换则称为 Lorentz 变换。

定义 5 Lorentz 变换

   设 F:R4R4 是线性变换,若对时空中任意两点 A,B,都有

(4)ΔsAB2=FΔx,FΔx=Δx,Δx=ΔsAB2, 
则称 FLorentz 变换(Lorentx transformation)。

定理 1 

   设 F 是洛伦兹变换,则

(5)FTηF=η. 

   证明: 事实上,

(6)FΔx,FΔx=(FΔx)TηFΔx=(Δx)T(FTηF)Δx,Δx,Δx=(Δx)TηΔx.. 
因此,要 FΔx,FΔx=Δx,Δx 对任意 Δx 成立,就要 FTηF=η

   证毕!


致读者: 小时百科一直以来坚持所有内容免费无广告,这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此,我们请求广大读者热心打赏 ,使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元,我们一周就能脱离亏损, 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款, 他们的付出帮助了 99% 的读者免费获取知识, 我们在此表示感谢。

                     

友情链接: 超理论坛 | ©小时科技 保留一切权利