Do I need axiom of choice to construct $\sqrt x$? I had a lecture concerning axiom of choice, and the teacher says that an equivalent property is that surjective maps are invertible at right. After, as an example, we had the function $\sqrt x$. The example goes as follow : $x\mapsto x^2$ is surjective $\mathbb R\to \mathbb R^+$. We are looking for function $f:\mathbb R^+\to \mathbb R$ s.t. $f(x)^2=x$. There are infinitely many such function, and there existence require axiom of choice. Strictly speaking, $x\mapsto \sqrt x$ is rather a representative of the class of the function $f$ s.t. $f(x)^2=x$ than a function
Question : For fix $x$, the equation $y^2=x$ has always $2$ solutions. Let denote $A_x=\{y\mid y^2=x\}$. Let $g(x)=\max A_x$. Then, $g(x)$ is really a function and not a representative. Moreover, I didn't need axiom of choice, right ? So why should we see an inverse as a representative class rather than as a function ?
 A: We can prove, without the axiom of choice, that $A_x=\{y\in\Bbb R\mid y^2=x\}$ has at most $2$ elements for every $x\geq 0$.
Since $\Bbb R$ is linearly ordered, there is a "largest" and "smallest" of these two elements, so we can choose the largest. The axiom of choice is not needed.
Well, you might say, what happens when we want to consider $\Bbb C$ instead? Since there is no order on $\Bbb C$, then how do we do that? Well. There is no order which is compatible with the field, but there is an order on the set $\Bbb C$ (e.g. the lexicographic ordering) which we can fix and use to make our choices, of course there is some algebraic issue there with choosing a root for $-1$, but this is a single additional choice we need to make.
This works for any $\sqrt[n]x$ function as well, since there are at most $n$ roots in $\Bbb R$.

To your other question, choosing a representative is in fact a function. It might not be spelled out in fancy formulas like $f(x)=x^2$ is given. But it is a function. That is the whole point of a representative, that it is unique for any two equivalent objects (in this case, any set of numbers with the same square).
I guess that whomever said "representative" to you was trying to point out that this is not somehow a unique choice, and to some extent we could also require the root to be the negative root. Although there are algebraic arguments against that (for example, you can't take $\sqrt{\sqrt 4}$ since $-\sqrt2$ does not have a real root).
A: "For fix x, the equation $y^2=x$ has always 2 solutions.":  Not true for $x = 0$.  This is the only defect of the statement.
There is a minor defect in the example of choosing the sign of each preimage of the square root function.  As you have observed, the elements of the preimage sets are distinguishable and there is a finitely specifiable function that selects one element from each preimage set to be the image of the inverse function.
Nevertheless, the example is useful in that it describes a natural setting in which you have an infinite collection of sets and a need to select an element from each member of the collection.  It would be better if we could make these preimages lie in some abstract set, so that you could not "sneak in" other things you know about $\mathbb{R}$, but that can be too abstract to get started with these ideas.
Suppose for each real number there is a two element set and all those sets are pairwise disjoint.  Can you make a set containing one element from each of those two element sets?  (To really attack this, we have to be clear about what our rules for making new sets from old sets are.  This is why one talks about AC in the context of a particular set theory, like ZF.)  The short version is: One can write down a string of choices for finitely many sets (by literally writing them down), but you can't write down infinitely long strings of choices, so either you can't make the set, or you have to have a new axiom that lets you make that set.  AC is a new axiom that lets you make that set.
There are several choice axioms an addition to AC.  Two well studied ones are: 


*

*The axiom of dependent choice is weaker than AC.  This can be used, for instance, to make a sequence of points, one from each of a sequence of nested open intervals (in, for example, $\mathbb{R}$).

*The axiom of countable choice is weaker than dependent choice.  It allows the selection of an element from each set in a countable collection of sets, so can be seen as the "limited to countable collections" version of AC.


All of these allow us to write down infinitely long strings of choices, with variations on how long and whether the choices can be interdependent.  For the example above of continuum-many choices without interdependence, we can use the axiom of choice restricted to collections having cardinality no greater than that of the reals.  This is much weaker than full AC.  (For instance, this would not be strong enough to choose an element from each set in the powerset of $\mathbb{R}$.)
