Assertion: spectrum's range | /r/HasProperty | closed
Facets:
Source sentences:
text: (The operator is semi-Fredholm if its range is closed and either its kernel or cokernel (or both) is finite-dimensional.)
text: (The operator is Fredholm if its range is closed and both its kernel and cokernel are finite-dimensional.)
text: (The operator is semi-Fredholm if its range is closed and either its kernel or cokernel (or both) is finite-dimensional.)
text: (The operator is Fredholm if its range is closed and both its kernel and cokernel are finite-dimensional.)