seja f:[0, infinito[ -> R f(x)= raiz quadrada de x.

dizer se injetora e/ou sobrejetora demonstrao: Tome p pertencente a R+ e q pertencente a R+. ento raiz quadrada de p= raiz quadrada de q. Isso implica p=q. Portanto, f injetora. Tome x pertencente a R+ tal que x= y. ento f(x)= raiz quadrada de y. ento f(x)=y implica y pertence a Im(f). Logo, f sobrejetora. Se f injetora e sobrejetora, f bijetora, logo admite inversa. seja g essa inversa: utilizando a regra prtica para obter a lei de g(x), permutamos x e y: ento x= +/- raiz quadrada de y. Como -raiz de y nao convm, pois no pertence a R+, g(x)= raiz quadrada de y define a inversa de f.