Weylsche Charakterformel

In der Mathematik ist die Weylsche Charakterformel oder Charakterformel von Weyl eine Formel zur Berechnung des Charakters einer Darstellung aus ihrem höchsten Gewicht.

Sie wurde 1926 von Hermann Weyl bewiesen und folgt auch aus dem Atiyah-Bott-Fixpunktsatz.