摘要 : Let (X,omega) be a compact Kahler manifold of complex dimension n and theta be a smooth closed real (1,1)-form on X such that its cohomology class {theta} is an element of H-1,H-1(X,R) is pseudoeffective. Let phi be a theta-psh fu... 展开 Let (X,omega) be a compact Kahler manifold of complex dimension n and theta be a smooth closed real (1,1)-form on X such that its cohomology class {theta} is an element of H-1,H-1(X,R) is pseudoeffective. Let phi be a theta-psh function, and let f be a continuous function on X with bounded distributional laplacian with respect to omega such that phi <= f. Then the non-pluripolar measure theta(n)(phi) := (theta+dd(c)phi)(n) satisfies the equality: 1({phi=f}) theta(n)(phi) = 1({phi=f}) theta(n)(f), where, for a subset T subset of X, 1(T) is the characteristic function. In particular we prove that theta(n)(P)(theta)(f) = 1({P theta(f)=f}) theta(n)(f) and theta(n)(P theta[phi](f)) =1({P theta[phi](f)=f}) theta(n)(f). 收起