En una teoría de campo de gauge, una transformación de gauge es una aplicación diferenciable: