teorema minimax y consecuencias - universidad de … · n conjuntos cerrados, convexos en un...

46
TEOREMA MINIMAX Y CONSECUENCIAS Luciano Abad´ ıas Ullod (UZ) Isaac ´ Alvarez Romero (UCM) Juan Ram´ on Balaguer Tornel (UMU) Daniel Lear Claveras (UZ) Eva Primo T´ arraga (UV) Juan Luis R´ odenas Pedregosa (UCM) La Manga 18 de abril de 2012 Supervisado por Prof. Antonio Martin´ on Cejas II Escuela Taller de An´ alisis Funcional y Aplicaciones II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 1 / 19

Upload: danghanh

Post on 04-Oct-2018

233 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

TEOREMA MINIMAX Y CONSECUENCIAS

Luciano Abadıas Ullod (UZ)Isaac Alvarez Romero (UCM)

Juan Ramon Balaguer Tornel (UMU)Daniel Lear Claveras (UZ)Eva Primo Tarraga (UV)

Juan Luis Rodenas Pedregosa (UCM)

La Manga

18 de abril de 2012

Supervisado por

Prof. Antonio Martinon Cejas

II Escuela Taller de Analisis Funcional y AplicacionesII Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 1 / 19

Page 2: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

TEOREMA DE KLEE

1 TEOREMA DE KLEEDefinicionesTeorema de Klee

2 TEOREMA MINIMAXTeorema de la AlternativaTeorema Minimax

3 PARES DE VON NEUMANN

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 2 / 19

Page 3: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

TEOREMA DE KLEE Definiciones

Definiciones

Sea f : X −→ R, donde X es un subconjunto de un espacio vectorialtopologico.

Definicion

Diremos que f es casi-convexa si dado λ ∈ R, el conjunto de nivelCλ := {x ∈ X : f (x) ≤ λ} es convexo en X.

Definicion

Diremos que f es superiormente semicontinua si dado λ ∈ R, elconjunto de nivel Sλ := {x ∈ X : f (x) < λ} es abierto en X.

Diremos que f es casi-concava si y solo si −f casi-convexa.Diremos que f es inferiormente semicontinua si y solo si −f superiormentesemicontinua.

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 3 / 19

Page 4: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

TEOREMA DE KLEE Definiciones

Definiciones

Sea f : X −→ R, donde X es un subconjunto de un espacio vectorialtopologico.

Definicion

Diremos que f es casi-convexa si dado λ ∈ R, el conjunto de nivelCλ := {x ∈ X : f (x) ≤ λ} es convexo en X.

Definicion

Diremos que f es superiormente semicontinua si dado λ ∈ R, elconjunto de nivel Sλ := {x ∈ X : f (x) < λ} es abierto en X.

Diremos que f es casi-concava si y solo si −f casi-convexa.Diremos que f es inferiormente semicontinua si y solo si −f superiormentesemicontinua.

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 3 / 19

Page 5: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

TEOREMA DE KLEE Definiciones

Definiciones

Sea f : X −→ R, donde X es un subconjunto de un espacio vectorialtopologico.

Definicion

Diremos que f es casi-convexa si dado λ ∈ R, el conjunto de nivelCλ := {x ∈ X : f (x) ≤ λ} es convexo en X.

Definicion

Diremos que f es superiormente semicontinua si dado λ ∈ R, elconjunto de nivel Sλ := {x ∈ X : f (x) < λ} es abierto en X.

Diremos que f es casi-concava si y solo si −f casi-convexa.Diremos que f es inferiormente semicontinua si y solo si −f superiormentesemicontinua.

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 3 / 19

Page 6: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

TEOREMA DE KLEE Definiciones

Definiciones

Sea f : X −→ R, donde X es un subconjunto de un espacio vectorialtopologico.

Definicion

Diremos que f es casi-convexa si dado λ ∈ R, el conjunto de nivelCλ := {x ∈ X : f (x) ≤ λ} es convexo en X.

Definicion

Diremos que f es superiormente semicontinua si dado λ ∈ R, elconjunto de nivel Sλ := {x ∈ X : f (x) < λ} es abierto en X.

Diremos que f es casi-concava si y solo si −f casi-convexa.

Diremos que f es inferiormente semicontinua si y solo si −f superiormentesemicontinua.

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 3 / 19

Page 7: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

TEOREMA DE KLEE Definiciones

Definiciones

Sea f : X −→ R, donde X es un subconjunto de un espacio vectorialtopologico.

Definicion

Diremos que f es casi-convexa si dado λ ∈ R, el conjunto de nivelCλ := {x ∈ X : f (x) ≤ λ} es convexo en X.

Definicion

Diremos que f es superiormente semicontinua si dado λ ∈ R, elconjunto de nivel Sλ := {x ∈ X : f (x) < λ} es abierto en X.

Diremos que f es casi-concava si y solo si −f casi-convexa.Diremos que f es inferiormente semicontinua si y solo si −f superiormentesemicontinua.

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 3 / 19

Page 8: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

TEOREMA DE KLEE Teorema de Klee

Teorema de Klee

Propiedad

f casi-convexa en X si y solo sif (µx1 + (1− µ)x2) ≤ max{f (x1), f (x2)} ∀x1, x2 ∈ X , ∀µ ∈ [0, 1]

Teorema de Klee

Sean C y C1, . . . ,Cn conjuntos cerrados, convexos en un Espacio Euclıdeocumpliendo:

(i) C ∩⋂n

i=1,i 6=j Ci 6= ∅ para j = 1, 2, . . . , n

(ii) C ∩⋂n

i=1 Ci = ∅Entonces C *

⋃ni=1 Ci

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 4 / 19

Page 9: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

TEOREMA DE KLEE Teorema de Klee

Teorema de Klee

Propiedad

f casi-convexa en X si y solo sif (µx1 + (1− µ)x2) ≤ max{f (x1), f (x2)} ∀x1, x2 ∈ X , ∀µ ∈ [0, 1]

Teorema de Klee

Sean C y C1, . . . ,Cn conjuntos cerrados, convexos en un Espacio Euclıdeocumpliendo:

(i) C ∩⋂n

i=1,i 6=j Ci 6= ∅ para j = 1, 2, . . . , n

(ii) C ∩⋂n

i=1 Ci = ∅Entonces C *

⋃ni=1 Ci

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 4 / 19

Page 10: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

TEOREMA MINIMAX

1 TEOREMA DE KLEEDefinicionesTeorema de Klee

2 TEOREMA MINIMAXTeorema de la AlternativaTeorema Minimax

3 PARES DE VON NEUMANN

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 5 / 19

Page 11: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

TEOREMA MINIMAX Teorema de la Alternativa

Teorema de la Alternativa

Teorema

Sea X e Y dos subconjuntos convexos de espacios vectoriales topologicos,con Y compacto y sean f , f , g , g : X × Y −→ R satisfaciendo:

(i) f (x , y) ≤ f (x , y) ≤ g(x , y) ≤ g(x , y), ∀(x , y) ∈ X × Y

(ii) y 7−→ f (x , y) inferiormente semicontinua y casi-convexa en Y , paracada x ∈ X fijo,

(iii) x 7−→ f (x , y) casi-concava en X , para cada y ∈ Y fijo,

(iv) y 7−→ g(x , y) casi-convexa en Y , para cada x ∈ X fijo,

(v) x 7−→ g(x , y) superiormente semicontinua y casi-concava en X , paracada y ∈ Y fijo.

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 6 / 19

Page 12: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

TEOREMA MINIMAX Teorema de la Alternativa

Teorema de la Alternativa

Entonces dado λ ∈ R se cumple la siguiente alternativa:

A ∃x ∈ X tal que ∀y ∈ Y , g(x , y) ≥ λ.

B ∃y ∈ Y tal que ∀x ∈ X , f (x , y) ≤ λ.

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 7 / 19

Page 13: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

TEOREMA MINIMAX Teorema de la Alternativa

Teorema de la Alternativa

Demostracion:Suponemos que no se cumplen ninguna de las afirmaciones. Consideramosdos familias de conjuntos:

{Uy := {x ∈ X | g(x , y) < λ} | y ∈ Y }, recubrimiento abierto de X .

{Vx := {y ∈ Y | f (x , y) > λ} | x ∈ X}, recubrimiento abierto de Y .

Sea {Vxk : k = 1, . . . ,m} un subrecubrimiento finito de Y .Llamamos C := Conv{xk : k = 1, . . . ,m} ⊂ L < X con dimL <∞.Consideramos {Uy ∩ L}, es un recubrimiento abierto de C.Sea {Ui | i = 1, . . . , n} un subrecubrimiento finito tal queC *

⋃ni=1,i 6=j Ui ,∀j ∈ {1, . . . , n}.

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 8 / 19

Page 14: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

TEOREMA MINIMAX Teorema de la Alternativa

Teorema de la Alternativa

Demostracion:Suponemos que no se cumplen ninguna de las afirmaciones. Consideramosdos familias de conjuntos:

{Uy := {x ∈ X | g(x , y) < λ} | y ∈ Y }, recubrimiento abierto de X .

{Vx := {y ∈ Y | f (x , y) > λ} | x ∈ X}, recubrimiento abierto de Y .

Sea {Vxk : k = 1, . . . ,m} un subrecubrimiento finito de Y .

Llamamos C := Conv{xk : k = 1, . . . ,m} ⊂ L < X con dimL <∞.Consideramos {Uy ∩ L}, es un recubrimiento abierto de C.Sea {Ui | i = 1, . . . , n} un subrecubrimiento finito tal queC *

⋃ni=1,i 6=j Ui ,∀j ∈ {1, . . . , n}.

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 8 / 19

Page 15: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

TEOREMA MINIMAX Teorema de la Alternativa

Teorema de la Alternativa

Demostracion:Suponemos que no se cumplen ninguna de las afirmaciones. Consideramosdos familias de conjuntos:

{Uy := {x ∈ X | g(x , y) < λ} | y ∈ Y }, recubrimiento abierto de X .

{Vx := {y ∈ Y | f (x , y) > λ} | x ∈ X}, recubrimiento abierto de Y .

Sea {Vxk : k = 1, . . . ,m} un subrecubrimiento finito de Y .Llamamos C := Conv{xk : k = 1, . . . ,m} ⊂ L < X con dimL <∞.

Consideramos {Uy ∩ L}, es un recubrimiento abierto de C.Sea {Ui | i = 1, . . . , n} un subrecubrimiento finito tal queC *

⋃ni=1,i 6=j Ui ,∀j ∈ {1, . . . , n}.

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 8 / 19

Page 16: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

TEOREMA MINIMAX Teorema de la Alternativa

Teorema de la Alternativa

Demostracion:Suponemos que no se cumplen ninguna de las afirmaciones. Consideramosdos familias de conjuntos:

{Uy := {x ∈ X | g(x , y) < λ} | y ∈ Y }, recubrimiento abierto de X .

{Vx := {y ∈ Y | f (x , y) > λ} | x ∈ X}, recubrimiento abierto de Y .

Sea {Vxk : k = 1, . . . ,m} un subrecubrimiento finito de Y .Llamamos C := Conv{xk : k = 1, . . . ,m} ⊂ L < X con dimL <∞.Consideramos {Uy ∩ L}, es un recubrimiento abierto de C.

Sea {Ui | i = 1, . . . , n} un subrecubrimiento finito tal queC *

⋃ni=1,i 6=j Ui ,∀j ∈ {1, . . . , n}.

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 8 / 19

Page 17: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

TEOREMA MINIMAX Teorema de la Alternativa

Teorema de la Alternativa

Demostracion:Suponemos que no se cumplen ninguna de las afirmaciones. Consideramosdos familias de conjuntos:

{Uy := {x ∈ X | g(x , y) < λ} | y ∈ Y }, recubrimiento abierto de X .

{Vx := {y ∈ Y | f (x , y) > λ} | x ∈ X}, recubrimiento abierto de Y .

Sea {Vxk : k = 1, . . . ,m} un subrecubrimiento finito de Y .Llamamos C := Conv{xk : k = 1, . . . ,m} ⊂ L < X con dimL <∞.Consideramos {Uy ∩ L}, es un recubrimiento abierto de C.Sea {Ui | i = 1, . . . , n} un subrecubrimiento finito tal queC *

⋃ni=1,i 6=j Ui , ∀j ∈ {1, . . . , n}.

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 8 / 19

Page 18: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

TEOREMA MINIMAX Teorema de la Alternativa

Teorema de la Alternativa

Definimos Ci := L\Ui , cerrado y convexo de L.

Por lo tanto tenemos:

C ∩⋂n

i=1 Ci = ∅,C ∩

⋂ni=1,i 6=j Ci 6= ∅.

Aplicamos el Teorema de Klee⇒ ∃x0 ∈ C con x0 /∈ Ci i = 1, . . . , n.Por lo tanto g(x0, yi ) ≤ g(x0, yi ) < λ.Como g(x0, ·) es casi-convexa ⇒g(x0, y) < λ ∀y ∈ D := Conv{yi | i = 1, . . . , n}De forma similar obtenemos f (x , y0) > λ,∀x ∈ C .Por lo tanto:

λ < f (x0, y0) ≤ g(x0, y0) < λ

Contradiccion.

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 9 / 19

Page 19: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

TEOREMA MINIMAX Teorema de la Alternativa

Teorema de la Alternativa

Definimos Ci := L\Ui , cerrado y convexo de L.Por lo tanto tenemos:

C ∩⋂n

i=1 Ci = ∅,C ∩

⋂ni=1,i 6=j Ci 6= ∅.

Aplicamos el Teorema de Klee

⇒ ∃x0 ∈ C con x0 /∈ Ci i = 1, . . . , n.Por lo tanto g(x0, yi ) ≤ g(x0, yi ) < λ.Como g(x0, ·) es casi-convexa ⇒g(x0, y) < λ ∀y ∈ D := Conv{yi | i = 1, . . . , n}De forma similar obtenemos f (x , y0) > λ,∀x ∈ C .Por lo tanto:

λ < f (x0, y0) ≤ g(x0, y0) < λ

Contradiccion.

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 9 / 19

Page 20: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

TEOREMA MINIMAX Teorema de la Alternativa

Teorema de la Alternativa

Definimos Ci := L\Ui , cerrado y convexo de L.Por lo tanto tenemos:

C ∩⋂n

i=1 Ci = ∅,C ∩

⋂ni=1,i 6=j Ci 6= ∅.

Aplicamos el Teorema de Klee⇒ ∃x0 ∈ C con x0 /∈ Ci i = 1, . . . , n.Por lo tanto g(x0, yi ) ≤ g(x0, yi ) < λ.

Como g(x0, ·) es casi-convexa ⇒g(x0, y) < λ ∀y ∈ D := Conv{yi | i = 1, . . . , n}De forma similar obtenemos f (x , y0) > λ,∀x ∈ C .Por lo tanto:

λ < f (x0, y0) ≤ g(x0, y0) < λ

Contradiccion.

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 9 / 19

Page 21: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

TEOREMA MINIMAX Teorema de la Alternativa

Teorema de la Alternativa

Definimos Ci := L\Ui , cerrado y convexo de L.Por lo tanto tenemos:

C ∩⋂n

i=1 Ci = ∅,C ∩

⋂ni=1,i 6=j Ci 6= ∅.

Aplicamos el Teorema de Klee⇒ ∃x0 ∈ C con x0 /∈ Ci i = 1, . . . , n.Por lo tanto g(x0, yi ) ≤ g(x0, yi ) < λ.Como g(x0, ·) es casi-convexa ⇒g(x0, y) < λ ∀y ∈ D := Conv{yi | i = 1, . . . , n}

De forma similar obtenemos f (x , y0) > λ,∀x ∈ C .Por lo tanto:

λ < f (x0, y0) ≤ g(x0, y0) < λ

Contradiccion.

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 9 / 19

Page 22: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

TEOREMA MINIMAX Teorema de la Alternativa

Teorema de la Alternativa

Definimos Ci := L\Ui , cerrado y convexo de L.Por lo tanto tenemos:

C ∩⋂n

i=1 Ci = ∅,C ∩

⋂ni=1,i 6=j Ci 6= ∅.

Aplicamos el Teorema de Klee⇒ ∃x0 ∈ C con x0 /∈ Ci i = 1, . . . , n.Por lo tanto g(x0, yi ) ≤ g(x0, yi ) < λ.Como g(x0, ·) es casi-convexa ⇒g(x0, y) < λ ∀y ∈ D := Conv{yi | i = 1, . . . , n}De forma similar obtenemos f (x , y0) > λ,∀x ∈ C .

Por lo tanto:λ < f (x0, y0) ≤ g(x0, y0) < λ

Contradiccion.

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 9 / 19

Page 23: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

TEOREMA MINIMAX Teorema de la Alternativa

Teorema de la Alternativa

Definimos Ci := L\Ui , cerrado y convexo de L.Por lo tanto tenemos:

C ∩⋂n

i=1 Ci = ∅,C ∩

⋂ni=1,i 6=j Ci 6= ∅.

Aplicamos el Teorema de Klee⇒ ∃x0 ∈ C con x0 /∈ Ci i = 1, . . . , n.Por lo tanto g(x0, yi ) ≤ g(x0, yi ) < λ.Como g(x0, ·) es casi-convexa ⇒g(x0, y) < λ ∀y ∈ D := Conv{yi | i = 1, . . . , n}De forma similar obtenemos f (x , y0) > λ,∀x ∈ C .Por lo tanto:

λ < f (x0, y0) ≤ g(x0, y0) < λ

Contradiccion.

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 9 / 19

Page 24: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

TEOREMA MINIMAX Teorema Minimax

Corolario

Bajo las mismas hipotesis que en el teorema anterior, entonces:

α = supX

ınfY

g(x , y) ≥ mınY

supX

f (x , y) = β

Dem: Suponemos α < β.Sea λ ∈ R, tal que α < λ < β.Por el teorema anterior ∃y ∈ Y tal que ∀x ∈ X , f (x , y) ≤ λ.Entonces β ≤ λ < β.Contradiccion.O si no ∃x ∈ X tal que ∀y ∈ Y , g(x , y) ≥ λ, entonces α ≥ λ > αContradiccion.

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 10 / 19

Page 25: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

TEOREMA MINIMAX Teorema Minimax

Corolario

Bajo las mismas hipotesis que en el teorema anterior, entonces:

α = supX

ınfY

g(x , y) ≥ mınY

supX

f (x , y) = β

Dem: Suponemos α < β.Sea λ ∈ R, tal que α < λ < β.Por el teorema anterior ∃y ∈ Y tal que ∀x ∈ X , f (x , y) ≤ λ.Entonces β ≤ λ < β.Contradiccion.O si no ∃x ∈ X tal que ∀y ∈ Y , g(x , y) ≥ λ, entonces α ≥ λ > αContradiccion.

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 10 / 19

Page 26: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

TEOREMA MINIMAX Teorema Minimax

Teorema Minimax

Teorema (von Neumann, version de Sion)

Sean X e Y dos subconjuntos convexos de espacios vectorialestopologicos,con Y compacto y sea f : X × Y −→ R tal que:

x 7−→ f (x , y) superiormente semicontinua y casi-concava en X , paracada y ∈ Y fijo.

y 7−→ f (x , y) inferiormente semicontinua y casi-convexa en Y , paracada x ∈ X fijo

Entonces:supX

mınY

f (x , y) = mınY

supX

f (x , y)

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 11 / 19

Page 27: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

TEOREMA MINIMAX Teorema Minimax

Teorema de la Alternativa

Observaciones

Las conclusiones A y B del Teorema son equivalentes a la conclusiondel corolario.

El supremo de una familia de funciones inferiormente semicontinuases inferiormente semicontinua.

Una funcion inferiormente semicontinua de un compacto que tomavalores reales alcanza un mınimo.

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 12 / 19

Page 28: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

PARES DE VON NEUMANN

1 TEOREMA DE KLEEDefinicionesTeorema de Klee

2 TEOREMA MINIMAXTeorema de la AlternativaTeorema Minimax

3 PARES DE VON NEUMANN

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 13 / 19

Page 29: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

PARES DE VON NEUMANN

Notacion

Dada una relacion A ⊂ X × Y , denotamos:

Las secciones de A:

A[x ] := {y ∈ Y : (x , y) ∈ A}.A[y ] := {x ∈ X : (x , y) ∈ A}.

Su relacion inversa A−1 := {(y , x) ∈ Y × X : (x , y) ∈ A}.

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 14 / 19

Page 30: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

PARES DE VON NEUMANN

Notacion

Dada una relacion A ⊂ X × Y , denotamos:

Las secciones de A:

A[x ] := {y ∈ Y : (x , y) ∈ A}.A[y ] := {x ∈ X : (x , y) ∈ A}.

Su relacion inversa A−1 := {(y , x) ∈ Y × X : (x , y) ∈ A}.

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 14 / 19

Page 31: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

PARES DE VON NEUMANN

Notacion

Dada una relacion A ⊂ X × Y , denotamos:

Las secciones de A:

A[x ] := {y ∈ Y : (x , y) ∈ A}.A[y ] := {x ∈ X : (x , y) ∈ A}.

Su relacion inversa A−1 := {(y , x) ∈ Y × X : (x , y) ∈ A}.

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 14 / 19

Page 32: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

PARES DE VON NEUMANN

Pares de von Neumann

Definicion:

Dadas A,A ⊂ X × Y , se dice que (A,A) es un par de von Neumann si:

i) A ⊂ A.

ii) Dado y ∈ Y , A[y ] es convexa.

iii) Dado x ∈ X , Y \A[x ] es convexo y A[x ] es abierto.

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 15 / 19

Page 33: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

PARES DE VON NEUMANN

Pares de von Neumann

Definicion:

Dadas A,A ⊂ X × Y , se dice que (A,A) es un par de von Neumann si:

i) A ⊂ A.

ii) Dado y ∈ Y , A[y ] es convexa.

iii) Dado x ∈ X , Y \A[x ] es convexo y A[x ] es abierto.

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 15 / 19

Page 34: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

PARES DE VON NEUMANN

Pares de von Neumann

Definicion:

Dadas A,A ⊂ X × Y , se dice que (A,A) es un par de von Neumann si:

i) A ⊂ A.

ii) Dado y ∈ Y , A[y ] es convexa.

iii) Dado x ∈ X , Y \A[x ] es convexo y A[x ] es abierto.

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 15 / 19

Page 35: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

PARES DE VON NEUMANN

Pares de von Neumann

Definicion:

Dadas A,A ⊂ X × Y , se dice que (A,A) es un par de von Neumann si:

i) A ⊂ A.

ii) Dado y ∈ Y , A[y ] es convexa.

iii) Dado x ∈ X , Y \A[x ] es convexo y A[x ] es abierto.

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 15 / 19

Page 36: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

PARES DE VON NEUMANN

Aplicacion del Teorema de la Alternativa

Teorema:

Sean X ,Y dos subconjuntos convexos no vacıos en espacios topologicosde Hausdorff. Sean (A,A), (B,B) dos pares de relaciones de X × Y .Asumamos que Y compacto y que los pares (A,A), (B−1,B−1) son de vonNeumann.

Entonces se verifica la siguiente alternativa:

(1) A[y ] = ∅ para algun y ∈ Y ∨ B[x ] = ∅ para algun x ∈ X . (Elementomaximal)

(2) A ∩ B 6= ∅. (Coincidencia)

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 16 / 19

Page 37: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

PARES DE VON NEUMANN

Aplicacion del Teorema de la Alternativa

Teorema:

Sean X ,Y dos subconjuntos convexos no vacıos en espacios topologicosde Hausdorff. Sean (A,A), (B,B) dos pares de relaciones de X × Y .Asumamos que Y compacto y que los pares (A,A), (B−1,B−1) son de vonNeumann.

Entonces se verifica la siguiente alternativa:

(1) A[y ] = ∅ para algun y ∈ Y ∨ B[x ] = ∅ para algun x ∈ X . (Elementomaximal)

(2) A ∩ B 6= ∅. (Coincidencia)

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 16 / 19

Page 38: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

PARES DE VON NEUMANN

Esquema de la prueba

Demostracion (esquema):

Definimos λ := 12 y f , f , g , g : X × Y → R tales que

f ≡ 1A, f ≡ 1

A, g ≡ 1

Bc , g ≡ 1Bc .

Se verifican (ii),(iii),(iv) y (v) del Teorema de la Alternativa.

Asumamos que la opcion (1) no se cumple.

Entonces no se verifica la tesis del Teorema de la Alternativa.

Necesariamente no se verifica (i) del Teorema de la Alternativa.

Como f ≤ f y g ≤ g ⇒ f 6≤ g .

Y esto conlleva finalmente a la verificacion de (2).

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 17 / 19

Page 39: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

PARES DE VON NEUMANN

Esquema de la prueba

Demostracion (esquema):

Definimos λ := 12 y f , f , g , g : X × Y → R tales que

f ≡ 1A, f ≡ 1

A, g ≡ 1

Bc , g ≡ 1Bc .

Se verifican (ii),(iii),(iv) y (v) del Teorema de la Alternativa.

Asumamos que la opcion (1) no se cumple.

Entonces no se verifica la tesis del Teorema de la Alternativa.

Necesariamente no se verifica (i) del Teorema de la Alternativa.

Como f ≤ f y g ≤ g ⇒ f 6≤ g .

Y esto conlleva finalmente a la verificacion de (2).

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 17 / 19

Page 40: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

PARES DE VON NEUMANN

Esquema de la prueba

Demostracion (esquema):

Definimos λ := 12 y f , f , g , g : X × Y → R tales que

f ≡ 1A, f ≡ 1

A, g ≡ 1

Bc , g ≡ 1Bc .

Se verifican (ii),(iii),(iv) y (v) del Teorema de la Alternativa.

Asumamos que la opcion (1) no se cumple.

Entonces no se verifica la tesis del Teorema de la Alternativa.

Necesariamente no se verifica (i) del Teorema de la Alternativa.

Como f ≤ f y g ≤ g ⇒ f 6≤ g .

Y esto conlleva finalmente a la verificacion de (2).

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 17 / 19

Page 41: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

PARES DE VON NEUMANN

Esquema de la prueba

Demostracion (esquema):

Definimos λ := 12 y f , f , g , g : X × Y → R tales que

f ≡ 1A, f ≡ 1

A, g ≡ 1

Bc , g ≡ 1Bc .

Se verifican (ii),(iii),(iv) y (v) del Teorema de la Alternativa.

Asumamos que la opcion (1) no se cumple.

Entonces no se verifica la tesis del Teorema de la Alternativa.

Necesariamente no se verifica (i) del Teorema de la Alternativa.

Como f ≤ f y g ≤ g ⇒ f 6≤ g .

Y esto conlleva finalmente a la verificacion de (2).

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 17 / 19

Page 42: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

PARES DE VON NEUMANN

Esquema de la prueba

Demostracion (esquema):

Definimos λ := 12 y f , f , g , g : X × Y → R tales que

f ≡ 1A, f ≡ 1

A, g ≡ 1

Bc , g ≡ 1Bc .

Se verifican (ii),(iii),(iv) y (v) del Teorema de la Alternativa.

Asumamos que la opcion (1) no se cumple.

Entonces no se verifica la tesis del Teorema de la Alternativa.

Necesariamente no se verifica (i) del Teorema de la Alternativa.

Como f ≤ f y g ≤ g ⇒ f 6≤ g .

Y esto conlleva finalmente a la verificacion de (2).

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 17 / 19

Page 43: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

PARES DE VON NEUMANN

Esquema de la prueba

Demostracion (esquema):

Definimos λ := 12 y f , f , g , g : X × Y → R tales que

f ≡ 1A, f ≡ 1

A, g ≡ 1

Bc , g ≡ 1Bc .

Se verifican (ii),(iii),(iv) y (v) del Teorema de la Alternativa.

Asumamos que la opcion (1) no se cumple.

Entonces no se verifica la tesis del Teorema de la Alternativa.

Necesariamente no se verifica (i) del Teorema de la Alternativa.

Como f ≤ f y g ≤ g ⇒ f 6≤ g .

Y esto conlleva finalmente a la verificacion de (2).

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 17 / 19

Page 44: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

PARES DE VON NEUMANN

Esquema de la prueba

Demostracion (esquema):

Definimos λ := 12 y f , f , g , g : X × Y → R tales que

f ≡ 1A, f ≡ 1

A, g ≡ 1

Bc , g ≡ 1Bc .

Se verifican (ii),(iii),(iv) y (v) del Teorema de la Alternativa.

Asumamos que la opcion (1) no se cumple.

Entonces no se verifica la tesis del Teorema de la Alternativa.

Necesariamente no se verifica (i) del Teorema de la Alternativa.

Como f ≤ f y g ≤ g ⇒ f 6≤ g .

Y esto conlleva finalmente a la verificacion de (2).

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 17 / 19

Page 45: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

PARES DE VON NEUMANN

Bibliografıa

A simpler proof of the von Neumann Minimax Theorem,H. Ben-El-Mechaiekh and R.W. Dimand.

On certain intersection properties of convex sets,V. L. Klee Jr.

On general minimax theorems,M. Sion.

Theory of Games and Economic Behavior,J. von Neumann, M. Morgenstern.

Functional analysis,W. Rudin.

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 18 / 19

Page 46: TEOREMA MINIMAX Y CONSECUENCIAS - Universidad de … · n conjuntos cerrados, convexos en un Espacio Eucl deo cumpliendo: (i) C \ T n i=1;i6=j C ... Sea X e Y dos subconjuntos convexos

PARES DE VON NEUMANN

Gracias por vuestra atencion

II Escuela Taller (La Manga) TEOREMA MINIMAX 18 de abril de 2012 19 / 19