Otro caso importante se ve en el análisis funcional, con "G" siendo el grupo de los operadores unitarios en un espacio de Hilbert.