Roni1985 said:
We studied all this, but the professor wasn't really helpful, so everything is on me...
Let me see if I undertand.
{e1,e2} does span R^3 but it doesn't include ALL vectors in the plane that's created.
No, it does not span R^3. You need at least three vectors to do that.
{e1,e2} spans a 2-dimensional plane (subspace) contained within R^3.
Think of the x-y plane in Euclidean 3-space. That plane is spanned by two vectors, for example, the unit vectors in the x- and y-directions. The coordinates of these vectors are (1,0,0) and (0,1,0). This plane is not the same as R^2, where the vectors have only two coordinates. But it's equivalent in a certain mathematical sense (we say that the x-y plane within R^3 is ISOMORPHIC to R^2).
However,
{e1,e2,e3} also spans R^3 but it forms a solid which is spread throughout all R^3, therefore, it includes ALL vectors in R^3
This is what is meant by "spanning" R^3. ANY vector in R^3 can be formed by an appropriate linear combination of e1, e2, and e2. This is NOT true if you only use e1 and e2, and thus {e1,e2} does not span R^3.
No. It spans a one-dimensional line (subspace) contained in R^3. That line is isomorphic to R^1.
but it forms a line and any combination of it must be on the line. However, there lots of vectors that are not on the line, therefore, this one cat be a basis for R^3 either.
Right, it's not a basis for R^3, BECAUSE it does not span R^3.
There are two things that must be true in order for a set of vectors to be a basis for a vector space:
(1) the vectors must span the whole space
(2) the vectors must be linearly independent.
{e1,e2,e2} are linearly independent, and so are any subset of them, so (2) is not the problem here. But in order to achieve (1) you need to have enough vectors. R^3 has dimension 3, and that means you need at least 3 vectors to span it. Furthermore, you can't have MORE than 3 linearly independent vectors in a 3-dimensional space, so if the vectors are to form a basis (a stronger condition than simply spanning the space) you need to have exactly three (linearly independent) vectors.