线性变换的矩阵表示——定义

分析：
设$\underline{A}$是$V\to V^{\prime }$的任一线性变换，选中$V$中的一组基 { α 1 , … , α n } \{\alpha_{1},\dots,\alpha_{n}\} {α1​,…,αn​}和$V^{\prime }$中的一组基 { η 1 , … , η s } \{\eta_{1},\dots,\eta_{s}\} {η1​,…,ηs​}，则$\underline{A}$能够用一个$s\times n$矩阵来描述：

摘自《高等代数(下)》丘维声 Chapter 9.4, P237

定义：我们把以上分析中的矩阵成为线性变换的矩阵

摘自 a first course in abstract algebra Joseph Rotman
Chapter 4.2, P370

我们可以证明在取定$V$和$V^{\prime }$中基后，$V\to V^{\prime }$上的线性变换与$M_{s\times n}$中的矩阵是一 一对应的关系