im和ker在数学上是啥