kernel (linear operator)