Hola
Tienes que perdonarme porque probablemente estoy muy espeso. Y es que sigo sin tener \( 100 \) por \( 100 \) clara tu notación.
Entiendo que si tenemos un conjunto cualquiera \( X \), un grupo \( G \) y una acción:
\( G\times X\longrightarrow{}X \)
eso nos induce una representación natural de \( G \):
\( \phi:G\longrightarrow{}Per(X) \)
\( \phi(g)=f_g \) con \( f_g(x)=gx \) siendo \( Per(X) \) le conjunto de aplicaciones biyectivas de \( X \).
Pero en todo esto todavía no tengo claro
exactamente a que llamas \( L^2(X). \)
Saludos.
P.D. Tengo algo oxidada la teoría de representación.
