3.1.

Teorema de Imposibilidad de Arrow

Este clebre teorema nos dice que no existe una regla de eleccin que satisface a la vez, e o los siguientes postulados: 1. Dominio Estndar, a 2. Explicaciones Transitivas,
om

3. Independencia de Alternativas Irrelevantes,

5. Ausencia de dictador.
ww

Como parece que cada uno de estos postulados es sensato, se tiende a pensar que una buena regla de eleccin debe satisfacerlos. Lo sorprendente del Teorema de Arrow es o que nos dice que no hay reglas completamente razonables en este sentido. Debido a esto, se hace referencia a este teorema diciendo que es imposible la existencia de una regla de eleccin perfecta. o En [2] y [3] se presenta este teorema as : Teorema 3.1.1 (Teorema de Imposibilidad de Arrow.) Sea f una funcin de eleccin social que satisface: o o

w.

at em

at ic

4. Pareto Dbil, y e

a1 .c

1. Dominio Estndar, a 2. Explicaciones Transitivas, 3. Independencia de Alternativas Irrelevantes, y 4. Pareto Fuerte. Entonces f es dictatorial. Sin embargo, cambiando las deniciones de un conjunto localmente decisivo y globalmente decisivo para una alternativa x contra otra alternativa y, que se presentan en dichas referencias por las que presentamos en la seccin siguiente de este cap o tulo, obtenemos una demostracin anloga a la presentada en las mismas referencias para el Teorema de o a Imposibilidad as : Teorema 3.1.2 (Teorema de Imposibilidad de Arrow.) Sea f una funcin de eleccin social que satisface: o o 1. Dominio Estndar, a
om

Notemos que esta segunda presentacin del Teorema implica la primera. o La prueba de este teorema es esencialmente la misma que damos de una versin reso tringida a dominios estructurados (ver Teorema 3.2.1).

3.2.

Perles Estructurados y Teorema de Arrow

En muchas situaciones las preferencias que se consideran, y por ende los perles considerados, tienen cierta estructura. Entonces cabe preguntarse si para ese tipo de perles el teorema de Arrow sigue siendo vlido. a En esta seccin vamos a estudiar ciertos perles estructurados y la validez del teorema o de Arrow para esos perles.

ww w.

Entonces f es dictatorial.

M at

4. Pareto Dbil. e

em at

3. Independencia de Alternativas Irrelevantes, y

ic a

2. Explicaciones Transitivas,

1.c

Vamos a distinguir un subconjunto del conjunto de los perles, dado un conjunto de alternativas X con cierta estructura. Tal estructura estar dada por una distancia a denida sobre X. Para ello, recordamos la denicin de una funcin de distancia. o o Denicin 3.2.1 Sea X un conjunto. d : X X R+ , con R+ = {x R : x 0}, es o una funcin de distancia sobre X si satisface las tres propiedades siguientes: o d(x, y) = d(y, x), d(x, y) = 0 x = y, d(x, y) d(x, z) + d(z, y). Denicin 3.2.2 Sea X = {0, 1}n con n N. Denimos d : X X R+ as o : d(x, z) = # de coordenadas en que dieren x y z. Es fcil ver que est funcin es una distancia. Ella es llamada distancia de Hamming. a a o

Podemos denir ahora dg : X P (X) R+ una distancia1 entre elementos de X y subconjuntos no vac de X a partir de d y una funcin de agregacin g : os o o
n1

M at

Denicin 3.2.4 Sea d : X X R+ una distancia sobre X. o

ww w.

em at

g(0) = 0, y g(x) = g(y) si y es una permutacin de x. o

ic a

n1

1.c

Denicin 3.2.3 g : o

(R+ )n R+ es una funcin de agregacin si satisface: o o

om

(R+ )n

R+ . Denimos dg (x, V ) = g(d(x, v1 ), ..., d(x, vn )), donde V = {v1 , ..., vn }. Notemos que como g es una funcin de agregacin(en particular no depende del orden o o en que se presentan sus argumentos), dg est bien denida. a Ejemplo 3.2.1 Presentamos las ms usadas: a ds (x, V ) :=
yV
1

d(x, y),

Estrictamente hablando esto no es una distancia pero por abuso de lenguaje llamaremos a este tipo de funciones distancias.

donde s = g :

(R ) R
n1

+ n

esta dada por g(x1 , ..., xn ) =

i=1

xi

dmin (x, V ) := min{d(x, y) : y V }, donde min = g : (R+ )n R+ esta dada por g(x1 , ..., xn ) = min{xi : 1 i n}
n1

dmax (x, V ) := max{d(x, y) : y V }, donde max = g :

n1

(R+ )n R+ esta dada por g(x1 , ..., xn ) = max{xi : 1 i n}

Denicin 3.2.5 Sea X un conjunto de alternativas y d una distancia sobre X. Un preo orden total es dg consistente si existe A P (X) tal que x y dg (x, A) dg (y, A)

Ejemplo 3.2.2 Sean X = {0, 1}3 y d la distancia de Hamming. El preorden total siguiente es dmin consistente, con A = {(0, 0, 0)}.

(0, 0, 1) (0, 1, 0) (1, 0, 0)

El preorden total siguiente es ds consistente, con A = {(0, 0, 0), (0, 0, 1)}. (1, 1, 1) (1, 1, 0) (1, 0, 1) (0, 1, 1) (0, 1, 0) (1, 0, 0) (0, 0, 1) (0, 0, 0) El preorden total siguiente es ds consistente, con A = {(0, 0, 0), (1, 0, 0), (1, 1, 1)}. (0, 1, 1) (0, 0, 1) (1, 1, 1) (0, 1, 0) (0, 0, 0) (1, 1, 0) (1, 0, 1) (1, 0, 0)

ww w.

M at

em at

(1, 1, 0) (1, 0, 1) (0, 1, 1) (0, 0, 0)

ic a

(1, 1, 1)

1.c

om

Denicin 3.2.6 Un perl u = ( o dg consistente.

1,

2, . . . ,

n)

es dg consistente si para cada i,

es

En [3] y [4] aparece la nocin de perl dconsistente. Es fcil ver que esa nocin o a o corresponde a la de perl dmin consistente. Como queremos estudiar las reglas de eleccin restringidas a los perles dg consistentes, o modicaremos la denicin de algunos postulados. o Denicin 3.2.7 Una regla de eleccin social f satisface la propiedad de Dominio o o dg consistente(Ddg ) si: i) Hay al menos tres elementos en X, ii) Hay al menos tres elementos en N , y iii) f est denida para cada perl dg consistente. a Denicin 3.2.8 f satisface la propiedad de Explicaciones Transitivas dg consistentes o (ETdg ) si para cada perl u dg consistente existe un preorden total
u

tal que para cada

Lo interesante es que, si modicamos la hiptesis del Teorema de Imposibilidad camo biando Dominio Estndar por Dominio dg consistente y Explicaciones Transitivas por a dg satisface ciertas propiedades. En particular, la propiedad de Riqueza de la prxima o denicin. o
ww w.

Denicin 3.2.9 (Propiedad de Riqueza.) Una funcin de distancia dg : XP (X) o o R+ satisface la Propiedad de Riqueza si dados x, y, z X distintos entre si, se cumple que: i) Y X dg (x, Y ) < dg (y, Y ) < dg (z, Y ) , ii) Y X dg (x, Y ) = dg (y, Y ) < dg (z, Y ) , y iii) Y X dg (x, Y ) < dg (y, Y ) = dg (z, Y ) En tal caso, diremos que dg es rica.

M at

Explicaciones Transitivas dg -consistentes entonces el teorema sigue siendo vlido cuando a

em at

ic a

1.c

agenda V , fu (V ) = min(V,

u ).

om

Ahora estamos listos para enunciar el Teorema de Arrow modicado: Teorema 3.2.1 (Teorema de Imposibilidad de Arrow para perles dg consistentes) Sean dg una distancia rica entre elementos de X y subconjuntos no vac de X y f una os funcin de eleccin social que satisface: o o 1. Dominio dg consistente, 2. Explicaciones Transitivas dg consistentes, 3. Independencia de Alternativas Irrelevantes, y 4. Pareto Dbil. e Entonces f es dictatorial. Lo que resta de esta seccin ser dedicado a la demostracin del nuevo Teorema de o a o Imposibilidad. Comenzamos deniendo ciertas propiedades respecto a algunos subconjuntos especiales reeja la fortaleza de las hiptesis del Teorema de Imposibilidad. o del conjunto de votantes, para demostrar un par de lemas y nalmente un teorema que

contra y, si para cada perl u y cada agenda V si:

ww w.

i) x i y, i S, ii) y k x, k N \ S, y iii) x V , entonces y fu (V ). /

En tal caso, escribimos xDS y. Denicin 3.2.11 Un subconjunto S de N , no vac es globalmente decisivo para x o o, contra y, si para cada perl u y cada agenda V si: i) x i y, i S,y ii) x V ,

M at

em at

Denicin 3.2.10 Un subconjunto S de N , no vac es localmente decisivo para x o o,

ic a

1.c

om

entonces y fu (V ). /
En tal caso, escribimos xDS y. Si xDS y para cualquier par de alternativas x, y, diremos simplemente que S es deci-

sivo. Notemos que:

Si xDS y entonces xDS y.

Si f satisface Pareto Dbil entonces N es decisivo. e Si S es decisivo y S = {i} entonces i es un dictador. Lema 3.2.1 (Primer Resultado de Contagio). Sean dg una distancia rica entre elementos de X y subconjuntos no vac de X y f una os funcin de eleccin social que satisface Ddg , ETdg , IAI y PD entonces, o o
si xDS y entonces xDS z, para cualquier z X que sea diferente de x y de y.

Demostracin: o Por Ddg podemos considerar z X tal que z = x y z = y. Sean u un perl dg consistente y V P (X) tal que: i) x i z, i S,y ii) x V , As tenemos,

ww w.

M at

em at

Mostraremos que xDS z.

ic a
z x
S

1.c

Sean S N , S = y x, y X con x = y tales que xDS y.

om

lo cual signica que para los elementos de S, x es mejor que z y fuera de S no escribimos cmo es la relacin entre x y z porque puede variar segn los individuos. o o u Debemos ver que z fu (V ). / Como dg es rica entonces i S existe Yi X tal que dg (x, Yi ) < dg (y, Yi ) < dg (z, Yi )

u {x, z} =

N \S

Denimos para cada i S, la relacin o a Luego,

Yi Yi

Yi

de la siguiente manera:

b dg (a, Yi ) dg (b, Yi ).

es un preorden total.
Yi

Por la denicin de o

y de un preorden dg consistente tenemos que

Yi {x,z} = i {x,z}

Yi

es dg consistente.

Notemos adems que a

Por otro lado, tenemos que para cada k N \S ocurre una de las siguientes situaciones: 1. x k z 2. z k x 3. x k z Si se da el caso 1., razonado de manera anloga a lo hecho para cada i S tenemos que, a para cada k N \ S existe un preorden total dg consistente tal que adems y Yk x. a De darse el caso 2., razonado de manera anloga a lo hecho para cada i S tenemos a que, para cada k N \S existe un preorden total dg consistente tal que
om
Yk {x,z} = k {x,z} Yk {x,z} = k {x,z}

Como dg es rica entonces existe Yk X tal que dg (x, Yk ) = dg (z, Yk ) > dg (y, Yk ) Denimos para cada k N \ S, la relacin o a Luego,
Yk Yk

ww w.

M at

em at

Si se da el caso 3.

ic a
Yk

y adems y Yk z. a

b dg (a, Yk ) dg (b, Yk ).

es un preorden total dg consistente.

Yk {x,z} = considerar u = ( k {x,z} Y1 , . . . ,

Notemos adems que a As podemos , a) u {x,z} = u {x,z} ,

y y Yk z Yk x.
Yn )

b) x Yi y Yi z, i S, y c) y Yk z y Yk x, k N \ S.

1.c

de la siguiente manera:

un perl dg consistente tal que:

Por PD z fu ({y, z}). Luego, por ETdg , y u z. /

u {x,y,z} =

z y x
S

x z

como en u y
N \S

Como xDS y entonces y fu ({y, x}). Luego, por ETdg , x u y. / Tenemos entonces, por transitividad, que x u z, lo cual es equivalente a z fu ({x, z}). / Por IAI y a) tenemos que fu ({x, z}) = fu ({x, z}). Por lo tanto, z fu ({x, z}), es decir, x u z. De donde, z min(V, / / z fu (V ). /
u ).

Es decir,

Lema 3.2.2 (Segundo Resultado de Contagio). Sean dg una distancia rica entre elementos de X y subconjuntos no vac de X y f una os funcin de eleccin social que satisface Ddg , ETdg , IAI y PD entonces, o o
si xDS y entonces wDS y, para cualquier w X diferente de x y de y.

Consideremos w X tal que w = x y w = y. Sean u un perl dg consistente y V P (X) tal que: i) w i y, i S,y ii) w V , As ,
N \S

ww w.

M at

Mostraremos que wDS y.

Debemos ver que y fu (V ). / tal que

Yi {y,w} =

u {y,w} = w
S

em at
y

Sean S N , S = y x, y X con x = y tales que xDS y.

ic a

Demostracin: o

1.c

Yi

Como dg es rica entonces para cada i S existe un preorden total dg consistente a i {y,w} y adems w Yi x Yi y.

Por otro lado, tenemos que para cada k N \S ocurre una de las siguientes situaciones:

om

1. w k y 2. y k w 3. w k y Si se da el caso 1. o el caso 2., razonado de manera anloga a lo hecho para cada a i S tenemos que, para cada k N \ S existe un preorden total dg consistente tal que
Yk {y,w} = k {y,w}

y adems y Yk x w Yk x. a

Si se da el caso 3. entonces, como dg es rica para cada k N \ S existe Yk X tal que dg (y, Yk ) = dg (w, Yk ) < dg (x, Yk ) Denimos para cada k N \ S, la relacin o a Luego,
Yk Yk Yk

de la siguiente manera:

b dg (a, Yk ) dg (b, Yk ).

es un preorden total dg consistente.

Notemos adems que a As podemos ,

ww w.

c) y Yk x w Yk x, k N \ S.

M at

b) w Yi x Yi y, i S, y

em at

a) u {y,w} = u {y,w} ,

ic a
x u {x,y,z} = w
S

1.c

Yk {w,y} = k {w,y} y y Yk x considerar u = ( Y1 , . . . , Yn ) un perl

om

w Yk x. dg consistente tal que:

x y w
N \S

Por PD x fu ({x, w}). Luego, w u x. /

como en u

Como xDS y entonces y fu ({y, x}). Luego, x u y. / Tenemos entonces, por transitividad, que w u y, equivalentemente y fu ({y, w}) / Como fu ({y, w}) = fu ({y, w}) entonces y min(V, /
u ).

Por lo tanto, y fu (V ). /

Teorema 3.2.2 (Teorema General de Contagio) Sean dg una distancia rica entre elementos de X y subconjuntos no vac de X y f una os funcin de eleccin social que satisface Ddg , ETdg , IAI y PD entonces, o o
si xDS y para algn par x, y X entonces wDS z, para cualquier par w, z con w = z, es u

decir S es decisivo. Demostracin: o Sean S N , S = y x, y X con x = y tales que xDS y.

Armacin 1 wDS z, para cualquier par w, z {x, y, t} y cualquier t X, t = x y t = y. o

Consideremos t X tal que t = x y t = y. Estudiaremos la agenda {x, y, t} X.

Por el Lema 3.2.1 tenemos que xDS t. Por el Lema 3.2.2 tenemos que yDS t. Por el Lema 3.2.1 tenemos que yDS x. Por el Lema 3.2.2 tenemos que tDS x. Por el Lema 3.2.2 tenemos que xDS y. Por el Lema 3.2.1 tenemos que tDS y.

As queda demostrada la armacin. , o

Si w z es igual a x y se cumple lo deseado por la armacin anterior. o o o

En otro caso, consideramos {x, y, w} y tenemos que wDS x. Luego, consideramos {w, x, z}

Demostracin del Teorema de Imposibilidad de Arrow para perles o dg consistentes. Demostracin: o Por PD, N es decisivo. Sea S := {M N : M es decisivo}. S = porque N S. Consideremos S S tal que |S| |M |, M S, es decir S es de tamao minimal. n Si |S| = 1, entonces S = {i} para algn i N y el individuo i es un dictador. u Mostraremos que |S| = 1 por reduccin al absurdo. o

ww w.

y tenemos que wDS z.

M at

em at

Consideremos ahora w, z X tal que w = z. Debemos ver que wDS z.

ic a

1.c

om

Supongamos que |S| 2. Tomemos i S y consideremos S\{i} N . S\{i} = porque suponemos que |S| 2. Por Ddg consideremos la agenda V = {x, y, z} y el perl u dg consistente tal que u restringido a V este denido as : z y x
{i}

x z y
S\{i}

y x z
N \S

Note que un tal perl existe porque dg es rica. Examinemos fu ({y, z}).

u {x,y,z} =

Como S es decisivo entonces z fu ({y, z}). As tenemos que y u z. / Veamos ahora que x
u

y.

Por reduccin al absurdo. o Supongamos que y u x, es decir, x fu ({x, y}). /

om

em at

u {x,y} =
ww w.

ic a
y
S\{i}

y x

y x
N \S

{i}

Como x k y, k (N \S) {i} y j x, j S\{i} x fu ({x, y}) entonces / yDS\{i} x. Por el teorema general de contagio S\{i} es decisivo. Esto contradice la minimalidad de S, es decir que |S| |M |, M S. Por lo tanto, x Ahora bien, z x
{i} u

y.
u

Como y u z x

y entonces x u z. Lo que signica que z fu ({x, z}). /

M at

1.c
x z
S\{i}

x z
N \S

Como z k x, k N \{i}) x i z z fu ({x, z}) entonces xD{i} z. / Por el teorema general de contagio {i} es decisivo.

u {x,z} =

Esto contradice la minimalidad de S, es decir que |S| |M |, M S. De esta manera queda demostrado que |S| = 1, es decir existe un dictador. En el cap tulo siguiente veremos que existen distancias ricas y no ricas. Tambin, que e en general el conjunto de los perles dg consistentes es un subconjunto propio del conjunto de todos los perles. As tendr pleno sentido lo estudiado en el presente cap , a tulo.

ww w.

M at

em at

ic a

1.c

om