ACTIVIDAD COMPLEMENTARIA DEL TEMA 10

Problema nº 5
Demostrar que en un juego cooperativo de tres jugadores, el núcleo no es vació si y solo
si: v(1,2) + v(1,3) + v(2,3) ≤ 2 v(1,2,3)
Demostración
Supongamos que (v1, v2, v3) es del núcleo. Se verifica:
v(1,2) + v3 ≤ v1 + v2 + v3 = v(1,2,3)
v(1,3) + v2 ≤ v1 + v2 + v3 = v(1,2,3)
v(2,3) + v1 ≤ v1 + v2 + v3 = v(1,2,3)
luego,
v(1,2) + v(1,3) + v(2,3) + v1 + v2 + v3 ≤ 3 v(1,2,3),
lo que nos lleva directamente a
v(1,2) + v(1,3) + v(2,3) ≤ 2 v(1,2,3)
Supongamos que se cumple esta condición y que definimos los vi de esta manera:
v1 = v(1) + δ ≥ v(1) ≥ 0
v2 = v(2) + ε ≥ v(2) ≥ 0
v3 = v(3) + η ≥ v(3) ≥ 0
v1 + v2 + v3 = v(1,2,3)
siendo
v(1) + v(2) + v(3) +δ+ ε+ η = v(1,2,3)
Por otra parte, para ser del núcleo debe de verificarse también, si es posible:
v1+v2 = v(1)+v(2)+δ+ε = v(1,2,3) - v(3) - η ≥ v(1,2) ⇔ v(1,2,3) - v(1,2) ≥ v(3) + η
v1+v3 = v(1)+v(3)+δ+η = v(1,2,3) - v(2) - ε ≥ v(1,3) ⇔ v(1,2,3) - v(1,3) ≥ v(2) + ε
v2+v3 = v(2)+v(3)+ε+η = v(1,2,3) - v(1) - δ ≥ v(2,3) ⇔ v(1,2,3) - v(2,3) ≥ v(1) + δ
Veamos que pueden hallarse δ, ε y η no negativos que cumplan las condiciones
anteriores. Como sumando
v(1,2,3) - v(1,2) ≥ v(3) + η
v(1,2,3) - v(1,3) ≥ v(2) + ε
v(1,2,3) - v(2,3) ≥ v(1) + δ
llegamos a
3 v(1,2,3) - v(1,2) - v(1,3) - v(2,3) ≥ v(1) + v(2) + v(3) +δ+ ε+ η = v(1,2,3)

1
y la condición de partida nos permite expresar esta desigualdad como
v(1,2,3) + θ ≥ v(1) + v(2) + v(3) +δ+ ε+ η = v(1,2,3)
lo que nos permite asegurar que podremos elegir siempre δ, ε y η para obtener algún
elemento del núcleo.