Definition:Fredholm Operator

Definition
Let $U, V$ be vector spaces.

Let $T: U \to V$ be a linear transformation.

$T$ is a Fredholm operator :


 * $(1): \quad \map \ker T$ is finite-dimensional
 * $(2): \quad$ the quotient space $V / \Img T$ is finite-dimensional

where:
 * $\map \ker T$ denotes the kernel of $T$
 * $\Img T$ denotes the image of $T$.

Also see

 * Definition:Index of Fredholm Operator
 * Definition:Pseudoinverse of Linear Transformation
 * Linear Transformation has Finite Index iff Pseudoinverse exists