Es posible que desee ser un poco más preciso sobre lo que quiere decir con "Principio de Revelación", ya que hay muchas formulaciones del "Principio de Revelación", algunas de las cuales son más fuertes que otras. Cada una de estas formulaciones hace un reclamo diferente y se basa en un conjunto particular de supuestos. Por supuesto, la afirmación a menudo no será cierta si algunas de las suposiciones son falsas.
(Lo siguiente es de notas que obtuve de una clase de microeconomía).
Considere, por ejemplo, la siguiente versión del principio de revelación, que es de Repullo (1985), Review of Economic Studies:
gΓ≡(g,U1,…,Un)gs:Θ→ShgΘs∗:Θ→Shgθ∈Θ
La parte audaz es importante. Si no está satisfecho, todavía puede haber un equilibrio sin decir la verdad en el mecanismo directo equivalente. Se proporciona un ejemplo en Repullo (1985), Review of Economic Studies, páginas 223-229.
A≡{a,b,c,d}
Θ1≡{θ′1,θ′′1}
Θ2≡{θ′2,θ′′2}
u1(⋅,θ′1)u1(⋅,θ′′1)u2(⋅,θ′2)u2(⋅,θ′′2)a2121b4022c2240d4444
S1≡{s′1,s′′1,s′′′1}
S2≡{s′2,s′′2,s′′′2}
La forma del juego es
s′1s′′1s′′′1s′2accs′′2bdbs′′′2bca
Encendido puede comprobar que lo siguiente es un mecanismo directo equivalente
θ1θ1θ′2acθ′′2bd
Sin embargo, cuando los tipos son , aunque decir la verdad es una estrategia dominante, cualquier otro informe de preferencias también es una estrategia dominante . Esto puede ser bastante molesto ya que significa que para alguna configuración de los tipos, decir la verdad es solo un equilibrio entre otros. Como consecuencia, no tenemos ninguna garantía real de que se juegue "decir la verdad" (incluso puede ser que decir la verdad esté dominado por Pareto por otro equilibrio. Usar un argumento de punto focal, esto puede socavar aún más la relevancia de la verdad). diciendo equilibrio).(θ′1,θ′2)
El problema anterior se debe al hecho de que en el juego original, algunas estrategias nunca se juegan, lo que se descarta si es surjective. Entonces, la versión de Repullo del Principio de Revelación (que requiere que cada resultado de equilibrio de estrategia dominante del juego equivalente esté entre el resultado de equilibrio del juego inicial para cada configuración posible de los tipos ) solo se cumple si la función de selección de equilibrio es surjective, y falla de lo contrario.s∗