Up 線型写像の合成の計算が,「行列の積」に  


    線型空間E, F, G,線型写像f,g,Eの基底 {1, 2},Fの基底 {1, 2},Gの基底 {1, 2} に関して,つぎの図式が可換であるとする:

    ここで,図式:

    を可換にする行列
    を求めることにする。

    先ず,与条件として:
        f(1) = 1 ×112 ×12
        f(2) = 1 ×212 ×22

        g(1) = 1 ×112 ×12
        g(2) = 1 ×212 ×22
    そこで,
       g(f(1))
      =g( 1 ×112 ×12 )
      = g(1) ×11 + g(2) ×12
      = ( 1 ×112 ×12 ) ×11 + ( 1 ×212 ×22 ) ×12
      = ( 1 ×11 ×112 ×12 ×11 )
      + ( 1 ×21 ×122 ×22 ×12 )
      1 × ( a11 × b11 + a12 × b21 ) + 2 ( ×11 × b12 + a12 × b22 )

       g(f(2)) =
      =g( 1 ×212 ×22 )
      =g(1) ×21 + g(2) ×22 )
      = ( 1 ×112 ×12 ) ×21 + ( 1 ×212 ×22 ) ×22 )
      = ( 1 ×11 ×212 ×12 ×21 )
      + ( 1 ×21 ×222 ×22 ×22 )
      1 × ( a21 × b11 + a22 × b21 ) + 2 × ( a21 × b12 + a22 × b22 )
    一方
      g(f(1)) = 1 ×112 ×12
      g(f(2)) = 1 ×212 ×22
    よって,
      11 = a11 × b11 + a12 × b21
      12 = a11 × b12 + a12 × b22
      21 = a21 × b11 + a22 × b21
      21 = a21 × b12 + a22 × b22

    そこで,fとgの合成に対応する行列の計算を,つぎのように定めればよいことになる: