Curso de ondas y óptica - Cerp Centro

Gastón Hugo

March 25, 2022

1 Números Complejos
1.1 Definición
• El conjunto de números complejos, que notaremos por C, es el conjunto
de pares ordenados de números reales.
Notación: al conjunto (a, b) le llamaremos a + bi

• La parte real del complejo z = a + bi es el número real a y la parte

imaginaria es el real b.
Notación: a = Re(z) , b = Im(z).

• Dados dos complejos z = a + bi y w = c + di, definimos la suma z + w

como el complejo (a + c) + (b + d)i y el producto zw como el complejo
(ac − bd) + (ad + bc)i.

• El conjugado de un número complejo z = a + bi es z = a − bi.

• El módulo de un número complejo a + bi es |z| = (a2 + b2 )1/2 .(observe

que |z| = zz)

• Si z = a + bi y b = 0 diremos que z es real y escribiremos z = a.

1.2 Propiedades
1. de la suma: Para todos z, z1 , z2 , z3 ∈ C, valen:

(a) (z1 + z2 ) + z3 = z1 + (z2 + z3 )

(b) z1 + z2 = z2 + z1
(c) Si z = a + bi , entonces −z = −a − bi y z + (−z) = 0 + 0i = 0
(d) z + 0 = z

2. del producto: Para todos z, z1 , z2 , z3 ∈ C, valen:

(a) (z1 z2 )z3 = z1 (z2 z3 )

(b) z1 z2 = z2 z1

1
 (c) z.1 = z
(d) ∀z 6= 0∃z −1 tal que zz −1 = 1
(e) z1 (z2 + z3 ) = z1 z2 + z1 z3

3. del módulo: Para todos z, z1 , z2 ∈ C, valen:

(a) |z| ≥ 0
(b) |z| = 0 ⇔ z = 0
(c) |z1 + z2 | ≤ |z1 | + |z2 |

4. del conjugado: Para todos z, z1 , z2 ∈ C, valen:

(a) z1 z2 = z1 z2
(b) z = z
(c) |z| = |z|

La demostración de estas propiedades es muy fácil y se dejan como ejercicio.

La propiedad 2d permite definir la división por un número complejo 6= 0
entonces wz 6= 0 se define como el producto wz −1 . Como ejercicio calcule
(ac+bd)+(bc−ad)i
la parte real e imaginaria del complejo a+bi
c+di = |c+di|2
, si tengo
z zw
w = |w| 2 . En la representación geométrica de un número complejo como un

par de números reles, se tiene que el módulo del complejo z = a + bi es la

distancia al origen del punto (a, b) de R. Esto nos lleva a definir una distancia
entre números complejos; inmediatamente tienen sentido los conceptos de
convergencia de sucesiones y serie, de lı́mite de una función en un punto y
de continuidad de funciones definidas en subconjuntos de C.

1.3 Distancia entre dos números complejos

Definición:

• La distancia entre dos números complejos z1 , z2 es: d(z1 , z2 ) = |z1 −z2 |.

• El disco (o bola) de centro a ∈ C y radio r > 0 se define como D(a; r) =

{z ∈ C : |z − a| < r}. El disco cerrado de centro a y radio r es
D[a; r] = {z ∈ C : |z − a| ≤ r} y la esfera de centro a y radio r es
S(a; r) = {z ∈ C : |z − a| = r}. Como la distancia entre números
complejo es la distancia euclı́dea de puntos de R2 , no nos cansaremos
escribiendo las definiciones de convergencia de sucesiones, continuidad
de funciones, etc, pues los conceptos coinciden con los de funciones o
sucesiones en R2 . Ver ejercicios 2 y 3.

2
2 Función Exponencial
Definimos la exponencial de un número complejo z como la serie exp(z) =
P ∞ zn
n=0 n! . Oberve que la definición es correcta (por el ejercicio 2) ya que la
serie es absolutamente convergente. Además si z1 , z2 ∈ C entonces:
∞ ∞ ∞ k
X z1k X z2n X X z1k−n z2n
exp(z1 ) exp(z2 ) = = (1)
k! n! (k − n)!n!
k=0 n=0 k=0 n=0

esto ultimo es válido pues las series son absolutamente convergentes y pode-
mos usar el ejercicio 3. Siguiendo:
∞ k ∞
X 1 X k! X 1
= z1k−n z2n = (z1 + z2 )k = exp(z1 + z2 ) (2)
k! (k − n)!n! k!
k=0 n=0 k=0

Esto demuestra entonces que exp(z1 + z2 ) = exp(z1 ) exp(z2 ).

Ahora mostraremos que si z = a + bi, entonces
exp(z) = ea (cos b + i sin b) (3)
donde ea es la exponencial real del número real a.
En efecto: exp(a + bi) = exp(a) exp(bi) = ea exp(bi) y calculamos exp(bi) =
P∞ (bi)n P∞ b2n n
P∞ b2n+1 n
n=0 n! = n=0 2n! (−1) + n=0 (2n+1)! (−1) i = cos b + sin bi.

3 Argumento de un número complejo

3.1 Definición
Un número real módulo 2π es un subconjunto A de R que cumple las
propiedades siguientes:
1. Dados dos elementos α1 y α2 en A, se tiene que α1 − α2 es múltiplo
entero de 2π.
2. En cada intervalo semiabierto de amplitud 2π exite un elemento de A
(que es único sale de 1).
Diremos que ϕ es un representante de A si ϕ ∈ A.
Ejemplo: Un ángulo es un número real módulo 2π,
ya que digamos π/4, 5π/4, −3π/4, ... representan todos el mismo ángulo.

3.2 Definición:
Sea z un número complejo 6= 0. Entonces existe un número real módulo
2π (que llamaremos argumento de z y notaremos arg(z)) tal que si ϕ es un
representante, se cumple que
z
= cos ϕ + i sin ϕ (4)
|z|

3
Hemos visto que dado un número complejo z 6= 0 están bien definidos su
módulo y argumento. Recı́procamente, coniciendo el módulo y el argumento
queda determinado un número complejo. Como el argumento no es un
número, vale la pena, a la hora de resolver un problema, considerar un
representante del argumento; para eso elegimos un intervalo semiabierto
de longitud 2π. El único representante del argumento contenido en este
intervalo e llama argumento principal y se denota por Arg(z). Ver el ejercicio
5 donde se enuncian algunas propiedades del argumento.

4 Logaritmo
Procuramos el logaritmo de un número complejo z como siendo aquel com-
plejo w tal que exp(w) = z ; o sea, en principio, el logaritmo es la función
inversa de la exponencial. Veamos hasta qué punto podemos hacer este
enunciado preciso.
Si w = a + bi, entonces como vimos, exp(a + bi) = ea (cos b + i sin b). Si
exp(w) = z, entonces debe ser ea = |z|. Esto es posible a menos que z = 0,
en cuyo caso no definiremos el logaritmo. Usando ahora que ea = |z| obten-
z
emos cos b + i sin b = |z| , de donde se concluye que cualquier representante
del argumento de z sirve como b. Esto quiere decir que, para todo z 6= 0:

log z = a + bi = log |z| + arg(z).i (5)

Esta fórmula muestra que no existe la inversa de la función exponencial,

puesto que como log(z) muchos números complejos sirven. Lo que se hace
en general es elegir un argumento principal de manera que el logaritmo de
cualquier complejo z 6= 0 sea un número complejo. Ver el ejercicio 6 donde
se ponen ejemplos.