Definitions from Subspaces
All definitions from Subspaces.
Subspace
Let be a vector space over . A subset is a subspace of when it is a vector space over the same field and uses the addition and scalar multiplication inherited from . A proper subspace is a subspace that is not equal to .
Two elements of are added as they are in and scalar multiplication uses the same scalars. The sets and are always subspaces of . When , the standard embedding
identifies with the coordinate subspace . For , a plane through the origin in is another example.