- Suppose
, where is some subspace of . Then . Then, is a subspace of
Proof: Pick
. , for some . , for some . is a scalar multiple of , hence Pick . is a scalar multiple of . . Thus, is a subspace of . First step: Show Pick . . But and is a subspace. Since is closed under scalar multiplication, it means is a subset of .
is really the definition of a line
Definition: Linear span. Let
be a non-empty subset of . Define the linear span of in as
- This is essentially picking finitely many vectors from
and consider any linear combination of the following vectors - This space is a subspace of
- The linear span of two linearly independent subspaces will not be subsets of each other
- This space is a subspace of
Proposition: For any subset
, the linear span is a subspace of Proof: Pick . Then, where . is a linear combination of elements of . Thus, . Pick then and where So, is a linear combination of the elements of . Thus, . Hence, is a subspace of
Example: Say that we have a set
, where . We want to show that . To do that, we have to show that 1) , and 2) . Case 1 is immediate, since we know that . For case 2, pick . We have to work to show that . . . We need to find such that Solving for , we get that . Now, we can describe any with the linear span of . . Thus,
