Compact operator (source code)

= Compact operator
{wiki}

A bounded operator is compact when it maps the unit ball to a relatively compact set.