Subspaces
What is a subspace?
Simply speaking, a subset of a vector space is a subspace if is a vector space itself when inheriting the addition and scalar multiplication defined in .
Definition: is a subspace of if is a non-empty subset of that satisfies the following conditions:
- For any and in , is in .
- For any in and real number , is in . (Note: In particular, we can set and it implies that the zero vector is in .)
- Zero vector is obviously in so is non-empty.
- For any , and . Then and . Therefore, is also in .
- For any real number and in i.e. . . Hence , which means is also in .
- The sequence of all zeros is in so is non-empty.
- If are in , then for all even . Therefore, for all even and is also in .
- For any real number and any in , for all even . Therefore, for all even and is also in .
- Zero matrix is in so is non-empty.
- For any two n x n matrices in , they are upper triangular. Hence is obviously upper triangular and thus in .
- For any real number and any n x n matrix in , is upper triangular. Therefore, is also upper triangular and thus in .
Exercise
Check the box if the statement is true.