Documentos de Académico
Documentos de Profesional
Documentos de Cultura
={1,2,3,4...}
, o bien
Todo subconjunto
de
se tiene
.
Por ejemplo, el subconjunto formado por los nmeros pares tiene como
elemento mnimo a 2.
, resulta que
, entonces
de
verifica que
.
Para
naturales es
.
Suponiendo cierta la frmula para , es decir,
, veamos que tambin es cierta para
,
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
, y hemos terminado.
Los enteros se obtienen a partir de los naturales aadiendo los opuestos para
la operacin suma.
Los racionales se obtienen a partir de los enteros aadiendo los inversos para
la multiplicacin.
o La suma de dos racionales a/b y c/d se define como
a/b+c/d=(ad+cb)/bd.
o El producto de dos racionales a/b y c/d se define como ac/bd.
o 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)
o 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.
Para ello, si
tomar
Ejercicio: probar que efectivamente
3/5 y 2/3 se encuentra 5/8)
, si consideramos la
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
que el cardinal de
en
, y por tanto
, es decir, que
es
Hay nmeros que no son racionales, es decir que no pueden ser expresados como
cociente de dos nmeros enteros. Por ejemplo, piensa en el nmero cuya representacin
decimal es
0.1234567891011121314151617181920........
claramente, esta representacin decimal no es exacta ni peridica, por tanto no puede
corresponderse con ningn nmero racional.
Veamos otros ejemplos.
Se trata de un ejemplo tpico de nmero no racional con una demostracin muy sencilla de
que, en efecto, no puede ser racional
. Adems se
donde
de la forma siguiente
Otro de los ejemplos csicos de nmeros irracionales que estamos acostumbrados a manejar
y al finalizar el
ao
Si dividimos el ao en tres cuatrimestres, incorporando los intereses al capital al final del
cada perodo, tendremos
de cada cuatrimestre.
respectivamente al final
...
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 perodos infinitamente pequeos), siendo
, es decir
En el recuadro siguiente vemos las 100 primeras cifras decimales de , as como dos
formas de ver como lmite de sucesiones de nmeros racionales (en el segundo caso se
trata de una serie).
Igual que pasaba con , no es posible dibujar con regla y comps un punto en la recta real
a distancia del origen.
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 tiene, como , la propiedades de orden
total, densidad y propiedad arquimediana. En cambio no es un conjunto numerable. Se
te ocurre alguna forma de probar que no es numerable?
(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.
Los nmeros reales
La unin de los racionales y los irracionales forma el conjunto de los nmeros
reales.
es
Teniendo eso en cuenta, se puede representar grficamente el conjunto de los reales con
una recta, en la que cada punto representa un nmero.
Muchas de las propiedades que hemos visto para los conjuntos
por .
Como ya se ha visto,
es denso en
. Tambin
es denso en
son heredadas
Podemos considerar
como el conjunto de todos los lmites de sucesiones cuyos
trminos son nmeros racionales.
A diferencia de lo visto para
demostracin).
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.