关于1-forms返回标量还是co-vectors的技术疑问

嗨，这个问题其实是没搞清楚1-form的“两层身份”，两个说法根本不矛盾哦！咱们拆解来看：

首先看@magma的表述：

1-forms are simply the linear operators that take a vector and give out a number

这里说的是1-form整体的作用逻辑——当你把一个切向量输入给它时，最终会得到一个实数。但这里省略了一个关键前提：1-form是定义在流形上的“场”，它不是单点上的孤立算子。

再看@Silly Goose的表述：

... if you have a 1-form α on some manifold M and you pick any x∈M, the value of α at x is a co-vector.

这个说的是1-form在流形单个点上的局部形态——当你固定流形上的某个点x时，α在x处的取值α(x)，就是一个余向量（co-vector）。而余向量本身的定义是什么？就是能把x点处的切向量映射成实数的线性算子呀！

把两者串起来就懂了：1-form α是流形M上的一个“余向量场”，它给M上的每个点x分配一个余向量α(x)；当你拿x点处的切向量v去和α作用时，本质是用α(x)这个余向量去处理v，最终输出一个实数。所以两个说法是从不同层面描述同一个东西，完全互补，不存在矛盾~

备注：内容来源于stack exchange，提问作者user240612