Teorema del punt fix de Kakutani

De Viquipèdia
Dreceres ràpides: navegació, cerca

Dins l'entorn de l'anàlisi matemàtica, el teorema del punt fix de Kakutani (anomenat així en honor a 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 del 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[modifica | modifica el codi]

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 \varphi: X\rightarrow 2^I s'anomena funció multivaluada.

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

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

Enunciat original[modifica | modifica el codi]

Sigui S un subconjunt no buit, compacte i convex de l'espai euclidià \textstyle\mathbb{R}^n i \varphi: S\rightarrow 2^S una funció multivaluada superiorment semicontínua, convexa i tal que φ (x) és no buit per a tot x ∈ S. Aleshores φ té un punt fix.


SHIZUO Kakutani (1941)

Enunciat alternatiu[modifica | modifica el codi]

Sigui S un subconjunt no buit, compacte i convex de l'espai euclidià \textstyle\mathbb{R}^n i \varphi: S\rightarrow 2^S una funció multivaluada amb una gràfica tancada i tal que φ (x) és no buit i convex per a tot x ∈ S. Aleshores φ té un punt fix.


SHIZUO Kakutani (1941)

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[modifica | modifica el codi]

Referències[modifica | modifica el codi]

  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.