前推

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

定义 · 2.2 切空间

这里的记号我写得有些随意，因为左端是 N 上的函数，而右端是 M 上的函数。上面的等式是在相应的点上取值时才成立：$[({\phi }_{\ast }Y)(f)](\phi (p))=[Y({\phi }^{\ast }f)](p)$。利用映射把 M 上的对象推到 N 上，称为推前(push-forward)。

英文原文

where I’ve been a little sloppy in the notation here since the left-hand side is a function on N and the right-hand side a function on M. The equality above holds when evaluated at the appropriate points: $[({\phi }_{\ast }Y)(f)](\phi (p))=[Y({\phi }^{\ast }f)](p)$ . Using the map to push objects on M onto N is called the push-forward.

出处：2.2 切空间 · node a-07671534dedb4701de6fe2fd · 源节点 SHA-256 57b05df2d1662521…