Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 91 vistas

    Isomorfismo

    Cargado por

    Натанаел Маркез Бондарепскй
    Este documento discute la naturaleza de la elección y su conservación en diferentes estructuras. Define esquemas de elección, estructuras A, y homomorfismos e isomorfismos entre estructuras. Propone que cualquier esquema de elección puede ser generado por un lenguaje L, y que la teoría microeconómica y la teoría de juegos son isomorfas entre sí y con la teoría del teorema de imposibilidad.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd

    Isomorfismo

    Cargado por

    Натанаел Маркез Бондарепскй
    91 vistas4 páginas
    Este documento discute la naturaleza de la elección y su conservación en diferentes estructuras. Define esquemas de elección, estructuras A, y homomorfismos e isomorfismos entre estructuras. Propone que cualquier esquema de elección puede ser generado por un lenguaje L, y que la teoría microeconómica y la teoría de juegos son isomorfas entre sí y con la teoría del teorema de imposibilidad.

    Descripción original:

    ,

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    DOCX, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento discute la naturaleza de la elección y su conservación en diferentes estructuras. Define esquemas de elección, estructuras A, y homomorfismos e isomorfismos entre estructuras. Propone que cualquier esquema de elección puede ser generado por un lenguaje L, y que la teoría microeconómica y la teoría de juegos son isomorfas entre sí y con la teoría del teorema de imposibilidad.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    91 vistas4 páginas

    Isomorfismo

    Cargado por

    Натанаел Маркез Бондарепскй
    Este documento discute la naturaleza de la elección y su conservación en diferentes estructuras. Define esquemas de elección, estructuras A, y homomorfismos e isomorfismos entre estructuras. Propone que cualquier esquema de elección puede ser generado por un lenguaje L, y que la teoría microeconómica y la teoría de juegos son isomorfas entre sí y con la teoría del teorema de imposibilidad.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    de 4

    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:

    También podría gustarte