2.1 Vector Spaces

本节的开头，Hoffman对线性代数这一概念有一个挺深刻的诠释：Linear algebra is that branch of mathematics which treats the common properties of algebraic systems which consists of a set, together with a reasonable notion of a ‘linear combination’ of elements in the set. 这个定义更抽象且更具有普遍性。严格的定义是：vector space含有F（scalars）、V（objects/vectors），以及加法、数乘两种运算，两种运算各需符合四种性质。
加法的四种性质：
3( a ) $\alpha +\beta =\beta +\alpha$
3( b ) $\alpha +(\beta +\gamma )=(\alpha +\beta )+\gamma$
3( c ) $\exists 0\in V,\text{ s.t. }\alpha +0=\alpha ,\forall \alpha \in V$
3( d ) $\forall \alpha \in V,\exists !-\alpha \in V,\text{ s.t. }\alpha +(-\alpha )=0$
数乘的四种性质：
4( a ) $1\alpha =\alpha ,\forall \alpha \in V$
4( b ) $(c_1{c}_2)\alpha =c_1(c_2\alpha )$
4( c ) $c(\alpha +\beta )=c\alpha +c\beta$
4( d ) $(c_1+c_2)\alpha =c_1\alpha +c_2\alpha$
接下来，对vector有一段解释，目的是让读者消去对“向量”这一词汇的既有印象，或者说vector也是抽象的，不仅是几何空间里的向量，也是algebraic的对象的概念。后面举了五个例子，很精彩。第一个是常见的n维向量；第二个是$m\times n$矩阵，并提到第一个例子是第二个的特例（当$m=1$时）；第三个是泛函空间，并指出第一、第二个是第三个的特例；第四个例子是多项式函数，这实际上也是第三个例子的一个子集；第五个例子是说明：复数集可以看做实数集上的一个vector space。
从定义可以得到一些很简单但是有用的结论，比如$c0=0,0\alpha =0$，以及$c\alpha =0\Rightarrow (c=0)\vee (\alpha =0)$，还有$(-1)\alpha =-\alpha$。并且加法的结合律与交换律性质使得向量在相加时不需要考虑次序。
最后就可以定义linear combination的概念。
###Exercises

1. If $F$ is a field, verify that $F^n$ (as defined in Example 1) is a vector space over the field $F$.

Solution: Since $F$ is a field, any $x_i,y_i,z_i\in F$ satisfies commutativity and associativity, thus
$$\alpha +\beta =(x_1+y_1,\dots ,x_n+y_n)=(y_1+x_1,\dots ,y_n+x_n)=\beta +\alpha$$
and similarly $\alpha +(\beta +\gamma )=(\alpha +\beta )+\gamma$.
The zero vector in $F^n$ is $(0,\dots ,0)$, it’s easy to see $\alpha +0=\alpha$.
For any α ∈ F n α\in F^n α∈F<