MHB Linear Transformations & Matrices: Armstrong, Tapp Chs. 9 & 1 - Explained

Click For Summary
Armstrong defines the linear transformation using the transpose of matrix A to ensure that the multiplication of transformations preserves the order, resulting in f_{AB} = f_A f_B. This approach contrasts with Tapp's definition, which does not use the transpose and would reverse the order of multiplication, yielding f_{AB} = f_B f_A. The use of the transpose maintains consistency in the algebraic structure of the transformations. This distinction is crucial for understanding the properties of linear transformations in the context of group theory. The discussion highlights the importance of definition choices in mathematical frameworks.
Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
At the start of Chapter 9, M. A. Armstrong in his book, "Groups and Symmetry" (see text below) writes the following:

" ... ... Each matrix $$A$$ in this group determines an invertible linear transformation $$f_A: \mathbb{R} \to \mathbb{R}$$ defined by $$f_A(x) = x A^t$$ ... ... "I know that one may define entities how one wishes ... but why does Armstrong define $$f$$ in terms of the transpose of $$A$$ rather than just simply $$A$$ ... there must be some reason or advantage to this ... but what is it? Can someone help to explain ...

I note in passing that Kristopher Tapp in his book, "Matrix Groups for Undergraduates" (Chapter 1, Section 5) ... see text below ... defines the action of a linear transformation ( multiplication by a matrix $$A$$) as $$R_A = X \cdot A$$ ... thus not using the transpose of $$A$$ ...Hope that someone can help ...

Peter=======================================================================================

The above post refers to the start of Ch. 9 of M. A. Armstrong's book, "Groups and Symmetry" ... so I am providing the relevant text ... as follows:View attachment 9568
The above post also refers to Chapter 1, Section 5 of Kristopher Tapp's book, "Matrix Groups for Undergraduates" ... so I am providing the relevant text ... as follows:View attachment 9569Note that Tapp uses $$\mathbb{K}$$ to refer to one of the real numbers, the complex numbers or the quaternions ...Hope that helps,

Peter
 

Attachments

  • Armstrong - Start of Chapter 9 ... .png
    Armstrong - Start of Chapter 9 ... .png
    39.3 KB · Views: 121
  • Tapp - Chater 5, Section 1... .png
    Tapp - Chater 5, Section 1... .png
    35 KB · Views: 144
Physics news on Phys.org
Peter said:
At the start of Chapter 9, M. A. Armstrong in his book, "Groups and Symmetry" (see text below) writes the following:

" ... ... Each matrix $$A$$ in this group determines an invertible linear transformation $$f_A: \mathbb{R} \to \mathbb{R}$$ defined by $$f_A(x) = x A^t$$ ... ... "I know that one may define entities how one wishes ... but why does Armstrong define $$f$$ in terms of the transpose of $$A$$ rather than just simply $$A$$ ... there must be some reason or advantage to this ... but what is it?
The answer is given in the text from Armstrong's book that you posted. If $f_A(x)$ is defined to be $xA^T$ then the map $A\mapsto f_A$ preserves multiplication: $f_{AB} = f_Af_B$. If the transpose does not occur in the definition then the map would reverse the order and you would get $f_{AB} = f_Bf_A$.
 
Opalg said:
The answer is given in the text from Armstrong's book that you posted. If $f_A(x)$ is defined to be $xA^T$ then the map $A\mapsto f_A$ preserves multiplication: $f_{AB} = f_Af_B$. If the transpose does not occur in the definition then the map would reverse the order and you would get $f_{AB} = f_Bf_A$.
Thanks for the help, Opalg ...

Peter
 
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
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
10
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K