J'ai rencontré un lemme dans le papier infoGAN . Je ne comprends pas la dérivation du lemme 5.1 dans l'addendum du document. Il se déroule comme suit (inclus en png):
Je ne comprends pas la dernière étape. Pourquoi peut-on tirer dans l'intégrale la plus intérieure, en la transformant en ? Quelles sont les conditions de régularité appropriées de ?
Réponses:
Considérez la différence obtenu en déplaçant dans l' intégrale , et en prenant la différence avec remplacé par . Conditionner sur , Cet objet intérieur est antisymétrique après l'échange des variables fictives et
la source
Ou, après la troisième ligne
Échangez et puis échangez l'ordre des variables. Terminéx x′
la source
Eh bien, je pense que ce sera plus intuitif si nous dérivons l'équation inversement comme
la source
L'assertion dit vraiment:Ex∼X,y∼Y|x[f(x,y)]=Ex∼X,y∼Y|x,x′∼X|y[f(x′,y)](1)
Le résultat découle du fait que a la même distribution que , comme le montre: Peu de régularité est requise ici à part l'existence de l'espérance .(X,Y) (X′,Y) PX′|Y(z|y)=∫xPX,Y,X′(x,y,z)PY(y)dx=(2)∫xPX|Y(x|y)PX|Y(z|y)dx=PX|Y(z|y). Ef(X,Y)
la source