En la sección siguiente introduciremos el cuerpo de los números reales. Para preparar tal introducción, recordemos primeramente el significado del término cuerpo.
Una terna
, en la que
es un conjunto no vacío y
,
son operaciones binarias en
, se dice un cuerpo si, para cualesquiera
se cumplen las propiedades siguientes.
y
. (Leyes conmutativas)
y
. (Leyes asociativas)
. (Ley distributiva)
- Existen
y
en
tales que
- Existe
en
tal que
y si
, existe
en
tal que
Nota sobre la notación empleada.
Sea
un cuerpo y
. Se cumplen
- si
entonces
;
- si
, con
, entonces ![{\displaystyle y=z\ }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f49a4ca46cb3d76addfca2bf3f5ee3ca238408ac)
;
;
- si
entonces
o
;
;
.