Bounded inverse (source code)

= Bounded inverse
{title2=$K^{-1}$}

An invertible <bounded linear operator> has a <bounded inverse> when $\|u\|\le C\|Ku\|$ for all $u$.