Definition:Inverse Sine/Real/Arcsine

From ProofWiki
Jump to navigation Jump to search


Although this article appears correct, it's inelegant. There has to be a better way of doing it.
Rewrite this in less discursive terms
You can help Proof Wiki by redesigning it.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{Improve}} from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.


Definition

Arcsine Function

From Shape of Sine Function, we have that $\sin x$ is continuous and strictly increasing on the interval $\closedint {-\dfrac \pi 2} {\dfrac \pi 2}$.

From Sine of Half-Integer Multiple of Pi:

$\map \sin {-\dfrac {\pi} 2} = -1$

and:

$\sin \dfrac {\pi} 2 = 1$


Therefore, let $g: \closedint {-\dfrac \pi 2} {\dfrac \pi 2} \to \closedint {-1} 1$ be the restriction of $\sin x$ to $\closedint {-\dfrac \pi 2} {\dfrac \pi 2}$.

Thus from Inverse of Strictly Monotone Function, $g \paren x$ admits an inverse function, which will be continuous and strictly increasing on $\closedint {-1} 1$.


This function is called arcsine of $x$ and is written $\arcsin x$.


Thus:

The domain of $\arcsin x$ is $\closedint {-1} 1$
The image of $\arcsin x$ is $\closedint {-\dfrac \pi 2} {\dfrac \pi 2}$.


Also denoted as

In computer software packages, the notation $\operatorname {asin}$ or $\operatorname {asn}$ can sometimes be found.


Caution

There exists the a popular but misleading notation $\sin^{-1} x$, which is supposed to denote the inverse sine function.

However, note that as $\sin x$ is not an injection (even though by restriction of the codomain it can be considered surjective), it does not have an inverse.

The $\arcsin$ function as defined here has a well-specified image which (to a certain extent) is arbitrarily chosen for convenience.

Therefore it is preferred to the notation $\sin^{-1} x$, which (as pointed out) can be confusing and misleading.

Sometimes, $\operatorname {Sin}^{-1}$ (with a capital $\text S$) is taken to mean the same as $\arcsin$, although this can also be confusing due to the visual similarity between that and the lowercase $\text s$.


Also see

  • Results about inverse sine can be found here.


Other inverse trigonometrical ratios


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Definition:Inverse_Sine/Real/Arcsine&oldid=565124"