三维空间中二次曲面的旋转与分类.docxVIP

三维空间中二次曲面的旋转与分类 随着数学的发展，非欧几何已经成为一个重要的数学分支。在非欧空间中，三维最小空间是研究最广泛的伪欧空间。因为它只有一个负指标，所以它有一个很好的对称性，与三维欧空间有很多相似之处。因此，欧空间的一些结论可以推广到三维最小空间。因为它有一个负指标，它与三维欧空间非常不同。在3d空间中，许多简单的结论是三维空间中的一种非常复杂的结构。在本文中，我们主要讨论了在三维空间中分类两个单元的问题。 1 预备知识 1.1 ,3 记:A=(aij)3×3, 其中,aij=aji;i,j=1,2,3· β=(b1b2b3)Τ;γ=c;α=(xyz)[JX*4]?[JX-*4] 则二次曲面可表示为 f(x,y,z)=(αΤ,1)(AβΤβγ)(α1)=0[JX*4]?[JX-*4] 1.2 类时轴旋转的lorenz变换矩阵 在E31空间中,Lorentz变换分为正交标架下和伪正交标架下的旋转变换·在正交标架下绕类空轴和类时轴旋转的Lorentz变换矩阵分别为 R1(θ)=(1000coshθsinhθ0sinhθcoshθ) , R2(θ)=(cosθsinθ0-sinθcosθ0001), 在伪正交标架下绕类光轴旋转的Lorentz变换矩阵为 R3(t)=(100t10-t22-t1)[JX*4]?[JX-*4] 1.3 lorenz变换 记:α1=(x′,y′,z′)Τ, 在E31空间中,若有 α1=Ri(θ)α,(i=1,2,3), 称f(x′,y′,z′)=0为二次曲面f(x,y,z)=0在E31空间中的Lorentz变换·经Lorentz变换有 f(x′,y′,z′)=(αΤ11)(AβΤβγ)(α11)=(αΤ1)(Ri(θ)ΤARi(θ)Ri(θ)ΤβΤβRi(θ)γ)(α1)[JX*4]?[JX-*4](1) 定义1 若有Lorentz变换Ri(θ)(i=1,2,3),使得α1=Ri(θ)α,则称二次曲面f(x,y,z)和二次曲面f(x′,y′,z′)=0等价· 定义2 若有Lorentz变换Ri(θ)(i=1,2,3),使得B=Ri(θ)TARi(θ),则称对称矩阵A和对称矩阵B关于Lorentz变换Ri等价· 2 旋转变量中的不变量 2.1 lax3.2.3 正交标架下,对称矩阵A绕类空轴旋转后, R1(θ)ΤAR1(θ)=(a11B12B13B21B22B23B31B32B33)[JX*4]?[JX-*4](2) 其中, B12=B21=a12coshθ+a13sinhθ,B13=B31=a12sinhθ+a13coshθ,B22=a22cosh2θ+a23sinh2θ+a33sinh2θ,B23=B32=a22coshθsinhθ+?a23cosh2θ+a33coshθsinhθ,B33=a22sinh2θ+a23sinh2θ+a33cosh2θ[JX*4]?[JX-*4]记:S1=sign(a12+a13),S2=sign(a22+a33+2a23),S3=sign(a12-a13),S4=sign(a22+a33-2a23),Ι1=a11,Ι2=a22-a33,Ι3=|a22a23a32a33|,Ι4=|A|,Ι5=|AβΤβγ|,Ι6=a212-a213,Ι7=(a22+a23)a12a13-a23(a212+a213),Ι8=a22+a23+2a23(a12+a13)2(a12≠-a13),Ι9=a22+a33-2a23(a12-a13)2(a12≠a13),Ι10=2a12a13a23-a22a213-a33a212,Ι11=2a12a13a23-a22a212-a23a213[JX*4]?[JX-*4] 定理1 量S1～S4,I1～I11为二次曲面f(x,y,z)=0在正交标架下绕类空轴旋转的Lorentz变换下的不变量· 2.2 a.2a3a3 正交标架下,对称矩阵A绕类时轴旋转后, R2(θ)ΤAR2(θ)=(B11B12B13B21B22B23B31B32B33)[JX*4]?[JX-*4](3) 其中,B23=B32=a13sinθ+a23cosθ, B13=B31=a13cosθ-a23sinθ, B11=a11cos2θ-a12sin2θ+a22sin2θ, B12=B21=(a21-a22)sinθcosθ+a12cos2θ, B22=a11sin2θ+a12sin2θ+a22cos2θ· 记Ιˉ1=a33,Ιˉ2=a11+a22,Ιˉ3=|a11a12a21a22|,Ιˉ4=|A|,Ιˉ5=|AβΤβγ|,Ιˉ6=a132+a232,Ιˉ7=(a11-a22)a13a23+a12(a132-a232),Ιˉ8=a11-a22+2ia12(a13+ia23)2(a1