Axiomas de Cuerpo 1

Capı́tulo 2 - Complemento

Policrom - Marzo 2021

1 Axiomas de Cuerpo

En el video principal discutimos los axiomas de cuerpo y la razón por la cual los necesitábamos como base
para poder desarrollar una teorı́a en matemáticas. En este documento vamos a listar estos axiomas, hacer
algunos comentarios sobre ellos y luego exponer algunas demostraciones de propiedades básicas a partir de
ellos.

Axioma

(A1: Clausura) Este axioma especifica que la suma y producto entre números reales es, en sı́ mismo, un
número real.

∀x, y ∈ R : x + y ∈ R
∀x, y ∈ R : xy ∈ R

Axioma

(A2: Asociatividad)
∀x, y, z ∈ R : (x + y) + z = x + (y + z)
∀x, y, z ∈ R : (xy)z = x(yz)
Nota: La asociatividad no implica alterar el orden de los sumandos o factores, solo significa que la forma
en que los agrupemos es irrelevante.

1
Policrom lmsacademia@gmail.com

Axioma

(A3: Existencia de Neutros)

∃e ∈ R, ∀x ∈ R : x + e = x
∃e0 ∈ R, ∀x ∈ R : x · e0 = x
Nota: Este axioma solo garantiza la existencia del neutro, no su unicidad. Es decir, hasta lo que sabemos
bien podrı́a existir más de algún número real que cumpla esta propiedad. O bien podrı́an ambos e y e0
ser iguales. El hecho de que esto no es ası́ será demostrado luego, y solo entonces podremos denotarlos
sin ambigüedad como 0 y 1 respectivamente.

Axioma

(A4: Existencia de Inversos)

∀x ∈ R, ∃y ∈ R : x + y = 0
∀x ∈ R − {0}, ∃y ∈ R : xy = 1
Nota: Nuevamente, este axioma solo garantiza la existencia de los inversos, no su unicidad. Una vez
que demostramos que la unicidad se tiene, al inverso aditivo de x lo denotamos por −x y a su inverso
multiplicativo lo denotamos x−1 .

Axioma

(A5: Conmutatividad)
∀x, y ∈ R : x + y = y + x
∀x, y ∈ R : xy = yx

Axioma

(A6: Distributividad del producto respecto a la suma)

∀x, y, z ∈ R : x(y + z) = xy + xz

Nota: Si este axioma fuese definido al revés (es decir, que la suma distribuyera respecto al producto),
absolutamente todo lo que conocemos sobre estas operaciones funcionarı́a opuesto. Es decir, la suma
serı́a multiplicación repetida y el 0 no tendrı́a inverso aditivo. Raro ¿No?

2
Policrom lmsacademia@gmail.com

2 Primeros Teoremas

Las primeras propiedades que vamos a demostrar son el tipo de propiedades que a primera impresión no
imaginarı́as que es necesario probar. Como que hay un solo neutro aditivo, o que 1 6= 0. Sin embargo, al final
de este documento, luego de establecer estas bases, vamos a responder la pregunta de la división por cero. O
en nuestros términos, por qué no existe 0−1 . Pero antes de abordar eso, probemos lo esencial.

Teorema

Unicidad de neutros e inversos aditivos: Este teorema posee dos partes.

• Existe un solo neutro aditivo.
• Cada número real posee solo un inverso aditivo.

Nota

Esta unicidad va a venir encapsulada matemáticamente por las siguientes dos frases:

• Si e1 y e2 son neutros para la suma, entonces e1 = e2 .

• Si x es un número real (cualquiera) y p1 , p2 son inversos aditivos de él, entonces p1 =
p2 .

Esta es la forma en la que tı́picamente demostramos que algo es único en matemáticas.

Suponemos que existiera otro y llegamos a que son iguales.

Demostración: Supongamos que existieran e1 y e2 , ambos neutros para la suma. En ese caso, para todo
x real se tendrı́an las siguientes igualdades:

x + e1 = x

x + e2 = x
En particular, si reemplazamos x por e2 en la primera ecuación y por e1 en la segunda, tenemos las
siguientes igualdades:
e2 + e1 = e2
e1 + e2 = e1
ası́, si usamos el axioma de conmutatividad en la primera ecuación y la combinamos con la segunda,
obtenemos e1 = e2 . Hemos probado la unicidad del neutro. 

3
Policrom lmsacademia@gmail.com

Para demostrar la unicidad del inverso aditivo, supongamos que existieran p1 y p2 inversos aditivos de
algún número real x. Luego, por definición de inverso aditivo se tiene:

x + p1 = 0

x + p2 = 0
Lo que vamos a hacer es partir desde p1 y por medio de una cadena de igualdades llegar a p2 , probando
ası́ que p1 = p2 . La forma de hacerlo (que puede variar dependiendo de cómo quieras intentarlo) es la
siguiente:

p1 = p1 + 0 (1)
= p1 + (x + p2 ) (2)
= (p1 + x) + p2 (3)
= 0 + p2 (4)
= p2 (5)

En (1) usamos la definición de 0 como neutro aditivo. En (2) usamos la definición de p2 como inverso
aditivo. En (3) usamos asociatividad y a partir de (4) deshicimos los pasos anteriores para quedar solo
con p2 . Ası́, se concluye que p1 = p2 y tenemos la unicidad. 

Como bien sabrás, una propiedad similar también se cumple para el producto. Es decir, el neutro multiplica-
tivo es único y cada número real distinto de cero posee solo un inverso multiplicativo. La demostración es
similar a la que expusimos para la suma, ası́ que te lo dejamos como ejercicio.

Comentario

Una cosa importante de notar es el hecho de que necesitamos la asociatividad para hacer
esta demostración. Esto nos sugiere que si no la hubiésemos incluı́do en nuestros axiomas,
quizá no podrı́amos demostrar la unicidad del inverso. O más aún Si una operación posee
inverso pero no es asociativa, este podrı́a no ser único. Existen en matemáticas ejemplos
de operaciones ası́, y si bien este curso no se enfocará en estudiarlas, ideas como estas
constituyen el corazón de un bello área de la matemática llamado Álgebra Abstracta.

4
Policrom lmsacademia@gmail.com

3 La Tabla del Cero

Vamos a terminar este documento probando una propiedad que tiene más crédito del que le damos en nue-
stros estudios escolares: La Tabla del Cero. Es decir, vamos a probar que para todo número real x se cumple
que x · 0 = 0. Esto puede no parecerte una propiedad muy importante ya que la has visto como una obviedad
toda tu vida. Y esto viene de que en los colegios la multiplicación se define como suma repetida. Y desde
este punto de vista, multiplicar un número por 0 corresponde a sumarlo a sı́ mismo 0 veces. Es decir, nada.
Por lo tanto, tiene sentido afirmar ası́ que cualquier número real mutiplicado por 0 dará 0. Pero te invito a
pensarlo en el contexto del sistema numérico que estamos desarrollando ahora. Nosotros definimos 0 como
aquel número que sumado a cualquier real no lo altera, y desde ese punto de vista ¡No es para nada evidente
que el 0 absorba a cualquier real bajo el producto!

Demostración: Sea x ∈ R cualquiera. Ası́, mediante la definición del 0 y la distributividad, tenemos

que:
x · 0 = x(0 + 0) = x · 0 + x · 0
Por lo tanto, encadenando las igualdades,

x·0=x·0+x·0

En este punto, hay dos cosas que podrı́amos querer hacer por costumbre. Podrı́amos querer acumular el
lado izquierdo como 2x · 0, sin embargo no podemos hacerlo porque ni siquiera hemos definido todo el
resto de los números aparte de 0 y 1, de los cuales el 2 es parte. O también podrı́amos querer tachar
un x · 0 a cada lado. Esto, si bien hacerlo directamente es incorrecto para una demostración rigurosa,
va en la dirección de lo que queremos hacer. Como x · 0 es el producto de dos números reales, debe ser
un número real (¡Por Axioma!), luego, por otro axioma, debe tener inverso aditivo. Vamos a sumar ese
inverso a ambos lados obteniendo:

x · 0 + (−x · 0) = x · 0 + x · 0 + (−x · 0)

Luego, mediante asociatividad y uso de este inverso aditivo, obtenemos lo que deseamos (demos vuelta
la igualdad solo para no ganar el odio de ningún matemático):

x·0=0

Y con esto tenemos lo que querı́amos probar 

Como decı́amos más arriba, esta propiedad la podemos usar para probar algo que deberı́a parecerte un poco
más interesante: El hecho de que no existe el inverso multiplicativo de 0. O como te lo han dicho en tu vida
de colegio: Que la división por cero no está definida. Esto es algo que normalmente en los colegios asumimos,
quizá con alguna justificación un poco extraña que tiene que ver con tomar números cada vez más cercanos
a 0 y ver que ciertas cosas parecen no tener sentido o algún otro truco por el estilo. Lo que haremos ahora
es nuevamente probarlo por contradicción. Vamos a suponer que existiera dicho inverso multiplicativo y a
través de razonamiento lógico, concluir algo que no es cierto. Probando ası́ que la consistencia de nuestro
sistema se rompe si asumimos que existe dicho número.

5
Policrom lmsacademia@gmail.com

Demostración: Supongamos que existe el inverso multiplicativo de 0 y denotémoslo por 0−1 . Luego, por
definición de inverso multiplicativo, tenemos que.

0 · 0−1 = 1

Pero acabamos de probar que 0 multiplicado con lo que sea (en particular con su inverso) da 0. Por lo
tanto también tenemos que
0 · 0−1 = 0
Juntando las dos igualdades, tenemos 1 = 0.

Pregunta

¿Hemos llegado a una contradicción? Lo pregunto porque ninguno de nuestros axiomas

nos asegura que el neutro aditivo y el multiplicativo sean distintos (que los denotemos por
sı́mbolos distintos no es más que una tentación de nuestras mentes) ¿Será posible acaso
que ambos números sean iguales? ¿Hay algo que no funcione si asumimos que lo son? La
matemática consiste en inventar reglas y ver qué sucede cuando jugamos con ellas. Por
lo tanto eso es exactamente lo que vamos a hacer.

Supongamos que 1 = 0. Ası́, si tomamos un número real x cualquiera, tenemos que:

x=x·1

Pero como estamos bajo el supuesto de que 1 = 0, entonces lo anterior es igual a x · 0 que demostramos
que vale 0, entonces encadenando todo tenemos x = 0.

Querido/a lector/a, espero que en este momento te estés preguntando: ¿¿Qué significa todo esto?? Hagamos
un resumen: Querı́amos explorar la existencia del inverso multiplicativo del 0. Por lo tanto, bajo el supuesto
de que este existe llegamos a que 0 = 1 y para explorar el sentido de esto, lo asumimos como cierto. Es
decir, hemos estado todo el rato “siguiéndole el juego” a lo que la matemática nos presenta. Y con eso hemos
llegado a que si tomamos cualquier real, concluimos que este vale 0. Es decir, La única forma de que 1 = 0, ası́
como de que 0 tenga inverso aditivo, es que estemos trabajando en un conjunto que solo contiene al 0.

Ojo, esto NO es una contradicción. Es un conjunto perfectamente consistente, pero es aburrido y no nos es
tan útil estudiarlo porque no refleja las cosas del mundo real que nosotros queremos que el sistema numérico
que estamos construyendo sı́ refleje. Por lo tanto, como matemáticos que somos, añadiremos como axioma
que 1 6= 0. Ası́, el haber asumido que existe el inverso multiplicativo de 0 nos lleva a algo que sabemos que es
falso (¡Porque lo definimos ası́!), de modo que 0−1 no puede existir (Al menos no en el conjunto de los reales
que estamos construyendo1 ). 
1 La mayorı́a de los libros definen 0 6= 1 como axioma desde un principio y lo presentan junto con el resto de los axiomas de cuerpo,

pero yo personalmente preferı́ añadirlo después para ilustrar por qué debemos incluirlo como axioma en lugar de demostrarlo.

6
Policrom lmsacademia@gmail.com

4 Problemas Propuestos

Este complemento no posee ejercicios como tales puesto que la materia aún está en construcción. Pero sı́
dejamos las siguientes preguntas para profundizar o reflexionar sobre lo que ya hemos visto.

P1.- (Para Profundizar) Investigue sobre el libro Los Elementos de Euclides. Corresponde al primer sistema
axiomático que se conoce y está ı́ntimamente relacionado con la geometrı́a.
P2.- (Para Reflexionar) Con aquello que hemos construido hasta ahora ¿Existe un modo de formalizar o
definir rigurosamente la comparación entre números reales? En otras palabras ¿Qué significa x < y en
este contexto? ¿Tiene sentido definir algo ası́?