讨论:微分形式

这是一个讨论页，讨论改善条目微分形式。
这不是一个为讨论该条目主题而设的论坛。

将新的发言放在旧的发言下，点击这里开始新的讨论。
请不要随意更改或删除别人的留言。
维基百科新手？欢迎您！学习编辑；提出问题。

请保持善意，不要伤害新人
请保持礼貌，避免人身攻击
遇到争议时请寻求解决方法

条目方针

来源搜索：“"微分形式"”——Google：网页、新闻、学术、图书、图片；百度：网页、新闻、学术、图片；知网工具书；JSTOR；维基百科图书馆

微分形式属于维基百科数学主题的基础条目第五级。请勇于更新页面以及改进条目。
本条目页属于下列维基专题范畴：

数学专题

（获评未评级、高重要度）

	数学主题查论编本条目页属于数学专题范畴，该专题旨在改善中文维基百科数学类内容。如果您有意参与，请浏览专题主页、参与讨论，并完成相应的开放性任务。
未评	根据专题质量评级标准，本条目页尚未接受评级。
高	根据专题重要度评级标准，本条目已评为高重要度。

有关微分形式的计算（使用抽象指标符号）

Wald,Robert M.的书General Relativity 附录B Differential Forms,Integration,and Frobiniu's Theorem 讨论了将Stokes' Theorem 应用于n维(赝)黎曼流形M的嵌入子流形D的情况，

Wald首先给出了公式(B.2.24)：

{\epsilon }_{ba_{1}a_{2}...a_{n-1}}=n_{b}\wedge {\tilde {\epsilon }}_{a_{1}a_{2}...a_{n-1}}(=-n_{a_{1}}\wedge {\tilde {\epsilon }}_{ba_{2}...a_{n-1}})

进而给出了公式(B.2.25)：

v^{b}{\epsilon }_{ba_{1}a_{2}...a_{n-1}}=(v^{b}n_{b}){\tilde {\epsilon }}_{a_{1}a_{2}...a_{n-1}}

其中：

 $v^{a}$ 是流形M上任意切矢量场(tangent vector field)；
 $n_{a}$ 是嵌入子流形D的(n-1维)边界 $\partial D$ (超曲面)的(归一化)法向量  $g^{ab}n_{a}n_{b}=\epsilon =\pm 1$ ；
 ${\epsilon }_{ba_{1}a_{2}...a_{n-1}}$ 是黎曼流形M的适配体元；
 ${\tilde {\epsilon }}_{a_{1}a_{2}...a_{n-1}}$ 是 $\partial D$ 的适配体元(边界 $\partial D$ 有诱导度规 $h_{ab}=g_{ab}-\epsilon n_{a}n_{b}$ )；

请问：如何从(B.2.24)推出(B.2.25)？ Aphysicsstudent（留言） 2022年4月25日 (一) 14:33 (UTC)[回复]