The concept of a linear subspace (or vector subspace) is important in linear algebra and related fields of mathematics. A linear subspace is usually called simply a subspace when the context serves to distinguish it from other kinds of subspaces.
Contents
Definition and useful characterization and subspace
Let K be a field (such as the field of real numbers), and let V be a vector space over K. As usual, we call elements of V vectors and call elements of K scalars. Suppose that W is a subset of V. If W is a vector space itself, with the same vector space operations as V has, then it is a subspace of V.
To use this definition, we don't have to prove that all the properties of a vector space hold for W. Instead, we can prove a theorem that gives us an easier way to show that a subset of a vector space is a subspace.
Theorem: Let V be a vector space over the field K, and let W be a subset of V. Then W is a subspace if and only if it satisfies the following 3 conditions:
Proof: Firstly, property 1 ensures W is nonempty. Looking at the definition of a vector space, we see that properties 2 and 3 above assure closure of W under addition and scalar multiplication, so the vector space operations are well defined. Since elements of W are necessarily elements of V, axioms 1, 2 and 58 of a vector space are satisfied. By the closure of W under scalar multiplication (specifically by 0 and 1), axioms 3 and 4 of a vector space are satisfied.
Conversely, if W is subspace of V, then W is itself a vector space under the operations induced by V, so properties 2 and 3 are satisfied. By property 3, w is in W whenever w is, and it follows that W is closed under subtraction as well. Since W is nonempty, there is an element x in W, and is in W, so property 1 is satisfied. One can also argue that since W is nonempty, there is an element x in W, and 0 is in the field K so and therefore property 1 is satisfied.
Examples
Examples related to analytic geometry
Example I: Let the field K be the set R of real numbers, and let the vector space V be the Euclidean space R^{3}. Take W to be the set of all vectors in V whose last component is 0. Then W is a subspace of V.
Full article ▸
