Qu son nmeros irracionales?

Los nmeros irracionales tienen como definicin que son nmeros que poseen infinitas cifras decimales no peridicas, que por lo tanto no pueden ser expresados como fracciones. Estos nmeros pueden haber sido descubiertos al tratar de resolver la longitud de un cuadrado segn el Teorema de Pitgoras, siendo el resultado el nmero 2 o raz cuadrada de dos, el ejemplo de nmeros irracionales ms claro e inmediato, cuya respuesta a su vez posee infinitas cifras decimales que al no poder ser fraccionado, fue llamado irracional, en el sentido de no poder escribirlo como una racin o varias raciones o fracciones. Para distinguir los nmeros irracionales de los racionales, debemos tomar en cuenta que los nmeros racionales si se pueden escribir de manera fraccionada o racional, por ejemplo: 18/5 que es igual a 3,6 por lo tanto es un nmero racional a diferencia de la raz cuadrada de dos en cuyo resultado se obtienen infinito nmero de cifras decimales, y su fraccionamiento resulta imposible. Podras intentar encontrar la respuesta en una calculadora, y segn el nmero de decimales con la cual la tengas programada, obtendrs algunos resultados: 1.4142135 esta es la respuesta de 2 con siete decimales, pero la cifra se ir alargando pues tiene infinitos decimales. De esta manera podemos definir a los nmeros irracionales como un decimal infinito no peridico, es decir que cualquier representacin de un nmero irracional, solo es una aproximacin en nmeros racionales. Notacin de los nmeros irracionales La representacin grfica de los nmeros irracionales se la hace con la letra I mayscula. Se la utiliza de esta manera para diferenciarla de los nmeros imaginarios, cuya representacin es la i minscula. Pero el smbolo no se representa en las ecuaciones al no constituir una estructura algebraica, y para no crear confusin, en ocasiones se los puede ver como R/Q como la representacin de nmeros irracionales por definicin. Existen algunos casos especiales de nmeros irracionales famosos que tienen su propia notacin y simbologa, estos casos sern tratados posteriormente. Propiedades de los nmeros irracionales Adems de ser un nmero infinito decimal no peridico, los nmeros irracionales tienen otras propiedades como:

Propiedad conmutativa: en la suma y la multiplicacin se cumple la propiedad conmutativa segn la cual el orden de los factores no altera el resultado, por ejemplo, + = +; as como en la multiplicacin, =. Propiedad asociativa: donde la distribucin y agrupacin de los nmeros da como resultado el mismo nmero, de manera independiente a su agrupacin, siendo (+)+e=+ (+e); y de la misma manera con la multiplicacin, () e= (e). Propiedad cerrada: es decir que el resultado de la suma, resta, multiplicacin, divisin o potenciacin de un nmero irracional, siempre ser un nmero irracional. Sin embargo la propiedad cerrada no se cumple en el caso de la radicacin. Elemento opuesto: existe un inverso aditivo, para la suma de nmeros irracionales, es decir que para cada nmero tiene su negativo que lo anula, por ejemplo -=0 y de la misma forma un inverso multiplicativo que da como resultado 1, es decir 1/=1. La multiplicacin es distributiva en relacin a la suma y a la resta. Ejemplo: (3+2) =3+2=5. Clasificacin de los nmeros irracionales Dentro de la recta real numrica existen varios conjuntos de nmeros, pero dentro de los nmeros irracionales hay ms tipos para clasificar, estos son: Nmero algebraico: se les llama as a los nmeros irracionales que surgen de resolver alguna ecuacin algebraica y se escribe con un nmero finito de radicales libres o anidados. En general, las races no exactas de cualquier orden se encuentran dentro de este conjunto, es decir las races cuadradas, cbicas, etc. Nmero trascendente: este es un nmero irracional que no puede ser representado a travs de un nmero finito de radicales libres o anidados, estos provienen de otro tipo de operaciones llamadas funciones trascendentes utilizadas mucho en trigonometra, logaritmos, exponenciales, etctera. Aunque tambin pueden surgir de la simple accin de escribir nmeros decimales al azar sin periodicidad y sin un patrn determinado, podemos decir que son decimales infinitos. Este ltimo tipo, se diferencia del anterior porque no puede ser el resultado de una ecuacin algebraica, en otras palabras, son relevantes a la clasificacin porque no tienen una representacin con un nmero radical.

Qu son nmeros reales? En matemticas, los nmeros reales (designados por ) incluyen 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 trascendentes1 (1970) no se pueden expresar mediante una fraccin de dos enteros con denominador no nulo; tienen infinitas cifras decimales aperidicas, tales como: , el nmero real log2, cuya trascendencia fue mentada por Euler en el siglo XVIII.1 Los nmeros reales pueden ser descritos y construidos de varias formas, algunas simples aunque carentes del rigor necesario para los propsitos formales de matemticas y otras ms complejas pero con el rigor necesario para el trabajo matemtico formal. Durante los siglos XVI y XVII el clculo avanz mucho aunque careca de una base rigurosa, puesto que en el momento no se consideraba necesario el formalismo de la actualidad, y se usaban expresiones como pequeo, lmite, se acerca sin una definicin precisa. Esto llev a una serie de paradojas y problemas lgicos que hicieron evidente la necesidad de crear una base rigurosa para la matemtica, la cual consisti de definiciones formales y rigurosas (aunque ciertamente tcnicas) del concepto de nmero real. 2En una seccin posterior se describirn dos de las definiciones precisas ms usuales actualmente: clases de equivalencia desucesiones de Cauchy de nmeros racionales y cortaduras de Dedekind. Los nmeros reales se expresan con fracciones decimales que tienen una secuencia infinita de dgitos a la derecha de la coma decimal, como por ejemplo 324,8232. Frecuentemente tambin se subrepresentan con tres puntos consecutivos al final (324,823211247), lo que significara que an faltan ms dgitos decimales, pero que se consideran sin importancia. Las medidas en las ciencias fsicas son siempre una aproximacin a un nmero real. No slo es ms conciso escribirlos con forma de fraccin decimal (es decir, nmeros racionales que pueden ser escritos como proporciones, con un denominador exacto) sino que, en cualquier caso, cunde ntegramente el concepto y significado del nmero real. En el anlisis matemtico los nmeros reales son objeto principal de estudio. Puede decirse que los nmeros reales son la herramienta de trabajo de las matemticas de la continuidad, como el clculo y el anlisis matemtico, mientras que los nmeros enteros lo son de las matemticas discretas, en las que est ausente la continuidad. Se dice que un nmero real es recursivo si sus dgitos se pueden expresar por un algoritmo recursivo. Un nmero no-recursivo es aqul que es imposible de especificar explcitamente. Aun as, la escuela rusa de constructivismo supone que todos los nmeros reales son recursivos.

Los ordenadores slo pueden aproximarse a los nmeros reales por nmeros racionales; de todas maneras, algunos programas de ordenador pueden tratar un nmero real de manera exacta usando su definicin algebraica (por ejemplo, " ") en vez de su respectiva aproximacin decimal. Los matemticos usan el smbolo (o, de otra forma, , la letra "R" en negrita) para representar el conjunto de todos los nmeros reales. La notacin matemtica se refiere a un espacio de dimensiones de los nmeros reales; por ejemplo, un valor consiste de tres nmeros reales y determina un lugar en un espacio de tres dimensiones. En matemtica, la palabra "real" se usa como adjetivo, con el significado de que el campo subyacente es el campo de los nmeros reales. Por ejemplo, matriz real, funcin real, ylgebra de Lie real. Que son nmeros racionales? En matemticas, se llama nmero racional a todo nmero que puede representarse como el cociente de dos nmeros enteros (ms precisamente, un entero y un natural positivo1 ) es decir, una fraccin comn a/b con numerador a y denominador b distinto de cero. El trmino racional alude a fraccin o parte de un todo. El conjunto de los nmeros racionales se denota por Q (o bien , en negrita de pizarra) que deriva de cociente (Quotient en varios idiomas europeos). Este conjunto de nmeros incluye a los nmeros enteros ( ), y es un subconjunto de los nmeros reales ( ). La escritura decimal de un nmero racional es, o bien un nmero decimal finito, o bien peridico. Esto es cierto no solo para nmeros escritos en base 10 (sistema decimal), tambin lo es en base binaria, hexadecimal o cualquier otra base entera. Recprocamente, todo nmero que admite una expansin finita o peridica (en cualquier base entera), es un nmero racional. Un nmero real que no es racional, se llama nmero irracional; la expansin decimal de los nmeros irracionales, a diferencia de los racionales, es infinita no-peridica. En sentido estricto, nmero racional es el conjunto de todas las fracciones equivalentes a una dada; de todas ellas, se toma comorepresentante cannico de dicho nmero racional a la fraccin irreducible. Las fracciones equivalentes entre s nmero racional son una clase de equivalencia, resultado de la aplicacin de una relacin de equivalencia sobre .

Propiedades
El conjunto , con las propiedades 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.

La clausura algebraica de

, es el conjunto de los nmeros algebraicos.

El conjunto de los nmeros racionales es numerable, es decir que existe una biyeccin entre y (tienen la misma cantidad de elementos). El conjunto de los nmero reales no es numerable (la parte no-denombrable de los reales, la constituyen los nmeros irracionales). Propiedad arquimediana: el conjunto es denso en por construccin misma de ; es decir, para cualquier pareja de nmeros reales existe otro nmero racional situado entre ellos. Los racionales forman un dominio de factorizacin nica ya que todo racional puede descomponerse en la forma: donde son nmeros enteros primos, (siendo algunos de ellos negativos si q no es entero) y . Por ejemplo .

Escritura decimal[editar editar cdigo] Representacin racional de los nmeros decimales[editar editar cdigo] Todo nmero real admite una representacin decimal ilimitada, esta representacin es nica si se excluyen secuencias infinitas de 9 (como por ejemplo el 0,9 peridico). Todonmero decimal finito o peridico puede expresarse como nmero racional de la siguiente manera: Decimales exactos o finitos: se escribe en el numerador la expresin decimal sin la coma (como un nmero entero), y en el denominador un uno seguido de tantos ceros como cifras decimales.

Ejemplo: Decimales peridicos puros: la fraccin correspondiente tiene como numerador la diferencia entre el nmero escrito sin la coma, y la parte anterior al periodo; y como denominador, tantos "9" como cifras tiene el periodo.

Ejemplo: Decimales peridicos mixtos: tendr como numerador la diferencia entre y donde es el nmero escrito sin la coma, y es el nmero sin la parte decimal peridica, escritos ambos como nmeros enteros. El denominador tendr tantos "9" como cifras tiene el periodo y otros tantos "0" como cifras tenga el anteperodo. ,

Ejemplo: Sea el nmero y , es decir:

entonces

, por lo que la fraccin correspondiente ser .

Desarrollo decimal de los nmeros racionales[editar editar cdigo] El valor decimal de un nmero racional, es simplemente el resultado de dividir el numerador entre el denominador. Los nmeros racionales se caracterizan por tener una escritura decimal que slo puede ser de tres tipos: Exacta: la parte decimal tiene un nmero finito de cifras. Al no ser significativos, los ceros a la derecha del separador decimal pueden omitirse, lo que da por resultado una expresin finita o terminal. Ejemplo:

Peridica pura: toda la parte decimal se repite indefinidamente. Ejemplo:

Peridica mixta: no toda la parte decimal se repite. Ejemplo:

Nota: lo mismo se aplica al desarrollo decimal de un nmero racional en bases distintas de diez. Nmero racional en otras bases[editar editar cdigo] En un sistema de numeracin posicional de base racional, las fracciones irreducibles cuyo denominador contiene factores primos distintos de aquellos que factorizan la base, no tienen representacin finita. Ejemplos: En base 10, un racional tendr un desarrollo finito si y slo si el denominador de su fraccin irreducible es de la forma 2n5p (n y p enteros).

En base duodecimal es infinita y recurrente la representacin de todas aquellas fracciones cuyo denominador contiene factores primos distintos de 2 y 3. Propiedades topolgicas de los nmeros racionales[editar editar cdigo] Forman un subconjunto denso de los nmeros reales: todo nmero real tiene racionales arbitrariamente cerca. Poseen una expansin finita como fraccin continua regular. Con la topologa del orden, forman un anillo topolgico, o de grupo parcialmente ordenado; presentan una topologa inducida; tambin forman un espacio mtrico con la mtricad(x,y) = |x y|. Los racionales son un ejemplo de espacio que no es localmente compacto. Se caracterizan topolgicamente por ser el nico espacio metrizable numerable sin puntos aislados (tambin es totalmente discontinuo). Los nmeros racionales no forman unespacio mtrico completo. Nmero p-dico[editar editar cdigo] Sea p un nmero primo y para todo entero no nulo a, sea |a|p = pn, donde pn es la mayor potencia de p que divide a a. Si |0|p = 0, y para cada nmero racional a/b, |a/b|p = |a|p / |b|p, entonces la funcin multiplicativa El espacio mtrico define una mtrica sobre no es completo, su completitud es el cuerpo de .

los nmeros p-dicos . El teorema de Ostrowski asegura que todo valor absoluto no-trivial sobre es equivalente ya sea al valor absoluto usual, o al valor absoluto p-dico.