Logically, the further development of the theory of vector spaces will depend entirely on the eight properties. In other words, all the proofs will trace their reasons back to the properties. Since writing all such details down is rather tedious and may not contribute much to the understanding of linear algebra, we will only present here a sample of how strict logic works. We will not be concerned too much with such details later on.

We will prove the following simple and "apparently" obvious fact.

The key problem here is that the statement has to be justified by using the eight properties (and the usual properties about numbers).

Proof We break the statement into three parts.

(1) 0** u** =

0`u`

= 0** u** +

= 0

= (0

= (0

= (0 + 1)

= 1

=

=

We emphasis that the simple property takes five of the eight properties to prove.

(2) `c`**0** = **0**.

0

= `c`**0** + (- `c`**0**) (property 4: ** u** + (-

=

= (

=

=

=

(3) `c u` =

The statement is equivalent to `c u` =

`u`

= 1** u** (property 8: 1

= (

=

=

=

[part 1] [part 2] [part 3] [part 4] [next topic]