外尔特征标公式 外尔特徵標公式Weyls character formula 描述緊李羣不可約表示的特徵標其名來自證明者赫尔曼外尔 定義羣G的表示r的特徵標為一函數 χ  G  C displaystyle chi Grightarrow C  χ  g   T r  r  g   displaystyle chi gTrrg 其中Tr 為線性算子之迹 由彼得外尔定理 可知緊李羣的任何不可約表示都是有限維的故迹之定義為線性代數中之定義 特徵標 χ 記住了表示 r 本身的重要訊息 外尔特徵標公式用羣G的其他資料來表達 χ  本文考慮複表示不失一般亦設其為酉表示因而不可約亦等價於不可分解即非二子表示之直和