外尔特征标公式

外尔特征标公式（Weyl's character formula) 描述紧李群不可约表示的特征标。其名来自证明者赫尔曼·外尔。群G的表示r的特征标为一函数 ， ，其中Tr 为线性算子之迹。（由彼得-外尔定理 可知紧李群的任何不可约表示都是有限维的；故迹之定义为线性代数中之定义。