共变和反变

✍ dations ◷ 2025-04-04 11:19:36 #向量,张量,微分几何,黎曼几何,多重线性代数

在数学里,反变(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

相关

  • 血管舒张血管舒张是指在血管壁的平滑肌松弛下,令体内血管扩阔的情况。由于空间增大让血液流过,这会降低了血压。它的相反过程称为血管收缩。血管舒张可以自然产生或经由血管舒张剂引起
  • 小阴唇整形阴唇整型术,是指改变阴唇外形的整形手术。阴唇的大小、外形、颜色因人而异,而且有可能因为分娩、年龄增长等原因而发生变化。阴唇整形术针对的手术对象包括阴唇先天性缺陷和畸
  • 妮可·基德曼最佳音乐及喜剧类电影女主角1995年 《不惜一切》2001年 《梦断花都》 最佳戏剧类电影女主角2002年 《时时刻刻》 最佳女主角:连续短剧与电视电影2017年 《小谎言》澳洲电影学
  • 液态氢液氢(LH2),也称液态氢,是由氢气经由降温而得到的液体。液态氢须要保存在非常低的温度下(大约在20.268开尔文,-252.8℃)。它通常被作为火箭发射的燃料。液态氢可做为储存氢气的一种
  • 网页游戏网页游戏(简称页游),又称Web游戏、无端网游,是一种基于网页的电子游戏, 一般不用下载客户端,任何一台能上网的电脑就可以进行游戏。与其他大型游戏比较,具有占用空间小、硬件要求低
  • 奥兹格·巴伊拉克奥兹格·巴伊拉克(土耳其语:Özge Bayrak,1992年2月14日-),土耳其女子羽毛球运动员。2015年8月,奥兹格·巴伊拉克参加印尼雅加达举行的世界羽毛球锦标赛,出战女子单打项目。她在首轮
  • PythonPython(英国发音:/ˈpaɪθən/ 美国发音:/ˈpaɪθɑːn/)是一种广泛使用的解释型、高级编程、通用型编程语言,由吉多·范罗苏姆创造,第一版发布于1991年。Python是ABC语言的后继
  • 拟态弧菌拟态弧菌(学名:),又名模拟弧菌,为弧菌科弧菌属下的一个种。
  • 钟道然钟道然(1990年7月23日-)北京海淀区人,2009年入读于中国人民大学经济学院,2012年出版书籍《我不原谅》。钟道然早年就读于人大附中,2009年就读于中国人民大学经济学院。2012年,钟道
  • 通约性假若,两个不等于零的实数 a {\displaystyle a\,\!} 与 b {\displa