Remix.run Logo
nh23423fefe 2 days ago

Doesn't make sense is too strong though.

If you have a system Ax=y and a system By=z there exists a system (BA)x=z

This system BA is naturally seen as the composition of both systems of equations

And the multiplication rule expresses the way to construct the new systems' coefficients over x constrained by z.

The C_i equation has coefficients which are the evaluations of the B_i equation over the A_k-th coefficients

C_ik = B_ij A_jk

concretely

        A11 x1 + A12 x2 = y1
        A21 x1 + A22 x2 = y2

        and

        B11 y1 + B12 y2 = z1
        B21 y1 + B22 y2 = z2

        then

        B11 (A11 x1 + A12 x2) + B12 (A21 x1 + A22 x2) = z1
        B21 (A11 x1 + A12 x2) + B22 (A21 x1 + A22 x2) = z2

        rearrange and collect terms

        (B11 A11 + B12 A21) x1 + (B11 A12 + B12 A22) x2 = z1
        (B21 A11 + B22 A21) x1 + (B21 A12 + B22 A22) x2 = z2
the coefficients express the dot product rule directly