1: \begin{definition}
2: \label{def:imp.vol}
3: \rm
4: {}{For each fixed $\log$ spot $y$, time to maturity $t$, and $\log$ strike price $k$}, the \emph{Implied Volatility} is defined implicitly as the unique number $\sig^\eps \in \Rb^+$ such that
5: \begin{align}
6: u^{BS}(\sig^\eps)
7: &= u^\eps , \label{eq:imp.vol.def}
8: \end{align}
9: where $u^\eps$ is as given in Theorem \ref{thm:u.eps}.
10: \end{definition}