>>323
m次元空間Uとn次元空間Vをもってきてそれぞれの基底を固定する。
f:U→Vをその表現行列がAになるものとする。
Imf=Wとおいてその基底をとりf=gh、h:U→W、g:W→Vと分解する。
するとg,hの表現行列B,CでA=BCとなる。