Fredholm's theorem

Fredholm's theorem is a result in the field of functional analysis, named after the Swedish mathematician Ivar Fredholm. It characterizes bounded linear operators on a Banach space (or a Hilbert space) in terms of the properties of their kernels, images, and the existence of continuous inverses. The theorem is primarily concerned with the properties of compact operators, which are operators that map bounded sets to relatively compact sets.