Henry Camilo Sanabria Londoño

Código: 20191167099

Teorema Demostrar que en el campo complejo no puede definirse ningún orden para que éste se
vuelva un campo ordenado.
Solución:
Primero daremos una definición necesario para esta demostración.

Definición Un campo ordenado es un campo F que a su vez es un conjunto ordenado, y que tiene las
siguientes propiedades:

a. x + y < x + z si x, y, z ∈ F y y < z.

b. xy > 0 si x ∈ F, y ∈ F, x > 0, y y > 0.

Si x > 0, se dice que x es positivo; si x < 0, entonces es negativo.

Ahora buscaremos hacer un diagrama de flujo de la demostración que nos de una perspectiva más
amplia acerca de lo que vamos a demostrar.

Ahora teniendo en cuenta el diagrama de flujo que hemos realizado, vamos a hacer la demostración
formal.

Demostración 1 Sea S ⊆ C y sea S un conjunto ordenado.

Por axióma de orden tenemos que si x ∈ S y y ∈ S, entonces x < y ó x > y ó x = y, con ”ó”
disyuntivo. Cómo i ∈ S, entonces i = 0, i < 0 ó i > 0, ası́ pues, veremos cada caso.

1
 Henry Camilo Sanabria Londoño
Código: 20191167099

a. Sea i = 0
Luego i2 = 02 , pero i2 = −1 por definición, entonces −1 = 0 lo cual es un absurdo.

b. Sea i > 0
Tenemos que i2 > 02 , luego como i2 = −1, entonces −1 > 0 lo cual es un absurdo.

c. Sea i < 0 Tenemos pues, −i > 0 y (−i)2 > 02 , cómo i2 = (−i)2 (esto lo demostraremos al final)
y como i2 = −1, entonces, −1 > 0 lo cual es un absurdo.

Finalmente tenemos que como no cumple ninguna de las condiciones del axioma de orden, entonces S
no es un conjunto ordenado, y como S ⊆ C entonces por la definición dada previamente, tenemos que
el campo de los complejos no es un campo ordenado.

Demostración 2 En esta corta demostración, veremos que (−i)2 = i2 . Definiremos primero i2 como
la solución al problema x2 + 1 = 0, veremos que por definición del campo de los números complejos i
también se puede definir como el par ordenado de números reales (0, 1) y −i se puede definir como el
par ordenado de números reales (−0, −1), pues ası́ veremos que al hacer la multiplicación (0, 1) · (0, 1)
tenemos:

(0, 1) · (0, 1) = (0 · 0 − 1 · 1, 0 · 1 + 1 · 0)
(0, 1) · (0, 1) = (0 − 1, 0 + 0)
(0, 1) · (0, 1) = (−1, 0)

pero veremos que al hacer también la multiplicación de (−0, −1) · (−0, −1) tenemos:

(−0, −1) · (−0, −1) = (−0 · −0 − (−1) · −1, −0 · −1 + (−1) · −0)

(−0, −1) · (−0, −1) = (0 − 1, 0 + 0)
(−0, −1) · (−0, −1) = (−1, 0)

Y cómo (0, 1) · (0, 1) = i2 y (−0, −1) · (−0, −1) = (−i)2 entonces tenemos que i2 = (−i)2 .

Nota: Profesor, sinceramente al elegir el ejercicio supuse que serı́a mucho más complicado de lo que
en realidad fue, al no asistir a muchas clases, no estaba enterado del trabajo que se debı́a hacer,
entonces tenı́a muy poco tiempo para hacer el trabajo y no me quedó tiempo para elegir un ejercicio
más complicado, ası́ que le envı́o este para tener la nota y estoy en busca de otro ejercicio más retador.
Por lo pronto, voy intentando resolver el ejercicio 11 del Rudin de los ejercicios del capı́tulo 1.