Why must a function be one-to-one to have an inverse, and what happens if it isn't?
Think about your answer, then reveal below.
Model answer: A function must be one-to-one because the inverse must assign a unique output to each input. If two inputs a ≠ b both map to the same output (f(a) = f(b)), the inverse can't decide which input to return — it would need to produce two outputs for one input, violating the definition of a function. If a function isn't one-to-one over its full domain, you can still define a partial inverse by restricting the domain to a region where it is one-to-one, as with restricting x² to x ≥ 0 to define √x.
The inverse function is itself a function, so it must pass the vertical line test — each input maps to exactly one output. Non-one-to-one functions create ambiguity: the inverse at an output value c doesn't know which of the multiple preimages to return. Domain restriction resolves this by discarding the ambiguous inputs. This is exactly why arcsin is defined only on [−π/2, π/2] — sin is not one-to-one over all reals, so you pick the interval where it is.