Loading [MathJax]/jax/output/HTML-CSS/jax.js

Sunday, July 7, 2013

Basis Calculation (11.1.1)

Dummit and Foote Abstract Algebra, section 11.1, exercise 1:

MathJax TeX Test Page Let V=Rn and let (a1,...,an)V be fixed. Let WV be the set of vectors (x1,...,xn) such that x1a1+...+xnan=0. Prove W is a subspace and find a basis for W.

If all ai=0 then clearly W=V and e1,...,en suffice as a basis. Otherwise, let am0. For (x1,...,xn),(y1,...,yn)W we see(x1,...,xn)r(y1,...,yn)=(x1ry1,...,xnryn)as well as(x1ry1)a1+...+(xnryn)an=(x1a1+...+xnan)r(y1a1+...+ynan)=0so that W is a subspace. We claim ei(ai/am)em for all i{1,...,m1,m+1,...,n} is a basis for W. Foremost, all of these are seen to be vectors of W. Linear independence:b1(e1(a1/am)em)+...+bm1(em1(am1/am)em)+bm+1(em+1(am+1/am)em)+...+bn(en(an/am)em)=0b1e1+...+bm1em1+bm+1em+1+...+bnen(imbiai/am)em=0b1,...bm1,bm+1,...,bn=0This implies W is either of dimension n1 or n. If it were the latter, then we would have W=V despite emW so that necessarily W is of dimension n1 and now this set must be a basis. 

No comments:

Post a Comment