Mathematics · Ch 2 — Inverse Trigonometric Functions
Definition of Inverse Trigonometric Functions
Definition of Inverse Trigonometric Functions
1. Definition of Inverse Trigonometric Functions
Recall (Class XI) that a function has an inverse only when is bijective -- one-one (injective) and onto (surjective). If is bijective, its inverse is defined by
and the domain of equals the range of , while the range of equals the domain of .
Trigonometric functions are periodic, hence not one-one. Each of repeats its values infinitely often -- for instance -- so, viewed on the whole of (or wherever each is defined), none of them is one-one. A function that is not one-one has no inverse function in the ordinary sense: given , there is no single that "the" inverse can return, since could be -- infinitely many angles all share the same sine.
To obtain a genuine inverse function, the domain of the trigonometric function must first be restricted to a specific interval on which it becomes one-one, with its range unchanged (still onto its usual range). Different choices of interval are possible; each such restricted, bijective piece is called a branch of the inverse relation, and the value it returns is called a value of (or , etc.) on that branch. Exactly one branch, defined in the next section, is singled out by convention as the principal branch, and its values are the principal values -- these are what , , etc. mean whenever no other branch is stated.
General definition. If is restricted to an interval on which sine is one-one and onto , then for in that interval, means precisely: " is the angle, in the chosen branch, whose sine equals ." The same idea defines , , , and , once a branch is fixed for each.
Notation warning. The symbol (also written ) denotes the inverse sine function. It does not mean . This is one of the most common notational confusions in the whole chapter, and the "" in should always be read as "inverse of", never as an exponent.
Illustration. means: is the angle, in the principal branch , whose sine is . Note that as well, but lies outside this branch, so it is never returned as the value of .