Math Help Forum

Math Help Forum Feed Site Feed

Go Back   Math Help Forum > University Math Help > Linear and Abstract Algebra
Reply
 
Thread Tools Display Modes
  #1  
Old November 14th, 2008, 05:21 PM
Super Member
 
Join Date: Jun 2008
Posts: 604
Country:
Thanks: 196
Thanked 0 Times in 0 Posts
Apprentice123 is on a distinguished road
Default Base

The set {1+t,t-t^2,1+2t-t^2} is a base of P2?
Why?
Reply With Quote
Advertisement
 
  #2  
Old November 14th, 2008, 05:41 PM
Chris L T521's Avatar
MHF Moderator

 
Join Date: May 2008
Location: Beltrami and Reeb Fields
Posts: 2,465
Country:
Thanks: 2,287
Thanked 2,010 Times in 1,431 Posts
Chris L T521 has a reputation beyond reputeChris L T521 has a reputation beyond reputeChris L T521 has a reputation beyond reputeChris L T521 has a reputation beyond reputeChris L T521 has a reputation beyond reputeChris L T521 has a reputation beyond reputeChris L T521 has a reputation beyond reputeChris L T521 has a reputation beyond reputeChris L T521 has a reputation beyond reputeChris L T521 has a reputation beyond reputeChris L T521 has a reputation beyond repute
Send a message via Skype™ to Chris L T521
Default

Quote:
Originally Posted by Apprentice123 View Post
The set {1+t,t-t^2,1+2t-t^2} is a base of P2?
Why?
I think you mean a basis...

First off, in order for this set to be a basis of P_2, it must have span P_2

This means that a_1 (1+t)+a_2(t-t^2)+a_3(1+2t-t^2)=b_1t^2+b_2t+b_3 \implies (-a_2-a_3)t^2+(a_1+a_2+3a_3)t+a_1+a_3=b_1t^2+b_2t+b_3

We see that the corresponding augmented matrix is \left[\begin{array}{ccc|c}0&-1&-1&b_1\\1&1&1&b_2\\1&0&1&b_3\end{array}\right]

Getting it into RREF (I leave this for you to do), we see that \left[\begin{array}{ccc|c}1&0&0&b_1+b_2\\0&1&0&b_2-b_3\\0&0&1&-b_1-b_2+b_3\end{array}\right]

Since the system has solutions (primarily a_1=b_1+b_2,~a_2=b_2-b_3, and a_3=-b_1-b_2+b_3), we see that \left\{1+t,t-t^2,1+2t-t^2\right\} spans P_2.

Now, we need to show that these elements are linearly independent.

a_1 (1+t)+a_2(t-t^2)+a_3(1+2t-t^2)=0

This can be rewritten as (-a_2-a_3)t^2+(a_1+a_2+3a_3)t+a_1+a_3=0

Thus, an augmented matrix can be constructed:

\left[\begin{array}{ccc|c}0&-1&-1&0\\1&1&1&0\\1&0&1&0\end{array}\right]

To test for linear independence, the easiest way is to evaluate \det\left(\left[\begin{array}{ccc}0&-1&-1\\1&1&1\\1&0&1\end{array}\right]\right)

This equals \left|\begin{matrix}-1&-1\\1&1\end{matrix}\right|+\left|\begin{matrix}0&-1\\1&1\end{matrix}\right|=0+1=1\neq0

Thus, they are linearly independent. Since this set spans P_2 and are linearly independent, they form a basis for P_2

Does this make sense?

--Chris
__________________

To view links or images in signatures your post count must be 10 or greater. You currently have 0 posts.



To view links or images in signatures your post count must be 10 or greater. You currently have 0 posts.



To view links or images in signatures your post count must be 10 or greater. You currently have 0 posts.

(Will be MIA until December 17th)

Stuck on DE's? See
To view links or images in signatures your post count must be 10 or greater. You currently have 0 posts.
!

See
To view links or images in signatures your post count must be 10 or greater. You currently have 0 posts.
for Maple programming tips.


Become a fan of
To view links or images in signatures your post count must be 10 or greater. You currently have 0 posts.
!
Reply With Quote
The following users thank Chris L T521 for this useful post:
Donate to MHF
  #3  
Old November 15th, 2008, 06:06 AM
Super Member
 
Join Date: Jun 2008
Posts: 604
Country:
Thanks: 196
Thanked 0 Times in 0 Posts
Apprentice123 is on a distinguished road
Default

thank you
Reply With Quote
Reply

Thread Tools
Display Modes

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off
Trackbacks are Off
Pingbacks are Off
Refbacks are Off
Forum Jump


All times are GMT -7. The time now is 11:10 PM.


Powered by vBulletin® Version 3.7.3
Copyright ©2000 - 2009, Jelsoft Enterprises Ltd.
SEO by vBSEO 3.2.0 ©2008, Crawlability, Inc.
©2005 - 2009 Math Help Forum


Math Help Forum is a community of maths forums with an emphasis on maths help in all levels of mathematics.
Register to post your math questions or just hang out and try some of our math games or visit the arcade.