Polynomial kernels

Consequently ${\mathcal{P}}_{\mathrm{dist}}$ is a space of actual functionals, not a free symbol algebra. Give its coefficient carrier the locally convex direct-sum topology

The strong topology is uniform convergence on bounded sets of $C^{\infty }(U^n)$, componentwise in the bundles.