Holomorphically Convex Hull a Subset of the convex hull of - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T04:04:41Z http://mathoverflow.net/feeds/question/59943 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/59943/holomorphically-convex-hull-a-subset-of-the-convex-hull-of Holomorphically Convex Hull a Subset of the convex hull of John C 2011-03-29T04:48:52Z 2011-03-29T05:45:57Z <p>This comes from Hörmander's "An Introduction to Complex Analysis in Several Variables".</p> <p>We defined the $A(\Omega)$-hull (analytic functions in an open set $\Omega$). $\hat{K}$ of a compact set $K\subset\Omega$ by $\hat{K}=\{z;z\in\Omega, |f(z)|\leq\sup_K |f| \operatorname{for every } f\in A(\Omega) \}$.</p> <p>The book says, if we consider $f(z)=e^{az}$ for every complex number $a$, we obtain $\hat{K}\subseteq \operatorname{convex hull of }K$. </p> <p>I do not get how he concluded this result. I do not know how to turn a $\hat{z}\in\hat{K}$ into a linear combination of elements $z\in K$ using the exp function. Are there specific $a$ I need to choose? Can I construct this?</p> <p>Also, he says "Furthermore, it is clear that $\overset{*}{K}=\hat{K}$ ". I'm assuming that the $K$ with the weird star mark on top represents the convex hull? Even then, I do not understand the reverse inclusion.</p> http://mathoverflow.net/questions/59943/holomorphically-convex-hull-a-subset-of-the-convex-hull-of/59946#59946 Answer by Olivier Bégassat for Holomorphically Convex Hull a Subset of the convex hull of Olivier Bégassat 2011-03-29T05:18:19Z 2011-03-29T05:45:57Z <p>The exponential function grows in module as the exponential of the real part. Therefore, the set of all $z$ such that $|exp(az)|\leq \sup_K |exp(a\times\cdot)|$ is a half space containing $K$, and meeting $K$. You get all such half spaces, if you vary $a$ in $\mathbb{C}$ or even on the unit circle. Their intersection is the convex hull of $K$ by some famous theorem on convex sets (Krein-Milman?).</p> <p>So by restricting yourself to the exponential functions you get the convex hull of $K$. The hull you're interested in is a subset of that set.</p> <p>I don't know what $K^*$ stands for, but it won't be the convex hull in general. for instance, if you take $\Omega=\mathbb{C}\setminus\lbrace 0\rbrace$ and $K=$ the unit circle, and $f(z)=z, ~g(z)=\frac{1}{z}$, you see that the hull you're interested in is just $K$ itself. The convex hull may not even be a subset of $\Omega$.</p>