6.Tensors For Beginners-What are Convector

Covectors （协向量）

What‘s a covector

Covectors are “basically” Row Vectors

在一定程度上，可认为协向量 基本上就像行向量。

但不能简单地认为这就是列向量进行转置！

行向量和列向量是根本不同类型的对象。

（处理正交基时，将列向量转置成行向量的做法是正确的，但在其他坐标系中不是这样）

要理解这个，需将行向量视为函数，

因此，可将行向量视为列向量上的函数，row vectors are functions on (column) vectors

eg：y=f（x） x就是输入

行向量 [ 2，1 ]是函数，列向量 [ -3 ; 4 ]是函数的输入，

要得到函数的输出值，只需对该行向量和列向量进行矩阵乘法或“点积”

现如果，有任意通用的协向量α 作用于任意通用向量v上，
则可通过两向量的点积来获取输出值，

因此，最终我们应将 行向量 视为【从某个向量空间V 中获取输入并返回实数或“标量”】的函数

这些行向量函数是如何工作的？

假设一行向量作用于两个相加的向量输入上，可通过两种方式求，

（1.分配律--我认为就是分配律的体现）
将行向量分配给每个输入，然后将结果相加，输出

（2.结合律--个人理解）
将输入相加，再进行点积

所以行向量作为函数在这里有个属性：可以在之前添加输入；或在之后添加输出。会得到相同的结果

还有一个想法是：

若向量输入按某个数字进行缩放会怎样

同样有两种方法计算

1.可缩放输入向量，再进行点积

2.把缩放数提到最前面，再计算行向量与列向量的点积，最后再缩放结果，

因此，作为函数的行向量具有这个属性：可缩放输入，或缩放输出，并得到相同的结果。

总而言之，协向量是一个函数，它接受一个向量并产生一个“标量”（或一个数字）；它具有可添加输入或添加输出以获得相同答案的属性；并且它具有可按相同数量缩放输入或缩放输出并得到相同答案的属性。

这种能添加或缩放输入或输出并获得相同答案的行为称为 “线性“。所以协向量是线性函数。

如何可视化协向量？

我们可以将普通向量可视化为箭头，我们可以对协向量做同样的事情，但对于可视化函数来说，这是件尴尬的事。

有一种更好的办法可视化协向量

首先将2D行向量视为两个变量x、y的函数，（x、y是输入）
在这个例子中，这个行向量 [ 2 , 1 ] 就可认为是一个函数：v，如何可视化用两个变量产生一个输出的函数呢？

这与地形图有些相似，地形图上，同一海拔高度的都用一条线连起来。
同样地，我们给这个函数一个输出，就有一条线，
如 2x+1y = 0 确定一条线；
2x+1y = 1 确定一条线；
2x+1y = 2 确定一条线；
2x+1y = -1 确定一条线；
2x+1y = -2 确定一条线；

所以我们可将协向量【2，1】视为一堆的直线：

注意到，这些线向右上角增加，可添加箭头提示增加的方向。

将行向量α=【2，1】绘制在图上的话，会发现 α 垂直于所有的直线。

为什么会垂直？把【2，1】用【a，b】去进行证明，一个方向是这些直线的方向相同，方向向量相同，用方向向量与α进行点乘；另一个方向是斜率，直线的斜率都一样(-a/b)，α行向量作为直线的话，斜率是b/a，也可证明

所以我们可将协向量【2，1】视为一堆的直线，而且这非常有用。

例子：
在这四个图中，协向量α相同，可视化为一堆线
在该协向量上，有向量V指向不同的方向，

需要做的是，计算作用在向量V上的协向量α的数值，

记住：这一堆线中的每一条线都是代表一常量值的线，

因此，要获得作用在V上的α的值，需要做的是计算V穿透的线的个数。

PS：这样计算真的好简单，但是对于编写成代码来计算的话，好像很难把，想不出头绪，能自己画出图，这样是最直观，但画图也不容易。

接着，修改协向量，获得新的协向量来进行计算

把协向量放大两倍

把协向量放大两倍，其实就是从 α 变为 2α ，如果你从式子上看的话，能直接想到应该是结果放大两倍，那么对应的输出结果应该放大两倍，那对应图上，就是穿透的线要翻倍，则图要变密集，比原来密集一倍。
从【a，b】*【x；y】上理解，ax+by函数，变为【2a，2b】*【x；y】= 2ax + 2by、

ax+by = k---------y = -ax/b + k/b；
2ax+2by= k-------y= -ax/b + k/2b；只是截距变啦，斜率没变，所以截距影响线的间距？