Introducción

Aunque la teoría de los números complejos ha ido formalizándose a lo largo del tiempo, el término «imaginario» ha trascendido hasta nuestros días. Es claro que dicha expresión está ligada con la concepción con la que surgieron dichos números y que es simplemente una forma para referirse a dichos números. El término «complejo» fue introducido por primera vez por el matemático Carl Friedrich Gauss, mientras que el símbolo $i$, para denotar a $\sqrt{-1}$, fue introducido por primera vez por el matemático Leonhard Euler.

Durante el siglo XVI se encontraron soluciones para las ecuaciones $x^2+2x+2=0$ y $x^3=6x+4$, tales como $1+\sqrt{-1}$ y $\sqrt[3]{2+\sqrt{-2}}+\sqrt[3]{2-\sqrt{-2}}$ respectivamente, lo cual generó incertidumbre entre los matemáticos de la época, puesto que expresiones como $\sqrt{-1}$ y $\sqrt{-2}$ no tenían sentido. Conforme se iba desarrollando la teoría de los números complejos, para evitar expresiones como las anteriores, se optó por definir una nueva cantidad, la unidad imaginaria, denotada por el símbolo $i$, la cual es caracterizada por cumplir la propiedad $i^2=-1$, es decir, es la raíz cuadrada de $-1$. Considerando esta notación las expresiones $\sqrt{-1}$ y $\sqrt{-2}$ ahora pueden reescribirse como $i$, $i\sqrt{2}$, respectivamente.

El campo de los números complejos $\mathbb{C}$

Definición 2.1. (El campo de los números complejos.)
El campo de los números complejos, denotado por $\mathbb{C}$, es el conjunto formado por pares ordenados de números reales $z=(a,b)$, dotado con las operaciones binarias de suma y multiplicación definidas respectivamente como:

$$\begin{array}{}\text{(2.1)}& (a,b)+(c,d)=(a+c,b+d).\end{array}$$

$$\begin{array}{}\text{(2.2)}& (a,b)\cdot (c,d)=(ac–bd,ad+bc).\end{array}$$

Considerando a $(0,0)$ y $(1,0)$ como los neutros aditivo y multiplicativo respectivamente, es decir, tales que para todo $z=(a,b)\in \mathbb{C}$:

$$(0,0)+(a,b)=(a,b).$$

$$(1,0)\cdot (a,b)=(a,b).$$

Y para $z=(a,b)\in \mathbb{C}$ distinto de cero, su inverso multiplicativo, denotado como $z^{-1}$, dado por:
$$z^{-1}=(\frac{a}{a^2+b^2},\frac{-b}{a^2+b^2}),$$

es decir, es tal que:

$$z\cdot z^{-1}=(1,0).$$

Entonces es fácil verificar, usando las propiedades de los números reales, que $\mathbb{C}$ con la suma y el producto recién definidos satisface las propiedades de campo.

Observación 2.1.
Sean $a,b,c,d$ números reales. Sabemos que las parejas ordenadas $(a,b)$ y $(c,d)$ son iguales, es decir $(a,b)=(c,d)$, si y solo si $a=c$ y $b=d$, por lo que la igualdad entre números complejos está sujeta a dicha condición.
Además, si $a\ne b$, entonces $(a,b)\ne (b,a)$, esto es, como parejas ordenadas $(a,b)$ y $(b,a)$ son diferentes, por lo que como números complejos también lo son.

Procedemos ahora a analizar un subconjunto importante de los números complejos, es decir los números de la forma $z=(a,0)$, con $a\in \mathbb{R}$. A partir de ahora denotaremos al número real $a$ por el número complejo $(a,0)$.

Observación 2.2
Sean $a,b\in \mathbb{R}$, entonces:

$$(a,0)+(b,0)=(a+b,0),\text{es decir}a+b.$$

$$(a,0)\cdot (b,0)=(ab,0),\text{es decir}ab.$$

Notamos que los números complejos de la forma $(a,0)$ se comportan con respecto a la suma y la multiplicación definidas en (1) y (2) como los números reales. Lo anterior se debe a que el mapeo $a\mapsto (a,0)$ define un isomorfismo de $\mathbb{R}$ en $\mathbb{C}$, es decir:

Proposición 2.1.
La función $\varphi :\mathbb{R}\to \mathbb{C}$ dada por $\varphi (a)=(a,0)$ satisface:

1. $\varphi$ es inyectiva.
2. $\phi (a+b)=\phi (a)+\phi (b)$ y $\phi (ab)=\phi (a)\cdot \phi (b)$.
3. $\phi (0)=(0,0)$ y $\phi (1)=(1,0)$.
4. $\phi (-a)=-\phi (a)$.
5. Si $a\in \mathbb{R}$, con $a\ne 0$, entonces $\phi (a^{-1})={(\phi (a))}^{-1}$.

Demostración.

1. La inyectividad se sigue de la observación 2.1.
2. Observación 2.2.
3. Se sigue de la definición.
4. Se deja como ejercicio al lector.
5. Supongamos que $a\in \mathbb{R}$, con $a\ne 0$, entonces $\varphi (a)=(a,0)\ne (0,0)$ y :

$$(1,0)=\varphi (1)=\varphi (a{a}^{-1})=\varphi (a)\cdot \varphi \left(a^{-1}\right).$$

Entonces $\varphi \left(a^{-1}\right)={(\varphi (a))}^{-1}$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◼"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fc.svg">}$

De acuerdo con este resultado, podemos trabajar de manera indistinta con este conjunto de números complejos y los números reales, como si fuesen el mismo conjunto.

Por otra parte, el conjunto de los números complejos de la forma $(0,b)$, con $b\in \mathbb{R}$, será considerado como el conjunto de los números imaginarios puros.

Si definimos a $i:=(0,1)$, la unidad imaginaria, entonces notamos que:

$$i^2=(0,1)\cdot (0,1)=(0–1,0)=(-1,0),\text{es decir}-1.$$
De esta forma podemos concluir que $i=(0,1)$ es la raíz cuadrada de $-1$. Además tenemos que:

$$a+ib=(a,0)+(0,1)\cdot (b,0)=(a,0)+(0,b)=(a,b).$$

De acuerdo a lo anterior, es posible dar la siguiente:

Definición 2.2. (Número complejo.)
Un número complejo es un número de la forma $z=a+ib$ donde $a$ y $b$ son números reales e $i$ es la unidad imaginaria.
Al número real $a$ se le conoce como la parte real de $z$ y se denota como Re$(z)$, mientras que al número real $b$ se le conoce como la parte imaginaria de $z$ y se le denota como Im$(z)$. Además, si Re$(z)=0$, entonces se dice que $z$ es un número imaginario puro.

Ejemplo 2.1.

Considerando la definición 2.2 y la proposición 2.1, es posible considerar a $\mathbb{R}$ como un subconjunto de $\mathbb{C}$, de forma que todo número real es un número complejo cuya parte imaginaria es igual a cero.

Definición 2.3. (Conjugado de un número complejo.)
Dado un número complejo $z=a+ib$, se define el conjugado de $z$ como el número complejo:
$$\bar{z}=a-ib.$$

Ejemplo 2.2.

Definición 4. (Operaciones Aritméticas).
Sean $z_1=a_1+i{b}_1,z_2=a_2+i{b}_2\in \mathbb{C}$, entonces se definen las siguientes operaciones:

1. Suma.
   $$z_1+z_2=(a_1+i{b}_1)+(a_2+i{b}_2)=(a_1+a_2)+i(b_1+b_2)$$
2. Resta.
   $$z_1–z_2=(a_1+i{b}_1)–(a_2+i{b}_2)=(a_1–a_2)+i(b_1–b_2).$$
3. Multiplicación.
   $$z_1\cdot z_2=(a_1+i{b}_1)\cdot (a_2+i{b}_2)=(a_1{a}_2–b_1{b}_2)+i(b_1{a}_2+a_1{b}_2).$$
4. División. Para $z_2\ne 0$:
   $$\frac{z_1}{z_2}=\frac{a_1+i{b}_1}{a_2+i{b}_2}\frac{a_2–i{b}_2}{a_2–i{b}_2}=\left(\frac{a_1{a}_2+b_1{b}_2}{a_2^2+b_2^2}\right)+i\left(\frac{b_1{a}_2–a_1{b}_2}{a_2^2+b_2^2}\right).$$

Observación 2.3.
Notemos que si $z=a+ib\in \mathbb{C}$, entonces:
$$z\cdot \bar{z}=(a+ib)\cdot (a-ib)=(a^2–(-b^2))+i(ab-ab)=a^2+b^2.$$
$$z+\bar{z}=(a+ib)+(a-ib)=2a=2\text{Re}(z),⟹\text{Re}(z)=\frac{z+\bar{z}}{2}.$$
$$z–\bar{z}=(a+ib)–(a-ib)=2ib=2i\text{Im}(z),⟹\text{Im}(z)=\frac{z–\bar{z}}{2i}.$$

Observación 2.4.
A partir de ahora, si es claro que se está efectuando el producto entre números complejos, entonces se omitirá el símbolo “$\cdot$” para indicarlo.

Ejemplo 2.3.
Sean $z_1=2+4i$ y $z_2=-3+8i$. Calculemos:

Solución.

De acuerdo con las definiciones 2.3 y 2.4 es fácil probar las siguientes propiedades:

Proposición 2.2.
Sean $z,w\in \mathbb{C}$, entonces:

1. $\overline{z\pm w}=\bar{z}\pm \bar{w}$.
2. $\overline{zw}=\bar{z}\bar{w}$.
3. Si $w\ne 0$, entonces $\overline{\left(\frac{z}{w}\right)}=\frac{\bar{z}}{\bar{w}}$.
4. $\overline{\stackrel{―}{z}}=z$.
5. $z$ es un número real si y solo si $z=\bar{z}$.

Demostración. Sean $z=a_1+i{b}_1$ y $w=a_2+i{b}_2$, tenemos que:

1. 
   $$\begin{array}{rl}\overline{z+w}& =\overline{(a_1+i{b}_1)+(a_2+i{b}_2)}\\ & =\overline{(a_1+a_2)+i(b_1+b_2)}\\ & =(a_1+a_2)–i(b_1+b_2)\\ & =(a_1–i{b}_2)+(a_2–i{b}_2)\\ & =\overline{a_1+i{b}_1}+\overline{a_2+i{b}_2}\\ & =\bar{z}+\bar{w}.\end{array}$$

2. Ejercicio.
3. Si $w\ne 0$, entonces:
   $$\begin{array}{rl}\overline{\left(\frac{z}{w}\right)}& =\overline{\left(\frac{a_1+i{b}_1}{a_2+i{b}_2}\right)}\\ & =\overline{\left(\frac{a_1{a}_2+b_1{b}_2}{a_1^2+a_2^2}\right)+i\left(\frac{b_1{a}_2–a_1{b}_2}{a_1^2+a_2^2}\right)}\\ & =\left(\frac{a_1{a}_2+b_1{b}_2}{a_1^2+a_2^2}\right)–i\left(\frac{b_1{a}_2–a_1{b}_2}{a_1^2+a_2^2}\right)\\ & =\frac{\overline{(a_1+i{b}_1)}}{\overline{(a_2+i{b}_2)}}\\ & =\frac{\bar{z}}{\bar{w}}.\end{array}$$

4. Ejercicio.

5. Ejercicio.

Observación 2.5.
Notemos que las propiedades 1 y 2 de la proposición 2.2 se pueden generalizar mediante inducción matemática para un número finito de números complejos, esto es, para $z_1,z_2,\dots ,z_n\in \mathbb{C}$, $n\ge 2$, se cumple que:
$$\overline{z_1+z_2+\cdots +z_n}=\overline{z_1}+\overline{z_2}+\cdots +\overline{z_n}.$$

$$\overline{z_1{z}_2\cdots z_n}=\overline{z_1}\overline{z_2}\overline{z_n}.$$

Tarea moral

1. Verifica que el conjunto de los números complejos $\mathbb{C}$ con las operaciones definidas en (2.1) y (2.2) satisface los axiomas de campo, es decir, verificar las propiedades de la definición de campo.
2. En la proposición 2.1 argumenta porqué se cumple la suprayectividad de la función en el inciso 1 y completa la demostración del inciso 4.
3. Completa las demostraciones de los incisos (1), (2), (4) y (5) de la proposición 2.2.
4. Prueba los resultados de la observación 2.5 utilizando inducción matemática. ¿Se puede generalizar la propiedad (3) de la proposición 2.2?
5. Identifica la parte real y la parte imaginaria de los siguientes números complejos:

Más adelante…

En esta segunda entrada hemos dado una definición formal de lo que es un número complejo. Realizamos la construcción del campo de los números complejos, analizando la relación que existe entre $\mathbb{R}$ y $\mathbb{C}$ como conjuntos. También definimos las operaciones aritméticas básicas de estos números e introducimos una nueva operación llamada la conjugación compleja.

Es importante notar que la extensión del campo de los números reales al campo de los números complejos nos permite dar solución a ecuaciones como $z^2+1=0$, la cual en $\mathbb{R}$ no tenía solución, mientras que en $\mathbb{C}$ tenemos que los números $z=\pm i$ satisfacen dicha ecuación. En general, notaremos que el campo de los números complejos $\mathbb{C}$ es algebraicamente cerrado, de hecho es la clausura algebraica de $\mathbb{R}$, por lo que siempre será posible hallar soluciones para polinomios con coeficientes en $\mathbb{C}$ de grado $n\ge 1$. Más aún, dichos polinomios tendrán exactamente $n$ raíces, lo cual probaremos más adelante cuando veamos el Teorema Fundamental del Álgebra.

En la siguiente entrada daremos una interpretación geométrica de estos números y sus operaciones, por lo que definiremos una nueva cantidad en $\mathbb{C}$ que nos permitirá realizar una mejor comprensión y caracterización de estos números de acuerdo con su posición en un plano, así como la obtención de nuevos resultados y propiedades que nos permitan diferenciarlos de los números reales.

Entradas relacionadas

• Ir a Variable Compleja I.
• Entrada anterior del curso: Introducción a los números complejos.
• Siguiente entrada del curso: El plano complejo.