Uniquely linearly convex support of an analytic functional (Q1312341)

The paper begins with the class of generalized functions, \(\theta'(C^ n)\), which are analytic functionals in \(C^ n\). The immediate result states that a compact set, \(K\), is a carrier for \(\mu\in \theta'(C^ n)\) if for any open neighborhood \(w\) of \(K\) there is a constant, \(c_ w\) such that \(| \mu(f)|\leq c_ w(| f|_ w)\) for all test functions, \(f\in\theta(C^ n)\). The \(|\;|_ w\) is the standard norm in the space of test functions. The author illustrates many abstract notions by showing a rather easy example illustrating when the abstract notion does not hold. For example in this situation, the carrier is oftentimes nonunique by examining the example, \[ \mu(f)= \int_ 0^ 1 f(t)dt, \qquad f\in\theta(C^ n) \qquad \text{and} \qquad \mu\in \theta'(C^ n). \] Then any simple curve from 0 to 1 is a polynomially convex support for the generalized function, \(\mu\). Several theorems are then proven giving necessary conditions for uniqueness. The author then begins with a wonderful treatment of giving necessary and sufficient conditions establishing uniqueness. The author gives the general idea by saying that \(K\) is a compact linearly convex support for an analytic functional \(\mu\) in \(C^ n\), such that \(K\) is not ``too thin'' and such that through each point \(p\in \delta K\) there is at most one tangential complex hyperplane. Under these conditions precisely stated within the paper the compact carrier is unique. The not ``too thin'' notion is presented in the sense of \(C\)-convexity and how it relates to the class LCC. Then the major theorem is elegantly proven. The theorem is as follows: Theorem. A linear convex compact set \(K\subset P^ n\) is \(C\)-convex if and only if \(\xi\cap \delta K\) is connected for each tangential hyperplane \(\xi\). Moreover a linearly convex set \(K\subset P^ n\) is \(C\)-convex if and only if the Fantappiè transform is an isomorphism.