the function is clearly continuous, since each component function is continuous. there is a theorem that says that a continuous real-valued function is injective if and only if it is strictly monotonic. but im not sure if there is an analogous theorem for