MHB Showing That $(AB)x = A(Bx)$: A Clue!

  • Thread starter Thread starter evinda
  • Start date Start date
Click For Summary
The discussion focuses on demonstrating the equality $(AB)x = A(Bx)$ for two n x n matrices A and B, and a vector x in R^n. The participants outline the steps to show this relationship through matrix multiplication and the properties of linear transformations. They derive the components of the resulting vectors, emphasizing the importance of matching dimensions for the operations to be valid. The final conclusion illustrates that the entries of the resulting vector from A(Bx) correspond to the entries of the matrix product AB applied to x. This confirms the associative property of matrix multiplication in the context of linear transformations.
evinda
Gold Member
MHB
Messages
3,741
Reaction score
0
Hello! (Wave)

I want to show that if $A$ and $B$ are two $n \times n$ matrices and $x \in \mathbb{R}^n$, then $(AB) x=A(B x)$.

What do we deduce from the above equality for the relation between the composition of the functions $x \to Bx, y \to Ay$ and the multiplication of matrices?Could you give me a hint how we could show that $(AB) x=A(B x)$?
 
Physics news on Phys.org
So,
$$(Bx)_i=\sum_{j=1}^n B_{ij}x_j,$$
and
$$(AB)_{ki}=\sum_{l=1}^n A_{kl}B_{li}.$$
Can you continue?
 
Ackbach said:
So,
$$(Bx)_i=\sum_{j=1}^n B_{ij}x_j,$$
and
$$(AB)_{ki}=\sum_{l=1}^n A_{kl}B_{li}.$$

So $k$ is the row and $i$ the column, right?

So do I have to find now the form of $(AB)_{ki} x_i$ ?
 
The $i$-th coordinate of $Bx$ is:

$\sum\limits_j b_{ij}x_j$ <----this sum is a scalar, we wind up with $i$ different scalar entries of $Bx$.

Notice that for this to even make sense, the "$j$" 's must match up: $B$ must have the same number of COLUMNS, as $x$ has ROWS ($x$ is taken to be a column-vector, so it only has 1 column, considered as a matrix).

Now we "hit this with $A$". We use $A = (a_{ki})$, since, again, for this to be well-defined, we must have that $A$ has $i$ columns, as $Bx$ has $i$ entries (rows).

Now, $A(Bx)$ will have $k$ entries, the $k$-th entry will be:

$[A(Bx)]_k = \sum\limits_i a_{ki}(Bx)_i = \sum\limits_i a_{ki}\left(\sum\limits_j b_{ij}x_j \right)$.

Using the distributive law, we can rewrite the above as:

$= \sum\limits_i \sum\limits_j a_{ki}b_{ij}x_j$

and using the distributive law AGAIN, to collect all the $x_j$ terms, for each $j$:

$= \sum\limits_j \left(\sum\limits_i a_{ki}b_{ij}\right)x_j$

Now, the stuff in the parentheses is the $k,j$-th entry of $AB$ (by the definition of matrix multiplication), so we have:

$[A(Bx)]_k = [(AB)x]_k$, for each $k$.

It easier to see what is going on with specific values for $k,i,j$: so let's say $A$ is a 3x2 matrix, and $B$ is a 2x2 matrix.

So we start with a 2-vector: $(x_1,x_2)$.

Then $Bx = (b_{11}x_1 + b_{12}x_2, b_{21}x_1 + b_{22}x_2)$.<---a different 2-vector now.

Now $A(B(x)) =
(a_{11}(b_{11}x_1 + b_{12}x_2) + a_{12}(b_{21}x_1 + b_{22}x_2),
a_{21}(b_{11}x_1 + b_{12}x_2) +a_{22}(b_{21}x_1 + b_{22}x_2),
a_{31}(b_{11}x_1 + b_{12}x_2) + a_{32}(b_{21}x_1 + b_{22}x_2))$

$=((a_{11}b_{11} + a_{12}b_{21})x_1 + (a_{11}b_{12} + a_{12}b_{22})x_2,
(a_{21}b_{11} + a_{22}b_{21})x_1 + (a_{21}b_{12} + a_{22}b_{22})x_2,
(a_{31}b_{11} + a_{32}b_{21})x_1 + (a_{31}b_{12} + a_{32}b_{22})x_2)$

Note how all the "grouped terms" are entries of the matrix $AB$, for example:

$(a_{11}b_{11} + a_{12}b_{21}$ is the $1,1$-entry of $AB$, and $a_{11}b_{12} + a_{12}b_{22}$ is the $1,2$-entry of $AB$, and so on,

so that we have the above is $(AB)x$.
 
Thread 'How to define a vector field?'
Hello! In one book I saw that function ##V## of 3 variables ##V_x, V_y, V_z## (vector field in 3D) can be decomposed in a Taylor series without higher-order terms (partial derivative of second power and higher) at point ##(0,0,0)## such way: I think so: higher-order terms can be neglected because partial derivative of second power and higher are equal to 0. Is this true? And how to define vector field correctly for this case? (In the book I found nothing and my attempt was wrong...

Similar threads

  • · Replies 26 ·
Replies
26
Views
810
  • · Replies 52 ·
2
Replies
52
Views
4K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K