Fredholm operator
= Fredholm operator
{wiki}
A closed operator is Fredholm when it has closed range and finite-dimensional kernel and cokernel. It is upper semi-Fredholm when only closed range and finite kernel are required, and lower semi-Fredholm when only closed range and finite cokernel are required.