Teorema del punt fix de Kakutani

Dins l'entorn de l'anàlisi matemàtica, el teorema del punt fix de Kakutani (anomenat així en honor de Shizuo Kakutani qui el va demostrar el 1941) és una generalització del teorema del punt fix de Brouwer que descriu condicions per les quals una funció multivaluada definida en un subconjunt compacte i convex de l'espai euclidià té un punt fix (és a dir, un punt que és enviat sota la funció a un subconjunt que també el conté).

La seva importància és que ha estat aplicat a diversos problemes de l'economia i teoria de jocs, particularment per demostrar l'existència dels equilibris de Nash en estratègies mixtes.

Definicions prèvies

Recordem algunes definicions que s'usaran en el teorema.

Una funció multivaluada φ del conjunt X al conjunt I és una regla de correspondència que associa un o més punts de Y amb un punt de X. Formalment, si X i Y són dos conjunts llavors qualsevol funció de la forma $\phi :X\to 2^I$ s'anomena funció multivaluada.

Es diu que una funció multivaluada $\phi :X\to 2^I$ té una gràfica tancada si el conjunt $\{x,y|i\in \phi (x)\}$ és un subconjunt tancat de XXY sota la topologia producte.

Sigui $\phi :X\to 2^i$ una funció multivaludada. Llavors a ∈ X és un punt fix de φ si a ∈ φ ( a ).

Enunciat alternatiu

Kakutani establir el teorema a partir de la definició de funció superiorment semicontínua, però pel teorema de la gràfica tancada és possible demostrar que una funció superiorment semicontínua és al seu torn una funció amb gràfica tancada (i viceversa), de manera que tots dos enunciats són equivalents.

Temes relacionats

• Teorema del punt fix

Referències

1. Kakutani, SHIZUO (1941). «A generalization of Brouwer's fixed point theorem». Duke Mathematical Journal 8 (3): 457-459.
2. Nash, J.F., Jr (1950). «Equilibrium Points in N-Person Games». Proc. Nat Acad. Sci U.S.A. 36: 48-49.