Reduced distribution function
Set
context | ρ … Classical probability density function |
range | N≡dim(M) |
s<N |
definiendum | ˉfs(q1,p1,q2,p2,…,qs,ps):=∫ ρ dqs+1dps+1⋯dqNdpN |
Discussion
We also set fN:=ρ, but that's just introduction of different notation.