Fundamentos tericos de los nmeros reales

con sus subconjuntos :

En matemticas, el conjunto de los nmeros reales (denotado por ) incluye
tanto a los nmeros racionales (positivos, negativos y el cero) como a
los nmeros irracionales; y en otro enfoque, trascendentes y algebraicos. Los
irracionales y los trascendentes

Subconjuntos

Racionales e irracionales[editar]

Un nmero real puede ser un nmero racional o un nmero irracional. Los

nmeros racionales son aquellos que pueden expresarse como el cociente de
dos nmeros enteros, tal como 3/4, -21/3, 5, 0, 1/2, mientras que los
irracionales son todos los dems. Los nmeros racionales tambin pueden
describirse como aquellos cuya representacin decimal es eventualmente
peridica, mientras que los irracionales tienen una expansin decimal
aperidica:

Ejemplos
1/4 = 0,250000... Es un nmero racional puesto que es peridico a partir
del tercer nmero decimal .
5/7 = 0,7142857142857142857.... Es racional y tiene un perodo de
longitud 6 (repite 714285) .
es irracional y su expansin decimal es aperidica .

El conjunto de los nmeros racionales se designa mediante .

Algebraicos y transcendentes[editar]

Otra forma de clasificar los nmeros reales es

en algebraicos y trascendentes. Un nmero es algebraico si existe
un polinomio de coeficientes racionales que lo tiene por raz y es
trascendente en caso contrario. Obviamente, todos los nmeros
racionales son algebraicos: si es un nmero racional, con p entero
y q natural, entonces es raz de la ecuacin qx=p. Sin embargo, no
todos los nmeros algebraicos son racionales.

Ejemplos
El nmero es algebraico puesto que es una raz del polinomio
Un ejemplo de nmero trascendente es

El conjunto de los nmeros algebraicos se designa mediante .

Computables e irreductibles[editar]

Un nmero real se dice computable si tiene una complejidad

de Kolmogrov finita, es decir, si puede escribirse un
programa informtico de extensin finita que genere los
dgitos de dicho nmero. Si un nmero real no es computable
se dice irreductible. Una definicin de nmero irreductible es:

El conjunto de nmeros reales computables se designa por .

Obviamente los racionales y los algebraicos son nmeros
computables. De hecho se tiene la siguiente inclusin:
 Adems se tiene que todos estos conjuntos son numerables:

Esto implica que el conjunto de todos los nmeros

computables es un conjunto de medida nula.

Construcciones de los nmeros reales[editar]

Trascendentales

Adicin y sustraccin con nmeros reales y racionales

Sustraccin con irracionales

Trascendentes multiplicacin