Los números naturales

Los números naturales

Los números naturales surgen de la necesidad de contar, de enumerar: ={1,2,3,4...}

• Con los números naturales se puede sumar. De hecho, con la operación suma, los naturales forman un semigrupo conmutativo.

• Con la operación producto los naturales también tienen estructura de semigrupo conmutativo.

• El infinito de los números naturales se denomina infinito numerable. Cualquier conjunto que pueda ponerse en correspondencia biyectiva con el conjunto de los números naturales se dice que es infinito numerable. Por ejemplo, el conjunto de las potencias sucesivas de un número , es decir, el conjunto cuando es distinto de 0, 1 y -1, es un conjunto infinito numerable. El conjunto de los números enteros y el de los racionales también son infinitos numerables como se verá más adelante.

• Los números enteros

Cuando se necesita además restar surgen los números enteros ={ ... -3, -2, -1, 0, 1, 2, 3, ...}

• Los enteros se obtienen a partir de los naturales añadiendo los opuestos para la operación suma.

• Si a y b denotan números naturales, la suma de dos números enteros a+(-b), se define como:

el entero positivo a-b, si a > b,

0, si a=b

el entero negativo -(b-a) si a < b

La suma de dos enteros negativos se define como (-a)+(-b)=-(a+b)

De hecho, los enteros, con la operación suma tienen estructura de grupo conmutativo.

• Si además de la suma, consideramos la operación de multiplicación definida como

o (-a)(-b)=ab

o (-a)b=a(-b)=-(ab),

el conjunto de los enteros, con ambas operaciones tiene estructura de anillo conmutativo y con unidad.

• Por cierto, ¿qué hay más?, ¿números enteros o números naturales?. Nótese que se puede establecer una correspondencia biyectiva entre ambos conjuntos, , por ejemplo como ésta:

si n es un entero positivo

Por tanto, el conjunto de los enteros es también infinito numerable. También es un conjunto totalmente ordenado, cuando se considera la relación de orden definida en la forma obvia y que extiende la relación de orden que se tiene en . También es cierto que en los enteros todo subconjunto acotado inferiormente tiene elemento mínimo, y recíprocamente, todo subconjunto acotado superiormente tiene elemento máximo.

Los números racionales

Si se necesita además dividir, surgen los números racionales (o fraccionarios, o quebrados),

={... 1/2, 5/3, 8/10, 238476/98745, ...... }

• Los racionales se obtienen a partir de los enteros añadiendo los inversos para la multiplicación.

o La suma de dos racionales a/b y c/d se define como a/b+c/d=(ad+cb)/bd.

o El

...