tenemos esoT (f (t1) ⋯ f(tnorte) ) = T ( f (tσ( 1 )) ⋯ f(tσ( norte)) )
por cada permutaciónσ
. También sabemos que si tenemos alguna funciónF(t1, . . . ,tnorte)
, entonces
∫tt0dt1⋯∫tt0dtnorte F(tσ( 1 ), . . . ,tσ( norte)) =∑σ∫tt0dt1∫t1t0dt2⋯∫tnorte− 1t0dtnorteF(tσ( 1 ), . . . ,tσ( norte))
Así tenemos
∫tt0dt1⋯∫tt0dtnorte T (f (t1) ⋯ f(tnorte) )====∑σ∫tt0dt1∫t1t0dt2⋯∫tnorte− 1t0dtnorte T (f(tσ( 1 )) ⋯ f(tσ( norte)) )∑σ∫tt0dt1∫t1t0dt2⋯∫tnorte− 1t0dtnorte T (f(t1) ⋯ f(tnorte) )∑σ∫tt0dt1∫t1t0dt2⋯∫tnorte− 1t0dtnorte F(t1) ⋯ f(tnorte)norte!∫tt0dt1∫t1t0dt2⋯∫tnorte− 1t0dtnorte F(t1) ⋯ f(tnorte)
de donde se sigue inmediatamente la identidad.
jahan claes
intercambio