# Proving the Complex Conjugate is Analytic [duplicate]

Let G be a region and deﬁne $G^∗ = \{z : z̅ ∈ G\}$. If $f : G \to \mathbb{C}$ is analytic, prove that $f^* : G^∗ → C$, deﬁned by $f^*(z) = \overline{f(\overline{z})}$ is also analytic.

• You are missing a conjugate in the definition of $f*$ – mrf Sep 18 '15 at 19:05

Let $f^*(z)=\overline{f(\overline{z})}$. Now since $f$ is analytic in $G$ iff $$\frac{\partial}{\partial \overline{z}} \ f=0$$ in $G$, and in this case one can see that the Cauchy Riemann equations for $f$ gives that also $$\frac{\partial}{\partial \overline{z}}f^*=0$$ in $G^*$, thus indeed $f^*$ is analytic in $G^*$.