Standard vectors/Basis from linearly independent/Example
The standard vectors in form a basis. The linear independence was shown in example. To show that they also form a generating system, let
be an arbitrary vector. Then we have immediately
Hence, we have a basis, which is called the standard basis of .