PROPIEDADES DE LOS NMEROS NATURALES

Los nmeros naturales estn totalmente ordenados. La relacin de

orden se puede redefinir as: a b si y solo si existe otro nmero
natural c que cumple a + c = b. Este orden es compatible con todas las
operaciones aritmticas puesto que si a, b y c son nmeros naturales
y a b, entonces se cumple:
a+cb+c
acbc
Una propiedad importante del conjunto de los nmeros naturales
es que es un conjunto bien ordenado
1. Para cualquier elemento a de A existe b en A tal que a < b
En los nmeros naturales existe el algoritmo de la divisin.
Dados dos nmeros naturales a y b, si b 0, podemos encontrar
otros dos nmeros naturales q y r,
denominados cociente y resto respectivamente, tales que:
a = (b q) + r y r < b
Los nmeros q y r estn unvocamente determinados
por a y b.
Otras propiedades ms complejas de los nmeros naturales,
como la distribucin de los nmeros primos por ejemplo, son
estudiadas por la teora de nmeros.
Relacin de orden
La relacin sucesor le da una estructura de orden.10
Conceptos globales y de estructura[editar]
Algebraicamente, el conjunto = {0, 1, 2, ... n, ...} es un
semigrupo aditivo asociativo con elemento neutro 0 y
semigrupo multiplicativo asociativo con elemento
neutro 1.11
12
Topolgicamente, tiene la topologa cofinita.
El cardinal de es menor que el cardinal de .

PROPIEDADES DE LOS NMEROS ENTEROS

El conjunto de los nmeros enteros, provisto de las operaciones

de adicin y multiplicacin forman lo que en lgebra abstracta se conoce
como el sistema algebraico de anillo.
Los enteros con la adicin y la multiplicacin forman una estructura
algebraica llamada anillo. Pueden ser considerados una extensin de
los nmeros

naturales y

un subconjunto de

nmeros racionales(fracciones).

Los

los

nmeros

enteros

son subconjunto de los nmeros racionales o fracciones, puesto que cada

nmero entero puede ser considerado como una fraccin cuyo
denominador es el nmero uno.
Los nmeros enteros pueden ser sumados y/o restados, multiplicados
y comparados.
Matemticamente, el conjunto de los nmeros enteros con las
operaciones

de

suma

multiplicacin,

un anillo conmutativo y unitario. Por otro lado,

constituye
, donde

es el

orden usual sobre , es un conjunto completamente ordenado sin cota

superior o inferior: los enteros no tienen principio ni fin. El conjunto de
los nmeros enteros se representa mediante

(el origen del uso de Z

es el alemn Zahl, nmero o cantidad).

PROPIEDADES DE LOS NMEROS RACIONALES

El conjunto de los nmeros racionales

equipado con las operaciones de suma y
producto cumple las propiedades conmutativa, asociativa y distributiva, es decir:
(conmutativa)
(asociativa)
(distributiva)13 .
Existen los elementos neutros para la suma y producto. Para la suma,
el cero, denotado por 0, ya que

para cualquier . Para el

producto es el 1, que puede ser representado por

, con n distinto

de 0, ya que
.
Posee elementos simtricos para las operaciones de suma y producto.
As, el elemento simtrico respecto de la suma para cualquier nmero
racional
que

es

, llamado elemento opuesto, puesto

. Lo mismo ocurre en el caso del elemento simtrico

respecto del producto, para todo nmero racional

existe

, distinto de 0,

, llamado inverso multiplicativo tal

que
.
El conjunto , con las operaciones de adicin y multiplicacin definidas
ms arriba, conforma un cuerpo conmutativo, el cuerpo de cocientes de
los enteros .
Los racionales son el menor cuerpo con caracterstica nula. Cualquier
otro cuerpo de caracterstica nula contiene una copia de .
La clausura algebraica de , es el conjunto de los nmeros
algebraicos.
Los racionales forman un dominio de factorizacin nica ya que todo
racional diferente de cero puede descomponerse en la
forma:
primos,
y

donde
son nmeros enteros
(siendo algunos de ellos negativos si q no es entero)
. Por ejemplo