Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 198 vistas

    Conjuntos Recursivos y Recursivamente Enumerables

    Cargado por

    mitchel123455
    1) Los conjuntos recursivamente enumerables (r.e.) son aquellos que pueden enumerarse mediante una función recursiva, es decir, existen algoritmos que pueden listar sus elementos de forma sistemática. 2) Todo conjunto recursivo es r.e., pero no todo r.e. es recursivo. 3) Un conjunto es r.e. si y solo si existe una relación recursiva que codifique su pertenencia.

    Copyright:

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

    Conjuntos Recursivos y Recursivamente Enumerables

    Cargado por

    mitchel123455
    198 vistas4 páginas
    1) Los conjuntos recursivamente enumerables (r.e.) son aquellos que pueden enumerarse mediante una función recursiva, es decir, existen algoritmos que pueden listar sus elementos de forma sistemática. 2) Todo conjunto recursivo es r.e., pero no todo r.e. es recursivo. 3) Un conjunto es r.e. si y solo si existe una relación recursiva que codifique su pertenencia.

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    1) Los conjuntos recursivamente enumerables (r.e.) son aquellos que pueden enumerarse mediante una función recursiva, es decir, existen algoritmos que pueden listar sus elementos de forma sistemática. 2) Todo conjunto recursivo es r.e., pero no todo r.e. es recursivo. 3) Un conjunto es r.e. si y solo si existe una relación recursiva que codifique su pertenencia.

    Copyright:

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

    Conjuntos Recursivos y Recursivamente Enumerables

    Cargado por

    mitchel123455
    1) Los conjuntos recursivamente enumerables (r.e.) son aquellos que pueden enumerarse mediante una función recursiva, es decir, existen algoritmos que pueden listar sus elementos de forma sistemática. 2) Todo conjunto recursivo es r.e., pero no todo r.e. es recursivo. 3) Un conjunto es r.e. si y solo si existe una relación recursiva que codifique su pertenencia.

    Copyright:

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

    Lgica Matemtica

    (Apuntes : - Conjuntos recursivos y recursivamente enumerables


    basado en el libro de Vnnen)
    Andrs Villaveces
    de agosto de :o:
    Resumen
    Traduccin libre del libro de Vnnen Matemaattinen logiikka
    para uso en clase en la Universidad Nacional - Bogot, :o: - mez-
    clado con notas personales.
    . Conjuntos recursivamente enumerables
    Como antes, podemos tratar los conjuntos de nmeros naturales
    como relaciones unarias. Decimos que A N es recursivo si su fun-
    cin caracterstica
    A
    es recursiva. La idea intuitiva es que un con-
    junto es recursivo si existe un algoritmo mecnico que puede decidir,
    dado un nmero natural n, si n pertenece a A o no.
    Dado un conjunto recursivo no vaco A, podemos enumerarlo de
    la siguiente manera: Sea a
    0
    A. Entonces si dehnimos
    f(n) =

    n si
    A
    (n) = 1,
    a
    0
    si
    A
    (n) = 0,
    tenemos que
    A = {f(n) | n N}.
    Obviamente, f es una funcin recursiva. As, cualquier conjunto
    recursivo (no vaco) siempre se puede enumerar de manera recursiva.

    Universidad Nacional - Lgica Matemtica II- :


    Se dice que A N es recursivamente enumerable (r.e.) si A = o
    existe una funcin f : N N recursiva tal que
    A = {f(n) | n N}.
    Lo anterior implica que todo conjunto recursivo es recursivamente
    enumerable. Vale el recproco? Ms adelante vemos que no: de hecho
    hay conjuntos recursivamente enumerables con descripciones muy
    concretas que no son recursivos (teorema de Church).
    Se puede ver fcilmente que el complemento de un conjunto re-
    cursivo tambin es recursivo. As, en este caso no solo el conjunto
    sino su complemento tienen enumeracin recursiva. Inversamente, si
    A = {f(n) | n N}
    N \ A = {g(n) | n N}
    donde f y g son ambas funciones recursivas, entonces A resulta re-
    cursivo, pues
    n A f

    f(m) = n g(m) = n

    = n,
    o (informalmente) la pregunta n A? se puede responder mediante
    un algoritmo corriendo en paralelo las enumeraciones recursivas f y
    g de A y N \ A - como necesariamente n aparecer en una (y una
    sola) de esas enumeraciones, el algoritmo converge en tiempo hnito
    y podemos decidir si n A. Todo lo anterior se resume en:
    Teorema Un conjunto A es recursivo si y solo si tanto A como su com-
    plemento N \ A son recursivamente enumerables.
    Dehnimos antes los conjuntos recursivamente enumerables como
    los conjuntos de valores de una funcin recursiva. Los conjuntos r.e.
    se pueden dehnir tambin como conjuntos solucin de relaciones re-
    cursivas o (equivalentemente) como conjuntos de ceros de funciones
    recursivas.
    Sea entonces
    A = {f(n) | n N}
    donde f es una funcin recursiva. Si R(x, y) es la relacin f(y) = x
    entonces
    A = {n N | mR(n, m)}. ()
    Universidad Nacional - Lgica Matemtica II-
    Adicionalmente, sean R una relacin recursiva y A = un conjun-
    to que satisface la ecuacin (). Veremos mediante codihcacin senci-
    lla que A es el conjunto de valores de una funcin recursiva. Sea
    R

    = {(n, m) | R(n, m).}


    Entonces R

    resulta ser un conjunto de nmeros naturales que co-


    dihca la relacin binaria R. Sea a
    0
    A. Dehnimos la funcin recursiva
    f as:
    f(n) =

    (n), si n R

    ,
    a
    0
    , si n / R

    .
    Entonces claramente
    A = {f(n) | n N}.
    Lo anterior es demostracin de lo siguiente:
    Teorema Un conjunto A es recursivamente enumerable si y solo si
    existe una relacin recursiva R(x, y) tal que
    A = {n N | mR(n, m)}.
    Existen variantes mucho ms fuertes del teorema :. Por ejemplo,
    en ,,o Matiyasvich demostr que la relacin R(x, y) siempre se pue-
    de escoger de la forma espechca f(x, y) = 0, primitiva recursiva, don-
    de f(x, y) es un polinomio.
    Teorema La clase de los conjuntos r.e. es cerrada bajo uniones e inter-
    secciones.
    Drxos1v~cioN Sean A y B conjuntos r.e., y sean R y S relaciones
    como las que da el teorema :. La identidad siguiente implica que AB
    es r.e.:
    n A B m

    R(n, m) o S(n, m)

    .
    La interseccin requiere ms cuidado: hay que usar las codihcaciones:
    n A B m

    R(n, (m)) y S(n, (m))

    .
    (Por qu? Note que al recorrer los naturales, los valores (m) y (m)
    recorren todos los pares de naturales - esto es necesario para garan-
    tizar que n aparezca en la interseccin!)
    Universidad Nacional - Lgica Matemtica II-
    . Observaciones
    La clase de conjuntos r.e. no puede ser cerrada por complementos,
    pues en ese caso por el teorema se tendra que todo conjunto r.e. es
    recursivo.
    Ms adelante al estudiar teoras (conjuntos de sentencias) ten-
    dremos la siguiente analoga: los conjuntos r.e. corresponden a los
    conjuntos de teoremas (sentencias demostrables) a partir de ciertos
    conjuntos de axiomas. Dada una sentencia, no podemos saber es de-
    mostrable (teorema) a menos que alguien d una demostracin (sta
    correspondera al nmero m del teorema :). Los conjuntos recursivos
    corresponden entonces a las teoras llamadas completas. Una teora
    matemtica es completa si dada cualquier sentencia , se tiene que a
    partir de T se puede demostrar o se puede demostrar la negacin de
    . La teora de nmeros naturales es un ejemplo de teora incompleta,
    la teora de nmeros complejos es un ejemplo de teora completa.

    También podría gustarte