В математической теории групп Ли теорема ограничения Шевалле описывает функции на алгебре Ли, которые инвариантны относительно действия группы Ли, в терминах функций на подалгебре Картана.
Хамфрис (1980) дает доказательство, используя свойства представлений старшего веса. Крисс и Гинзбург (2010) приводят доказательство теоремы Шевалле, использующее геометрические свойства карты .