40 Formación de coaliciones en ¡os juegos cooperativos y juegos con múltiples alternativas

(Sección 2.2).

Las alianzas binarias en los juegos simples (organismos de decisión) son especial-
mente interesantes. Se estudian con detalle en la Sección 2.4.

2.1 El juego cociente

Normalmente, en Teoría de Juegos, el término coalición es sólo sinónimo de sub-

conjunto de jugadores. No tiene connotaciones de alianza efectiva o compromiso
entre sus miembros. Cuando una o más coaliciones (dos a dos disjuntas) deciden
realmente actuar como bloques, los efectos de esa decisión se pueden describir de
forma adecuada mediante el juego cociente.

Sea G = (N, v) un juego cooperativo. Dada una estructura de coaliciones ß =

{Si, 5*2,..., Srn} sobre JV, el juego cociente de G respecto a B se define como GB =
, donde Nß = {l,2,...,m} y

La proyección al cociente es la aplicación çg : N —» Nß definida por qe(i) = r

para cada i € Sr y cada Sr € B.

El juego cociente se puede interpretar de la siguiente manera: en un juego coo-

perativo G = (N', u), algunos de los jugadores de TV deciden formar coaliciones
para actuar de manera conjunta a partir de ese momento; así se obtiene la estruc-
tura de coaliciones. Cada coalición elige entonces un representante, con lo cual
se tienen m representantes en total (si se habían formado m coaliciones). Estos
son los que, ahora, intervienen en el juego v&.

Dada una coalición no vacía 5 C JV, la estructura de coaliciones formada por

S y todos los {i} tales que i ^ S se denotará por (5), y el juego cociente G{s)
simplemente por GS = (Ng, t>s)i la proyección al cociente será q$. Se dirá que
GS es un cociente elemental El juego cociente correspondiente a la estructura de