本节的开头,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)
3(b)
3(c)
3(d)
数乘的四种性质:
4(a)
4(b)
4(c)
4(d)
接下来,对vector有一段解释,目的是让读者消去对“向量”这一词汇的既有印象,或者说vector也是抽象的,不仅是几何空间里的向量,也是algebraic的对象的概念。后面举了五个例子,很精彩。第一个是常见的n维向量;第二个是矩阵,并提到第一个例子是第二个的特例(当
时);第三个是泛函空间,并指出第一、第二个是第三个的特例;第四个例子是多项式函数,这实际上也是第三个例子的一个子集;第五个例子是说明:复数集可以看做实数集上的一个vector space。
从定义可以得到一些很简单但是有用的结论,比如,以及
,还有
。并且加法的结合律与交换律性质使得向量在相加时不需要考虑次序。
最后就可以定义linear combination的概念。
Exercises
1. If is a field, verify that
(as defined in Example 1) is a vector space over the field
.
Solution: Since is a field, any
satisfies commutativity and associativity, thus
and similarly .
The zero vector in is
, it’s easy to see
.
For any , the vector
.
The properties 4(a)-4(d) can also be easily verified. Thus is a vector space over
.
2. If is a vector space over the field
, verify that
for all vectors and
in
.
Solution: By 3(b), 3(a), 3(b) and 3(a) we have
3. If is the field of complex numbers, which vectors in
are linear combinations of
and
?
Solution: Since
we can see that all vectors in are linear combinations of the three vectors. In particular,
are linear combinations of the three vectors, thus
are linear combinations of the three vectors, and it follows that all vectors in
are linear combinations of the three vectors.
4. Lef be the set of all pairs
of real numbers, and let
be the field of real numbers. Define
Is , with these operations, a vector space over the field of real numbers?
Solution: Properties 3(a)-3(d) is easy to verify, since the addition definition coincide with that of , to verify 4(a)-4(d), let
, then
5. On , define two operations
The operations on the right are the usual ones. Which of the axioms for a vector spaces are satisfied by ?
Solution: Axiom 3(c) is satisfied, define 0 to be the ordinary zero vector, then .
Axiom 3(d) is satisfied, for , the unique vector
, since
.
Axiom 4(a) is satisfied, since by Axiom 3(d).
Axiom 4( c ) is satisfied, since .
The rest axioms are not satisfied.
6. Let be the set of all complex-valued functions
on the real line such that (for all
in
)
The bar denotes complex conjugation. Show that , with the operations
is a vector space over the field of real numbers. Give an example of a function in which is not real-valued.
Solution: We first verify using the definition of addition and scalar multiplication, the results are still in .
Let , then
Next, the axioms 3(a),3(b) are satisfied since is also a field. The zero function is in
since
so axiom 3( c ) is satisfied. Define by
for
, then
thus , and
, so axiom 3(d) is satisfied.
It’s obvious that axiom 4(a)-4(d) is true.
7. Let be the se of pairs
of real numbers and let
be the field of real numebrs. Define
Is , with these operations, a vector space?
Solution: No.
For axiom 3(c), there’s no zero vector such that .
For axiom 4(a), if , we have
.