Supongamos que para es decir, es una transformación afín positiva de , entonces
v=α+βuβ>0vu
v(g1)−v(g2)v(g2)−v(g3)=α+βu(g1)−α−βu(g2)α+βu(g2)−α−βu(g3)=u(g1)−u(g2)u(g2)−u(g3)
Converse no es cierto porque también satisfacev=−u
v(g1)−v(g2)v(g2)−v(g3)=u(g1)−u(g2)u(g2)−u(g3)
para todos los .g1,g2,g3∈G
Agregado más tarde
Por cierto, conversar también es cierto. Se nos da esta información que y representan . Entonces, no es un ejemplo válido ya que ambos no pueden representar .uv≿v=−u≿
Aquí está la prueba de lo contrario:
Fijar cualesquiera dos loterías y tal que y, en consecuencia, . Para cualquier lotería , sabemos que lo siguiente es ciertobwu(b)>u(w)v(b)>v(w)g∈G
v(g)−v(w)v(w)−v(b)=u(g)−u(w)u(w)−u(b)
Entonces,
o equivalente,
v(g)=v(w)+(v(w)−v(b))u(g)−u(w)u(w)−u(b)
v(g)==v(w)−v(w)−v(b)u(w)−u(b)u(w)+v(w)−v(b)u(w)−u(b)u(g)(u(w)v(b)−v(w)u(b)u(w)−u(b))+(v(w)−v(b)u(w)−u(b))u(g)
Por lo tanto, where y .v=α+βuα=u(w)v(b)−v(w)u(b)u(w)−u(b)β=v(w)−v(b)u(w)−u(b)>0
Bueno, la parte "si" es ciertamente sencilla. Haga v = a + bu donde b> 0. Las a se cancelan mediante resta en cada numerador y denominador; Una vez hecho esto, las b se cancelan en numerador y denominador.
La parte "solo si" es un poco más difícil.
fuente