Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 26 vistas

    Taller 3

    Cargado por

    Ricardo Cano Caro
    El documento presenta varios ejercicios y problemas relacionados con relaciones de orden parcial y total en conjuntos. Se piden propiedades como reflexividad, transitividad y unicidad de elementos mínimos para diferentes relaciones dadas en conjuntos específicos. También se piden demostraciones de que un conjunto está totalmente ordenado si y solo si cada subconjunto finito no vacío tiene un elemento mínimo, y se analizan isomorfismos entre conjuntos ordenados.

    Copyright:

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

    Taller 3

    Cargado por

    Ricardo Cano Caro
    26 vistas3 páginas
    El documento presenta varios ejercicios y problemas relacionados con relaciones de orden parcial y total en conjuntos. Se piden propiedades como reflexividad, transitividad y unicidad de elementos mínimos para diferentes relaciones dadas en conjuntos específicos. También se piden demostraciones de que un conjunto está totalmente ordenado si y solo si cada subconjunto finito no vacío tiene un elemento mínimo, y se analizan isomorfismos entre conjuntos ordenados.

    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?

    El documento presenta varios ejercicios y problemas relacionados con relaciones de orden parcial y total en conjuntos. Se piden propiedades como reflexividad, transitividad y unicidad de elementos mínimos para diferentes relaciones dadas en conjuntos específicos. También se piden demostraciones de que un conjunto está totalmente ordenado si y solo si cada subconjunto finito no vacío tiene un elemento mínimo, y se analizan isomorfismos entre conjuntos ordenados.

    Copyright:

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

    Taller 3

    Cargado por

    Ricardo Cano Caro
    El documento presenta varios ejercicios y problemas relacionados con relaciones de orden parcial y total en conjuntos. Se piden propiedades como reflexividad, transitividad y unicidad de elementos mínimos para diferentes relaciones dadas en conjuntos específicos. También se piden demostraciones de que un conjunto está totalmente ordenado si y solo si cada subconjunto finito no vacío tiene un elemento mínimo, y se analizan isomorfismos entre conjuntos ordenados.

    Copyright:

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

    Taller 3

    1. En los siguientes ejercicios, suponga que ≤ es una relación de orden parcial de


    un conjunto 𝐴.

    a. Pruebe que si a < b entonces no es cierto que b ≤ a.


    b. Demuestre que a lo sumo una de las tres propiedades a < b, a = b, b < a
    es verdad.
    c. Si a < b y b ≤ c, muestre a < c.
    d. Suponga que 𝑆⊆𝐴 tiene un elemento mínimo. Demuestre que es único.

    2. Sea A = {a, b, c, 8, 13}. Consideremos la relación binaria R = {(a, b), (b, c),
    (8, 13)}.

    a. Completar la relación binaria R para que sea una relación de orden.


    b. Completar la relación binaria R para que sea reflexiva y transitiva, pero no
    sea simétrica ni antisimétrica.
    c. Completar la relación del apartado (b) para que sea una relación de
    equivalencia.

    3. Demuestre que 𝐴 está totalmente ordenado si y sólo si cada subconjunto finito


    no vacío de 𝐴 tiene un elemento mínimo.

    4. Sea A = {1, 2, 3, 4, 5, 6, 7, 8} y consideremos la relación binaria R = {(1, 1),


    (1, 2), (1, 3), (1, 4), (1, 5), (1, 6), (1, 7), (1, 8), (2, 2), (2, 5), (2, 6), (2, 8), (3, 3),
    (3, 5), (3, 7), (3, 8), (4, 4), (4, 6), (4, 7), (4, 8), (5, 5), (5, 8), (6, 6), (6, 8), (7, 7),
    (7, 8), (8, 8)}.

    a. Comprobar que R determina un orden en A.


    b. Calcular los máximos y mínimos del conjunto ordenado A para la rel-
    ación de orden R.
    c. Calcular los máximales y minimales del conjunto ordenado B = A - {1,8}
    para la relación de orden inducida por R.
    d. Calcular las cotas superiores e inferiores de B = A - {1,8} en A.

    5. Si 𝐴 está totalmente ordenado, pero no bien ordenado, demuestre que existe


    una secuencia de elementos tal que a 1>a 2>a 3>⋯

    Hint: Suponga que existe un subconjunto no vacío que no contiene un elemento


    mínimo.
    6. Dado el conjunto A={a,b,c,d}, sea la relación R={(a,a), (b,b), (c,c), (d,d), (a,c),
    (c,a), (b,d), (d,b)} en A, i.e., R ⊆ A × A .

    a. ¿Es R una relación reflexiva?


    b. ¿Es R una relación transitiva?
    c. ¿Es R una relación simétrica?
    d. ¿Es R una relación de equivalencia?

    7. Sea A el conjunto definido en la forma: 

    i+ 1
    A={x i : x i= ;i=1 ,2 , 3 , … ⊂ R }
    i
    Y la relación de orden definida en la forma: 
    +¿∪ {0 };a+m=b ¿
    aRb ⇔ ∃m∈ R
    Determinar:

    a. Máximo y mínimo, si existen.


    b. ¿Admite extremos?
    c. ¿Tiene máximo y mínimo?

    8. Un programa de ordenador consta de cinco módulos: M 1 , M 2 ,… , M 5 .Una relación R


    sobre el conjunto de módulos está definida por la regla: M i R M j si M i está en la
    secuencia de llamada de M j . La matriz de relación para R se muestra a continuación:

    M 1 M 2 M 3 M 4 M5

    [ ]
    M1 T F T T F
    M2 F T T F F
    M3 F F T F F
    M4 F F T T F
    M5 F F T T T

    a. Rectifique que R es reflexiva, antisimétrica y transitiva.

    9. Sea f : A → B un isomorfismo entre los conjuntos linealmente ordenados (A, <A) y (B,
    <B). Demuestre las siguientes afirmaciones.

    a. Si (A,<A) tiene primer elemento a, entonces (B,<B) tiene primer elemento y f (a)
    es el primer elemento. Análogamente, si (A, <A) tiene último elemento d,
    entonces (B,<B) tiene último elemento y ese es f (d).
    b. Si un elemento a ∈ A tiene sucesor inmediato b, entonces f(a) tiene sucesor
    inmediato y este es f(b).
    c. Sea C es un suborden de (A,<A). Si C es un intervalo, entonces su imagen f(C)
    = {f(c) : c ∈ C} es también un intervalo.

    También podría gustarte