Tu solución es correcta, pero como estás adivinando, lo explicaré.
Los valores de $z$ que hacen que la expresión bajo la raíz cuadrada sea cero serán puntos de ramificación; es decir $z = \pm i$ son puntos de ramificación. Sea $z - i = r_1e^{i\theta_1}$ y $z +i = r_2e^{i\theta_2}$ . Entonces $f(z) = \sqrt{z^2 + 1} = \sqrt{r_1r_2}e^{i(\theta_1+\theta_2)/2}$ .
- Si no rodeamos ningún punto de la rama, después de una revolución, $f(z)\mapsto f(z)$ .
- Si rodeamos $z=i$ pero no $z = -i$ entonces $$ \sqrt{r_1}e^{i(\theta_1+2\pi)/2} = \sqrt{r_1}e^{i\theta_1/2}e^{\pi i} = -\sqrt{r_1}e^{i\theta_1/2} $$ Por lo tanto, $f(z)\mapsto -f(z)$ que tiene un valor múltiple
- Lo mismo ocurre cuando rodeamos $z=-i$ pero no $z=i$
- Rodeemos los dos puntos de ramificación. $$ \sqrt{r_1r_2}e^{i(\theta_1+\theta_2+2\pi+2\pi)/2} = \sqrt{r_1r_2}e^{i(\theta_1+\theta_2)/2}e^{2\pi i} = \sqrt{r_1r_2}e^{i(\theta_1+\theta_2)/2}\cdot 1 $$ Así que $f(z)\mapsto f(z)$ Todavía se valora la soltería.
Podríamos elegir $[i, \infty)$ y $[-i, -\infty)$ , pero desde el punto 4, hemos visto que recorrer ambos puntos devuelve la función a su valor original. Por lo tanto, podemos elegir un corte de rama finito, a saber, $[-i, i]$ .