Académique Documents
Professionnel Documents
Culture Documents
operacin suma, los naturales forman un semigrupo conmutativo. Con la operacin producto los naturales tambin tienen estructura de semigrupo conmutativo. El infinito de los nmeros naturales se denomina infinito numerable. Cualquier conjunto que pueda ponerse en correspondencia biyectiva con el conjunto de los nmeros naturales se dice que es infinito numerable. Por ejemplo, el conjunto de las potencias sucesivas de un nmero , es decir, el conjunto cuando es distinto de 0, 1 y -1, es un conjunto infinito numerable. El conjunto de los nmeros enteros y el de los racionales tambin son infinitos numerables como se ver ms adelante.
El conjunto de los naturales es un conjunto totalmente ordenado, es decir, existe una relacin de orden total, lo que significa que existe una relacin de orden y que dos elementos cualesquiera pueden ser siempre comparados entre s usando dicha relacin. Dicho de otra forma, dados dos naturales, e , o bien , o bien .
Por ejemplo, el subconjunto formado por los nmeros pares tiene como elemento mnimo a 2.
Para es claro que la suma de los 1 primeros nmeros naturales es . Suponiendo cierta la frmula para , es decir, , veamos que tambin es cierta para
,
tal que . Si tal existe se denomina de por , y la divisin se denomina exacta. En cociente exacto este caso se dice que , o que es divisible por es un divisor . de , o que es un mltiplo de Cuando no es as, siempre es posible encontrar y que verifiquen con Los nmeros , , y se denominan
El uso de nmeros primos grandes tiene aplicaciones en criptografa (ocultacin de secretos). Todo nmero natural admite una descomposicin en producto de nmeros primos. Esta descomposicin es nica salvo el orden de los primos considerados. En el siguiente recuadro tienes algunos ejemplos.
Encontrar la factorizacin de nmeros grandes es un problema con elevada complejidad computacional, de hecho no hay ningn algoritmo eficiente para ello. Por eso varios sistemas criptogrficos se basan en este problema.
Segn se dijo antes, calcular la factprizacin deoun nmero es un proceso muy costoso. Sin embargo, puede calcularse el mximo comn divisor de dos nmeros de una manera eficiente, sin necesidad de factorizar previamente ambos nmeros. Es lo que se conoce como algoritmo de Euclides y consiste en lo siguiente:
, comenzamos relizando la .
Cada paso consiste en una nueva divisin, en la que el dividendo es el nmero que actu de divisor en la divisin anterior y el divisor es el nmero que se obtuvo como resto en la divisin anterior. Cuando en una divisin se obtiene resto nulo, el mximo comun divisor de los nmeros de los que partimos ser el nmero que ha actuado como divisor en esa ltima divisin efectuada y que result ser una divisin exacta.
Una vez obtenido el mximo comn divisor de esta manera, se te ocurre cmo obtener el mnimo comn mltiplo sin necesidad de factorizar los nmeros?
en base p, donde
Para lograr dicha expresin basta con realizar sucesivas divisiones enteras de n por p y tomar los restos, es decir,
se tenga
Ntese que nuestra actual notacin posicional para los nmeros naturales se corresponde con la representacin de los nmeros naturales en base decimal (p=10). Se denomina notacin posicional porque el valor de una cifra depende de la posicn que sta tenga en el nmero: un 5 en el lugar de las unidades vale 5, mientras que en el lugar de las centenas vale 500. La notacin binaria, tan comn en el mundo de la informtica es el resultado de tomar p=2 y representar los nmeros naturales en dicha base. Conoces otras representaciones en bases distintas? Hexadecimal, sexagesimal...
Los enteros se obtienen a partir de los naturales aadiendo los opuestos para la operacin suma. Si a y b denotan nmeros naturales, la suma de dos nmeros 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 operacin suma tienen estructura de grupo conmutativo.
o o
(-a)(-b)=ab (-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 ms?, nmeros enteros o nmeros naturales?. Ntese 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 tambin infinito numerable. Tambin es un conjunto totalmente ordenado, cuando se considera la relacin de orden definida en la forma obvia y que extiende la relacin de orden que se tiene en . Tambin es cierto que en los enteros todo subconjunto acotado inferiormente tiene elemento mnimo, y recprocamente, todo subconjunto acotado superiormente tiene elemento mximo.
Los racionales se obtienen a partir de los enteros aadiendo los inversos para la multiplicacin.
o o o
La suma de dos racionales a/b y c/d se define como a/b+c/d=(ad+cb)/bd. El producto de dos racionales a/b y c/d se define como ac/bd. Dos nmeros racionales a/b y c/d son iguales si y slo si ad=bc. (En todo lo anterior, a, b, c y d denotan nmeros enteros)
Un nmero racional se dice que est expresado mediante una fraccin irreducible si el numerador y el denominador no tienen factores comunes.
De este modo, el conjunto de los racionales, con las operaciones de suma y producto tiene estructura de cuerpo conmutativo.
En
En
suma y producto definidas anteriormente y que extienda el orden existente en y en . Para ello basta con definirlo como sigue: Dados dos nmeros racionales a/b y c/d, donde b y c son enteros positivos (esto siempre puede conseguirse, por ejemplo, si b es negativo basta con multiplicar a y b por -1 para obtener un nmero racional igual que el dado pero con denominador positivo), se dice que si y slo si respecto del orden existente en el conjunto de los enteros. Por tanto con dicho orden es un conjunto totalmente ordenado.
Ejercicio: probar que efectivamente ejemplo, entre 3/5 y 2/3 se encuentra 5/8)
(por
Ahora bien, reiterando el proceso de intoducir un racional entre cada dos racionales distintos es claro que entre dos racionales distintos existen infinitos racionales distintos, Por ejemplo, ahora entre 3/5 y 5/8 se encuentra 8/13, entre 3/5 y 8/13 se encuentra 11/18, etc., tenemos asi 3/5 < ...... < 11/18 < 8/13 < 5/8 < 2/3. por eso se dice que el conjunto de los racionales es un conjunto denso. No tiene sentido hablar del racional siguiente o anterior a uno dado. Esto es algo que no ocurra ni en el conjunto de los naturales ni en el de los enteros.
, si consideramos la sucesin de racionales un momento en que sobrepasasaremos a este sea. Por ejemplo:
Esta es una propiedad que tambin posean los nmeros naturales y los enteros.
Pero podemos tambin probar que hay ms naturales que racionales. Una forma de hacerlo sera seguir el siguiente razonamiento grfico. Coloquemos los enteros en un eje horizontal, y tambin en un eje vertical. Cada punto (a,b) del retculo que se forma representar al racional a/b. Comenzamos ahora a trazar un camino en espiral, partiendo del origen que recorra uno a uno todos los puntos del retculo como se ve en la siguiente grfica:
Es claro que podemos poner en correspondencia biyectiva los puntos del retculo con los naturales sin ms que irlos numerando a medida que la linea espiral pasa por cada uno de ellos. Ahora bien, no todos los puntos del retculo se corresponden con nmeros racionales, ya que los de la forma (n,0) no se corresponden con ningn racional, y adems muchos puntos del retculo representan al mismo nmero racional, por ejemplo (1,2) y (2,4) representan al mismo nmero racional, ya que 1/2=2/4. De aqu se concluye que podemos dar una correspondencia sobreyectiva de en , y por tanto que el cardinal de es que el cardinal de .
Combinando ambos resultados podemos concluir que el cardinal de es igual que el de , es decir, que es un conjunto infinito
numerable.
Ejercicio: encontrar un correspondencia biyectiva entre y .
Expresin decimal exacta, es aqulla que tiene un nmero finito de trminos. Por ejemplo: 0.5, 1.348 367.2982345 Esta expresiones surgen de nmeros racionales cuyo denominador (en la expresin irreducible) slo contiene los factores 2 y 5. Por ejemplo 1349/1000, 40/25, ... Expresin decimal peridica es aqulla que tinene un nmero infinito de cifra decimales, pero de modo que un grupo finito de ellas se repite infinitamente, de forma peridica, por ejemplo 0.333333....., 125.67777777....... 3.2567256725672567...... Surgen de fracciones cuyo denominador contiene factores distintos de 2 y 5, por ejemplo, 1/3=0.33333..... La parte que no se repite se denomina anteperodo y la que se repite, perodo.
Podra considerarse que las expresionas decimales exactas son peridicas mixtas pero con perodo 0.
Recprocamente, dada una expresin decimal exacta o peridica, puede encontrarse una expresin racional para la misma siguiendo la siguiente norma:
Si la expresin es exacta se coloca como numerador el nmero entero que resulta de suprimir el punto decimal y como denominador la unidad seguida de tantos ceros como cifras se encontraran a la derecha del punto decimal en la expresin decimal original. Si la expresin es peridica, se coloca como numerador el resultado de restar al nmero entero formado por el anteperodo seguido de la primera repeticin del perodo, el entero formado por el anteperodo, todo ello multiplicado por la unidad seguida de tantos ceros como cifras significativas se encuentren a la izquierda del punto decimal. Como denominador tantos nueves como cifras tenga el perodo seguidos de tantos ceros como cifras tenga el anteperodo.
Ejemplos:
Posteriormente se pueden simplificar las fracciones obtenidas para conseguir la expresin irreducible.
Se trata de un ejemplo tpico de nmero no racional con una demostracin muy sencilla de que, en efecto, no puede ser racional
En el siguiente recuadro puedes ver las primeras 100 cifras decimales de muestra una manera de construir el nmero
. Adems se
Para construir la serie que converge hacia hemos usado obviamente la sucesin de cifras decimales indicada ms arriba. Tambin podamos haber definido una sucesin de nmeros racionales que converge hacia de la forma siguiente
donde
Otro de los ejemplos csicos de nmeros irracionales que estamos acostumbrados a manejar es
el conocido por la letra griega Pi que representa la relacin entre el permetro y el dimetro de una circunferencia.
A diferencia de lo que ocurre con , no es posible dibujar con regla y comps el nmero sobre la recta real. El problema es conocido como la rectificacin de la circunferencia y hay mtodos algebraicos para demostrar que no tiene solucin, a pesar de que mucha gente la busc durante siglos (y algunos siguen buscndola hoy en da). Otros problemas de parecida ndole son los famosos de la cuadratura del crculo, que consiste en construir con regla y comps un cuadrado que tenga el mismo rea que un crculo dado, y la triseccin del ngulo, que consiste en dividir un ngulo dado en tres partes iguales. Todos ellos son imposibles con regla y comps y puede demostrarse algebraicamente su imposibilidad. En el siguiente recuadro tienes las primeras cien cifras decimales de nmeros racionales que converge hacia . y adems una serie de
La serie indicada es conocida como serie de Leibniz y hemos de advertir que su convergencia es bastante lenta. Cuntos trminos te hace falta sumar para obtener 10 cifras decimales correctas?
Tambin el nmero , base de los llamados logaritmos naturales o neperianos es un nmero irracional. Este nmero surge de forma natural al considerar el inters compuesto.
Supongamos que tenemos un capital unidad a un inters anual ao nuestro capital ser .
Sin embargo, si dividimos el ao en dos semestres e incorporamos el inters al finalizar cada uno dos semestres, al final del primer perodo tendremos y al finalizar el ao
Si dividimos el ao en tres cuatrimestres, incorporando los intereses al capital al final del cada perodo, tendremos cuatrimestre. respectivamente al final de cada
...
Si dividimos el ao en n perodos tendremos al final del ao Se define .
como el lmite del resultado anterior cuando n se hace infinitamente grande (infinitos , es decir
ver como lmite de sucesiones de nmeros racionales (en el segundo caso se trata de una serie).
Si consideramos el conjunto de todas las expresiones decimales, solamente aqullas finitas o peridicas se correspondern, como ya se vio, con nmeros racionales; el resto forman el conjunto de los nmeros irracionales. El conjunto de los irracionales, denotado por alguna forma de probar que tiene, como , la propiedades de orden total,
(pincha aqu para ver una forma de demostrarlo) Ya se ha visto para los ejemplos mostrados, pero se puede afirmar en general que todos los nmeros irracionales pueden verse como lmites de sucesiones de nmeros racionales. Para ello basta con considerar la expresin decimal del nmero en cuestin y construir la sucesin obvia
que consiste en considerar cada vez un cifra decimal ms, de modo que el trmino es la fraccin que da lugar a la expresin decimalm exacta formada por las n primeras cifras del nmero dado.
El conjunto de los reales, con el orden inducido por el orden ya visto en conjunto totalmente ordenado.
es un
Teniendo eso en cuenta, se puede representar grficamente el conjunto de los reales con una recta, en la que cada punto representa un nmero.
es denso en
. Tambin
es denso en
Veamos por ltimo un cuadro resumen de las propiedades que hemos analizado en los distintos conjuntos de nmeros.
Estructura algebraica
+ Semigrupo * Semigrupo + Grupo * Semigrupo +,* Anillo conmut. con1 + Grupo
* Grupo +,* Cuerpo conmut. No tiene estructura algebraica al no ser cerrado para + y * + Grupo * Grupo +,* Cuerpo conmut.