<human>:  Who was the first to prove that a Lie group is invariant under a transformation?
<bot>: That would be a mathematician named Hermann Weyl. He proved that the set of all matrices that preserve the inner product of two vectors is a Lie group. This is a special case of the general notion of an invariance group.