Kernel of a linear operator