You are on page 1of 24

Preferencias en certidumbre

2.1 Preferencia estricta e indiferencia

Notacin: =: preferencia estricta


Tomador de decisin racional consistente

Axiomas:
1 Transitiva: a, b A, a b y b c a c.
2 Asimtrica: a, b A y a b b a.

Notacin: =: Indiferencia
Transitiva: a, b A, a b y b c a c.
Reflexiva: a A a a
Simtrica: a, b A y a b b a.

Completa: a, b A se cumple solo una de las siguientes afirmaciones:


a b, b a o a b.

La perspectiva normativa supone que existe le tomador de decisin ideal con una capacidad
de discriminacin infinita, teniendo el poder de ordenar cada par de alternativas. La
perspectiva descriptiva supone que los tomadores de decisiones reales no tienen tal poder y
necesitan ayuda para tener hacia ideal.

Los modelos normativos poseen un punto de vista esttico del tomador de decisiones
asumiendo que tiene un completo poder cognoscitivo y un completo entendimiento de sus
creencias y preferencias. El anlisis descriptivo posee un punto de vista ms dinmico.,
ayudando al tomador de decisiones a construir sus juicios

2.2 Relaciones Binarias

Una relacin binaria R sobre un conjunto A es un subconjunto del producto cartesiano. AxA .

Notacin: (A,R) es el sistema relacional o estructura relacional.

Definicin: Relacin complementaria R c est definida como: (a,b) R c (a,b) R.


Definicin: Relacin reciproca o asimtrica R S est definida como: (a,b) R s (b,a) R.
Definicin: Relacin dual Rd est definida como: (a,b) Rd (b,a) R.

Ejemplo: Sea A={a,d,c,d} y R una relacin talque:


1. R={(a,b),(a,c),(a,d),(b,c),(d,b),(d,c)}
La representacin de R tambin se puede expresar como:
a b c d
a 0 1 1 1
b 0 0 1 0
2.
c 0 0 0 0

d 0 1 1 0
3. Grafo:

Notacin: R =: R
a R b=: aRb

Una relacin binaria R sobre A se dice:


R es reflexiva ( a A aRa )
R es irreflexiva ( a A a R a )
R es simtrica ( a, b A , aRb bRa )
R es asimtrica ( a, b A , aRb b R a )
R es antisimtrica ( a, b A , aRb y bRa a b )
R es transitiva ( a, b A aRb y bRc aRc )
R es negativamente transitiva ( a, b A , a Rb y b R c a R c )
R es completa o comparable ( a, b A aRb , bRa o ( aRb y bRa ))

Proposicin: Una relacin simtrica (asimtrica) implica que la representacin por medio de
una matriz A es simtrica (asimtrica).

Demostracin: sin perder generalidad sea A= {a1, a2 ,...ai ,..., an} y sea R es una relacin
simtrica.
Entonces: si ai , a j A y (ai , a j ) R A ij =1 1)
Como (ai , a j ) R y R simtrica (a j , ai ) R A ji =12)

si ai , a j A y (ai , a j ) R A ij =0 3)

Como (ai , a j ) R y R simtrica (a j , ai ) R A ji =04)

Entonces de 1) con 2) y de 3) con 4) A ij = A ji ij {1, 2,..., n} Una relacin simtrica


implica que la representacin por medio de una matriz A es simtrica

Para el caso de la asimetria la demostracin es analoga.

Proposicin: Sea R una relacin asimtrica R es irreflexiva.


Demostracin: (Reduccin al absurdo)
(R una relacin asimtrica R es irreflexiva) R una relacin asimtrica y R no es
irreflexiva
Entonces R es irreflexiva a A aRa .
Como aRa y R es asimtrica a R a (No es posible aRa y a R a ).

R una relacin asimtrica R es irreflexiva

Proposicin: Sea R una relacin irreflexiva y transitiva R es asimtrica.


Demostracin: (Reduccin al absurdo)
(R una relacin irreflexiva y transitiva R es asimtrica) R una relacin irreflexiva,
transitiva y no asimtrica.

Entonces R es asimtrica a, b A aRb bRa .


Como aRb , bRa y R es Transitiva aRa pa. a A (Contradiccin con la hip. de que R es

irreflexiva).
R una relacin irreflexiva y transitiva R es asimtrica

Proposicin: Sea R una relacin negativamente transitiva y asimtrica R es transitiva.


Demostracin: (Reduccin al absurdo)
(R una relacin negativamente transitiva y asimtrica R es transitiva) R una relacin
negativamente transitiva, asimtrica y no transitiva.

Entonces R es transitiva a, b, c A aRb , bRc a R c 1)


Por otro lado: por hip aRb y R es asimetrica b R a 2)
Dado 1) ,2) y R es negativamente transitiva b R c (Contradiccin con la hip. de reduccin

al absurdo bRc ).
R una relacin negativamente transitiva y asimtrica R es transitiva
Proposicin: Sea R una relacin transitiva y completa R es negativamente transitiva
Demostracin: Sean a, b, c R a Rb , b R c :
Como b R c y R completa cRb 1)

De aqu vemos que no es posible aRc , porque si esto fuera posible y por transitividad de R
con 1) tendramos que aRb pero por hiptesis a Rb . Entonces a R c .
a, b, c R a Rb , b R c a R c . Dado que la triada a, b, c es una triada cualquiera
a, b, c R , a Rb , b R c a R c . R es negativamente transitiva
R una relacin transitiva y completa R es negativamente transitiva.

Todas las relaciones que son transitivas se denominan rdenes.

Algunos ordenes:
1 R es de equivalencia R es reflexiva, simtrica y transitiva
C( a )={b b A, bRa } clase de equivalencia de a .
R es de equivalencia constituye una participacin de A
2 Orden estricto R es asimtrica y transitiva.
3 Orden dbil R es comparable y transitiva.
4 Orden lineal o simple R es un orden dbil antisimtrico.
5 Orden parcial estricto R es irreflexiva y transitiva.
6 Orden dbil estricto R es asimtrica y negativamente transitiva.

2.3 Preferencias dbiles

Axioma 1 (Comparabilidad) a, b A (a b o b a o ambas)


Axioma 2 (Transitiva) a, b, c A , a b, b c a c
Axioma 3 (Consistencia de la indiferencia y la preferencia dbil)
a, b A si a b (a b y b a)
Axioma 4 (Consistencia de la preferencia estricta y la preferencia dbil)
a, b A si a b b a.

Proposicin: a, b A , a b a b.
Dem. Sea a, b A a b por axioma 4 b a y por axioma 1) a b.
a, b A , a b a b

Teorema 2.1
Si se cumplen los axiomas 1, 2, 3, y 4 entonces:
i. (A, ) es un orden estricto;
ii. (A, ) es una equivalencia;
iii. (A, ) es un orden dbil.

Demostracin:
i P.D. es una relacin asimetra y transitiva
a) Asimetra
Sea a,b A a b por axioma 4 b a por axioma 1 a b por axioma 4 b a.
Entonces: a b b a a,b A , a b b a.
es una relacin asimtrica.

b) Transitiva
Demostracin reduccin al absurdo
( a,b,c A, a b, b c a c) ( a,b,c A, a b, b c y a c)
Entonces: a c a c por axioma 4 c a...1)
Por un lado, b c por axioma 4 c b por axioma 1 b c2)
De 1) y de 2) por axioma 3 b a3).
Por otro lado, a b por axioma 4 b a (con 3).

Entonces: a,b,c A , a b, b c a c
es una relacin transitiva.

Entonces de a) y b) es una relacin asimetra y transitiva.


Si se cumplen los axiomas 1, 2, 3, y 4 (A, ) es un orden estricto.

ii P.D. es reflexiva, simtrica y transitiva


a) Reflexiva
Sea a A por axioma 1 (a a o a a o ambas) (a a y a a ) por axioma 3 a a.
Si a A a a.
Entonces: a A a a.
es reflexiva.

b) Simtrica
Sea a,b A a b por axioma 3 (a b y b a) (b a y a b) por axioma 3 b a.
Si a,b A a b b a.
Entonces: a,b A , a b b a.
es simtrica.
c) Transitiva
Sea a,b,c A a b y b c.
Por un lado, a b por axioma 3 (a b y b a) a b1).
Anlogamente a b b a2).
Por otro lado, b c por axioma 3 (b c y c b) b c3).
Anlogamente b c c b4).
De 1) y 3) por axioma 2 a c 5) y De 4) y 2) por axioma 2 c a 6).
Finalmente de 5) y 6) por axioma 3 a c.
Si a,b,c A a b y b c a c.
Entonces: a,b,c A , a b y b c a c.
es transitiva.
Entonces de a) , b) c) es una relacin reflexiva, simetra y transitiva.
Si se cumplen los axiomas 1, 2, 3 y 4 (A, ) es una equivalencia.

iii P.D. es comparable y transitiva.


es comparable porque asi lo expresa el axioma 1
es transitiva porque asi lo expresa el axioma 2
Si se cumplen los axiomas 1, 2, 3, y 4 (A, ) es un orden dbil.
Entonces se cumplen las tres sentencias i, ii y iii.
El teorema 2.1

Teorema 2.2
Si se cumplen los axiomas 1,2,3, y 4 entonces:
i. a,b,c A , a b y b c a c;
ii. a,b,c A , a b y b c a c;
iii. a,b A solo se cumple una de las siguientes sentencias a b o a b o b a.

Demostracin:
i. Dem: (Reduccin al absurdo).
( a,b,c A , a b y b c a c) a,b,c A , a b, b c y a c

Entonces a c a c por axioma 4 c a1)


Por un lado, a b por axioma 3 (a b y b a) a b2).
De 1) y de 2) por axioma 2 c b3)
Por otro lado, b c por axioma 4 c b (con 3))

a,b,c A , a b y b c a c
ii. Dem: (Reduccin al absurdo).
( a,b,c A , a b y b c a c) a,b,c A , a b, b c y a c

Entonces a c a c por axioma 4 c a1)


Por un lado, b c por axioma 3 (b c y c b) b c2).
De 1) y de 2) por axioma 2 b a3)
Por otro lado, a b por axioma 4 b a (con 3)).

a,b,c A , a b y b c a c.

iii. Dem: sea a, b A cuatro casos:


I) a b y b a
II) a b y b a
III) a byb a
IV) a byb a

Si I) por axioma 3 a b.
Si II) por axioma 4 a b
Si III) por axioma 4 b a
Si IV) por axioma 1

Entonces a, b A a b o a b o b a.
a,b,c A , solo se cumple una de las siguientes sentencias a b o a b o b a

Conociendo que (A, ) es una equivalencia. Por tanto, cada elemento de a A pertenece a
una nica clase de equivalencia que denotaremos como:

I(a)= { b A b a}
y la llamaremos clase de indiferencia de a.

Proposicin: Propiedades de I(a):


i. a b I(a)=I(b)
ii. Si c c I(a) I(b) I(a)=I(b)
iii. Si a b c d c I(a) y d I(b)

Demonstracin:
i
axi 2 def
Sea c I(a) = { d A d a } c a y por hip. a b c b c { e A e b } c
I(b) Entonces I(a) I(b)1)
axi 2 def
Sea c I(b) = { d A d b } c b y por hip. b a c a c { e A e a } c
I(a) Entonces I(b) I(a)2)
Entonces de 1) y de 2) I(a)=I(b) a b I(a)=I(b)I)

def axi 2
c I(a) =I(b) c a y c b a bII)

De I) y de II) (a b I(a)=I(b)).
a b I(a)=I(b).

def
ii Sea c I(a) I(b) c a y c b por i I(c)=I(a) y I(c)=I(b) I(a)=I(b).
Si c c I(a) I(b) I(a)=I(b).

iii Sea c I(a) c a y como a b c b1)


Sea d I(b) d b 2).

Entonces de 1) y de 2) c b d c d. como c y d son elementos en general de I(a) y I(b)


respectivamente.
Si a b c d c I(a) y d I(b).
Proposicin: Propiedades de I(a)

2.4 Teora del valor Ordinal

Definicin: Funcin de valor ordinal:


v: A
a v(a)
Tal que: a,b A a b v(a) v(b)

Proposicin: Propiedades de la funcin de valor ordinal


i a,b A a b v(a)>v(b).
ii a,b A a b v(a)=v(b).

Demostracin:
def
i Sea a,b A , a b por axioma 4 b a v(b) v(a) v(a)>v(b).
a,b A a b v(a)>v(b).
ii Sea a,b A , a b por axioma 3 (a b y b a) (v(a) v(b) y v(b) v(a)) v(a)=
v(b). a,b A a b v(a)=v(b).
Propiedades de la funcin de valor ordinal

Teorema 2.3
Sea A un conjunto finito de alternativas. Si (A, ) verifica los axiomas 1,2,3,4 implica existe
una funcin de valor ordinal en A que representa la relacin .
Demostracin:
Sin perder generalidad A={ a(1) , a(2) , a(3) ,..., a( n) }
Sea Ai ={ a j A ai a j } ai A y definamos v: A
ai v( ai ) = Ai

Observacin: Ai y Ai < i {1,2,3,..., n}

P.D. v es una funcin tal que ai , a j A , ai a j v( ai ) v( a j )

axi 2
Tenemos ai a j y sea ak A j a j ak a i ak ak Ai A j Ai

A j Ai v( ai ) v( a j ).
v es una funcin tal que ai , a j A , ai a j v( ai ) v( a j ).

PD. v funcin de valor ordinal, ai , a j A , v( ai ) v( a j ) ai aj


(Por reduccin al absurdo)
(v funcin de valor ordinal, ai , a j A , v( ai ) v( a j ) ai aj )
(v funcin de valor ordinal, ai , a j A , v( ai ) v( a j ) y ai aj )

Sea al , ak A v( al ) v( ak ) y ( al ak )
Como al ak por axioma 4 ak al 1)
Por otro lado, sea a p Al al a p 2).
De 1) y de 2) ak a p a p Ak Al Ak 3)
Observacin: ( ak Ak y ak Al ) 4)
De 3) y 4) Al Ak Al < A k (por ser conjuntos finitos) v( al )<v( ak )

v( al ) v( ak ) (con la hip de reduccin al absurdo de que v( al ) v( ak )).



al ak .
ai , a j A , v( ai ) v( a j ) ai aj .
Entonces: v es una funcin tal que ai , a j A , ai a j v( ai ) v( a j ).
Sea A un conjunto finito de alternativas. Si (A, ) verifica los axiomas 1,2,3,4 implica
existe una funcin de valor ordinal en A que representa la relacin

Teorema 2.4 (unicidad)


Si A un conjunto finito. Entonces v: A y u: A son dos funciones de valor ordinal,
que representan a la relacin de preferencia si solo si existe f: S , funcin estrictamente
creciente, talque S={ v(a ) a A }, u=f v.
Demostracin:
P.D. que f es estrictamente creciente.
Sea a, b A v(a)>v(b) a b u(a)> u(b) f(v(a))> f(v(b)).
Entonces x,y S , x>y f(x)>f(y).
f es una funcin estrictamente creciente.

Tenemos que v es una funcin que representa a y f: S , una funcin estrictamente


creciente, talque S={ v(a ) a A }, u(a) =f(v(a)), a A.
Entonces: sea a, b A a b v(a)> v(b) f(v(a))> f(v(b)) (f es estrictamente
creciente) u(a)> u(b).
a, b A , a b u(a)> u(b).
v es una funcin que representa a y f: S , una funcin estrictamente creciente, talque
S={ v(a ) a A }, u(a) =f(v(a)), a A u es una funcin que representa a .
Si A un conjunto finito. Entonces v: A y u: A son dos funciones de valor que
representan a la relacin de preferencia si solo si existe f: S , funcin estrictamente
creciente, talque S={ v(a ) a A }, u(a) =f(v(a)), a A

2.5 Funciones de valor Medibles

Notacin: a b intercambio de b por a (es decir tener b, entregar b y recibir a)


i Relacin entre intercambios de alternativas; ejemplo:

(a b) i (c d) El intercambio de b por a es preferible dbilmente que el cambio de d


por c.

En otras palabras, supongamos lo siguiente:


a b y (a b) i (c d) significa que para el tomador de decisiones a es al menos tan
preferible como b y que para l es al menos tan bueno el cambio de b por a como el de
d por c.

Axioma I (Orden dbil)


i cumple con los axiomas 1,2,3 y 4 sobre el conjunto de alternativas, referentes a un
tomador de decisiones racional consistente.
ii i cumple con los axiomas 1,2,3 y 4 sobre el conjunto de intercambios alternativas,
referentes a un tomador de decisiones racional consistente.

Axioma II (Consistencia de y i )
a,b,c A , a b (a b) i (c c)

Axioma III (consistencia de ganancias y prdidas)


a,b,c A , (a b) i (c d) (d c) i (b a)

Axioma IV (Cancelacin de intercambios)


a,b,c A , (a b) i (d e), (b c) i (e f) (a c) i (d f)

Axioma V (Resolubilidad)
i a,b,c A , d A (a b) i (d c)
ii a,b A , c A (a c) i (c b)

Axioma VI (Arquimidiano)
Cada sucesin estndar acotada estrictamente es finita.

Nota: Definicin. Sea A={a n } nN { {0}} con la siguiente caracterstica: {a ( n ) } iN el conjunto


A bien ordenado con la relacin de orden tal que a ( n ) a ( n1) para toda n N . Entonces
{a ( n ) } nN es una sucesin estndar si (a ( n ) a ( n1) ) i (a (1) a (0) ) para toda n N .

Definicin: S {a ( n ) } iN , N { {0}} sucesin estndar acotada estrictamente por


a A si
S= {a ( n ) a a ( n ) , (a ( n ) a ( n1) ) i (a (1) a (0) )}

Teorema 2.5
Si se cumple los Axiomas I-IV, entonces existe una funcin de valor medible que representa a
y i.

Demostracin: (por construccin)



Sea A conjunto de alternativas, A=( {0} ). En la construccin buscamos encontrar un
S A numerable.
Primero iniciamos reconociendo que a(0) =0, seguidamente renombramos a(1) A tal que
v( a(0) ) =0 y v( a(1) ) =1.
Considerando el axioma V inciso i existe a(2) A tal que:
( a(2) a(1) ) i ( a(1) a(0) )
De esto tenemos que v( a(1) )-v( a(0) )=1-0=1
1=v( a(2) )-v( a(1) )=v( a(2) )-1
v( a(2) )=2
Nuevamente el axioma V aniso i existe a(3) A tal que:
( a(3) a(2) ) i ( a(2) a(1) )
De esto tenemos que v( a(2) )-v( a(1) )=2-1=1
1=v( a(3) )-v( a(2) )=v( a(3) )-2
v( a(3) )=3

Por induccin supongamos que funciona para a( n1) y a( n2) . Nuevamente el axioma V inciso
i, existe a( n ) A tal que:
( a( n ) a( n1) ) i ( a( n1) a( n2) )
De esto tenemos que v( a( n ) )-v( a( n1) )=n-(n-1)=1
1=v( a( n ) )-v( a( n1) )=v( a( n ) )-(n-1)
v( a( n ) )=n
De esta forma encontramos una S={a ( n ) } n{ {0}} sucesin tal que:
( a(1) a(0) ) i ( a(2) a(1) ) i ( a(3) a(2) ) i ( a( n ) a( n1) ) i

Y que adems:
v( a(0) ) =0, v( a(1) ) =1, v( a(2) ) =2, ,v( a( n ) ) =n,

Sea a A
Caso 1: a= a( n ) p.a. n v(a)=n.
Caso 2: a a( n ) n ,
Por un lado, sin perder generalidad a( n1) a a( n )
v( a( n1) ) a v( a( n ) ) n+1 v(a) n1)
Por otro lado con el axioma V inciso ii, tenemos a( n 1 ) A tal que:
2

1
( a( n1) a( n 1 ) ) i ( a( n 1 ) a( n ) ) v( a( n 1 ) )=n+ .
2 2 2 2
a( n1) a( n 1 )
a( n )
2

Caso 2a a( n1) a a( n 1 )
2

Caso 2b a( n 1 )
a a( n )
2

Caso 2a n+1 v(a) n+ 1 a( n 3 ( a( n1) a( n 3 ) ) ( a( n 3 ) a( n 1 ) ) (Axioma


2 4
)
4
i
4 2

V ii)
n+1 v(a) n+ 3 4 o n+ 3 4 v(a) n+ 1 2

Caso 2b n+ 1 v(a) n a( n 1 ) ( a( n 1 ) a( n 1 ) ) ( a( n 1 ) a( n ) ) (Axioma V ii)


2 4 2 4
i
4

n+ 1 2 v(a) n+ 1 4 o n+ 1 4 v(a) n

Sin perder generalidad, en la k iteracin tenemos: n+ m k v(a) n+ m 1 k con m< 2k


2 2

Observacin: (n+ m )-( n+ m 1 k )= 1 k .


2k 2 2
Entonces: lm (n+ m k )-( n+ m 1 k )= lm 1 k .=0
k 2 2 k 2

v(a) [ n+ m 1 , n+ m k ] intervalo tan pequeo como se desee.


2k 2
Ahora bien, no obstante de localizar o no v(a) en el proceso de bsqueda tenemos v( a( q ) )=q
.

Teorema 2.6
Si se verifican los axiomas I al VI, con v y u son dos funciones de valor medible
representando a las mismas relaciones y i .si y solo si f es una trasformacin lineal
positiva talque u=f v.
Demostracin:

Por hiptesis tenemos v funcin de valor medible que representa a y i y f trasformacin lineal
por demostrar u tambin representa a y i .
Sea a,b A , sin perder generalidad sea f(x)= v( x) y a b v(a) v(b)
v(a) v(b)
v(a) v(b)
f(v(a)) f((v(b))
u(a) u(b)
( a b u(a) u(b) ) u representa a 1)

Sea a,b,c,d A , sin perder generalidad supongamos


(a b) i (c d)
v(a b) v(c d)
v(a) v(b) v(c) v(d )
v(a) v(b) v(c) v(d )
v(a) ( v(b) ) ( v(c) ) ( v(d ) )
f(v(a))- f(v(b)) f((v(c))- f((v(d))
u(a) u(b) u(c)- u(d)
u(a b) u(c d)
[(a b) i (c d) u(a b) u(c d)] u representa a i 2)
de 1) y de 2) u representa a y i

Por demostrar que si u y v son dos funciones medibles que representan a i talque u=f v
entonces f es una transformacin lineal positiva.
Por un lado:
Sin perder generalidad supongamos au y av talque au av y u( au )=1 y v( av )=1. Adems que
u( a0 )=0=v( a0 ).
1=u( au ) u( av ) y v( au ) v( av )=1
v( au ) 1 u( av ) >0 v( au )= u( av )1)
Por otro lado:
Sin perder generalidad sea a A y que a av u( a ) u( av ) u >0 u( a )= u u( av )2)
a au v( a ) v( au ) v >0 v( a )= v v( au )3)

Entonces [observando 1), 2) y 3)]: u( a )= u u( av )= u 1 v( au )= u 1 1 v( a ) y sea


v
= u 1 1
v
u( a )= v( a ).
u=f v con f es una transformacin lineal positiva.
Si se verifican los axiomas I al VI, con v y u son dos funciones de valor medible
representando a las mismas relaciones y i .si y solo si f es una trasformacin lineal
positiva talque u=f v

2.6 Semirdenes y rdenes de intervalo


Los modelos normativos suponen que las relaciones de indiferencia son transitivas. Un modelo
prescriptivo, por ejemplo modela la intransitividad de la indiferencia, que surge el concepto de
semiorden. El modelo considera una funcin v que representa las preferencias y ( >0) que
representa un umbral bajo el cual el tomador de decisiones no sabe discernir que alternativa es
preferible.

Definicin: La relacin es un semiorden si y solo si posee las siguientes propiedades:


1 Irreflexiva, a A a a
2 a, b, c, d A ( a b yb c )(a d od c)
3 a, b, c, d A ( a b yc d )(a d oc b)
4 Consistencia de y . a, b A , a b a b y b a.

Proposicin: Si y satisfacen las propiedades de semiorden implica:


i. es asimtrica y transitiva
ii. es reflexiva y simtrica

Demostracin:
i)
P.D. que es asimtrica
(Demostracin por reduccin al absurdo)
( a, b A , a b b a ) , A
Por la propiedad 3. ( o ).
Caso 1)
Caso 2)
Si caso 1) (por hiptesis es irreflexiva)

Si caso 2) (por hiptesis es irreflexiva)


es asimtrica.

P.D. que es transitiva


Sea a, b, c A a b, b c;
por la propiedad 3 ( a c o c b ).
Caso 1) a c , tenemos la transitividad.
Caso 2) c b veamos que esto no es posible.
Por hiptesis y caso 2) tenemos: b c y c b ; por la propiedad 3 ( b b o c c ) (por

hiptesis es irreflexiva).
es asimtrica y transitiva.

ii)
P.D es reflexiva
Sea a A , por la propiedad 1. a a
( a a y a a) y por propiedad 4 a a.
( a A a a ) es reflexiva.

P.D. es simtrica
Sea a, b A a b ; por la propiedad 4 ( a b yb a )( b a ya b) b a
( a, b A , a b b a ) es simtrica
es reflexiva y simtrica.

es asimtrica y transitiva y, es reflexiva y simtrica

Ejemplo de semiorden:
Sea , y >0 definidos de la siguiente manera:
a b v(a) v(b) >
a b v(a) v(b)
Efectivamente , definen un semiorden:
Observacin es irreflexiva:
Demostracin (Reduccin al absurdo)
( a A a a) A
def
v( ) v( ) > 0> (por definicin >0).

es irreflexiva.

Observacin: a, b, c, d A ( a b yb c )( a d od c)
Sea sin perder generalidad sea a, b, c, d A a b, b c ; tenemos los siguinetes casos:
Caso 1) d a
def def
v(d ) v(a) > 1), por otro lado a b v(a) v(b) > y
def
b c v(b) v(c) >
v(a) v(c) >2 2)
Entonces de 1) y de 2) v(d ) v(c) >3 > v(d ) v(c) > d c.
Caso 2) d b
def def
v(d ) v(b) > 1), por otro lado b c v(b) v(c) > 2)
v(d ) v(c) >2 > v(d ) v(c) > d c .

Caso 3) d c (No hay nada que hacer).

Caso 4) a d (No hay nada que hacer)

Caso 5) b d
def def
v(b) v(d ) > 1) por otro lado a b v(a) v(b) > 2)
Entonces de 1) y de 2) v(a) v(d ) >2 > v(a) v(d ) > a d.

Caso 6) c d
def def
v(c) v(d ) > 1), por otro lado a b v(a) v(b) > y
def
b c v(b) v(c) >
v(a) v(c) >2 2)
Entonces de 1) y de 2) v(a) v(d ) >3 > v(a) v(d ) > a d.

Nota: Falta observar los casos a d, b dy c d pero es evidente que las demostraciones
son analogas que las anteriores, solo considerando ( a b v(a) v(b) ).
a, b, c, d A ( a b yb c )(a d od c)

Observacin: a, b, c, d A , ( a b yc d )( a d oc b)
Demostracin:
Sea sin perder generalidad sea a, b, c, d A a b, c d ; tenemos los siguinetes casos:

Caso 1) c ayd a
def def
v(c) v(a) > 1), por otro lado a b v(a) v(b) > 2).
Entonces de 1) y de 2) v(c) v(b) >2 > v(c) v(b) > c b.

Caso 2) c a, a d yd b (No hay nada que hacer)

Caso 3) a c, c b yb d (No hay nada que hacer)

Caso 4) c ayb d
def def
v(b) v(d ) > 1), por otro lado a b v(a) v(b) > 2).
Entonces de 1) y de 2) v(a) v(d ) >2 > v(a) v(d ) > a d.

Caso 5) a c, c b yb d (No hay nada que hacer)

Caso 6) b c yb d
def def
v(b) v(d ) > 1), por otro lado a b v(a) v(b) > 2).
Entonces de 1) y de 2) v(a) v(d ) >2 > v(a) v(d ) > a d.

Nota: Falta observar los casos ( a c , a d y d b ), ( a c y b d ), ( a c y b d ),


( b c y b d ), ( c a y a d ) y ( a c , c b y b d ); pero es evidente que las
demostraciones son analogas que las anteriores, solo considerando
( a b v(a) v(b) ).
a, b, c, d A , ( a b yc d )(a d oc b ).

Observacin: Consistencia de y . a, b A , a b a b y b a.
Demostracin

def
Sea a, b A a b v(a) v(b) - v(a) v(b)
Por un lado v(a) v(b) v(a) v(b) a b
Por otro lado - v(a) v(b) v(b) v(a)
v(b) v(a) b a .
a, b A , a b a b y b a.

Sea a, b A a b y b a.
De a b v(b) v(a) v(b) v(a) - v(a) v(b) 1)
Y de b a v(a) v(b) v(a) v(b) 2)
def
De 1) y de 2) - v(a) v(b) v(a ) v(b) a b.
a, b A , a b y b a a b.
a, b A , a b a b y b a.

Definicin: La relacin es un orden de intervalos si y solo si posee las siguientes propiedades:


1 Irreflexiva, a A a a
2 a, b, c, d A ( a b yc d )(a d oc b)
La representacin cuantitativa son dos funciones sobre A , v y con:
(a) >0 a A a b v(a) v(b) > (b) .

2.7 Alternativas multiatributo

Estructura de los objetivos

Hemos considerado los elementos del conjunto A como alternativas sin estructura sobre los que el
decisor poda establecer preferencias. Sin embargo en la mayora de los problemas de decisin lo que
se tiene es un objetivo general (global), y para conseguirlo (no necesariamente) ayuda alcanzar otro
objetivos y estos a travs de otros de nivel inferior.

Las alternativas o decisiones posibles a A las podemos caracterizar mediante un conjunto de


medidas que se relacionan con los objetivos de ms bajo nivel de la jerarqua, que llevan asociados un
atributo cada uno.

Se define las siguientes funciones:


zi : A Ai i {1, 2,..., n}
zi ( a ) a i
y
z: A n
Z( a ) (a1, a2 ,..., an ) .
Es decir, suponemos que n atributos caracterizan unvocamente a cada a A = ii1n Ai .

Teorema 2.8 supongamos A= n y se cumple:


un orden dbil sobre A
(dominancia estricta) Si ai bi i {1, 2,..., n} a b
(continuidad) Si a b ,b c [0,1] a (1 )c b
f funcin de valor ordinal representando las preferencias del tomador de decisiones.

Demostracin:
Primero definamos sin perder generalidad Ai =[0, ami ] i {1, 2,..., n}
Observacin: nombremos (0,0,0,,0)= a0 A ii1n Ai
Observacin: (Teorema de Weierstrass) A es un conjunto compacto que dada una f funcin
continua implica existe , A talque f( ) f( a ) f( ) a A . De hecho es evidente,
utilizando la dominancia estrita, que = a0 =(0,0,0,,0) y =( am1 , am 2 , , amn )= am

Observacin: am a a0 a A con a 1)
De 1) y por la contunidad a [0,1] a am (1 a )a0 a a A , note que a ! dado que
a0 =(0,0,0,,0).
Es decir: a am a.

Definamos: f: A
a a i1 ami
i n

Obsercvacin:
a i1 ai = a i1 ai +(1- a ) i 1 0 ,
i n i n i n

a f( (a am ) = a i1 ami =f( a )
i n
a am

P.D. f es la funcin que representa las preferencias del tomador de decisiones.

Sea a, b A a b
Caso 1) a b
Por continuidad a am a yb b am
Por transitividad a am b am a ami > b ami i {1, 2,..., n}

a > b i1 ami =f(b) f(a)> f(b).


i n i n
Entonces: f(a)= a i 1 mi

Caso 2) a b
Como am a a 0 a a m a am a 1)
am b a0 b am b am b 2)
De 1) y 2) y Por transitividad a am b am
a b
f( a )= a i1 ami = b i 1 ami =f( b ) f( a )=f( b ).
i n i n

a, b A , a b f( a ) f( b )

Sea a, b A f( a ) f( b )
Caso 1) f( a )>f( b ) a i1 ami > b i1 ami a > b
i n i n

a ami > b ami i {1, 2,..., n} 1)


De 1) y por dominancia estricta a am b am 1)
Por otro lado por contuinidad a am a yb b am 2)
Entonces por 1) , 2) y transitividad a b.

Caso 2) f( a )=f( b ) a i1 ami = b i1 ami a = b a am


i n i n
b am 1)
Por otro lado por contuinidad a am a yb b am 2)
Entonces por 1) y 2) y transitividad a b .
a, b A , f( a ) f( b ) a b
f funcin de valor ordinal representando las preferencias del tomador de decisiones

Corolario: f es unica salvo transfomaciones estrictamente crecientes.


Demostracin: Basta con aplicar el torema 2.4, dado que f es una funcin de valor ordinal

Definicin: v: A es descomponible o separable, si existe n funciones vi : Ai y una


funcin f : i1 vi ( Ai )
i n
talque:
v(a)= f ( v1 (a1 ),..., vn (an ) ).

La funcin f es una regla de composicin, y la estruictura de orden (A, ) se dice que es


descomponible.

Definicin: Sea f =v descomponible si f ( a )= i1 vi (ai ) la descomposicin se llama


i n

aditiva.

Nota: Ademas de la descomposicin aditiva existen otras como factorial, polinomica, etc.

Independencia preferencial para los atributos

Consideremos A = A1xA2 .

Definicin: El atributo A1 es preferencialmente independiente del atributo A2 si y solo si


a1, b1 A1 , (a1, ) (b1, ) p.a. A2 ( a1 , ) (b1, ) A2 .
Notacin: A1 A2 =: A1 es preferencialmente independiente del atributo A2 .

Definicn: A1 y A2 son mutuamente independientes si y solo si A1 A2 y A2 A1 .

Notacin: A1 A2 =: A1 y A2 son mutuamente independientes.

Definicin: El atributo A1 es sutituible del atributo A2 si y solo si


a1, b1 A1 , (a1, ) (b1, ) p.a. A2 ( a1 , ) (b1, ) A2 .
Notacin: A1 A2 =: A1 es sutituible del atributo A2 .

Definicn: A1 y A2 son mutuamente sustituibles si y solo si A1 A2 y A2 A1 .


Notacin: A1 A2 =: A1 y A2 son mutuamente independientes.

Definicin: Si A1 A2 definimos A1 el orden de preferencial marginal sobre A1 como:


a1 A1 b1 (a1, ) (b1, ) p.a. A2

Lema: Si A1 A2 , es un orden dbil sobre A Ai es un orden dbil i {1, 2} .


Demostracin.
Sea a1, b1 A1 y A2 y dado que es un orden dbil es comparable en A.
(a1, ) (b1, ) o (b1, ) (a1, )
def
( a1 A1 b1 o b1 A1 a1 ) ( a1, b1 A1 a1 A1 b1 o b1 A1 a1 ) A1 es comparable.
Anlogamente A2 es comparable.
def
Sea a1, b1, c1 A1 a1 A1 b1 , b1 A1 c1 (a1, ) (b1, ) y (b1, ) (c1, ) p.a. A2
def
(a1, ) (c1, ) a1 A1 c1
( a1, b1, c1 A1 , a1 A1 b1 , b1 A1 c1 a1 A1 c1 ) A1 es transitiva.
Anlogamente A2 es transitiva.
Ai es un orden dbil i {1, 2}

Descomponibilidad aditiva de la funcin de valor sobre dos atributos

Definiciones
Condicin Thompsen
a1, b1, c1 A1 , a2 , b2 , c2 A2 , ( a1 , b2 ) (b1 , a2 ) y (b1 , c2 ) (c1 , b2 ) ( a1 , c2 ) (c1 , a2 )
Atributo esencial
A1 es esencial si a1, b1 A1 y c2 A2 ( a1 , c2 ) (b1 , c2 )
Resolubilidad restringida
a1, b1, c1 A1 , a2 , b2 A2 , (c1 , a2 ) (b1 , b2 ) (a1, a2 ) d1 A1 (d1, a2 ) (b1 , b2 )
a2 , b2 , c2 A2 , a1, b1 A1 , ( a1 , c2 ) (b1 , b2 ) (a1, a2 ) d 2 A2 (a1, d 2 ) (b1 , b2 )

Teorema: Sea A A1 xA2 con las siguientes caracteristicas:


orden dbil sobre A
A1 A2
Condicin Thompsen
A1 y A2 son esenciales
Resolubiliad restringida
Cada sucesin estandar acotada estriotamente en A1 o A2 es finita
v funcin de valor aditiva que representa a .
Demostracin (construccin)

Mtodo de la susesin estandar (de Luce-Tukey) o de la sierra.


Paso 1. Reconozcamos a01 , a02 los minimos de A1 y A2 respestivamente ponemos:
v1 (a01 ) =0= v2 (a 02 ) .
Paso 2 Elegimos y nombramos a11 talque v1 (a11 ) =1
Paso 3 De acuerdo con la Resolubilidad restringida fijamos a12 tal que (a01 , a12 ) (a11, a02 )
v1 (a01 ) + v2 (a12 ) = v1 (a11 ) + v2 (a02 ) v2 (a12 ) =1.
Paso 4 De acuerdo con la Resolubilidad restringida fijamos a12 tal que (a12 , a02 ) (a11, a12 )
v1 (a12 ) + v2 (a02 ) = v1 (a11 ) + v2 (a12 ) v1 (a12 ) =2
Siguiendo el mismo mtodo encontramos a1n y an2 n {0} finamente para las

alternativas a1r y a1r r {0} la construccin sigue un meto similar al utilizado en la
construccin de la funcin medible.
Paso 5 Teniendo la funciones v1 y v2 definimos v(a) v1 (a1 ) v2 (a2 )

Solo falta demostrar que efectivamente esta funcin v representa a sobre A .

Observacin: Lema: Considerando la construccin (cumple dominancia estricta), la condicin


de Thompsen, atributo esencial y la resolucin restringida es evidente (no fcil) que a A1
a ( ) talque =( a11 , a12 ) A .
Entonces sea a, b A a b y tomamos a a yb b
( a ) ( b )
a a
2 a 2 b
a v1 (a11 ) + a v2 (a12 ) b v1 (a11 ) + b v2 (a12 )
v1 (a a11 ) + v2 (a a12 ) v1 (b a11 ) + v2 (b a12 )
v( a ) v( b )
v(a) v(b)
( a, b A , a b v(a) v(b) )
v funcin de valor aditiva que representa a .
Proposicin: Sea v y u dos funciones de valor, v ( a ) = v1 (a1 ) + v2 ( a2 ) , u ( a ) =
u1 ( a1 ) + u2 (a2 ) que representan a la sobre A A1 xA2 si y solo si 0 , , tales
que:
v1 (a1 ) u1 (a1 )
v2 (a2 ) u2 (a2 ) .