超越

本书暂定概念：尚未进入正式概念库。下面是本书给出的定义原文。

定义 · 11.1 不变多项式与陈-韦伊同态

我们如下定义 $P_r$ 的超越(transgression) $T{P}_r({\mathcal{A}}^{\prime },\mathcal{A})$：

$$T{P}_r\left({\mathcal{A}}^{\prime },\mathcal{A}\right)\equiv r{\int }_0^1\mathrm{d}t{\tilde{P}}_r\left({\mathcal{A}}^{\prime }-\mathcal{A},{\mathfrak{F}}_t,\dots ,{\mathfrak{F}}_t\right)\text{\hspace{1em}(11.21)}$$

英文原文

We define the transgression $T{P}_r({\mathcal{A}}^{\prime },\mathcal{A})$ of $P_r$ by

$$T{P}_r\left({\mathcal{A}}^{\prime },\mathcal{A}\right)\equiv r{\int }_0^1\mathrm{d}t{\tilde{P}}_r\left({\mathcal{A}}^{\prime }-\mathcal{A},{\mathfrak{F}}_t,\dots ,{\mathfrak{F}}_t\right)\text{\hspace{1em}(11.21)}$$

出处：11.1 不变多项式与陈-韦伊同态 · node a-feb4c252d2203fa2faf75625 · 源节点 SHA-256 d8dd139e90266b77…