Professional Documents
Culture Documents
1N
nN ! n+1 N, llamado el siguiente de n
nN se tiene n+1 n
Si m, nN y m+1=n+1 entonces m=n
Todo K N para el cual se tiene
i. 1K
ii. c+1K siempre que cK
Es el mismo N
De los nmeros naturales es importante solamente conocer las o leyes mediante las cuales stos
pueden combinarse para obtener otros nmeros naturales. Estas leyes forman la base de las
reglas conocidas para sumar y multiplicar nmeros en el sistema decimal:
Sean n, m, k N entonces
i.
ii.
iii.
iv.
v.
Algebraicamente, el conjunto N= {0, 1, 2, ...n, ...} es un semigrupo aditivo asociativo con elemento
neutro 0 y semigrupo multiplicativo asociativo con elemento neutro 1
vi.
vii.
viii.
ix.
Las operaciones inversas sustraccin y divisin, no son siempre posibles dentro de N. Para
resolver la ecuacin n+k=m cuando m,nN con n<m, hemos de restar de un numero natural otro
mayor y obtenemos un numero negativo que no es natural. Para poder obtener en cada caso no
solo el resultado de la operacin suma, sino tambin el de la resta nos referimos al conjunto de los
nmeros enteros Z (del alemn Zahl,numero).
Se observa que en el caso de Z al aumentar la complejidad de su estructura, no se puede generar
a partir de la funcin sucesor (n+1) extendida a todo Z. que nos permita evaluar sobre Z hacia la
derecha, sino que tenemos que aadir otra funcin generadora que intuitivamente se valuara
hacia la izquierda; a esta funcin la llamaremos el antecesor y est definida como n-1 para
cualquier n Z.
La relacin entre ambas funciones generadoras se puede expresar de la manera siguiente:
(n+1)(n-1)=[(n-1)+1]=n
Se introduce el nmero cero como antecesor de 1 y -1 como antecesor de 0, entonces se pueden
enumerar las propiedades de suma producto y orden respecto a los enteros.
Sean n, m, k Z entonces
i.
ii.
iii.
iv.
v.
vi.
vii.
No existe un primer entero; todo entero esta precedido por al menos otro
Si n<m, entonces n+k<m+k y nk<mk
Si n<m y k>0, entonces nk<mk
xi.
xii.
xiii.
La propiedad xiii sugiere que la ecuacin 2k=1 no tiene solucin en Z lo que hace necesario
obtener una nueva coleccin de nmeros de modo que toda ecuacin multiplicativa tenga
solucin. Al conjunto de estos nmeros lo conoceremos como racionales Q (del ingls quotient,
cociente).
NMEROS RACIONALES.
Los nmeros racionales se definen como el campo de cocientes (Q,+,<) del dominio entero de los
nmeros enteros (Z,+,*). As rQ, r= n/m donde m,n Z y m0. Podemos hacer que esta
presentacin sea nica exigiendo que m>0 y que no tengan factor comn mayor que 1, puesto que
se podra empezar simplificando para eliminar los divisores comunes, mcd(n,m)=1.
Q = {n/m| m,n Z y m0}
Dentro del dominio de los nmeros racionales, todas las operaciones racionales, adicin,
multiplicacin, diferencia y divisin (excepto la divisin por cero), pueden efectuarse y producir
nuevamente nmeros racionales. Como se sabe de la aritmtica elemental, las operaciones con
nmeros racionales obedecen las mismas leyes que las operaciones con nmeros naturales. Por
ello los nmeros racionales extienden el sistema de enteros positivos en una forma
completamente natural.
NMEROS DECIMALES
Sean un conjunto D, {n, ai, dj}Z+, k=m+1 mZ+ y xD tales que:
n
k
i
j=1
10
+1
j=1
j=1
10
x = 1 [ (ai
10i+)
+ (dj 10 j)]
i=0
j=1
b = dj10 j
j=1
Tal que
-
b1 = b 10
-2
b2 = b 10
-3
b3 = b 10
b = b 10-
Con N
Entonces
n
i=0
=1
i=0
=1
pN
i=0
=1
i=0
=1
i=0
=1
i=0
=1
i=0
=1
=2
i+
10 x = 1 [(ai 10 ) + b + (b 10[1-])]
i=0
=2
i=0
j=1
=2
i=0
=1
i=0
j=1
=2
i=0
=1
i=0
j=1
i=0
=2
i+
j=1
i=0
=2
=1
)]
En donde
n
i+
i=0
As
j=1
i=0
(b 10[1-]) (b 10-) = 0
=2
=1
10 x x = z
x(10 1) = z
x = z / (10 1) Q
9. El conjunto I de los nmeros decimales x que no pueden ser escritos en forma de enteros,
fracciones decimales o decimales peridicos como en los incisos 6), 7) u 8), son llamados
irracionales., y se escribe xI.
10. El conjunto R de todos los nmeros racionales o irracionales se llama el conjunto de los
nmeros reales (R=QI) y su aplicacin al avance tecnolgico de nuestra civilizacin es tan
importante que la tarea de caracterizarlos corresponde a toda una rama de la matemtica que
hoy conocemos como anlisis matemtico.
Ejemplos:
Algunos ejemplos de fracciones decimales son .678, 9.3710, 8.3851 3.1416 y 1.414213. Todo
entero es una fraccin decimal; por ejemplo 2.0, 87.0, 60.00 y 34.00. Los decimales infinitos tales
como 0.414213562373095, 0.71828182846 y 0.1415926535897932384626433832795 no son
fracciones decimales.
i. Un decimal representa un numero racional si y solo si el decimal es peridico, por ejemplo
3/11=0.27272727, .5/7=0.714285714285, 9/13=0.692307692307, etc.
ii. Toda fraccin decimal es un nmero racional pero no todo nmero racional es una fraccin
decimal, considrense como ejemplos los decimales 1.27=127/100, 3.1416=3927/1250 Vs los
racionales 3/11, 5/7 y 9/13
iii. Un cociente cuyo numerador y denominados son ambos enteros es una fraccin decimal si y
solamente si su denominador es un divisor de alguna potencia de 10. Por ejemplo, 2/5, 1/4 y
3/8 donde 5|10, 4|102, 8|103 con 2/5=0.4, =0.25 y 3/8=0.375.
iv. Cualquier nmero racional puede ser escrito en forma decimal, pero no todo nmero decimal
puede ser escrito como un racional, dos ejemplos clsicos que sirven para mostrar este hecho
provienen de la geometra plana al medir la diagonal de un cuadrado de lados unitarios y al
dividir el permetro de una circunferencia entre su dimetro.
p2=4k2=2q2
de modo que
2k2=q2
Esto demuestra que q2 es par y en consecuencia q es par. As pues, son pares tanto p como q
en contradiccin con el hecho de que p y q no tienen divisores comunes.
Luego, el sistema de los nmeros racionales es insuficiente para la geometra, lo que hace
necesario inventar el conjunto de los nmeros irracionales como medidas de cantidades
inconmensurables.
Sea r = 2 tal que r2 = 2; por aproximacin 2 = 0.141592653589793238462643383279.
Sea P el permetro de la circunferencia y D su dimetro, tales que =P/D; por aproximacin
= 3.1415926535897932384626433832795
Xn
n
n2
10m
Xn/10m
2X100
(2k-1)+1
100
14
101
1.4
141
102
1.41
1414
103
1.414
14142
104
1.4142
141421
105
1.41421
1414213
106
1.414213
14142135
107
1.4142135
141421356
108
1.41421356
1414213562
109
1.414213562
k=1
2X102
2X104
2X106
2X108
10
k=1
k=11
140
141
k=1
k=141
1410
1414
(2k-1) + (2k-1)+119
(2k-1) + (2k-1)+604
k=1
k=1411
14140
14142
(2k-1) + (2k-1)+3,836
k=1
2X1010
2X1012
2X1014
2X1016
2X1018
10 2X1020
14
(2k-1) + (2k-1)+4
k=14141
141420
141421
k=1
k=141421
1414210
1414213
k=1
k=1414211
14142130
14142135
k=1
k=14142131
141421350
141421356
k=1
k=141421351
(2k-1) + (2k-1)+100,759
(2k-1) + (2k-1) +1590,631
(2k-1) + (2k-1)+17641,775
(2k-1) + (2k-1)+67121,264
1414213560
1414213562
k=1
k=1414213561
14142135620
14142135623
k=1
k=14142135621
(2k-1) + (2k-1)+1,055272,192
141421356230
11 2X10
22
141421356237
(2k-1) + (2k1)+87,539318,784
k=1
141421356237
1011 1.41421356237
k=141421356231
1414213562370
1414213562373
k=1
k=1414213562371
1010 1.4142135623
Orden en R e intervalos
Sucesiones
Definicin
Una sucesin {xn} es una funcin que asocia a cada nmero natural n uno y solo un nmero real
xn. Los trminos xn se llaman los trminos de la sucesin.
Tipos de sucesiones.
i.
ii.
iii.
iv.
v.
Convergencia.
Una sucesin {xn} se dice que converge a un nmero x (o que se aproxima a x como lmite) si
para toda vecindad de x se puede encontrar un numero natural , tal que todos los trminos de
{xn} con n> estn en la vecindad.
El nmero x se llama el lmite de la sucesin. Si una sucesin converge se dice que es
convergente y la notacin {xn}x se lee La sucesin {xn} converge a x o bien La sucesin {xn}
se aproxima al lmite x que tambin se escribe lim xn = x
n
Sucesiones de Cauchy.
Se dice que una sucesin {xn} de nmeros reales es una sucesin de Cauchy si >0 ()N
tal que para todos los nmeros naturales n,m () los trminos xn, xm satisfacen |xn-xm|<
Criterio de cnvergencia de Cauchy
Una sucesin de nmeros reales es convergente si y solo si es una sucesin de Cauchy.
Nota: Las sucesiones de Cauchy son precisamente todas las sucesiones convergentes
Completez
Como en toda resolucin matemtica, el resultado se puede obtener por diferentes mtodos; en
el caso la construccin de los nmeros reales son populares el mtodo de cortaduras de Julius
Wilhelm Richard Dedekind y el de clases de equivalencia de sucesiones de Cauchy empleado por
Georg Cantor. De los dos, el mtodo de y es el ms empleado porque desde el principio se apoya
en el concepto de convergencia de sucesiones que es la idea central del anlisis y la herramienta
estndar de los calculistas.
Definicin (Cotas).
Sea AR, A.
i. El conjunto A esta acotado superiormente si R tal que a aA y se dice que es
una cota superior de A
ii. El conjunto A esta acotado inferiormente si R tal que a aA y se dice que es
una cota inferior de A
Definicin (Supremo).
Sea AR, A, acotado superiormente, entonces R es la mnima cota superior o supremo
de A si y solo si
i ) acota superiormente a A, es decir, x xA
ii ) R con >0, xA tal que <x<
ii) R con <, xA tal que <x<
Si a es el supremo de A se escribe sup(A) o mcs(A)
Definicin (Infimo).
Sea AR, A, acotado inferiormente, entonces R es la mxima cota inferior o nfimo de A
si y solo si
i ) acota inferiormente a A, es decir, x xA
ii ) R con >0, xA tal que <x<+
ii) R con >, xA tal que <x<
Si a es el nfimo de A se escribe inf(A) o mci(A)
Propiedad de completez
Las siguientes proposiciones son distintas formas de enunciar la propiedad de completez y son
equivalentes:
1. El sistema de los nmeros reales es completo.
2. Toda sucesin convergente de nmeros reales tiene como lmite un nmero real.
3. Toda sucesin de nmeros reales no decreciente y acotada superiormente, converge en los
reales al supremo de la sucesin, esto es:
xnR nN , tal que xnxn+1 y
xnk nN = sup{xn } = lim xn R.
4. Toda sucesin de nmeros reales no creciente y acotada inferiormente, converge en los
reales al nfimo de la sucesin, esto es:
xnR nN , tal que xn+1xn y
kxn nN = nf{xn } = lim xn R.
5. Todo conjunto de nmeros reales, no vaco y acotado superiormente, tiene supremo en los
reales; esto es:
AR tal que A y kR tal que ak aA
a = sup(A)R.
6. Todo conjunto de nmeros reales, no vaco y acotado inferiormente tiene nfimo en los
reales, esto es:
AR tal que A y hR tal que h a aA
= nf(A)R.
7. Si AR y BR son dos conjuntos no vacos tales que aA y bB ocurre ab; entonces
R para el cual a<<b y se tiene que = sup(A) y = inf(B)
Teoria de Dedekind
Dedekind descubre la esencia de la continuidad en la reciprocidad cuando se elige un punto
cualquiera de la recta real que le separa en dos partes de manera que cualquier punto de la
primera parte queda a la izquierda de cualquier punto de la otra y formula su principio..
Si todos los puntos de la recta caen dentro de dos clases, de forma que cada punto de la primera
clase queda a la izquierda de cada punto de la segunda clase, entonces existe un punto y solo uno
que produce esta divisin de todos los puntos en dos clases, esta separacin de la lnea recta en
dos partes.
Q
a y b<a b
a b tal que a<b
Fuentes de consulta