"La fonction qui envoie x sur x², à arguments dans R et images dans R est une bijection de R dans R+."
Euuuh, non. 
Même si tu restreint l'ensemble d'arrivé à R+, c'est pas une bijection, mais au mieux une surjection.
Faudrait restreindre l'ensemble de départ à R+ également, et là, ce serait vraiment plus la même fonction.