A vector space over a field is a set with a consistent way to take linear combinations of elements with coefficients in . We will only be using the cases and , so such finite dimensional will just be or . Choosing a basis (set of linearly independent vectors) , an arbitrary vector can be written as
giving an explicit identification of with -tuples of real or complex numbers which we will usually write as column vectors
Then the expansion of a vector with respect to the basis can be written
The choice of a basis also allows us to express the action of a linear operator on
as multiplication by an by matrix:
The reader should be warned that we will often not notationally distinguish between a linear operator and its matrix with matrix entries with respect to some unspecified basis, since we are often interested in properties of operators that, for the corresponding matrix, are basis-independent (e.g., is the operator or matrix invertible?). The invertible linear operators on form a group under composition, a group we will sometimes denote , with “GL” indicating “General Linear”. Choosing a basis identifies this group with the group of invertible matrices, with group law matrix multiplication. For dimensional, we will denote this group by in the real case, in the complex case.
Note that when working with vectors as linear combinations of basis vectors, we can use matrix notation to write a linear transformation as
We see from this that we can think of the transformed vector as we did above in terms of transformed coefficients with respect to fixed basis vectors, but also could leave the unchanged and transform the basis vectors. At times we will want to use matrix notation to write formulas for how the basis vectors transform in this way, and then will write
Note that putting the basis vectors in a column vector like this causes the matrix for to act on them by the transposed matrix.
来源与版本
正文:英文 · 原著转录
核对状态:AI 辅助转录核对,未作人工审阅
原书 PDF · 印刷页 34、35
来源版本:2025-10-20
来源 PDF SHA-256:5a1941b2443b54d5db3d055f1e5ba390429b7a728475258017aaac87ee85a837