基灵型 在数学中基灵型Killing form是在李群与李代数理论中起着基本作用的一个对称双线性形式它以数学家威廉基灵命名但事实上基灵型是埃利嘉当发现的而嘉当矩阵则属于威廉基灵