# General Linear Group GL(n) on Vector Spaces and canonical pairing invariance

• I
• jv07cs
jv07cs
Does anyone have a reference that explains how the general linear group GL(n) acts on vector spaces and dual spaces? Furthermore, I would like to understand why the canonical pairing ##\langle\cdot, \cdot\rangle: V \times V^* \to \mathbb{F}##, ##(v,\alpha) \mapsto \langle\alpha,v \rangle := \alpha(v)##, is GL(n) invariant.

In my opinion,

GL(n) acts, not on V, but on k^n, so it acts on the n dimensional space V only after choosing an ordered basis for V, (and thus also an ordered dual basis for V*).

Then if a is a covector in V*, represented by a row vector, and v is a vector in V, represented by a column vector, and if M is an invertible nxn matrix, then M takes a to aM and takes v to Mv, hence the fact that the matrix product aMv is associative, i.e. (aM)v = a(Mv), expresses the GL(n) - invariance of the pairing taking <v,a> in VxV*, to the dot product (a.v).

The group that acts on V, is called GL(V), and is by definition the group of linear automorphisms of V, hence it acts on V by definition, exactly as above, i.e. M in GL(V) takes v to M(v), and takes a to the composition aoM. Hence as above, (aoM)(v) = a(M(v)), shows the invariance, which here is actually a definition.

Last edited:

• Linear and Abstract Algebra
Replies
7
Views
558
• Linear and Abstract Algebra
Replies
17
Views
2K
• Linear and Abstract Algebra
Replies
3
Views
2K
• Calculus
Replies
4
Views
804
• Linear and Abstract Algebra
Replies
15
Views
1K
• Linear and Abstract Algebra
Replies
17
Views
4K
• Linear and Abstract Algebra
Replies
8
Views
2K
• Linear and Abstract Algebra
Replies
16
Views
4K
• Linear and Abstract Algebra
Replies
20
Views
3K
• Linear and Abstract Algebra
Replies
7
Views
1K