Book Recommendations for Linear Algebra Proofs I'm taking a graduate Linear Algebra course and have limited experience writing proofs (mostly from a discrete math class). Can anyone recommend good books to teach you how to write proofs for linear algebra? My impression is that they're very different from other kinds of math proofs.
Thanks in advance.
 A: To begin, you do have to understand the definitions. It's impossible to prove anything if you don't really understand the question.
Linear algebra has its own terminology, and many a student has gotten so tangled in it they could not proceed well. Besides the statement of the definitions, you have to understand what they mean and how they relate to other definitions.  The best way to accomplish that is to work a lot of basic problems, dealing with vectors, matrices, systems of equations.
Next, there are a few fundamental theorems which come up over and over.  There is a laundry list of about 12 statements which are all equivalent to saying that a set of vectors is independent.  You should get your hands on such a list,  and then make sure you know why each one is equivalent. If you can't find such a list (which I provided my own students), why not ask here.  I'll bet you wind up with 30 equivalent statements. (Not that you necessarily want all 30, I know). 
The next step would be to work many, many problems about vector independence and basis. If you get stuck, get help, and make sure you understand the answers.
The next big linear algebra topic is "spectral theory"  which is about eigenvalues and eigenvectors.  Study that separately, and again work a lot of problems.  Stay away from generalized eigenvectors until you have mastered the basic material.
This short list is only a start on the subject, but it can help you understand what is most fundamental.  I think it is always best to solidify foundations, after which moving forward is much easier.
Regarding books, you now have several recommendations.  I find that different approaches work better for different people, so that someone may love a book that makes no sense to you at all.  Try out various chapters that have been published online and see whose style appeals to you.  A book that provides many problems of varying levels of difficulty would be the best.
The best way to learn the subject is to work many problems.  Along the way, you'll get a sense of how to approach linear algebra proofs.  
A: If you have limited experience writing proofs, you should not be taking graduate-level linear algebra. 
If you don't know linear algebra, check out Sheldon Axler's Linear Algebra Done Right. If you need a text that goes into more advanced material more rapidly, see Artin's Algebra.
A: Another book you might consider is Curtis' Abstract Linear Algebra. It claims that it could be used for a "first course," but is quite sophisticated (but I have to agree with the claim). It takes some care to introduce the more abstract topics not usually covered in undergrad classes. For instance, exact sequences of maps, defining the determinant via the exterior product, quotient spaces, etc. The majority of the proofs are very easy to follow and the book is a good reference (despite how slim it is).
There's also a book called "The Linear Algebra a Graduate Student Ought to Know." It looks pretty good.
To learn to write proofs, you might look through some of these short "articles" and then do a lot of problems. (I don't recommend a whole book on learning to write proofs). Be sure to have your solutions/proofs critiqued (here for instance!).
A: Not sure how advanced your class is, but Sheldon Axler's book "Linear Algebra Done Right", covers the basics very well for a lower level grad course (like upper undergrad/Masters level).
A more advanced, and very thorough text for an upper level graduate linear algebra would be Evar Nehring's "Linear Algebra and Matrix Theory". Even though it is not an easy text, it is pretty much self contained and the proofs are well written
