可逆矩阵的定义

关于可逆矩阵的定义,现行课本这样给出:“设A是数域F上的一个n阶矩阵.如果存在一个n阶矩阵B,使得AB=BA=I(单位矩阵)那么A叫做一个可逆矩阵(或非奇异矩阵),而B叫做A的逆矩阵.”这个定义以简捷的方式深刻地揭示了可逆矩阵的实质.但初学者对这定义方式往往感到费解.同时可逆矩阵的一些重要结果的建立者较费事.本文尝试用下面的方式定义,可能对初学者有所好处.