2
$\begingroup$

A little something I'm trying to understand:

$\sin(\arcsin{x})$ is always $x$, but $\arcsin(\sin{x})$ is not always $x$

So my question is simple - why? Since each cancels the other, it would make sense that $\arcsin(\sin{x})$ would always result in $x$.

I'd appreciate any explanation. Thanks!

  • 2
    You do know that $\sin(x+2\pi k)=\sin\,x$ for any integer $k$, right?2011-11-08

1 Answers 1

3

It is a result of deriving an inverse function for non-bijective one. Let $f:X\to Y$ be some function, i.e. for each $x\in X$ we have $f(x)\in Y$. If $f$ is not a bijection then we cannot find a function $g:Y\to X$ such that $g(f(x)) = x$ for all $x\in X$ and $f(g(y)) =y$ for all $y\in Y$.

Consider your example, $f = \sin:\mathbb R\to\mathbb R$. It is neither a surjection (since $\sin (\mathbb R) = [0,1]$) nor an injection (since $\sin x = \sin(x+2\pi k)$ for all $k\in \mathbb Z$). As a result you cannot say that $\sin$ has an inverse. On the other hand, if you consider a restriction of $f^* = \sin|_{X}$ with $X = [-\pi/2,\pi/2]$ and a codomain $Y = [-1,1]$ then $f^*$ has an inverse since $ \sin|_{[-\pi/2,\pi/2]}:[-\pi/2,\pi/2]\to[-1,1] $ is an injection. As a result you obtain a function $\arcsin:[-1,1]\to [-\pi/2,\pi/2]$ which is the inverse for $f^* = \sin|_{[-\pi/2,\pi/2]}$.

In particular it means that $\sin (\arcsin{y})=f^*(\arcsin{y}) = y$ for all $y\in[-1,1]$. On the other hand, if you take $x = \frac{\pi}2+2\pi$ then $\sin x = 1$ and hence $\arcsin(\sin{x}) = \frac{\pi}2\neq x$. More precisely, $\arcsin$ is the partial inverse for $\sin$ with all following properties.