Álgebra Superior II

Tarea 7

Las tareas se entregan de manera individual a más tardar el dı́a del

examen.

Habrá dos tareas por examen: para poder realizar el examen es nece-
sario entregar al menos el 50 % de cada tarea.

Para tener calificada la tarea 7 un dı́a antes del examen (el cual es el
sábado 25 de mayo), deberás entregarla el viernes 17 de mayo.

1. Sea [(a, b)] ∈ C1 . Probar que existe c ∈ Z tal que [(a, b)] = [(c, 1)] si y
sólo si b | a.

2. Sean [(a, b)] y [(c, d)] ∈ C1 tales que [(a, b)] < [(c, d)]. Probar que para
cualquier [(e, f )] ∈ C1 con [(e, f )] > [(0, 1)] se tiene que:

[(a, b)] · [(e, f )] < [(c, d)] · [(e, f )] .

3. Sean [(a, b)] , [(c, d)] , [(e, f )] , [(g, h)] ∈ C1 , demostrar lo siguiente:

a) Si [(0, 1)] < [(a, b)] < [(c, d)] y [(0, 1)] < [(e, f )] < [(g, h)],
entonces

[(0, 1)] < [(a, b)] · [(e, f )] < [(c, d)] · [(g, h)] .

b) [(0, 1)] < [(a, b)] si y sólo si [(0, 1)] < [(b, a)] (argumentar que las
clases están bien definidas).
c) [(0, 1)] < [(a, b)] < [(c, d)] si y sólo si [(0, 1)] < [(d, c)] < [(b, a)](argumentar
que las clases están bien definidas).

4. Determinar si las siguientes proposiciones son falsas o verdaderas (ar-

gumentar las respuestas)

a) (C1 ≤) es un COTO.
b) (C1 , ≤) es un COBO.
a
5. Sea ∈ Q, probar lo siguiente:
b
a  a n
a) Si 1 < , entonces 1 < , para cada n ∈ N.
b b
a
b) Si 0 < < 1 y m, n ∈ Z son tales que m < n, entonces:
b
 a  n  a m
< .
b b
 √ √
c) Probar que 2 + 3 no es un número racional.
√
d ) Probar que 1 + 3 2 no es un número racional.
Notación. En los próximos ejercicios ∼r denotará la relación de equi-
valencia sobre S que se usó para definir a los reales a partir de los
racionales, donde:
S = {(xn )∞ ∞
n=1 ⊆ Q| (xn )n=1 es una sucesión de Cauchy} .

Además, las clases de equivalencia inducidas bajo esta relación se de-

notarán mediante [·]r , y por tanto definimos
CS = [(xn )∞ ∞

n=1 ]r | (xn )n=1 ∈ S

6. Sean (xn )∞ ∞
n=1 y (yn )n=1 ∈ S. Determinar si las siguientes proposiciones
son falsas o verdaderas (argumentar las respuestas).
a) Si (xn )∞ ∞ ∞ ∞
n=1 ∼r (yn )n=1 y (xn )n=1 es positiva, entonces (yn )n=1 es
positiva.
b) Si (xn )∞ ∞ ∞
n=1 y (yn )n=1 son positivas, entonces (xn + yn )n=1 es po-
sitiva.
c) Si (xn )∞ ∞ ∞
n=1 y (yn )n=1 son positivas, entonces (xn · yn )n=1 es posi-
tiva.
7. Probar que (CS , +, ·) es un anillo conmutativo.
8. Considerar las siguientes sucesiones:
 ∞
1
n n=1
 ∞
1
n + 1 n=1
1−n ∞
 

n n=1
Determinar cuáles sucesiones están relacionas y cuáles son positivas
(argumentar las respuestas).
9. Usando SOLAMENTE la definición, determinar si las siguientes suce-
siones en Q son de Cauchy (argumentar las respuestas)
 ∞
3n − 2
a)
3n2 + 4n − 4 n=1

∞
b) n2 + 1 n=1
 ∞
2n + 1
c)
2n2 + 3n + 1 n=1
10. Expresar los siguientes números complejos en la forma a + ib
 a) (2 + 3i) + (4 + i). d ) (2 + 3i) (4 + i).
2 + 3i
b) . e) (8 + 6i)2 .
4+i
1 3
c) + f ) (2 + i) (5 − 6i)+(−1 − i) (3 + i).
i 1+i

11. Encontrar la parte real e imaginaria de los siguientes números comple-

jos, donde z = a + ib.
1
a) .
z2
1
b) .
3z + 2
z+1
c) .
2z − 5
12. Sean z, w ∈ C, probar lo siguiente:

a) Re (z + w) = Re (z) + Re (w).
b) Im (z + w) = Im (z) + Im (w).
c) Re (−z) = −Re (z) y Im (−z) = −Im (z) .

13. Sean z, w ∈ C, probar lo siguiente:

a) z = z si y sólo si Im (z) = 0 (es decir, z ∈ R).

b) z = −z si y sólo si Re (z) = 0.
c) (−z) = −z.
d ) z = z.
 k  k
P P
e) zn = zn , donde zi ∈ C para cada i ∈ {1, 2, . . . , k}.
n=1 n=1
f ) z + z = 2Re (z) y z − z = 2Im (z) · i.

14. Determinar si los siguientes sistemas de congruencias tienen solución.

En caso afirmativo, resolver.

 
5x ≡ 3 (mód 7)
 2x ≡ 2 (mód 6)

a) 2x ≡ 4 (mód 8) b) 3x ≡ 2 (mód 7)
 
3x ≡ 6 (mód 9) 2x ≡ 4 (mód 11)
 