# Definition Observables are complex-valued, infinitely [[differentiable function|differentiable functions]] on the [[Phase Space]] $P$. They form a real [[vector space]] denoted by $\mathcal{C}(P)$. $\mathcal{C}(P)$ forms a [[Lie algebra]] under the [[Poisson Bracket]].