西米尔元.给定 formula_1 在向量空间 "V" 上的 "ρ" （允许无穷维），将 ρ(Ω) 称为 "ρ" 的卡西米尔不变量，其为 V 上的线性算子，且由下式给出：此处假定了 "B" 为基灵型，否则必须指明 "B".该构造的特定形式，在微分几何和中有重要作用。假设连通李群 "G" 的李代数 formula_1 作用在微分流形 "M" 上，则在 "M" 的连续函数空间上，有 "G" 相应的表示 "ρ". formula_1 的元素均由 "M" 上的一阶微分算子表示，于是，上式给出 "ρ" 的卡