Poisson bracket makes $C^\infty(M)$ into a Lie algebra Let $M$ be a symplectic manifold with symplectic form $\omega$. Define the Poisson bracket of two smooth functions $f$, $g$ by $\{f, g\} := \omega(X_f, X_g)$. How do I see that $X_{\{f, g\}} = [X_f, X_g]$ and therefore that Poisson bracket makes $C^\infty(M)$ into a Lie algebra?
$% % % %% % $
 A: First of all, maybe it's just a sign convention, but the way I'm doing it, the statement needs a negative sign:
$$ X_{\{f,g\}} = -[X_f,X_g] = [X_g,X_f] $$
This is under the convention that $\omega(v,X_f) = df(v) = vf$ for any vector $v$. In particular, this gives that
$$ \{f,g\} = \omega(X_f,X_g) = df(X_g) = X_g f $$
Again, using the definition of the Hamiltonian vector field, note that $X_{\{f,g\}}$ is characterized by the fact that for any $v$,
$$ \omega(v,X_{\{f,g\}}) = d\{f,g\}(v) = v\{f,g\} = v X_g f \tag{$\star$} $$
In order to prove the desired claim (that $X_{\{f,g\}} = -[X_f,X_g]$), we will show that the vector $-[X_f,X_g] = [X_g,X_f]$ satisfies this property, and so must be equal to the Hamiltonian vector field $X_{\{f,g\}}$.
The flows of Hamiltonian vector fields are symplectic, meaning the Lie derivative $\mathcal{L}_{X_f} \omega$ is zero. In particular
$$
\begin {eqnarray}
0 &=& \left( \mathcal{L}_{X_g} \omega \right)(v, X_f) \\
0 &=& X_g \left( \omega(v,X_f) \right) - \omega([X_g,v],X_f) - \omega(v,[X_g,X_f]) \\
\omega(v,[X_g,X_f]) &=& X_g \left( \omega(v,X_f) \right) - \omega([X_g,v],X_f) \\
\omega(v,[X_g,X_f]) &=& X_g v f - [X_g,v] \, f \\
\omega(v,[X_g,X_f]) &=& v X_g f
\end {eqnarray}
$$
We have showed that $[X_g,X_f] = -[X_f,X_g]$ satisfies condition $(\star)$, and so it must be that $[X_g,X_f] = X_{\{f,g\}}$.
