Definition:Inverse Hyperbolic Cosine/Real/Definition 1

Definition
Let $\cosh: \R \to \R_{\ge 1}$ denote the hyperbolic cosine as defined on the set of real numbers.

The inverse hyperbolic cosine is a multifunction defined as:


 * $\forall x \in \R_{\ge 1}: \cosh^{-1} \left({x}\right) = \left\{{y \in \R: x = \cosh \left({y}\right)}\right\}$

Also see

 * Definition:Real Inverse Hyperbolic Sine
 * Definition:Real Inverse Hyperbolic Tangent
 * Definition:Real Inverse Hyperbolic Cotangent
 * Definition:Real Inverse Hyperbolic Secant
 * Definition:Real Inverse Hyperbolic Cosecant