Compact operators are linear transformations between Banach spaces that map bounded sets to relatively compact sets, meaning their image has compact closure. They play a crucial role in functional analysis, particularly in the spectral theory of operators, as they generalize the notion of matrices to infinite-dimensional spaces, often having discrete spectrum except possibly at zero.