next up previous


Subspaces of the Vector Space


Definition 1.2.1. The set tex2html_wrap_inline5861 of vectors of the vector space tex2html_wrap_inline5709 (over the field tex2html_wrap_inline5865) that is a vector space will respect to vector addition and multiplication by a number defined in the vector space tex2html_wrap_inline5709, is called a subspace of the vector space tex2html_wrap_inline5709 and denoted tex2html_wrap_inline5871

Proposition 1.2.1tex2html_wrap_inline5873 The set tex2html_wrap_inline5861 of vectors of the vector space tex2html_wrap_inline5709 is a subspace of the vector space tex2html_wrap_inline5709 if for each two vectors tex2html_wrap_inline5881 and each number tex2html_wrap_inline5797 vectors tex2html_wrap_inline5885 and tex2html_wrap_inline5887 belong to the set tex2html_wrap_inline5861.

Proof. Necessity is obvious. To prove sufficiency, we have to show that in our case conditions 1-8 of the vector spaces are satisfied. Let us check condition 1. Let tex2html_wrap_inline5891 By assumption, tex2html_wrap_inline5893. As tex2html_wrap_inline5709 is a vector space, then for tex2html_wrap_inline5709 axiom 1 is satisfied, and then tex2html_wrap_inline5899. Therefore, for tex2html_wrap_inline5861 axiom 1 is satisfied, too. Let us found the validity of condition 4. Let tex2html_wrap_inline5903 By assumption, tex2html_wrap_inline5905 On the other hand, by preposition 1, in tex2html_wrap_inline5709 the equality tex2html_wrap_inline5909 holds. Hence the inverse vector tex2html_wrap_inline5803 belongs to set tex2html_wrap_inline5861 with the vector tex2html_wrap_inline5779, i.e., condition 4 is satisfied. Prove by yourselves the validity of condition 2, 3 and 5-8. tex2html_wrap_inline5817

Example 1.2.1. The vector space tex2html_wrap_inline5919 over tex2html_wrap_inline5843 of all functions continouos on tex2html_wrap_inline5923 (example 1.1.3) is a subspace of vector space tex2html_wrap_inline5925 As the sum of two functions continouos on the interval, and the product of such a function by a number are functions continouos on this interval, by proposition 1.2.1, tex2html_wrap_inline5927 is a subspace of the vector space tex2html_wrap_inline5925

Example 1.2.2. Let tex2html_wrap_inline5931 be the set of all polynomials tex2html_wrap_inline5933 of at most degree n with real coefficients. We define addition of two polynomials and multiplication of a polynomial by a real number in usual way. As the result, we get the vector space tex2html_wrap_inline5931 of polynomials of at most degree n. If we denote by tex2html_wrap_inline5941 the vector space of polynomials of at most degree n defined on the interval tex2html_wrap_inline5923, then tex2html_wrap_inline5941 will be a subspace of vector space tex2html_wrap_inline5949

Example 1.2.3.* Let us show that the set tex2html_wrap_inline5953 is a subspace in the matrix vector space tex2html_wrap_inline5955
The set tex2html_wrap_inline5957 is closed with respect to additism and multiplication by scalar since
displaymath5845
and
displaymath5846
Thus the set tex2html_wrap_inline5957 is a subspace in the matrix vector space tex2html_wrap_inline5955

Problem 1.2.1.* Prove that the set of all symmetric matrices form a subspace in the vector space of all square matrices tex2html_wrap_inline5965

Proposition 1.2.2. If tex2html_wrap_inline5967 are subspaces of the vector space tex2html_wrap_inline5709, then the intersection tex2html_wrap_inline5971 of the subspaces is a subspace of the vector space tex2html_wrap_inline5973

Prove! tex2html_wrap_inline5817

Proposition 1.2.3. If tex2html_wrap_inline5977 are subspaces of the space tex2html_wrap_inline5709 and
displaymath5847
is the sum of these subspaces, then tex2html_wrap_inline5981 is a subspace in tex2html_wrap_inline5973

Definition 1.2.2. If each tex2html_wrap_inline5985 can be expressed uniquely in the form tex2html_wrap_inline5987 then we say that tex2html_wrap_inline5981 is the direct sum of subspaces tex2html_wrap_inline5991 and it denoted tex2html_wrap_inline5993

Definition 1.2.3.Each element of the space tex2html_wrap_inline5709 that can be expressed as tex2html_wrap_inline5997 where tex2html_wrap_inline5999 is called a linear combination of the elements tex2html_wrap_inline6001 of the vector space tex2html_wrap_inline5709 (over the field tex2html_wrap_inline5865).

Definition 1.2.4.The set of all possible linear combination of the set Z is called the span of the set tex2html_wrap_inline6009

Example 1.2.4. Let tex2html_wrap_inline6011 and tex2html_wrap_inline6013 Then tex2html_wrap_inline6015 Prove!

Proposition 1.2.4. The set tex2html_wrap_inline6017 of the set tex2html_wrap_inline6019 is the least subspace that contain the set tex2html_wrap_inline6021

Proof. First, let us prove that tex2html_wrap_inline6017 is a subspace of the space tex2html_wrap_inline5709. It is sufficient, by proposition 1.2.1, to show that tex2html_wrap_inline6017 is closed with respect to vector addition and multiplication of the vector by a number:
displaymath5848

displaymath5849

displaymath5850

displaymath5851
Thus, tex2html_wrap_inline6017 is a subspace of the space tex2html_wrap_inline5709. Let us show that tex2html_wrap_inline6017 is the least subspace of the space tex2html_wrap_inline5709 that contains the set Z. Let tex2html_wrap_inline6039 be some subspace of the space tex2html_wrap_inline5709 for which tex2html_wrap_inline6043 As tex2html_wrap_inline6045 and tex2html_wrap_inline6039 is a subspace, the arbitrary linear combination of the elements os the set Z belongs to the subspace tex2html_wrap_inline6051 Therefore, tex2html_wrap_inline6017 as the set of all such linear combinations belongs to the space tex2html_wrap_inline6051 tex2html_wrap_inline5817

Corollary 1.2.1. A subset tex2html_wrap_inline5861 of the vector space tex2html_wrap_inline5709 is a subspace if it coincides with its span, i.e., tex2html_wrap_inline6063

Problem 1.2.2.* Does the vector tex2html_wrap_inline6067 belong to the subspace tex2html_wrap_inline6069, when
displaymath5852


next up previous