正則行列はフルランクである

逆行列を持つのにフルランクであることが必要十分な理由

行列がフルランクならばとなるが存在するから.

参考

math-note.xyz