El teorema de la utilidad esperada (TUE), en primer lugar, establece una representación de la utilidad de la preferencia sobre las loterías. Esto es similar al establecimiento de la representación de la utilidad de la preferencia sobre paquetes de consumo deterministas en la teoría del consumidor. La representación (en ambos casos) es valiosa porque nos da herramientas como el álgebra y el cálculo para hacer análisis posteriores.
En segundo lugar, el EUT proporciona una forma funcional muy específica, es decir, el forma de utilidad esperada (Def 6.B.5), que es lineal en las probabilidades. Este resultado se debe principalmente al axioma de independencia (véase el paso 5 de la prueba de MWG).
En cuanto al uso del EUT, en lugar de pensar en cómo se utiliza cada axioma (por ejemplo, la independencia) para evaluar las loterías, yo vería todos los axiomas como un paquete. Cuando se dan dos loterías $L$ y $L'$ Los pondría a través de la función de utilidad esperada $U(\cdot)$ que da el EUT y clasificarlos en función de la salida de $U(\cdot)$ . Es lo mismo que utilizar funciones de utilidad ordinarias para evaluar la conveniencia de diferentes paquetes de consumo en la teoría del consumidor.
A pesar de lo dicho en el párrafo anterior, es cierto que el axioma de independencia desempeña un papel más importante tanto en la obtención del resultado EUT como en la limitación de su aplicabilidad.
Como has señalado en los comentarios, la independencia restringe el conjunto de curvas de indiferencia para que sean lineales y paralelas. Se ha demostrado que esto es inconsistente con muchos comportamientos observados empíricamente, sobre todo con la paradoja de Allais. Gran parte de lo que conocemos como economía del comportamiento comenzó como intentos de abordar inconsistencias de este tipo. Le señalo Burghart (2020) que descompone la independencia en una parte que da linealidad (que el autor llama " homotecia ") y otra parte que da paralelismo (" entre "), y demuestra que estas dos partes son necesarias y suficientes para la independencia.
Volviendo a sus raíces, la importancia del axioma de independencia radica en sus implicaciones para la teoría de juegos. Por ejemplo, Crawford (1990) muestra que, sin la independencia como propiedad de la preferencia subyacente, el equilibrio de Nash puede no existir.