Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 41 vistas

    Ejercicios - Unidad - I - Teor - A - de - Conjuntos - 2021 - I - UDEA 1

    Cargado por

    Camilo Diaz
    Este documento presenta una lista de 10 ejercicios sobre teoría de conjuntos, relaciones de equivalencia y clases parcialmente ordenadas. Los estudiantes deben resolver 5 de estos ejercicios para una evaluación parcial el 7 de abril. Los ejercicios cubren temas como relaciones de equivalencia, funciones canónicas, teoremas de isomorfismo, cortes y segmentos iniciales en clases parcialmente ordenadas.

    Copyright:

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

    Ejercicios - Unidad - I - Teor - A - de - Conjuntos - 2021 - I - UDEA 1

    Cargado por

    Camilo Diaz
    41 vistas6 páginas
    Este documento presenta una lista de 10 ejercicios sobre teoría de conjuntos, relaciones de equivalencia y clases parcialmente ordenadas. Los estudiantes deben resolver 5 de estos ejercicios para una evaluación parcial el 7 de abril. Los ejercicios cubren temas como relaciones de equivalencia, funciones canónicas, teoremas de isomorfismo, cortes y segmentos iniciales en clases parcialmente ordenadas.

    Título original

    Ejercicios_Unidad_I__Teor_a_de_conjuntos_2021_I_UDEA 1

    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?

    Este documento presenta una lista de 10 ejercicios sobre teoría de conjuntos, relaciones de equivalencia y clases parcialmente ordenadas. Los estudiantes deben resolver 5 de estos ejercicios para una evaluación parcial el 7 de abril. Los ejercicios cubren temas como relaciones de equivalencia, funciones canónicas, teoremas de isomorfismo, cortes y segmentos iniciales en clases parcialmente ordenadas.

    Copyright:

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

    Ejercicios - Unidad - I - Teor - A - de - Conjuntos - 2021 - I - UDEA 1

    Cargado por

    Camilo Diaz
    Este documento presenta una lista de 10 ejercicios sobre teoría de conjuntos, relaciones de equivalencia y clases parcialmente ordenadas. Los estudiantes deben resolver 5 de estos ejercicios para una evaluación parcial el 7 de abril. Los ejercicios cubren temas como relaciones de equivalencia, funciones canónicas, teoremas de isomorfismo, cortes y segmentos iniciales en clases parcialmente ordenadas.

    Copyright:

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

    Universidad de Antioquia

    Facultad de Ciencias Exactas y Naturales


    Instituto de Matemáticas
    Ejercicios de Teorı́a de conjuntos, 2021-I
    UNIDAD I

    Los ejercicios de abajo pueden tener errores de redacción. Si detecta alguno


    por favor corrijalo.

    La siguiente lista de ejercicios de desarrollará en clases. Aquellos ejercicios


    que no se desarrollen en clases quedan al estudiante para prácticar para la
    evaluación parcial, que será el dı́a 07 de abrı́l y cubrirá los temas de este
    taller (relaciones de equivalencia y clases parcialmente ordenadas).

    1. Relaciones de equivalencia
    1. Dada una clase A, sea G una relación de equivalencia en A y B ⊆ A. La restricción
    de G a B es G[B] = {(x, y) ∈ B × B : (x, y) ∈ G}. Demostrar que G[B] es una
    relación de equivalencia en B. (En este sentido, toda relación de equivalencia en A
    induce una relación de equivalencia en cada subclase de A.)

    2. Sea f : A → B una función y G una relación de equivalencia en B. La pre-imagen


    de G bajo f es f −1 (G) := f˜(G) := {(x, y) ∈ A × A : (f (x), f (y)) ∈ G}. Demostrar
    que f˜(G) es una relación de equivalencia en A. (En este sentido, toda relación de
    equivalencia en B induce una relación de equivalencia en A.)

    3. Sea f : A → B una función. Definimos H = {(x, y) ∈ A×A : f (x) = f (y)}. Muestre


    que H es una relación de equivalencia (H se llama la relación de equivalencia
    sobre A determinada por f ). (Note que H es simplemente la relación f˜(G)
    definida en numeral 2, tomando G = IU .)

    4. Si G es una relación de equivalencia en un conjunto A, definimos f : A → A/G por


    f (x) = [x]G , ∀x ∈ A. Muestre que f es una función (llamada la función canónica
    de A en A/G). Muestre además que f es sobreyectiva. (Note que si G una relación
    de equivalencia en un conjunto A y f es la función canónica de A en A/G, entonces
    G es la relación de equivalencia determinada por f sobre A del numeral 3.)

    5. Sean G y H relaciones de equivalencia en un conjunto A con G ⊆ H. El cociente


    de H por G es H/G = {([x]G , [y]G ) : (x, y) ∈ H}. Demostrar que H/G es una
    relación de equivalencia en A/G. (En este sentido, toda relación en A que extiende
    a G determina una relación de equivalencia en A/G.)

    6. 1er Teorema de Isomorfismos para conjuntos: Sean A, B conjuntos, f : A → B


    una función. Sea G la relación de equivalencia determinada por f sobre A. Definimos

    r : A → A/G es la función canónica de A en A/G.


    s : A/G → f (A) es la función s([x]G ) = f (x), ∀x ∈ A.
    t : f (A) → B dada por t(y) = y, ∀y ∈ f (A).

    Muestre que r es sobreyectiva, s es biyectiva y t es inyectiva. Más aún, muestre


    que f = t ◦ s ◦ r. (A la descomposición anterior se le llama la descomposición
    canónica de f .) (En este sentido, dada una función entre conjuntos f : A → B,
    entonces f = f1 ◦ f2 ◦ f3 , donde f1 es inyectiva, f2 es biyectiva y f3 es sobreyectiva.)

    7. Sean A y B conjuntos y f : A → B una función. Sea H la relación de equivalencia


    determinada por f . Sea G cualquier relación de equivalencia en A que sea más fina
    que H. Definimos una función f /G de A/G en B por [f /G]([x]G ) = f (x), ∀x ∈ A.
    Muestre que f /G es una función de A/G en B. A esta se llama el cociente de
    f por G. (Note que si f : A → B una función y H la relación de equivalencia
    determinada por f y G es un refinamiento de H, entonces H/G es la relación de
    equivalencia determinada por f /G.)

    8. 2do Teorema de Isomorfismo para conjuntos: Sean G y H relaciones de equi-


    valencia en un conjunto A, donde G ⊆ H. Sea f : A → A/G la función canónica y
    g : A → A/H la función canónica. Sea h = g/G. Muestre que g = h ◦ f . (Ası́ las
    cosas, toda función canónica g respecto a una relación H se puede factorizar como
    la composición de la función canónica de un refinamiento de H y el cociente de g
    por ese refinamiento.)

    9. Sean G, H y J relaciones de equivalencia en A y suponga que G ⊆ H ⊆ J. Sean


    f : A → A/G, g : A → A/H y, h : A → A/J las funciones canonicas de G, H y J,
    respectivamente. Muestre que h/G = h/H ◦ h/J. (Esto es, el cociente de h por G
    se puede factorizar mediante el cociente de h por H y por J.)
    10. 3er Teorema de Isomorfismo para conjuntos: Considere G y H relaciones de
    equivalencia en A y suponga que G ◦ H = H ◦ G. Muestre que:

    a) A/(G ◦ H) ≡ (A/G)/(G ◦ H/G).


    b) A/G ≡ (A/G ∩ H)/(G/G ∩ H).

    (Note que esta propiedad de alguna nos ı́ndica que podemos ((cancelar la división por
    G y por G ∩ H)).)

    2. Clases Parcialmente ordenadas


    1. Considere A = {a, b, c, d} y considere ℘(A) el conjunto potencia de A. Dibuje el
    diagrama de lı́neas de la CPO (℘(A), ⊆).

    2. Considere dos CPOs A y B y suponga que (L, U ) es un corte de B. Muestre que


    el par (A × L, A × U ) es un corte de A × B. ¿Es posible una formulación similar si
    asumimos que (L0 , U 0 ) es un corte de A?

    3. Sea A una CPO y sea G una relación de equivalencia en A. Suponga que la siguiente
    condición se cumple:

    HIP: Si x ∼G z y x ≤ y ≤ z, entonces y ∼G z.

    Defina una relación H en A/G ası́:

    H = {([x]G , [y]G ) : ∀w ∈ [x]G , ∃z ∈ [y]G t.q. w ≤ z}.

    Demostrar que (A/G, H) es una CPO.

    4. Sea f : A → B una función creciente y C una cadena de A. Determine si f [C] es una


    cadena de B. (Esto es, la imagen directa de una cadena por una función creciente
    es una cadena del codominio.)

    5. Sea A y B CPOs. Muestre que si A × B es dotado del orden lexicográfico, entonces


    πA : A × B → A, definida por (x, y) 7→ x es una función creciente. Muestre que
    si A × B es dotada del orden antilexicográfico, entonces πB : A × B → B definida
    por (x, y) 7→ y es una función creciente. (Las funciones πA , πB son llamadas las
    ((proyecciones)) a A y a B, respectivamente.)
    6. Sean E y F CPOs y sea g : E → F un isomorfismo. Muestre que para un x ∈ E
    arbitrario g[Sx (E)] = Sg(x) (F ). Concluya que Sx (E) ≈ Sg(x) (F ). (Esto es, la imagen
    directa del segmento inicial de x en E por g es justamente el segmento inicial de
    g(x) en F y más aún, estos dos segmentos iniciales son isomorfos.)
    7. Sea A una clase parcialmente ordenada y para a ∈ A sea Ia = Sa (A) ∪ {a}. Sea
    I = {Ia }a∈A y ordenelo por inclusión. Muestre que I y A son isomorfas.
    8. Sea A un conjunto PO y tome Lx = {z ∈ A : z ≤ x} y Uu = {z ∈ A : z 6≤ x}. Sea
    L = {(Lx , Ux )}x∈A . Muestre que si L es ordenada por inclusión en los Lx ’s, entonces
    cada (Lx , Ux ) es un corte de A y la función φ : A → L definida por x 7→ (Lx , Ux ) es
    un isomorfismo.
    9. Sea A una CBO; si a ∈ A, sea a0 el sucesor inmediato de a. Un elemento q ∈ A se
    llamará un elemento lı́mite de A si q no es el menor elemento de A y q no tiene
    predecesor inmediato. Muestre que:

    a) q es un elemento lı́mite de A si y sólo si [a < q ⇒ a0 < q].


    b) q es un elemento lı́mite de A si y sólo si q = sup{x ∈ A : x < q}.

    10. Sea A una CBO. Muestre que B es una sección de A si y sólo si B = A ó B = Sa (A)
    para algún a ∈ A. (Esto es, las únicas secciones de una CBO son ella misma y sus
    segmentos iniciales.)

    3. Taller 1: Relaciones de Equivalencia y CPO

    De la siguiente lista de ejercicios usted debe escoger y resolver 5 de ellos


    que deben ser entregados a más tardar el dı́a 07 de abrı́l del 2021 por medio
    del enlace de Teams creado por el profesor para este grupo y esta actividad.
    Luego de pasada esa fecha no se recibirá ninguna actividad.
    1. Considere
      

     x11 · · · x1n 

    M(n,n) (R) := 
     .. . . ..  : x , . . . , x ∈ R .
    . . .  11 nn
     
     xn1 . . . xnn 

    Éste es el conjunto de matrices de tamaño n × n y entradas en R.


    a) Definimos en M(n,n) (R) la relación ∼ por: A, B ∈ M(n,n) (R) son tales que
    A ∼ B si y sólo si hay una matriz invertible P tal que B = P AP −1 . Determine
    si ∼ es una relación de equivalencia en M(n,n) (R). Si resulta que sı́, determine
    las clases de equivalencia de la identidad y la matriz nula.
    b) Defina en M(n,n) (R) una relación R por: (A, B) ∈ R si y sólo si det(A) =
    det(B). Determine si R es relación de equivalencia en M(n,n) (R). Si resulta
    que sı́, determine las clases de equivalencia de la identidad y la matriz nula.

    2. El kernel de equivalencia de una función f : A → B es es la relación x ∼ y si


    y sólo si f (x) = f (y) (ya esta relación la vimos en clases pero con otro nombre).
    Muestre que el kernel de una función inyectiva es la relación identidad.

    3. Sea m un entero positivo y x, y enteros arbitrarios. Definimos la relación ≡m en x, y,


    denotado x ≡m y si y sólo si existe p en los enteros tal que x − y = m · p. ¿Es ≡m
    es una relación de equivalencia? Si sı́, describa las clases de equivalencia.

    4. Considere G y H relaciones de equivalencia en A y suponga que G ◦ H = H ◦ G.


    Muestre que A/G ≡ (A/G∩H)/(G/G∩H). ¿Puede omitir la hipótesis G◦H = H ◦G
    o cambiarla por una noción distinta de forma que el mismo resultado valga?

    5. Una relación R sobre una clase A se dice que es fuertemente conexa si para
    todo x, y ∈ A, (x, y) ∈ R ó (y, x) ∈ R. El campo de una relación R sobre A es
    F(R) = Dom(R) ∪ Ran(R). Determine la veracidad de la siguiente afirmación: R es
    fuertemente conexa si y sólo si F(R) × F(R) = R ∪ R−1 .

    6. Sea A un conjunto. Definimos R = {R : R es relación de equivalencia en A} y sea


    B = {P : P es partición de A}. Muestre que R y B son conjuntos. Defina las
    funciones f : R → B, R 7→ A/R y g : B → R, P 7→∼P (donde ∼P es la relación de
    equivalencia asociada a la partición P ). Muestre que f ◦ g = 1B y g ◦ f = 1R . Ası́
    que f es biyectiva. En otras palabras, muestre que R ≡ B. (Aquı́ 1B es la identidad
    de B y 1R es la identidad de R.)

    7. Sean A y B CPOs y sea f : A → B un isomorfismo. Muestre que:

    a) a ∈ A es maximal si y sólo si f (a) es maximal en B.


    b) a es el mayor elemento de A si y sólo si f (a) es el mayor elemento de B.
    c) Si C ⊆ A; x es cota superior de C si y sólo si f (x) es cota superior de f [C].
    8. Sea A un conjunto y G la clase de todas las relaciones de equivalencia en A, ordenada
    por inclusión. Muestre que G tiene mayor y menor elemento. Más aún, muestre que
    G es un filtro completo. (Un filtro A se dice que es un filtro completo si toda
    subclase de A tiene supremo.)

    9. Sea A un filtro. Muestre que:

    a) Si a ≤ b, entonces ∀x ∈ A, a ∨ x ≤ b ∨ x y a ∧ x ≤ b ∧ x.
    b) Si a ≤ b y c ≤ d, entonces a ∨ c ≤ b ∨ d y a ∧ c ≤ b ∧ d.

    10. Sea A una CTO, B ⊆ A y m ∈ B. Muestre que B tiene menor elemento si y sólo
    si B ∩ Sm (A) tiene un menor elemento. (Asuma que B ∩ Sm (A) 6= ∅.) Más aún,
    muestre que A es BO si y sólo si todo segmento inicial de A es bien ordenado.

    11. Sea A una CBO. Si a ∈ A, sea a0 el sucesor inmediato de a y a00 el predecesor


    inmediato de a (si existe). Muestre que:

    a) a ≤ b si y sólo si a0 ≤ b0 .
    b) a < b si y sólo si a0 < b0 .
    c) a = b0 si y sólo si a00 = b.
    d ) a = b si y sólo si a0 = b0 .
    e) a = b si y sólo si a00 = b00 .

    También podría gustarte