Definition: Basis. A subset of that is: 1) linearly independent, 2) is called a basis of
Let be a subset of
A subset of is a basis of if is linearly independent and
Examples of basis include , which is a basis of
This is called the canonical basis of
This is a basis because it is clearly linearly independent, and we can make any vector in from these vectors
Another example of a basis for includes Vectors and
Proposition: Say we have a matrix, where is the set of all matrices with real numbers (square matrices). If is non-singular, meaning that is square with a non-zero determinant (), the set column vectors and the set of row vectors of are a basis of .
Theorem: Let be a basis of , . Then, any vector can be uniquely (no other form) represented as
Basis are how we have vector representations in the first place
We implicitly use the canonical basis when not specifying basis
The coordinate with a specific basis is denoted as
Proof: The representation of some is unique.
Pick . Since there exists such that . Now to prove uniqueness of the above representation, suppose that an alternate representation . This means that if you subtract the following representations, you get . Since , the basis, is linearly independent, all the coefficients of the vectors must be 0.
. Therefore for all thus the representation is unique.
Definition: Dimension of a subspace Let be a linear subspace of . The dimension of S is the number of elements in any basis of .
Example: Let . See that is a basis of . So,
Observations: Any two basis of has the same number of elements
Any linearly independent subset of can have at most elements