A compact operator is a linear operator between Banach spaces that maps bounded sets to relatively compact sets, meaning the closure of the image of the bounded set is compact. Compact operators are significant in functional analysis as they generalize finite-dimensional operators and have properties that resemble those of matrices, such as having a spectrum that consists of eigenvalues that accumulate only at zero.