@Angelo Mark En tu comentario a @Elekko dices
$$x^2=9 \Rightarrow x=9^{\frac{1}{2}}= \sqrt{9}=3$$ sin embargo, $x^2=9$ no implica que $x=9^{\frac{1}{2}}$ o $x= \sqrt{9}$, aunque generalmente significan exactamente lo mismo.
La pregunta principal no es si $x^{1/n}=\sqrt[n]x$ o no, sino cuál es la función inversa de $x^n$. El requisito mínimo para que una función $f(x)$ sea invertible en un dominio dado es ser inyectiva (o uno a uno, es decir, $f(x)=f(y)$ si y solo si $x=y$) en ese dominio.
Una función $f(x) =x^n$ es inyectiva para todos los números reales, es decir, $\forall x\in\mathbb{R}$ cuando $n$ es impar, es decir, $n=2m-1,m\in \mathbb{N}$ y por lo tanto $f(x)=x^{2m-1}$ tiene una función inversa $f^{-1}(x) =x^{1\over{2m-1}},\forall x\in\mathbb{R} =\sqrt[2m-1]{x}.
Sin embargo, para un $n$ par, es decir, $n=2m,m\in \mathbb{N}$, la función $f(x) =x^n$ no es inyectiva en el dominio de todos los números reales, ya que $f(x)=f(-x)$ y por lo tanto no hay función inversa. Afortunadamente, si tomamos solo la mitad del dominio, ya sea todos los números reales positivos o todos los números reales negativos, la función $f(x) =x^{2m}$ será inyectiva en esa mitad de dominio y por lo tanto tendrá una inversa. En la mitad del dominio negativa, la inversa será $f^{-1}(x)=-x^{1\over 2m}=-\sqrt[2m]x$ y en la mitad del dominio positiva $f^{-1}(x)=x^{1\over 2m}=\sqrt[2m]x.
Volviendo a tu ejemplo, cuando escribes $x^2=9 \Rightarrow $ ya sea $x=9^{\frac{1}{2}}$ o $x= \sqrt{9}$ automáticamente asumes que $x^2$ tiene una función inversa en el dominio de todos los números reales, lo cual es incorrecto. El problema se ve fácilmente si lo escribes de la siguiente manera $x^2=(\pm x)^2=9\Rightarrow \pm x=\sqrt 9=9^{1/2}$ o $x=\pm\sqrt 9=\pm 9^{1/2}$
@kilimanjaro Tanto $\sqrt{x}$ como $x^{1/2}$ son funciones. Una función asocia una, y solo una, salida a cualquier entrada particular.
Las funciones multivaluadas no son funciones en un sentido regular y solo añaden confusiones para este tipo de discusión. Además, ninguna de las notaciones de raíces se considera comúnmente multivaluada. Puedes definir una así y otra así para una discusión abstracta muy específica donde necesitas distinguirlas, pero fuera de esa discusión abstracta (es decir, cuando hablas con "personas normales") no es así.