Clase 1

1.1. El cuerpo de los números complejos

Se define el cuerpo de los números complejos, denotado como C, como el conjunto R × R

junto con las operaciones de suma y producto definidas como

(a, b) + (c, d) = (a + c, b + d)

(a, b) · (c, d) = (ac − bd, ad + bc)

Corroborar que:

1. C es, en efecto, un cuerpo con elemento neutro (0, 0), elemento identidad (1, 0) y dado
(a, b) ∈ C se cumple
 
−1 a −b
−(a, b) = (−a, −b) y, (a, b) = , 2 si (a, b) 6= (0, 0).
a + b a + b2
2 2

2. La función T : R → C, definido como a → (a, 0), es un monomorfismo de cuerpos.

3. (0, 1)2 = (−1, 0).

4. (a, b) = (a, 0) + (b, 0) · (0, 1) para todo (a, b) ∈ C.

Luego, mediante T , podemos considerar a R como subconjunto de C. Denotando a (0, 1)

como i tenemos que
i2 = −1 y (a, b) = a + bi.

1.2. Conjugación

Dado un número complejo z = a + ib se define:

1
 2

√
a) El módulo, norma o valor absoluto de z como |z| := a 2 + b2

b) La conjugada de z como z := a − bi.

c) La parte real de z como Re z := a.

d) La parte imaginaria de z como Im z := b.

Dados z, w ∈ C, corroborar que:

1. z + w = z + w. 1
9. Im z = (z − z).
2i
2. z · w = z · w.
10. −|z| ≤ Re z ≤ |z|.
3. |z|2 = zz.
z 11. −|z| ≤ Im z ≤ |z|.
4. z −1 = si z 6= 0.
|z|2
5. |z| = |z|. 12. |z + w| ≤ |z| + |w|.

6. |zw| = |z||w|.
13. |z + w| = |z| + |w| ⇐⇒ z = tw ∨ w = tz
z |z|
7.   = , si w 6= 0. para algún t > 0.
 
w |w|
1
8. Re z = (z + z). 14. ||z| − |w|| ≤ |z − w|.
2

1.3. Represesentación polar

Dado z = x + yi ∈ C no cero, tiene coordenadas polares (r, θ) cumpliendo

x = r cos θ, y = r sen θ. (1.1)

Podemos escribir z = r(cos θ + i sen θ), que es llamado representación polar de z. Denotando

cis θ = cos θ + i sen θ,

podemos escribir z = r cis θ.

Se cumple que r = |z| > 0 y θ ∈ R es el ángulo entre el eje X positivo y el segmento que
une el segmento de 0 a z. Existen muchos θ’s cumpliendo (1.1). Denotaremos Arg z como el
 3

conjunto de todo θ cumpliendo (1.1). Para poder determinar z basta con hallar una solución
particular θ0 de (1.1). Luego, se cumple que

Arg z = {θ0 + 2kπ : k ∈ Z}.

Dados z1 = r1 cis θ1 , z2 = r2 cis θ2 , z = r cis θ ∈ C∗ en representación polar. Corroborar que:

1. z1 z2 = r1 r2 cis(θ1 + θ2 ). 3. z n = rn cis nθ.

2. Arg z1 z2 = Arg z1 + Arg z2 . 4. (cos θ + i sen θ)n = cos nθ + i sen nθ.

1.4. Raı́ces de un número complejo

Dado un número complejo w 6= 0 y un entero n ≥ 2. ¿Cuántos números z podemos encontrar

satisfaciendo z n = w? Notemos que z 6= 0.
Escribamos z = |z| cis θ, w = |w| cis θ representación polar. Luego,

z n = |z|n cis nθ = |w| cis α = w.

p
De donde, |z| = n
|w| y nθ ∈ Arg w. Luego,
 
α + 2kπ
θ∈ :k∈Z .
n
Denotaremos
α + 2kπ
θk = , k ∈ Z.
n
Por el algoritmo de la división, existen únicos q, r ∈ Z tales que

k = qn + r, 0 ≤ r ≤ n − 1.

Luego,
α + 2(qn + r)π α + 2rπ
θk = = + 2qπ = θr + 2qπ q ∈ Z,
n n
esto es, θk y θr definen el mismo z. Ası́, las opciones para z se reducen a
p
n
|w| cis θk , k ∈ {0, . . . , n − 1}. (1.2)

Todos estas opciones son diferentes debido que si k1 , k2 ∈ {0, . . . , n − 1} se tiene que
2(k1 − k2 )π
θ k1 − θ k2 = ∈ h−2π, 2πi.
n
Los n elementos diferentes de (1.2) son llamadas las raı́ces n-ésimas de w.
Clase 2

2.1. Sucesiones en C

Definición 2.1. Sea una sucesión (zn )n en C y z ∈ C.

a) Diremos que (zn )n es convergente si existe z ∈ C para todo ǫ > 0 existe N ∈ N tal que
|zn − z| < ǫ para todo n ≥ N . Denotaremos esto como lı́mn zn = z o zn → z.

b) Diremos que (zn )n es una sucesión de Cauchy para todo ǫ > 0 existe N ∈ N tal que
|zn − zm | < ǫ para todo n, m ≥ N .

c) Diremos que (zn )n es acotado si existe M > 0 tal que |zn | < M para todo n ∈ N.

Proposición 2.2. Sea (zn )n sucesión en C y z, w ∈ C. Se cumple:

a) Si lı́mn zn = z y lı́mn zn = w, entonces z = w.

b) lı́mn zn = z si y solo lı́mn Re zn = Re z y lı́mn Im zn = Im z.

c) (zn )n es convergente si y solo si (zn )n es de Cauchy.

d) Si (zn )n es convergente, entonces (zn )n es acotada.

Proposición 2.3. Sean (zn )n , (wn )n sucesiones en C tal que z = lı́mn zn , w = lı́mn wn . Se
cumple:

a) lı́mn (zn + wn ) = z + w.

b) lı́mn (zn wn ) = zw.

c) lı́mn zn = z.

d) lı́mn |zn | = |z|.