Is any (basis or non-basis) vector in essence always a linear combination of standard basis vectors

linear algebrasoft-questionvector-spacesvectors

Is it true that the vectors in the basis of any vector space are always coordinate vectors with respect to the standard basis of the (possibly larger) vector space we are working in? And by extension is it true then that any "vector" in said vector space is in essence the coordinate vector with respect to the standard basis? And further, is the standard basis always a basis where the coordinate vector with respect to the standard basis (in this case, itself), of any vector in it, is that same coordinate-vector? (Because it seems like the coordinates of all basis-vector in a non-standard basis with respect to the standard basis will never all be the same as that vector's coordinate to its own basis, which is just a vector with one entry of one and all others zero, but I'll have to prove that another day.)

For example, take bases $ \{(1,0),(0,1)\} $ and $ \{(1,1),(0,1)\} $ (brackets aren't rendering in my preview, don't know why) for $\mathbb R^2$. The 4 vectors in both bases themselves are coordinates for $\mathbb R^2$, that tell you how to scale some other basis-vectors to find what they represent. (The question is if these "other vectors" are the standard basis vectors. I think they need to exist and be the standard basis vectors because otherwise things wouldn't make sense, but it's hard to explain that.) We all know that $(1,0)$ means "go one step to the right and zero up," or "scale your first basis vector by one and your second by zero." But if your basis vectors in essence weren't measured relative to the standard basis, we would end up in an infinite regress, because you could ask "well what is the basis of your basis-vectors?" "It could as well be anything!", right?

Suppose we take the "vector" with "coordinate-vector $(5,2)$ with respect to the second basis", then we're really talking about $5(1,1)+2(0,1)=$ $(5,7)$, where $(5,7)$ says "go five right and seven up and then you end up at the essence of that vector", right?

By further extension, is it true then that an $n$-tuple (vector) in an $n$-dimensional vector space is actually an $\infty$-tuple in an $\infty$-dimensional vector space but where we just focus on the $n$ relevant components and leave out all the $0$'s?

For clarity, what I mean by "coordinate vector" is: suppose we have basis $\beta=\{b_1,\ldots,b_n\}$ for vector space $(\mathbb F,V,+)$ with $\dim V=n$. Then there exists a function $\text{co}_\beta:$ $V\rightarrow\mathbb F^n:$ $\sum_{k=1}^n\lambda_kb_k\mapsto(\lambda_1,\ldots,\lambda_n)$ that maps a vector to an n-tuple with its coordinates with respect to $\beta$.

I've found similar questions on here but not exactly the same I think. I'm sorry that I couldn't formulate my question better, I did my best. Edit: I may have sort of answered my own question here during edits, so I'm sorry if that inappropriate as it may have switched the original post from "question" status to more of a "discussion" status. The question would still be if anyone can clear this up 100%.

Best Answer

In a general vector space, there is no "standard" / "canonical" basis. Only in $F^n$ (as a space over F) you have such thing.

  • Think of the space of all continuous functions, for instance.
  • Or the tangent space to a sphere in a given point.
  • Or all polynomial $P$ of order three such that $P(1) = 0$.
  • Or a k-dimensional subspace of $F^n$,
  • ...

You can choose many good bases suited for your application, but not a canonical choice.

Related Question