共变和反变

✍ dations ◷ 2025-10-20 16:39:53 #向量,张量,微分几何,黎曼几何,多重线性代数

在数学里,反变(contravariant,也称逆变)和共变(covariant,也称协变)描述一个向量(或更广义来说,张量)的坐标,在向量空间的基底/坐标系转换之下,会如何改变。

反变和共变在张量场的演算中不可或缺,是了解狭义相对论、广义相对论必需的数学基础。

(注: v 2 {\displaystyle v^{2}\,\!} 这符号中的上标 2 {\displaystyle 2} 不代表平方,而是代表第二个坐标,在较基础的数学上,常写作 v 2 {\displaystyle v_{2}\,\!} ,但是,在张量分析领域,指标写作上标或下标牵涉到对张量性质的提示,以及爱因斯坦求和约定。)

向量空间 V {\displaystyle V} 有另一个基底 e ¯ 1 , . . . , e ¯ n {\displaystyle {\bar {\mathbf {e} }}_{1},...,{\bar {\mathbf {e} }}_{n}\,\!} ,其坐标系统为 x ¯ 1 , . . . , x ¯ n {\displaystyle {\bar {x}}^{1},...,{\bar {x}}^{n}\,\!} 。对应这个基底, v {\displaystyle \mathbf {v} \,\!} 有分量 v ¯ 1 , v ¯ 2 , . . . , v ¯ n {\displaystyle {\bar {v}}^{1},{\bar {v}}^{2},...,{\bar {v}}^{n}\,\!} ,即 v = i v ¯ i e ¯ i {\displaystyle \textstyle \mathbf {v} =\sum _{i}{\bar {v}}^{i}{\bar {\mathbf {e} }}_{i}}

对于1...n之间任意整数 μ {\displaystyle \mu \,\!} ,我们知道 v ¯ μ {\displaystyle {\bar {v}}^{\mu }\,\!} v 1 , v 2 , . . . , v n {\displaystyle v^{1},v^{2},...,v^{n}\,\!} 的关系:

使用爱因斯坦求和约定可写成:

假设对偶空间 V {\displaystyle V^{*}} 有两个基底 d x 1 , d x 2 , . . . , d x n {\displaystyle {\mathbf {dx} ^{1},\mathbf {dx} ^{2},...,\mathbf {dx} ^{n}}\,\!} d x ¯ 1 , d x ¯ 2 , . . . , d x ¯ n {\displaystyle \mathbf {d{\bar {x}}} ^{1},\mathbf {d{\bar {x}}} ^{2},...,\mathbf {d{\bar {x}}} ^{n}\,\!} 。:289-297

假设 ω V , ω = i η i d x i = j η ¯ j d x ¯ j {\displaystyle \textstyle {\boldsymbol {\omega }}\in V^{*},{\boldsymbol {\omega }}=\sum _{i}\mathbf {\eta } _{i}\mathbf {dx} ^{i}=\sum _{j}{\bar {\mathbf {\eta } }}_{j}d{\bar {\mathbf {x} }}^{j}} 。则对于 1 {\displaystyle 1} ... n {\displaystyle n} 之间其中一个特定的整数 μ {\displaystyle \mu \,\!} ,我们知道 η ¯ μ {\displaystyle {\bar {\mathbf {\eta } }}_{\mu }\,\!} η 1 , η 2 , . . . , η n {\displaystyle \mathbf {\eta } _{1},\mathbf {\eta } _{2},...,\mathbf {\eta } _{n}\,\!} 的关系:

或使用爱因斯坦求和约定写成:

在欧几里得空间 V {\displaystyle V\,\!} 里,共变向量和反变向量之间的区分很小。这是因为能够使用内积运算从向量求得余向量;对于所有余向量 w {\displaystyle \mathbf {w} \,\!} ,通过下述方程,向量 v {\displaystyle \mathbf {v} \,\!} 和线性泛函 α ( w ) {\displaystyle \alpha (\mathbf {w} )\,\!} ,唯一地确定了余向量 w {\displaystyle \mathbf {w} \,\!}

逆过来,通过上述方程,线性泛函 α ( w ) {\displaystyle \alpha (\mathbf {w} )\,\!} 和每一个余向量,唯一地确定了向量 v {\displaystyle \mathbf {v} \,\!} 。由于这向量与余向量的相互辨认,我们可以提到向量的共变分量和反变分量;也就是说,它们只是同样向量对于基底和其对偶基底的不同表现。

给予 V {\displaystyle V\,\!} 的一个基底 f = ( X 1 , X 2 , , X n ) {\displaystyle {\mathfrak {f}}=(X_{1},X_{2},\dots ,X_{n})\,\!} ,则必存在一个唯一的对偶基底 f = ( Y 1 , Y 2 , , Y n ) {\displaystyle {\mathfrak {f}}^{\sharp }=(Y^{1},Y^{2},\dots ,Y^{n})\,\!} ,满足

其中, δ j i {\displaystyle \delta _{j}^{i}\,\!} 是克罗内克函数。

以这两种基底,任意向量 v {\displaystyle \mathbf {v} \,\!} 可以写为两种形式

其中, v i {\displaystyle v^{i}\,\!} 是向量 v {\displaystyle \mathbf {v} \,\!} 对于基底 f {\displaystyle {\mathfrak {f}}\,\!} 的反变分量, v i {\displaystyle v_{i}\,\!} 是向量 v {\displaystyle \mathbf {v} \,\!} 对于基底 f {\displaystyle {\mathfrak {f}}\,\!} 的共变分量,

在欧几里得空间R3里,使用内积运算,能够从向量求得余向量。给予一组可能不是标准正交基的基底,其基底向量为 e 1 {\displaystyle \mathbf {e} _{1}\,\!} e 2 {\displaystyle \mathbf {e} _{2}\,\!} e 3 {\displaystyle \mathbf {e} _{3}\,\!} ,就可以计算其对偶基底的基底向量:

其中, τ = e 1 ( e 2 × e 3 ) {\displaystyle \tau =\mathbf {e} _{1}\cdot (\mathbf {e} _{2}\times \mathbf {e} _{3})\,\!} 是三个基底向量 e 1 {\displaystyle \mathbf {e} _{1}\,\!} e 2 {\displaystyle \mathbf {e} _{2}\,\!} e 3 {\displaystyle \mathbf {e} _{3}\,\!} 所形成的平行六面体的体积。

反过来计算,

其中, τ = e 1 ( e 2 × e 3 ) = 1 / τ {\displaystyle \tau '=\mathbf {e} ^{1}\cdot (\mathbf {e} ^{2}\times \mathbf {e} ^{3})=1/\tau \,\!} 是三个基底向量 e 1 {\displaystyle \mathbf {e} ^{1}\,\!} e 2 {\displaystyle \mathbf {e} ^{2}\,\!} e 3 {\displaystyle \mathbf {e} ^{3}\,\!} 所形成的平行六面体的体积 。

虽然 e i {\displaystyle \mathbf {e} _{i}\,\!} e j {\displaystyle \mathbf {e} ^{j}\,\!} 并不相互标准正交,它们相互对偶:

这样,任意向量 a {\displaystyle \mathbf {a} \,\!} 的反变坐标为

类似地,共变坐标为

这样, a {\displaystyle \mathbf {a} \,\!} 可以表达为

或者,

综合上述关系式,

向量 a {\displaystyle \mathbf {a} \,\!} 的共变坐标为

其中, g j i = e j e i {\displaystyle g_{ji}=\mathbf {e} _{j}\cdot \mathbf {e} _{i}\,\!} 是度规张量。

向量 a {\displaystyle \mathbf {a} \,\!} 的反变坐标为

其中, g j i = e j e i

相关

  • 智能设计论智能设计论(英语:Intelligent design,简称智设论、ID)是对神的存在的宗教性逻辑论证。尽管支持者认为智能设计论是一个“关于生命起源的科学理论”,但其已遭主流科学界视为伪科学
  • 平板手机平板手机(英语:Phablet,/ˈfæblɪt/,为混成词,取自手机"Phone"与平板电脑"Tablet")是一种结合了智能手机与平板电脑两者功能的移动设备。它的屏幕尺寸原先认知为介于5.3英寸至7.0
  • 台湾台东地方法院坐标:22°45′41″N 121°09′10″E / 22.761493°N 121.152670°E / 22.761493; 121.152670台湾台东地方法院,是中华民国的三级法院之一,位于台湾台东县,属于普通法院,通常又被
  • 凯西小罗伯特·帕特里克·“鲍勃”·凯西(英语:Robert Patrick "Bob" Casey, Jr.;1960年4月13日-),是一位美国民主党政治人物,自2007年成为宾夕法尼亚州联邦参议院议员。此前他曾在2005
  • 时间 (电视节目)时间(俄语:Время,俄语罗马化:Vremya)是前苏联及俄罗斯的一档电视新闻节目,在莫斯科时间以及叶卡捷琳堡时间、克拉斯诺亚尔斯克时间、雅库茨克时间、马加丹时间晚间21:00于第
  • 加州学派加州学派(英语:California School),又称尔湾学派,因其核心人物都在加州的加利福尼亚大学尔湾分校而得名,以一批社会、经济史学家为主,专精研究中国史和世界史,代表人物包括彭慕兰、
  • 蔡士英(今辽宁省锦州市)蔡士英(?-1675年),字伯彦,号魁吾。汉军正白旗人。世居辽东锦州,崇德七年(1642年),随祖大寿降郑亲王济尔哈朗。授征山东、福建,授佥都御史,顺治六年(1649年)总管八旗红衣大炮
  • 班超路班超路(Banchao Rd.)是高雄市前镇区的南北向主要道路。起端于凯旋四路口接篱仔内路,末端于保泰路口续接凤山区自强二路。为往来前镇区篱仔内、岗山仔及凤山区五甲地区的重要道
  • 乌尔克 (公司)乌尔克(土耳其语:Ülker)是土耳其食品和饮料公司,总部位于伊斯坦布尔。
  • 山东省图书馆山东省图书馆为中华人民共和国国家一级图书馆、全国古籍重点保护单位。前身为创立于1909年(清宣统元年)的山东省立图书馆,旧馆位于济南市历下区大明湖路257号,原建筑仿浙江宁波