核ker的定义