Theorem 5.27.1 (Bedford–Taylor)8B1218AE4FDC

Theorem 5.27.1 (Bedford–Taylor).8B1218AE4FDC Let $1\leq k\leq n$. If $p_1,\ldots ,p_ k$ are locally bounded plurisubharmonic functions on a domain in $\mathbb C^ n$, their mixed product $\mathrm{dd}^{\mathrm{c}}p_1\wedge \cdots \wedge \mathrm{dd}^{\mathrm{c}}p_ k$ is a positive closed current of order zero. It is symmetric, multilinear in its current factors, and continuous under simultaneous locally bounded decreasing approximation. It does not charge pluripolar sets and is local in the plurifine topology.