Every holomorphic function on a compact complex manifold is locally constant?

complex-geometrycomplex-manifoldsdifferential-geometry

We know that if $X$ is a compact connected complex manifold,then every holomorphic function on $X$ is constant. Now,supposed that $X$ is not necessarily connect, then we can choose a connected component. We know that connected component is closed subset and every closed subset of a compact set is also compact. So the connected component is also compact, then we can deduced that every holomorphic function on the connected component is constant. Then We can deduced that every holomorphic function on $X$ is locally constant.

I think this may be not right but I can't find where is the problem in my proof in the above.

Best Answer

This is correct. However, when people say "compact manifold" they almost always mean connected compact manifold. Rather, there is usually nothing to be gained by dealing with non-connected compact manifolds, since we might as well just look at each connected component.

(For non-compact manifolds, this is potentially trickier, because we have things like $(-\infty,0)\cup(0,\infty)$ which is a disjoint union of two manifolds, but they are sort of "touching," and in some sense inherently different from $(-\infty,-1)\cup(1,\infty)$, for example.)