Número real

Número real

Saltar a: navegación, búsqueda

Diferentes clases de números reales.

Recta real.

En matemáticas, los números reales (designados por ) incluyen tanto a los números racionales (positivos, negativos y el cero) como a los números irracionales; y en otro enfoque, trascendentes y algebraicos. Los irracionales y los trascendentes1 (1970) no se pueden expresar mediante una fracción de dos enteros con denominador no nulo; tienen infinitas cifras decimales aperiódicas, tales como: , el número real log2, cuya trascendencia fue mentada por Euler en el siglo XVIII.1

Los números reales pueden ser descritos y construidos de varias formas, algunas simples aunque carentes del rigor necesario para los propósitos formales de matemáticas y otras más complejas pero con el rigor necesario para el trabajo matemático formal.

Durante los siglos XVI y XVII el cálculo avanzó mucho aunque carecía de una base rigurosa, puesto que en el momento no se consideraba necesario el formalismo de la actualidad, y se usaban expresiones como «pequeño», «límite», «se acerca» sin una definición precisa. Esto llevó a una serie de paradojas y problemas lógicos que hicieron evidente la necesidad de crear una base rigurosa para la matemática, la cual consistió de definiciones formales y rigurosas (aunque ciertamente técnicas) del concepto de número real.2 En una sección posterior se describirán dos de las definiciones precisas más usuales actualmente: clases de equivalencia de sucesiones de Cauchy de números racionales y cortaduras de Dedekind.

Índice

[ocultar] 1 Historia 1.1 Evolución del concepto de número

2 Notación

3 Tipos de números reales

4 Construcciones de los números reales 4.1 Caracterización axiomática

4.2 Construcción por números decimales

4.3 Construcción por cortaduras de Dedekind

4.4 ¿Construcción por sucesiones de Cauchy? 4.4.1 Propiedad Arquimediana (Axioma de Arquímedes)

5 Operaciones con números reales

6 Dos particiones

7 Véase también 7.1 Dos clasificaciones

8 Referencias

9 Enlaces externos

Historia[editar]

Los egipcios dieron origen por primera vez a las fracciones comunes alrededor del año 1000 a. C.; alrededor del 500 a. C. un grupo de matemáticos griegos liderados por Pitágoras se dio cuenta de la necesidad de los números irracionales. Los números negativos fueron ideados por matemáticos indios cerca del 600, posiblemente reinventados en China poco después, pero no se utilizaron en Europa hasta el siglo XVII, si bien a finales del XVIII Leonhard Euler descartó las soluciones negativas de las ecuaciones porque las consideraba irreales. En ese siglo, en el cálculo se utilizaban números reales sin una definición precisa, cosa que finalmente sucedió con la definición rigurosa hecha por Georg Cantor en 1871.

En realidad, el estudio riguroso de la construcción total de los números reales exige tener amplios antecedentes de teoría de conjuntos y lógica matemática. Fue lograda la construcción y sistematización de los números reales en el siglo XIX por dos grandes matemáticos europeos utilizando vías distintas: la teoría de conjuntos de Georg Cantor (encajamientos sucesivos, cardinales finitos e infinitos), por un lado, y el análisis matemático de Richard Dedekind (vecindades, entornos y cortaduras de Dedekind). Ambos matemáticos lograron la sistematización de los números reales en la historia, no de manera espontánea, sino utilizando todos los avances previos en la materia: desde la antigua Grecia y pasando por matemáticos como Descartes, Newton, Leibniz, Euler, Lagrange, Gauss, Riemann, Cauchy y Weierstrass.

Evolución del concepto de número[editar]

Se sabe que los egipcios y babilónicos hacían uso de fracciones (números racionales) en la resolución de problemas prácticos. Sin embargo, fue con el desarrollo de la matemática griega cuando se consideró el aspecto filosófico de número. Los pitagóricos descubrieron que las relaciones armónicas entre las notas musicales correspondían a cocientes de números enteros, lo que les inspiró a buscar proporciones numéricas en todas las demás cosas, y lo expresaron con la máxima «todo es número».

En la matemática griega, dos magnitudes son conmensurables si es posible encontrar una tercera tal que las primeras dos sean múltiplos de la última, es decir, es posible encontrar una unidad común para la que las dos magnitudes tengan una medida entera. El principio pitagórico de que todo número es un cociente de enteros, expresaba en esta forma que cualesquiera dos magnitudes deben ser conmensurables.

Sin embargo, el ambicioso proyecto pitagórico se tambaleó ante el problema de medir la diagonal de un cuadrado, o la hipotenusa de un triángulo rectángulo, pues no es conmensurable respecto de los catetos. En notación moderna, un triángulo rectángulo cuyos catetos miden 1, tiene una hipotenusa que mide raíz cuadrada de dos :

Si es un número racional donde está reducido a sus términos mínimos (sin factor común) entonces 2q²=p². La expresión anterior indica que p² es un número par y por tanto p también, es decir, p=2m. Sustituyendo obtenemos 2q²=(2m)²=4m², y por tanto q²=2m². Pero el mismo argumento usado nos dice ahora que q debe ser un número par, esto es, q=2n. Mas esto es imposible, puesto que p y q no tienen factores comunes (y hemos encontrado que 2 es un factor de ambos). Por tanto, la suposición

...