# Very basic linear algebra question

So as I'm preparing for finals, I'm wondering:

The multiplication of two matrices is only defined under special circumstances regarding the dimensions of the matrices.

Doesn't that require that compositions of linear transformations are only defined in the same circumstances? I can't imagine not being able to not define a composition of linear transformations, can someone demonstrate this?

If $f:V\to W$ and $g:X\to Y$ are linear transformations, it only makes sense to talk about the composition $g\circ f$ if $W=X$. In particular, if $f:\mathbb R^K \to \mathbb R^L$ and $g:\mathbb R^J \to \mathbb R^I$ are linear transformations, it only makes sense to talk about the composition $g\circ f$ if $\mathbb R^L=\mathbb R^J$, i.e. if $L=J.$

Phrasing the last point a different way now: If $F$ is an $L\times K$ matrix and $G$ is an $I\times J$ matrix, it only makes sense to talk about the matrix product $GF$ if $L=J$.

So the matrix dimension rule you learned is really there exactly because only certain functions can be composed. The expression $g\circ f$ only has meaning if the outputs of $f$ are valid inputs for $g$.

• 1 person
Mark44
Mentor
So as I'm preparing for finals, I'm wondering:

The multiplication of two matrices is only defined under special circumstances regarding the dimensions of the matrices.

Doesn't that require that compositions of linear transformations are only defined in the same circumstances? I can't imagine not being able to not define a composition of linear transformations, can someone demonstrate this?

If A is an m X n matrix, and B is an n X p matrix, then the product AB is defined, and will be an m X p matrix.

A linear transformation TA: Rn → Rm takes vectors from Rn and maps them to vectors in Rm. A matrix for TA will by m X n. Think about how TB would have to be defined (in terms of its domain and codomain) so that the composition TA ° TB would make sense. It might be helpful to use constants for the dimensions.

• 1 person
Crystal clear, thanks you two.