Definition
A Poisson bracket (or Poisson structure) on a smooth manifold M is a bilinear map
that satisfies the following three properties:
- It is skew-symmetric: {f,g} = - {g,f}.
- It obeys the Jacobi Identity: {f,{g,h}} + {g,{h,f}} + {h,{f,g}} = 0.
- It obeys Leibniz's Rule with respect to the first argument: {fg,h} = f{g,h} + g{f,h}.
By skew-symmetry, the Poisson bracket automatically satisfies Leibniz's Rule with respect to the second argument. The last property basically states that the map f ↦ {f,g} is a derivation on C∞(M) for any fixed g ∈ C∞(M). Every derivation δ on C∞(M) can be written as a directional derivative (x) = (df)x((Xδ)x), where x ∈ M, for some vector field Xδ. It follows that for g ∈ C∞(M), we obtain a vector field Xg such that {f,g}(x) = (df)x((Xg)x), where x ∈ M (written more briefly, {f,g} = df(Xg)). The vector field Xg is called the Hamiltonian vector field corresponding to g. Notice that
- ,
where <⋅,⋅> is the pairing between the cotangent and tangent bundles of M. Therefore, {f,g} depends only on the differentials df and dg. Any Poisson bracket yields a map from the cotangent bundle to the tangent bundle that sends df to Xf.
Read more about this topic: Poisson Manifold
Famous quotes containing the word definition:
“... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
—Adrienne Rich (b. 1929)
“It’s a rare parent who can see his or her child clearly and objectively. At a school board meeting I attended . . . the only definition of a gifted child on which everyone in the audience could agree was “mine.””
—Jane Adams (20th century)
“... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.”
—George Eliot [Mary Ann (or Marian)