Before we define a subspace, in the interests of simplicity we will revise some of the cumbersome notation used in the definition of a Vector space. |
Before we define a subspace, in the interests of simplicity we will revise some of the cumbersome notation used in the definition of a vector space. |
#We shall use 0 to denote the number zero and use 0 to denote the additive identity, which is a vector not a number. |
#We shall use 0 to denote the scalar? (i.e. real or complex number) zero and use 0 or 0 to denote the vector additive identity. |
Definition : Let V be a vector space over a field K and let W be a subset of V. |
Definition: Let V be a vector space over a field K and let W be a subset of V. |
To use this definition means that given a subset W of V, one would have to prove that all 10 properties of a Vector Space hold for W. |
To use this definition means that given a subset W of V, one would have to prove that all 10 properties of a vector space hold for W. |
Given that we have an additive identity, 0 in W, by property 3, since elements of W are necessarily elements of V, the other 8 properties of a Vector Space are satisfied a fortiori. |
Given that we have an additive identity, 0 in W, by property 3, since elements of W are necessarily elements of V, the other 8 properties of a vector space are satisfied a fortiori. |
Proof: 1. Property 1: Given u,v in W, then u=(u1,u2,…,0) and v=(v1,v2,…,0). Then u+v= (u1+v1,u2+v2,...,0+0)=(u1+v1,u2+v2,...,0). Then u+v is an element in W. 2. Property 2: Given u in W and c in R, then c*v=c*(u1,u2,...0)= (c*u1, c*u2,…,c*0)=(c*u1,c*u2,...,0). Then c*u is an element of W. 3. Property 3: Since (0,0,...,0) is an element of W, by definition, 0 is a an element of W. |
Proof: #Property 1: Given u,v in W, then u=(u1,u2,…,0) and v=(v1,v2,…,0). Then u+v=(u1+v1,u2+v2,...,0+0)=(u1+v1,u2+v2,...,0). Then u+v is an element in W. #Property 2: Given u in W and c in R, then c*v=c*(u1,u2,...0)=(c*u1, c*u2,…,c*0)=(c*u1,c*u2,...,0). Then c*u is an element of W. #Property 3: Since (0,0,...,0) is an element of W, by definition, 0 is an element of W. |
Proof: |
Proof: #Property 1: Let P=(p1,p2) and Q=(q1,q2) be elements of W, that is, points such that p1=p2 and p1=q2. Then P+Q=p1+q1,p2+q2). Then since p1=p2 and q1=q2, P+Q=(p1+q1,p1+q1)= (2p1,2q1). Then P+Q is an element of W. #Property 2: Let P=(p,q) be an element of W, that is, a point such that p=q, and let c be an element of R. Then c*P=(c*p,c*q). Then since p=q, c*p=C*q and cP is an element of W. #Property 3: Consider the point 0= (0,0) in Rn. Then, since 0=0, 0 is an element of W. |
1. Property I: Let P=(p1,p2) and Q=(q1,q2) be elements of W, that is, points such that p1=p2 and p1=q2. Then P+Q=p1+q1,p2+q2). Then since p1=p2 and q1=q2, P+Q= (p1+q1,p1+q1)= (2p1,2q1). Then P+Q is an element of W. 2. Property 2: Let P=(p,q) be an element of W, that is, a point such that p=q, and let c be an element of R. Then c*P=(c*p,c*q). Then since p=q, c*p=C*q and cP is an element of W. 3. Property 3: Consider the point 0= (0,0) in Rn. Then, since 0=0, 0 is an element of W. Example III: (Calulus required) |
Example III: (Calculus required) |
Proof: 1. Property 1: Let f and g be elements of W, that is, continuous functions from R into R. Then we know from Calculus, that f+g is a continuous function from R into R. 2. Property 2: Let f be a element of W, that is, a continuous function from R into R, and let c be an element of R. Then we know from Calculus, that c*f is a continuous function from R into R. 3. Property 3: Consider the function 0 from R into R, defined by 0(x)=0 for all x in R. This is called the zero function and we know from Calculus that it is continuous from R into R. Then 0 is an element in W. |
Proof: #Property 1: Let f and g be elements of W, that is, continuous functions from R into R. Then we know from Calculus (specifically the linearity of sums of functions), that f+g is a continuous function from R into R. #Property 2: Let f be a element of W, that is, a continuous function from R into R, and let c be an element of R. Then we know from Calculus, that c*f is a continuous function from R into R. #Property 3: Consider the function 0 from R into R, defined by 0(x)=0 for all x in R. This is called the zero function and we know from Calculus that it is continuous from R into R. Then 0 is an element in W. |
Proof: 1. Property 1: Let v1 and v2 be elements of U^W. Let v1 and v2 belong to U^W. Then vi and v2 belong to both U and W. Consider v1+v2. Since v1 and v2 belong to U, then v1+v2 belongs to U. Similarly since v1 and v2 belong to W, v1+v2 belongs to W. Then, v1+v2 belongs to U^W. 2. Property 2: Let v belong to U^W. Then v belongs to U and v belongs to W. Given c an element of K, consider c*v. Since U and W are vector spaces, cv belongs to both U and W. 3. Property 3: Since U and W are subspaces of V, 0 belongs to both U and W. |
Proof: #Property 1: Let v1 and v2 be elements of U^W. Let v1 and v2 belong to U^W. Then vi and v2 belong to both U and W. Consider v1+v2. Since v1 and v2 belong to U, then v1+v2 belongs to U. Similarly since v1 and v2 belong to W, v1+v2 belongs to W. Then, v1+v2 belongs to U^W. #Property 2: Let v belong to U^W. Then v belongs to U and v belongs to W. Given c an element of K, consider c*v. Since U and W are vector spaces, cv belongs to both U and W. #Property 3: Since U and W are subspaces of V, 0 belongs to both U and W. |
Definition: Let V be a vector space over a field K and let W be a subset of V. Then if W is a vector space, itself, it is a subspace of V over K.
To use this definition means that given a subset W of V, one would have to prove that all 10 properties of a vector space hold for W. We can prove a theorem that gives us an easier way to prove that a subset of a vector space, is a vector space itself.
Theorem: Let V be a vector space and let W be a subset of V. Assume that W satisfies the following 3 conditions:
Proof: Looking at the definition of a vector space we see that properties 1 and 2 above assure closure of W under addition and scalar multiplication in W. Given that we have an additive identity, 0 in W, by property 3, since elements of W are necessarily elements of V, the other 8 properties of a vector space are satisfied a fortiori.
Note: For every vector space V, the empty vector space { } and V, itself, are subsets of V.
Example I:
Let V=Rn and let W be the set of all vectors in V whose last component is 0. Then W is a subspace of V.
Proof:
Example II: Let us remember that the set of points in a line are points in a plane. Then for the set of points (x,y) of R2 such that x=y is a subspace of Rn.
Proof:
Example III: (Calculus required)
First let us define a vector space V. Let V be the vector space over R of all functions from R into R. (Try and prove this is a vector space yourself.)
Let W be the subset of V of continuous functions. Then W is a subspace of V.
Proof:
Note: We can define U as the subset of W of differentiable? functions. Then, basically, since every differentiable function is continuous, U is a subspace of W, which, in turn, is a subspace of V.
Example IV: Given U and W, subspaces of a vector space V over a filed K. Then if U^W={all v: v is an element of U and v is an element of W}, U^W is a subspace of V.
Proof: