Los conceptos bsicos del clculo son la derivada y la integral.

La derivada es una medida de la

rapidez de un cambio y la integral mide el efecto total de un proceso continuo. Un entendimiento
solido de estos conceptos tiene base en los conceptos de lmite y funcin que a su vez dependen
de entender el continuo de nmeros.
NMEROS NATURALES
Los enteros positivos o nmeros naturales(N), son smbolos abstractos que usamos para indicar
cuntos objetos hay en un conjunto discreto de elementos.
Los naturales son la herramienta adecuada para contar elementos de un conjunto, pero no son
suficiente para otra actividad igual de importante: medir cantidades continuas como longitudes,
volmenes y pesos. La pregunta cunto? no se puede responder simplemente con los nmeros
naturales. La necesidad de expresar medidas de cantidades continuas en trminos de lo que
quisieras fuera un nmero nos obliga a extender este concepto. Esta extensin es llamada el
continuo de nmeros o sistema de nmeros reales (R).
La sucesin y aritmtica de nmeros naturales se considera como dada a partir de los axiomas
publicados por Giuseppe Peano en 1899
a)
b)
c)
d)
e)

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.

Leyes de cerradura n+m, nm N

Leyes conmutativas n+m=m+n y nm=mn
Leyes asociativas n+(m+k)=(n+m)+k y n(mk)=(nm)k
Ley distributiva n(m+k)=nm+nk
Ley de cancelacin n+m=n+k n=m

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.

Ley de buen orden 1n+1 nN

Si n<m, entonces n+k<m+k y nk<mk
Si n<m, entonces ! kN tal que n+k=m. El nmero natural k es la solucin de la ecuacin
n+k=m
Si n<m, entonces kN tal que n=m+k; la ecuacin n=m+k no tiene ninguna solucin en
los nmeros naturales cuando n<m
NMEROS ENTEROS

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.

Leyes de cerradura n+m, nm Z

Leyes conmutativas n+m=m+n y nm=mn
Leyes asociativas n+(m+k)=(n+m)+k y n(mk)=(nm)k
Existencia del neutro aditivo 0Z tal que n+0=0+n=n
Existencia del neutro multiplicativo 1Z tal que n(1)=(1)n=n
Ley distributiva n(m+k)=nm+nk
Ley de cancelacin n+m=n+k n=m

Algebraicamente, el conjunto Z = N {0} Z- es un anillo conmutativo con elemento unitario.

viii.
ix.
x.

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.

Si n<m, entonces ! kZ tal que n+k=m. El nmero natural k es la solucin de la ecuacin

n+k=m
Si n<m, entonces ! kZ tal que n=m+k; la ecuacin n=m+k tiene una nica solucin en los
nmeros naturales cuando n<m
La ecuacin nk=m, para n,mZ, y k0 no siempre tiene solucin en Z

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

x = 1 [ (ai 10 ) + (dj 10-j)]

i=0

j=1

1. Se dice que x es un numero decimal

2. D es el conjunto de los nmeros decimales
3. Se dice que x es una fraccin decimal si Z+ tal que dj = 0 j{ +1, +2,,k}.

4. El nmero a = 1[(ai 10 )] se llama la parte entera de x y d = (dj 10-j) es su parte decimal.

Los nmeros decimales se escriben como:
a.d1d2d3,,dk ,
Y las fracciones decimales como:
a.d1d2d3,,d
5. Sea FD el conjunto de fracciones decimales. Al sumar, restar y multiplicar dos fracciones
decimales cuales quiera x1,x2FD el resultado siempre ser una fraccin decimal,
x1x2,x1x2 FD, pero no se pueden dividir x1/x2 y obtener siempre una fraccin decimal como
cociente
6. Si en la representacin decimal de x todos los dj son iguales a cero, entonces xZ.
7. Si en la representacin decimal de x, a partir de cierta Z+ los d+i = 0 iN, entonces xQ
y FDQ.

x = 1 [ (ai 10i) + (dj 10-j)+ (dj 10-j)]

i=0

10

+1

j=1

x = 1 [ 10(ai 10i) + 10(dj 10-j) + 0]

i=0

j=1

10

x = 1 [ (ai

10i+)

+ (dj 10 j)]

i=0

j=1

10 x = zZ, entonces x = z/10 Q

8. Si en la representacin decimal de x, a partir de cierta N, el bloque b=d1d2d3d se repite
una infinidad de veces, entonces xQ y FDQ.
Sea

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

x = 1 [ (ai 10i) + (b 10-)]

n

i=0

=1

pN

10 x = 10 [ (ai 10i) + (b 10-)]

n

i=0

=1

10 x = 1 [10 (ai 10i) + 10 (b 10-)]

n

i=0

=1

10 x = 1 [(ai 10i10) + (b 10-10)]

n

i=0

=1

i=0

=1

i=0

=1

=2

10 x = 1 [(ai 10i+) + (b 10 -)]

10 x = 1 [(ai 10i+) + (b 10[1-])]

10 x = 1 [(ai 10i+) + (b 100) + (b 10[1-])]

n

i+

10 x = 1 [(ai 10 ) + b + (b 10[1-])]
i=0

=2

i=0

j=1

=2

i=0

=1

10 x x = (1) [(ai 10i+) + (dj10[ j ]) + (b 10[1-])] (1) [ (ai 10i) + (b 10-)]

n

i=0

j=1

=2

i=0

=1

10 x x = (1) [(ai 10i+) + (dj10[ j ]) + (b 10[1-]) (ai 10i) (b 10-)]

Agrupando por grados de potencia se tiene:
n

i=0

j=1

i=0

=2

10 x x = (1) [(ai 10i+) + (dj10[ j ]) (ai 10i) + (b 10[1-]) (b 10-)]

=1

i+

10 x x = (1) [(ai 10 ) + (dj10[ j ]) (ai 10 ) + (b 10[1 ]) (b 10

i=0

j=1

i=0

=2

=1

)]

En donde
n

i+

(ai 10 ) + (dj10[ j ]) (ai 10 ) = z Z

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.

Sea r la medida de la diagonal en un cuadrado de lados unitarios, entonces por el teorema de

Pitgoras se tiene que r2=12+12
Veamos que rQ tal que r2=2
Observamos que para dos nmeros cualesquiera n,kN, n solo puede tener una y solo una de
las dos formas siguientes: par si n=2k o impar si n=2k+1.
Observamos tambin que los nmeros pares tienen cuadrados pares y los nmeros impares
tienen cuadrados impares.
(2K)2=4k2=2(2k2)
(2K+1)2=4k2+4k+1 =2(2k2+2k)+1
A priori n2 implica que n es par y si n2 es impar entonces n es impar.
Suponemos ahora que rQ, es decir, p,qZ tales que (p/q)2=2. Simplificando para eliminar
divisores comunes se tiene mcd(p,q)=1. As
p2=2q2
Esto demuestra que p2 es par y en consecuencia p debe ser par; es decir, p=2k para algn
kN.
Entonces

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

APROXIMACIN POR FRACCIONES DECIMALES

Recordemos que dividir n entre m significa encontrar un numero k en el mismo conjunto tal que
n=km si es que tal numero k existe. Frente a este problema, se hace lo mejor posible al buscar
alguna fraccin decimal que al multiplicarla por m de una aproximacin a n.
Ejemplo:
Al dividir 7/11, no hay una fraccin decimal que pueda ser multiplicada por 11 para obtener 7. Sin
embargo, entre los decimales de 1 lugar, 0.6 es la mejor aproximacin. Entre los decimales de 2
lugares 0.63 es la mejor eleccin y entre los decimales de 3 lugares 0.636 es la mejor y as
sucesivamente. Adems, 0.63 es mejor aproximacin que 0.6 y 0.636 es ms preciso que 0.63 y en
general, para la sucesin {xn}={n 63(0.01)n}={0.6, 0.63, 0.636, 0.6363,,} cualquier termino
particular xn es una mejor aproximacin que cada uno de los trminos precedentes. Todo trmino
de la sucesin {xn}={n 63(0.01)n} es una fraccin decimal aunque el cociente 7/11 no lo sea.
Observaciones
i. Aun cuando no se puede encontrar un numero dentro del conjunto de fracciones decimales,
que sea el cociente de n partido por m, es posible hallar una sucesin de fracciones decimales
con trminos que se aproximen al cociente n/m con cualquier grado de precisin.
ii. Cualquier nmero racional que no sea una fraccin decimal, es el lmite de una sucesin de
fracciones decimales.
iii. Anlogamente a los racionales peridicos infinitos, un numero irracional x se puede aproximar
de la misma forma en que se describe un numero racional mtodo para caracterizar
iv. Cualquier nmero real que no sea una fraccin decimal, es el lmite de una sucesin de
fracciones decimales.
v. Existe una sucesin convergente cuyo lmite es 2.
n

En efecto, veamos que 1+3+5+7+9+11++(2n-1) = (2k-1) = n2

k=1

Donde claramente n es raz cuadrada de n2 y sugiere el mtodo para aproximar sucesivamente

la raz cuadrada de un numero entero cualquiera.

Construccin de la sucesin que converge a raz de 2

m 2X102m

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

(2k-1) + (2k-1)+20,674412,544 14142135623

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

12 2X1024 (2k-1) + (2k-1)+268,703891,456

1010 1.4142135623

1414213562373 1012 1.414213562373

Y asi la sucesin {xn/10m} se aproxima 2 tan precisamente como se desee.

Los nmeros irracionales y el infinito

En este punto ya se sabe que el conjunto de los nmeros racionales es una extensin conveniente
de los naturales; por herencia de N, Q es infinito, contable, discreto, es un campo totalmente
ordenado que nos permite realizar clculos de gran importancia prctica. Sin embargo, 2 es una
prueba de que Q carece de elementos suficientes para medir algunas entidades geomtricas y en
general, las cavidades de Q que suponen los nmeros irracionales, hacen que numerosos
procesos analticos queden sin solucin.
Geomtricamente, los nmeros racionales no cubren una recta si se escogen dos puntos de ella
para representar al cero y al uno, y cada racional n/m se representa en esta recta dividiendo la
distancia entre cero y uno en m partes iguales y contando n de esas partes. Por este proceso la
recta queda llena de cavidades que no son cubiertos por nmeros racionales y ello demuestra que,
geomtricamente, los racionales nos son suficientes para representar fenmenos continuos.
La deficiencia de los racionales no es fcil de remediar; porque los nmeros que faltan a los
racionales para que quede cubierta la recta por nmeros, son una cantidad infinitamente superior
a la de los racionales; a saber que |N| = |Z| = |Q| = 0, es decir, el cardinal de los naturales,
enteros y racionales es el mismo y es el primer cardinal transfinito; el cardinal de los nmeros
irracionales I que faltan para cubrir la recta real LR es |I| = 1, el segundo cardinal transfinito
1 =20 > 0, que resulta ser tan mayor sobre 0 que el conjunto de los nmeros racionales es un
subconjunto de medida cero de los nmeros reales, es decir, si se elige un nmero real al azar la
probabilidad de que ese nmero sea un racional es 0. Sin embargo pese a que los nmeros
racionales son infinitamente menos que los nmeros irracionales, son suficiente numerosos para
poder distribuirlos en la recta real de tal forma que siempre habr un irracional tan cerca de ellos
como se quiera (esta es la propiedad de densidad de los nmeros reales).
La construccin de la recta real LR a travs de fracciones decimales, consiste en definir al sistema
de los nmeros reales R de tal manera que conserven las propiedades que ya tiene Q , es decir,
los nmeros reales han de ser un campo totalmente ordenado, que contenga a los racionales
como subcampo, y que adems sea completo, es decir, que contenga todos los lmites de
sucesiones de Cauchy que se puedan formar con los elementos de ese campo. Para ello bastar
con agregar todos los lmites de sucesiones de Cauchy de racionales, que no estn en Q. As se
construye un campo totalmente ordenado que contiene a todos los racionales, a todos los lmites
de sucesiones de racionales y sea mnimo con estas propiedades; este es el campo R de los
nmeros reales
En trminos de lmites, los nmeros irracionales tienen sentido. Son simplemente limites muy
especiales de sucesiones racionales y en la prctica al calcular, se usa algn termino particular de
una sucesin cuyos trminos son fracciones decimales y cuyo lmite es el numero irracional. La
seleccin del trmino que se ha de utilizar, depende del grado de precisin necesario para cada
caso.

Orden en R e intervalos

El concepto de orden en R se inducen por la nocin positividad y desigualdad entre nmeros.

Definicin de orden en R
Existe un subconjunto no vaco R+ de R, llamado el conjunto de los nmeros reales positivos, que
satisfacen las siguientes propiedades.
i ) Si a,bR+, entonces a+bR+
ii) Si a,bR+, entonces abR+
iii) si aR, entonces se cumple una y solo una de las siguientes afirmaciones
aR+ a=0 aR+
Definicin
i ) Si aR+, se dice que a es un nmero real positivo ( o estrictamente positivo) y se escribe
a>0.
ii ) Si aR+{0}, se dice que a es un nmero real no negativo y se escribe a>=0
iii) Si aR+, se dice que a es un nmero real negativo (o estrictamente negativo) y se escribe
a<0
iv) Si aR+{0}, se dice que a es un nmero real no positivo y se escribe a=<0
Definicin
Sean a,bR
i ) Si abR+, se dice que a es mayor que b y se escribe a>b o b<a.
ii ) Si abR+{0}, se dice que a es mayor o igual que b y se escribe a0
iii) Si a<b y b<c se escribir a<b<c.
iv) Si ab y bc se escribir abc
v ) Si ab y b<c se escribir ab<c
vi) Si a<b y bc se escribir a<bc

Sean a,bR tales que ab, entonces:

1. El intervalo abierto es el conjunto (a,b) := {xR|a<x<b} los puntos a y b se les llama puntos
terminales del intervalo aun que no estn incluidos en el mismo.
2. El intervalo cerrado es el conjunto [a,b] := {xR|axb} los puntos terminales se incorporan
al intervalo
3. Los conjuntos [a,b) := {xR|ax<b} y (a,b] := {xR|a<xb} son intervalos semiabiertos o
semicerrados determinados por los puntos terminales a y b.
4. Considerando que los intervalos entre a y b con ab tienen una longitud definida b-a, se
observa que si a=b, el intervalo abierto que corresponde a esta condicin es el conjunto vaco
= (a,a) := {xR|a<x<a}
5. En el caso de que a=b el intervalo cerrado que corresponde es el conjunto de un solo
elemento {a} = [a,a] := {xR|axa}
6. Los conjuntos definidos por (a,) := {xR| x>a} y (,a) := {xR|x<a} se les llama rayos
abiertos (o intervalos abiertos infinitos).
7. Los conjuntos definidos por [a,) := {xR| xa} y (,a] := {xR|xa} se les llama rayos
cerrados (o intervalos cerrados infinitos).
Para los casos 6 y 7 el punto a se llama el punto terminal del intervalo
8. El conjunto completo R puede ser considerado como un intervalo infinito abierto en ambos
sentidos y se escribe R:=(,); en este caso no es necesario considerar a ningn punto
como terminal de (,).
Se dice que un intervalo de las formas 1 a 5 son intervalos acotados. Los intervalos de la
forma 6 a 8 son no acotados y los smbolos y solo son acuerdos de notacin y no son
elementos de R.
9. El intervalo unitario o continuum es el intervalo cerrado [0,1] := {xR|0x1} y con
frecuencia se denota con .

Valor absoluto, distancia y criterio de proximidad

De manera general, se define una distancia entre dos puntos a y b de un conjunto como un valor
d que satisface las siguientes propiedades:
i ) d(x,x)=0 x
ii ) d(x,y)0 para cada (x,y)x
iii) d(x,y) = d(y,x) para cada (x,y)x
iv) d(x,z) d(x,y)+ d(y,z) para cada x,y,zx
La recta real LR es una interpretacin geomtrica conveniente y familiar del sistema de los
nmeros reales. En esta interpretacin, el valor absoluto |a| de un nmero aR se considera
como la distancia de a al origen 0. Considerando que la distancia siempre es un nmero real
positivo el valor absoluto se define de la siguiente manera:
a si a0
|a| :=
a si a<0
Ms detalladamente, la distancia entre dos elementos a,bR es |a b| y cumple con todas las
propiedades de distancia.
i ) |a| =0 aR
ii ) |ab|0 para cada (a,b)RxR
iii) |ab| = |ba| para cada (x,y)RxR
iv) |ac| |ab| + |bc| para cada x,y,zRxR
Sean x,a,R con >0, entonces para precisar que tan cerca est x de a el criterio |x a|<
establece que tan pequea es la distancia que los separa. Cuando x es variable la condicin
|x a|< >0 significa que la distancia entre x y a puede ser infinitamente grande o
infinitamente pequea siendo este ltimo caso de nuestro particular inters en aproximaciones
que consideramos infinitesimales.
Un contexto en el que es posible simplificar la idea de proximidad lo proporciona el concepto de
vecindad que se define a continuacin
Vecindad
Para todo nmero real positivo , la -vecindad V(a) del punto a consiste de los valores x para los
cuales a<x<a+; esto es el intervalo abierto (a-,a+). El nmero se llama el radio de la
vecindad.

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.

Sucesiones cuyo lmite es una fraccin decimal

Sucesiones cuyo lmite es un numero racional que no es una fraccin decimal
Sucesiones cuyo lmite no es un numero racional
Sucesiones convergentes cuyos trminos sean nmeros racionales
Sucesiones cuyos trminos son nmeros irracionales

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

Grfica de una sucesin

Los trminos de una sucesin pueden representarse por medio de puntos en la recta real

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.

El criterio de Dedekind deja bien establecido que la densidad de Q no es lo mismo que

continuidad. Pues si se admite una separacin de los racionales en dos clases de tal manera que la
clase de la izquierda tenga como elementos todos los nmeros negativos, tambin el cero y todos
los nmeros positivos cuyo cuadrados sean menor que 2; y en la segunda clase a la derecha se
tengan todos los dems nmeros, entonces se ha efectuado una separacin completa del sistema
Q de nmeros racionales, por el que cada nmero racional cae en una y solo en una clase; pero
esta separacin no fue producida por un nmero racional y as no existe un numero racional que
sea el mayor elemento de la clase inferior o el menor elemento de la clase superior porque el
punto exacto en que las dos clases se encuentran no es un numero racional. De aqu que existan
separaciones de los racionales en dos clases, que no se producen por un numero racional; a pesar
de que tambin existen separaciones producidas por un numero racional.
Definicin
Una cortadura en los racionales Q es un subconjunto aQ tal que :
i.
ii.
iii.

Q
a y b<a b
a b tal que a<b

La existencia de separaciones de los racionales que no corresponden a un nmero racional revela

la discontinuidad del sistema de nmeros racionales.
Por otra parte si se repite con los nmeros reales el proceso seguido con los racionales, y se
construye el conjunto R*que tiene por elementos las cortaduras reales, es decir se construyen
cortaduras que tienen por elementos nmeros reales, entonces R*= R. Es decir, cada corte en el
dominio de los nmeros reales es el mismo nmero real. La formacin del corte no ha de llevarnos
fuera del dominio y esto significa que los nmeros reales forman un sistema continuo, el continuo
real.

Fuentes de consulta

Brtle, R. (1996). Introduccin al anlisis matemtico de una variable, 2 edicin. Mxico.

Editorial Limusa
Courant, R. (1999). Introduccin al clculo y al anlisis matemtico, Vol1, Mxico. Editorial
Limusa
Fregoso, A. (1986) Los elementos del lenguaje de la matemtica 4, Mxico Editorial. Trillas
Harnett, W. (1970) Principios de matemtica moderna, Mxico. Editorial Trillas
Quevedo, A. (1986). Matemticas. Mxico. Subsecretaria de educacin e investigaciones
tecnolgicas.