A composition operator CT on L2(X, Σ,m) is a bounded linear transformation induced by a mapping T : X → X via CTf = f∘ T.
If m has no atoms then the co-rank of CT (i.e., dim is either zero or infinite. As a corollary, when m has no atoms, CT is a Fredholm operator iff it is invertible.