What exactly is standard basis?

As other answers have already pointed out, the notion of "standard basis" only applies to the very particular $K$-vector spaces $K^n$, whose elements are $n$-tuples of elements of$~K$ (scalars). I've emphasised "are", because in any $n$-dimension $K$-vector space you can represent vectors by $n$-tuples of scalars (after having chosen an ordered basis; the scalars are the coordinates of these vectors in this basis); however in general a vector and its $n$-tuple of coordinates remain two different things.

You know what the standard basis of $K^n$ is (and it is actually an ordered basis: more than just a set of vectors, it is a list where each basis vector has its own place). The one point I would like to add is mention the property that makes this particular basis stand out among other bases, either of $K^n$ or of other spaces.

Property. Any $v\in K^n$ is equal to the $n$-tuple of coordinates of $v$ with respect to the standard basis of$~K^n$.

Clearly for such a property to hold, it is necessary that such vectors $v$ be $n$-tuples of scalars in the first place, in other words that the vector space in question be $K^n$. Moreover, the coordinates $(c_1,\ldots,c_n)$ of $v$ with respect to an ordered basis $(\mathbf e_1,\ldots,\mathbf e_n)$ are by definition the scalars such that $v=c_1\mathbf e_1+\cdots+c_n\mathbf e_n$ holds; if (with $v\in K^n$) one requires that moreover $v=(c_1,\ldots,c_n)$ as stated in the property, this requires that $$ (c_1,\ldots,c_n)=c_1\mathbf e_1+\cdots+c_n\mathbf e_n. $$ This should hold for all possible values of $c_1,\ldots,c_n\in K$. In particular one can take some $c_i=1$ and all other $c_j$ zero, and this leads to the conclusion that $\mathbf e_i\in K^n$ has to be $(0,\ldots,0,1,0,\ldots,0)$ with the nonzero component at position$~i$; this should be so for every$~i$. Once these cases are checked, all others follow by linearity. So the stated property holds for the standard basis, and also characterises the standard basis of$~K^n$.


The term standard basis only applies to vector spaces of the form $\Bbb F^n$, when every vector is of the form $(x_1, x_2, ..., x_n)^T$. You then stipulate $e_i := (0, ..., 0, 1, 0, ...,0)^T$ ($1$ in the i$^{th}$ place), which is independent of a choice of basis. For arbitrary vector spaces it doesn't really make sense to talk about a standard bases.

Edit: If $V$ is an $n$-dimensional vector space, then the coordinate vector $[v]_B$ of $v \in V$ w.r.t. a basis $B = \{v_1, ..., v_n\} $ of $V$ is defined as follows: Let $f: B \to \Bbb F^n$ be the map $v_i \mapsto e_i$. Extending $f$ to a linear map $V \to \Bbb F^n$, we define $[v]_B := f(v)$. Of course, by this definition $[v_i]_B = e_i$, but that does not mean $v_i = e_i$.


There are two senses of "coordinates". One is defined with respect to a basis on a general $n$-dimensional vector space. The other refers to ordered tuplets of numbers $(a_1,\ldots,a_n)\in \mathbb R^n$. (Or whatever your base field is.) The standard basis is the unique basis on $\mathbb R^n$ for which these two kinds of coordinates are the same.

Edit: Other concrete vector spaces, such as the space of polynomials with degree $\leq n$, can also have a basis that is so canonical that it's called the standard basis. In this case, the standard basis vectors are $1, x, x^2, \ldots, x^n$.

I'm not sure that it's common to speak of a "standard basis" on a completely abstract $n$-dimensional vector space. If you have a textbook that does so, it would help to quote the context.