Associative property of matrix multiplication

Voiceover:What I want to do in this video, is show that matrix multiplication is associative. At least I'll show it for 2 by 2 matrices. And what I do in this video you can extend it to really any dimension of matrices for which of the matrix multiplication is actually defined. So let's look at 3 matrices, so let's say this first matrix is A, B, C, and D and this second matrix is E, F, G, H and then finally this third matrix is I, J, and that's not the imaginary unit I, just letter I, and this isn't E, this is just the letter E. J, K and L, and I want to look at 2 scenarios. So let me actually just copy and paste this, So copy and paste. So I want to look at this scenario where first, I multiply the orange and the yellow matrix. And I multiply that times the purple matrix And then another scenario where first I multiply the yellow and the purple and multiply that times the orange and if these two products based on how I, which ones I do first come out the same then I've just shown that at least for three 2 by 2 matrices, that matrix multiplication is associative. If we already seen that it's not commutative, let's see whether it's associative. And actually I'll give you the punchline, it is. But let's work through it and I encourage you to actually pause the video yourself , and try to work through it with these letters and then see if you got the result that I just said that you should be getting. Alright, so let's multiply these first two. So this product, I'm gonna make it a little bit big. So it's going to be AE + BG, then AF + BH, and then it's going to be CE + DG, and then finally it's gonna be CF + DH. And we're going to multiply it times the matrix the matrix, I, J, K, and L and what does this give us? And I'll just give us some space to do this with. So this will give us, let me give myself an ample amount of space, so it's going to be this stuff, times I, so we could write this as I, actually let me just distribute the I. IAE + IBG + this stuff times K, + KAF + KBH. I'm already gonna run out of space here, so let me clear this, let me just keep going. And then we're gonna multiply this, essentially, we're going to consider this row and this column. First row, second column and so you are going to have JAE + JBG + LAF + LBH so, these matrices are bigger than I expected they would be. And then you're going to have over here you're going to have this times this plus this times this. So ICE + IDG + KCF + KDH and then finally, this times this plus this plus this, or this times that plus this times that. So JCE + JDG + LCF + LDH, alright. Now see if we can power through this one over here. So what is this product going to be? This product if I multiply by these two first. It's going to be EI + FK + EJ, no not plus, this is the next entry, EJ + FL, Then we have GI + HK and then finally we have GJ + HL. Then it's all going to be multiplied times ABCD. A, B, C, and D, and I'm going to need some real estate to do this, so let me do it down here, I'll do it in green. So let me do a little arrow to show, or actually I can just scroll over a little bit, that actually might work out better. So what am I going to get, so A times this, plus B times this, so AEI + AFK + BGI + BHK, then you're going to have this row and this column, So it's AEJ + AFL + BGJ + BHL, close the brackets, now you're going to have C times this plus D times this. So CEI + CFK + DGI + DHK and then finally, home stretch, C times that plus D times this. So CEJ + CFL, and then you're going to have, + DGJ + DHL, now are these two things equivalent? Well let's look at entry by entry. So, IAE, this is equivalent to AEI. Because we know scalar multiplication is commutative, Now IBJ or IBG, you see it there and you see it there, KAF, you see it there and this is the same thing as AFK. And then KBH, this is the same thing as BHK. And you can go entry by entry, actually, let's just do that, I'll do that really fast, so let's do, so ICE is the same thing as CEI. IDG is the same thing as DGI. KCF is the same thing as CFK, KDH is the same thing as DHK, and we go to the second columns, JAE, AEJ, JBG is the same thing as BGJ LAF is the same thing as AFL, And LBH is the same thing as BHL and then finally JCE is the same thing as CEJ JDG is the same thing as DGJ, LEF, LEF, or is that LCF? Let's see, LDH is this right over here, And so this one must be an LCF is the same thing as CFL. Is this one right over here an LCF, let me make sure, Cause that would throw a major monkey wrench into the whole operation, so this entry right over here, is going to be, we get that from multiplying the second row times the second column and we're going to get, we get JCE + JDG and then we have LCF, yeah that's LCF + LDH, and so [you will] see that these two quantities are the same it doesn't matter if I multiply the first two first and then multiply by the third. Or multiply the second and third and then multiply by the first, now once again, this is the associative property, I'm keeping them essentially in the same order. Order matters, but as we see, we can associate these. We can do the first two first or we can do the second two first.