Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2012/iii/paper-20/1/ii/b/solution

The chain rule yields
If is a canonical transformation, the symplectic matrix identity makes this expression . Thus preservation of the symplectic form implies preservation of every Poisson bracket, for all functions.
Conversely, assume this Poisson bracket identity for every . Take and , for arbitrary constant vectors . It gives . Since this holds for every , , hence . Therefore preservation of all Poisson brackets is equivalent to canonicity. Only first derivatives of enter this argument.

New to topics? Read the docs here!