Академический Документы
Профессиональный Документы
Культура Документы
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
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.
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
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
em at
ic a
n1
1.c
Denicin 3.2.3 g : 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
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
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)}.
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
ic a
(1, 1, 1)
1.c
om
1,
2, . . . ,
n)
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
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
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
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
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-
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
ic a
z x
S
1.c
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
Yi
de la siguiente manera:
b dg (a, Yi ) dg (b, Yi ).
es un preorden total.
Yi
Por la denicin de o
Yi
es dg consistente.
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 ).
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:
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
u {y,w} = w
S
em at
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 ).
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
om
x y w
N \S
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
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.
M at
em at
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.
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
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