En otras palabras preguntar por el isomorfismo entre estructuras de eleccin es

equivalente a preguntar ms generalmente an por la naturaleza de la eleccin y

la conservacin de las operaciones individuales y colectivas en todas las
estructuras.
Definicin (1.1): Decimos que una esquema de eleccin es una tripleta
conformada por
alternativas,
E

(X , ,f )

donde

es un conjunto universal de estados u

una familia no vaca de subconjuntos de

tal que todo

es un conjunto de estados u alternativas disponibles. Finalmente

una funcin de eleccin tal que

f :E

espacio de eleccin a la pareja conformada por

Definicin1(1.2):

Sea

un

lenguaje

L.

es

. Entenderemos por un

( X , ) .

Una

A Estructura

es

un

par

A
A ( A, ( M M
L ))

tal que:

1) M A A
2) M A : An A
3) M A An

Donde 1) representa una constante 2) una funcin de aridad n y 3) una relacin de

1- Tent, Katrin y Ziegler, Martn. A Course in Model Theory, Cambridge University Press,
2012, p.2.

A Interpretacin

aridad n. En general diremos que 1), 2) y 3) representa la

Proposicin: Toda esquema de eleccin puede ser generado por un L-lenguaje?

A ,B

Definicin (1.3): Sean

elementos del dominio de

estructuras, y

( x 1 , , x n) A

, se dice que la aplicacin

cualesquiera
f : A
B

es un

homomorfismo si:

f ( c A )=c B

f [ g ( x1 , , x n ) ]=g [ f ( x 1 ) , , f ( x n ) ]

R A ( x 1 , , x n )
R B [f ( x 1 ) , , f ( x n) ]

B es inyectiva entonces:
Si adems f : A

R ( x 1 , , x n )
R [f ( x 1 ) , , f ( x n) ]

Definicin (1.4): Sean

f : A
B entonces

Definicin: Decimos que

A ,B

estructuras y una aplicacin inyectiva homeomorfa

es un isomorfismo denotado como

de

si

A B

~
f : A
B .

de modo que

A B

El lector debe considerar que pensamos las constantes como alternativas del
conjunto

X , las relaciones como rdenes dbiles y las dos funciones como la

funcin de eleccin individual y colectiva.

Proposicin 1: Lo siguiente es equivalente con sus respectivas L-asignaciones:

a) Existe un modelo que verifica el lenguaje M de la teora microeconoma

b) Existe un modelo que verifica el lenguaje J de la teora de juegos
c) Existe un modelo de la verifica del lenguaje T que genera el Teorema de
Imposibilidad
Demostracin
(Construya los tres lenguajes respectivos para la teora de juegos

Lj

, la teora

microeconmica

Lm

y el teorema de imposibilidad (Al ser un teorema debe

tenerse cuidado)

Lc

, dado el esquema de eleccin. Defnanse sus respectivas

teoras.)
Proposicin 2: Los modelos

A ,B

son isomorfos

A B . Es decir la Teora

microeconmica es isomorfa a la teora de juegos.

Demostracin:
Por la definicin 1.1,

la aplicacin entre los

homeomorfa (pues al ser

(X , , f )

modelos

f : A
B

A ,B

es

general las alternativas conservan la

interpretacin estructural entre

A , B , lo mismo para las funciones y relaciones.

Teorema: El modelo A

Lm

Modelo

de

es isomorfo al modelo

es isomorfo al Modelo

de

Lc

de

Lj

si el

, luego La teora

Microeconmica es Isomorfa a la Teora de juegos si la teora microeconmica o la

teora de juegos es isomorfa a la teora que demuestra el teorema de
imposibilidad.

Demostracin:
Dado que

Lj

Lm

Lc

A=( A , R1A , , R nA , C A , f A )

B=( A , R1B , , R Bn ,C B , f B )

C=( A , RC1 , , R Cn , C C , f C )

Dado que

sean sus respectivas estructuras: