You are on page 1of 1

UNIVERSIDAD DE CONCEPCION

FACULTAD DE CIENCIAS FISICAS Y MATEMATICAS


DEPARTAMENTO DE INGENIERIA MATEMATICA

Práctica 2 - Álgebra III (525201)

Ejercicio 1. Sea {Ai }i∈I una familia de conjuntos distintos no


Si−1 Svacı́os. Se define B1 = A1 , y ∀i ∈ N, i ≥ 2,
Bi = Ai − j=1 Bj . Pruebe que {Bj }j∈N es una partición de i∈N Ai .
Ejercicio 2. Una familia de conjuntos {Ai }i∈N se dice creciente si ∀i ∈ N, Ai ⊆ Ai+1 .

a) Dada {Ai }i∈N una familia creciente de conjuntos no vacı́os y todos distintos, se define la familia
{Bj }j∈N por:
B1 = A1 ∧ Bk = Ak − Ak−1 , ∀k ≥ 2
S
Pruebe que {Bj }j∈N es una partición de i∈N Ai .
b) Defina una familia creciente de conjuntos {Ai }i∈N no vacı́os y todos distintos tal que:
[ \
Ai = N ∧ Ai = {1}
i∈N i∈N
Ejercicio 3 (*). Dada una familia de conjuntos {Uλ }λ∈Λ , defina Φ como la familia de intersecciones finitas
de conjuntos en {Uλ }λ∈Λ y F como la familia de uniones arbitrarias de conjuntos en Φ.

a) Pruebe que {Uλ }λ∈Λ ⊆ F, i.e. ∀λ ∈ Λ, Uλ ∈ F.


Tn
b) Pruebe que F es estable bajo intersecciones finitas, i.e. dados F1 , F2 , . . . , Fn ∈ F, entonces i=1 Fi ∈
F.
Ejercicio 4. Estudie y clasifique las siguientes relaciones:

a) En N: xRy ⇐⇒ máx{x, y} ≤ 100 g) En Mn (R): ARB ⇐⇒ ∃m ∈ N, tal que


Am = B m .
b) En N: xRy ⇐⇒ gcd{x, y} = 1

c) En R: xRy ⇐⇒ x2 + y 2 ≤ 1 h) R = {(a, a), (b, b), (c, c)}

d) En P(N): XRY ⇐⇒ X ⊆ Y c En Rn : (xiP


i) P )ni=1 R(yi )ni=1 ⇐⇒ ∀i ∈ {1, . . . , n},
n n
e) En Mn (R): ARB ⇐⇒ A · B = I i=1 xi ≤ i=1 yi .

j) En C : (a + bi)R(c + di) ⇐⇒ a < c ∨ (a =


 
0 0
f ) En M22 ({0, 1}): XRY ⇐⇒ X · Y = c ∧ b ≤ d)
0 0
Ejercicio 5. Sea X un conjunto no vacı́o y P el conjunto de todas las particiones finitas de X. Es decir,
los elementos de P son las particiones {Ai }ni=1 donde n ∈ N. Se define la relación ≤ en P como sigue:
{Ai }ni=1 ≤ {Bj }m
j=1 ⇐⇒ ∀j ∈ {1, . . . , m}, ∃i ∈ {1, . . . , n}, Bj ⊆ Ai

a) Pruebe que ≤ es relación de orden.


b) Muestre que si |X| > 3, entonces ≤ es relación de orden parcial.

Concepción, 31 de marzo de 2019


JAL/JMR/jmr

You might also like