Qu es el sistema de los nmeros complejos?

Son una extensin de los nmeros reales, cumplindose que, los nmeros complejos tienen la
capacidad
de representar todas las races de los polinomios cosa que con los reales no era posible.

En que consisten los nmeros complejos?

Cada complejo z como un par ordenado de nmeros reales (a, b) (Re(z), Im(z)), en el que se
definen las siguientes operaciones:
Suma

Multiplicacin

Igualdad

Al primer componente (que llamaremos a) se la llama parte real y al segundo (que llamaremos b),
parte imaginaria. Se denomina nmero imaginario puro a aquel que esta compuesto slo por la
parte imaginaria, es decir, aquel en el que a = 0 .
Los nmeros complejos forman un cuerpo, el cuerpo complejo, denotado por C (o ms
apropiadamente por el carcter unicode ). Si identificamos el nmero real a con el complejo (a,
0), el cuerpo de los nmeros reales R aparece como un subcuerpo de C. Ms an, C forma un
espacio vectorial de dimensin 2 sobre los reales. Los complejos no pueden ser ordenados como,
por ejemplo, los nmeros reales: C no puede ser convertido de ninguna manera en un cuerpo
ordenado.

Como se originan los nmeros complejos?

El gran matemtico Diofanto (275 d.C.) construy un tringulo con una cuerda en la que haba
realizado 12 nudos (equidistantes). Los lados medan 3, 4 y 5 unidades.
Evidentemente el tringulo es rectngulo, cumple el teorema de Pitgoras:

Al ser un tringulo rectngulo es fcil comprobar que el rea es 6 unidades.
Con la misma cuerda trat de construir otro tringulo rectngulo de forma que su rea fuese 7
unidades.
Su planteamiento fue el siguiente:
un cateto medira x
como el rea deba ser 7, el otro cateto ser 14/x.
la hipotenusa debe cumplir el teorema de Pitgoras

pero por otra parte la suma de sus lados debe ser 12

Por tanto se debe cumplir la ecuacin:

De donde se llega fcilmente a:

Cuya solucin Diofanto expres como

Pero no conoca ningn nmero que elevado al cuadrado fuese igual a 1, por tanto, el problema
no tena solucin.
Este problema planteado por Diofanto tardara siglos en resolverse.

En el siglo XVI Rafaello Bombelli fue uno de los primeros en admitir que era til que los nmeros
negativos tuviesen races cuadradas.
A mediados del siglo XVI, el filsofo y matemtico italiano Gerolamo Cardano y sus
contemporneos comenzaron a experimentar con soluciones de ecuaciones que incluan las races
cuadradas de nmeros negativos. Por ejemplo, Cardano sugiri que el nmero real 40 se puede
expresar como

En 1777 el matemtico suizo Leonhard Euler (1707 - 1783) simboliz la raz cuadrada de 1 con la
letra i (por imaginario).

Euler

Kaspar Wessel dio una explicacin a la raz cuadrada de 1.
Basta suponer un tringulo ABC issceles en A, situado sobre unos ejes de coordenadas. Aplicando
el teorema de la altura

Esta idea tambin sugerida por Jean-Robert Argand fue utilizada ms tarde por Carl Friedrich
Gauss para dar la interpretacin geomtrica de los nmeros complejos.
Gauss, en su tesis doctoral de 1799, demostr su famoso teorema fundamental del lgebra, que
dice que todo polinomio con coeficientes complejos tiene al menos una raz compleja.

Gauss

En 1825, continuando con el estudio de las funciones complejas, el matemtico francs Augustin L.
Cauchy generaliz el concepto de integrales definidas de funciones reales para funciones de
variable compleja.

Cules son sus axiomas, si los hay?

(pero no existen los axiomas de cuerpo ordenado)

Operaciones con los nmeros complejos?
Suma
Resta
Multiplicacin
Divisin
exponentes

Suma
Para sumar nmeros complejos, se siguen las normas bsicas de la aritmtica, sumando los reales
con los reales y los imaginarios con los imaginarios realmente transversales:

Ejemplo de la suma:

Resta
Aunque se opera de la misma manera que en la suma hay que aclarar que se resta la parte real y la
parte imaginaria por separado.

Junto con la suma y la resta, como hay 4 trminos y cada uno puede tener signo + o -, pueden
darse 16 casos.

Que como vemos, simplifica de una manera considerable el uso de signos que nos podran llevar a
un error durante el clculo.
Multiplicacin
Para multiplicar dos nmeros complejos, se multiplica cada trmino del primero por los dos del
segundo, con lo que obtenemos 4 trminos:

Obsrvese que el trmino bdi2 pasa a ser bd. Eso es porque i2 = 1. Ejemplo:

Divisin
La divisin de nmeros complejos requiere un mayor trabajo que la multiplicacin y partimos de
un artificio previo, basado en que el producto de un numero complejo por su conjugado da como
resultado un nmero real:

si la divisin de dos nmeros complejos, la multiplicamos y dividimos por el conjugado del
denominador:

Potencias
Para elevar un nmero complejo a un exponente entero, se aplican las identidades notables. Se
debe tener en cuenta la igualdad i2 = 1:

Cabe mencionar que para llevar a cabo operaciones de potencia en nmeros complejos es
conveniente hacer uso del Teorema de Moivre, cuyo uso es bastante sencillo y rpido de
aprenderse. Pero nos har falta antes revisar la conversin de nmero complejo estndar a su
forma polar, pues es en la forma polar en la cual es aplicable el teorema de Moivre.

Valor absoluto de un nmero complejo?
Como los nmeros complejos no conforman un conjunto ordenado en el sentido de los reales, la
generalizacin del concepto no es directa, sino que requiere de la siguiente identidad, que
proporciona una definicin alternativa y equivalente para el valor absoluto:

De esta manera, dado cualquier nmero complejo de la forma

Con x e y nmeros reales, el valor absoluto o mdulo de z est definido formalmente por:

Como los nmeros complejos son una generalizacin de los nmeros reales, es lgico que
podamos representar a estos ltimos tambin de esta forma:

De modo similar a la interpretacin geomtrica del valor absoluto para los nmeros reales, se
desprende del Teorema de Pitgoras que el valor absoluto de un nmero complejo corresponde a
la distancia en el plano complejo de ese nmero hasta el origen, y ms en general, que el valor
absoluto de la diferencia de dos nmeros complejos es igual a la distancia entre ellos.
Propiedades
El valor absoluto de los complejos comparte todas las propiedades vistas anteriormente para los
nmeros reales. Adems, si

y
es el conjugado de z, luego podemos ver que:

Esta ltima frmula es la versin compleja de la primera identidad en los reales que mencionamos
en esta seccin.
Como los nmeros reales positivos forman un subgrupo de los nmeros complejos bajo el
operador de multiplicacin, podemos pensar en el valor absoluto como un endomorfismo del
grupo multiplicativo de los nmeros complejos.


REPRESENTACIN DE LOS NMEROS COMPLEJOS

Figura 15-8. Representacin de nmeros complejos.
Los nmeros complejos pueden representarse fcilmente en el plano complejo. Los imaginarios
puros se representan a lo largo del eje vertical, el eje de los imaginarios, y los nmeros reales se
ubican a lo largo del eje horizontal, el eje de los reales. Se deduce que los otros puntos en el plano
complejo deben representar nmeros que son parte real y parte imaginaria; en otras palabras, los
nmeros complejos. Si deseamos representar el punto 3 + 2i, observamos que el nmero est
formado por el nmero real 3 y el nmero imaginario 2i. Entonces, como en la figura 15-8,
medimos a lo largo del eje real en direccin positiva. Un punto (3,0) sobre el eje real gira un
ngulo recto y mide 2 unidades por encima y paralelo al eje imaginario. Asimismo, el nmero -3 +
2i es 3 unidades a la izquierda y 2 unidades arriba; el nmero 3- 2i es 3 unidades a la derecha y 2
unidades hacia abajo; y el nmero -3 -2i es 3 unidades a la izquierda y 2 unidades hacia abajo.

.

Existe o no en los complejos una relacin de orden equivalente a la relacin que los reales
explique?
Para los complejos es imposible que se cumplan los axiomas (propiedades) de la definicin orden:
Un conjunto de elementos es un conjunto ordenado si existe una relacin de orden tal que cuales
quiera sean y elementos de se cumple que o no se cumple y adems tienen lugar los siguientes
axiomas:
1.
Para todo ,
2.
Si y entonces .
3.
Si y entonces .
4.
Para todos , o o .
Si adems, es un cuerpo, entonces para cuales quiera sean y de se tiene que
5.
Si entonces .
6.
Si y entonces .
Supongamos por ejemplo que . Entonces o o . Si , entonces por el axioma 6. , luego , o
equivalentemente, (lo cual pudiera ser cierto en pues no hemos decidido todava que criterio
vamos a utilizar para ordenarlos). Ahora bien, si , entonces , de donde , lo cual es imposible por el
axioma 4. Es decir es imposible que . Un razonamiento anlogo demuestra que no puede ser
menor que cero (probar esto ltimo como ejercicio). Luego no hay forma alguna que nos permita
ordenar los complejos.