Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2012/iii/paper-55/1/a/solution

The Maurer-Cartan form is . Direct matrix multiplication gives
These are left-invariant differential forms: for a constant group element , . Equivalently, left translation sends to , so all three coordinate differentials and the denominator acquire the same factor .
The left-invariant coframe of the translation-dilation group is pointwise linearly independent because . Consequently
is positive definite and unchanged under every left translation. It therefore defines the required left-invariant metric, with precisely the coordinate expression obtained from this sum. The notation in that metric means , not the differential of .

New to topics? Read the docs here!