A continuación se presenta un lema que considero verdadero y que me gustaría utilizar para derivar otros resultados
Toma dos juegos cualesquiera en forma extensiva (información completa) $\Gamma$ y $\Gamma'$ Diferentes sólo a través de sus colecciones de conjuntos de información $\mathcal{H}$ y $\mathcal{H'}$ . Supongamos que para cada nodo de decisión $x$ en el conjunto de nodos de decisión $\mathcal{X} = \mathcal{X}'$ , $H(x)$ es una partición más fina del conjunto de acciones $c(x) = c'(x)$ que $H'(x)$ .
Entonces, para cada equilibrio perfecto de subjuego resultado de $\Gamma$ existe un equilibrio subjuego perfecto de $\Gamma'$ con el mismo resultado (pero lo contrario no tiene por qué ser cierto).
Podría intentar escribir una prueba completa, pero parece ser una afirmación lo suficientemente básica y no quiero reinventar la rueda (o no rendir homenaje a las pruebas anteriores). Así que mi pregunta es:
- ¿Conoce usted alguna referencia en la que se demuestre ese resultado (o tal vez se refute en caso de que yo haya entendido algo mal)?
Editar : Sólo me interesan los equilibrios de estrategias puras.