Universidad Sergio Arboleda

Topologa General
Mauricio Lpez Hernndez
Mayo 25 de 2013

Semana 01 Parte II
1 Sistemas numricos
1.1 Conjuntos de Nmeros Enteros.
1.1.1 Nmeros Naturales.
Comenzaremos estableciendo el conjunto de los nmeros naturales representados por el smbolo N.
el conjunto de los nmeros naturales es el conjunto de todos los nmeros enteros positivos:

N = f1; 2; 3; g;

Algunas propiedades sobre los nmero naturales:

1. Tiene un elemento mnimo.

2. Para cada nmero natral n diferente al mnimo existen una antecesor n 1, y un sucesor n + 1; ambos:
n 1 2 N, n + 1 2 N.

1.1.2 Nmeros enteros

El conjunto de los nmeros enteros es el conjunto de todos los nmeros enteros positivos y negativos y el
CERO son representados por el smbolo Z:

Z=f ; 3; 2; 1; 0; 1; 2; 3; g:

El orden seleccionado en la presentacin de los anteriores conjuntos es puramente convencional. Podramos,

por ejemplo presentar al conjunto de los nmeros enteros como:

Z = f0; 1; 1; 2 2; 3; 3; g: (1)

Sobre los nmeros enteros se denen las operaciones usuales de adicin y multiplicacin las cuales presentare-
mos de la siguiente manera:
+: Z Z ! Z
(m; n) 7 ! m + n;
y
: Z Z ! Z
(m; n) 7 ! m n = mn:
Estas operaciones satisfacen las siguientes propiedades:

1
 1. Conmutatividad en ambas operaciones, esto es
m + n = n + m para todo m; n 2 Z:
y
mn = nm; para todo m; n 2 Z:

2. Asociatividad en ambas operaciones;

(m1 + m2 ) + m3 = m1 + (m2 + m3 ) para todo m1 ; m2 ; m3 2 Z;
y
(m1 m2 ) m3 = m1 (m2 m3 ) ; para todo m1 ; m2 ; m3 2 Z:

3. Mdulo para la adicin y para la multiplicacin, siendo ellos 0; 1 respectivamente; adems, 0 6= 1.

4. Cada entero m cuenta con un nico inverso aditivo denotado por m 2 Z:
5. Finalmente, la propiedad distributiva de la multiplicacin con respecto a la adicin. Esto es:
m (n1 + n2 ) = mn1 + mn2
para todo m; n1 ; n2 2 Z.
Example 1 Consideremos la funcin f de N en Z denida por:
f : N!Z
m
m m ( 1) 1
: m 7! n = f (m) = ( 1) + :
2 4
f est bien denida porque si m1 = m2 entonces f (m1 ) = f (m2 ) lo que signica que
si f (m1 ) 6= f (m2 ) entonces m1 6= m2 :
Que f est bien denida signica que sta es una funcin. Ahora, obsrvese las siguientes dos importantes
caractersticas:
1. Si n es un entero positivo en Z, entonces f (2n) = n; si n es un entero impar negativo en Z, entonces
f (4k 1) = n donde n = (2k 1), k 2 N; nalmente, si n es un entero par no positivo en Z,
entonces f (4k 3) = n donde n = 2 (k 1), k 2 N. De lo anterior deducimos que f (N) = Z: Por lo
tanto f es sobreyectiva.
2. Por otro lado, f es inyectiva porque si f (m1 ) = f (m2 ) podemos vericar que m1 = m2 analizando
todas las posiblidades de las parejas (m1 ; m2 ) en tres casos diferentes, a saber:
Caso 1 Supongamos que ambos m1 ; m2 son pares, en tal caso
m1 m2
f (m1 ) = = = f (m2 ) ;
2 2
lo que implica que
m1 = m2 :

Caso 2 Supongamos que ambos m1 ; m2 son impares, en tal caso

m1 1 m2 1
f (m1 ) = + = + = f (m2 ) ;
2 2 2 2
lo que implica que
m1 = m2 :

2
Caso 3 Supongamos y sin prdida de generalidad que m1 es par, mientras que m2 es impar, en tal caso
m1 m2 1
f (m1 ) = = + = f (m2 ) ;
2 2 2
lo que implica que
m1 + m2 = 1;
luego m1 = 0, pero 0 2
= N. Se concluye entonces que el conjunto de parejas (m1 ; m2 ) en este caso es
vaco.

Del ejemplo anterior se concluye que f es biyectiva y en consecuencia f 1 es funcin, la cual est denida
por: 8
>
> 2k si [n = k] ^ [k 2 N]
>
>
<
f 1 (n) = 4k 1 si [n = (2k 1)] ^ [k 2 N]
>
>
>
>
:
4k 3 si [n = 2 (k 1)] ^ [k 2 N]

Denicin 2 Sean X un conjunto y f una funcin de N en X. Si f es biyectiva, se dice que X es innito

contable.

Example 3 Considere la coleccn C de subconjuntos de N conformada por conjuntos Am donde m es un

entero positivo jo y denimos:

Am = fn 2 N : [n = mk] ^ [k 2 N]g : (2)

Am es innito contable para todo m 2 N.

1.2 Conjunto de Nmeros Racionales.

Ahora establezcamos al conjunto de los nmeros racionales denotados por Q. y presentmoslo en la siguiente
forma: nm o
Q= : [m; n 2 Z] ^ [n 6= 0] ^ [(m; n) = 1] ;
n
Es buena idea gurar a los nmeros racionales como el resultado de dividir m entre n y en tal caso hablaramos
del conjunto de los nmeros cociente. Una de las grandes caractersricas del conjunto de los nmeros
racionales es que es innito contable. Una idea que bosqueja este resultado es listar los racionales en las
innitas contables de la siguiente manea: En la primera la colocamos todos los racionales con denominador
UNO y con numeradores como en (1); la segunda la es obtenida de la precedente (primera la) conservando
el orden en los numeradores pero con denominador DOS y excluyendo de la la todos los racionales con
numerador mltiplo de DOS; la tercera la es obtenida de la precedente (segunda la) conservando el orden
en los numeradores pero con denominador TRES y excluyendo de la la todos los racionales con numerador
mltiplo de TRES; y as sucesivamente. Hecha la lista le asignamos a cada nmero natural uno y solamente
un racional de la lista comenzando con asignar a 1 2 N el primer elemento de la lista en la posicin superior
izquierda y prosiguiendo en forma culebrezca recorriendo cada racional dispuesto en cada diagonal inclinada
a la derecha.

1.3 Propiedades de Campo

Consideremos el conjuto de los nmeros racionales dotados con las operacines usuales de adicin y multipli-
cacin. Las operaciones de adicin y multiplicacin son funciones de Q Q en Q denotadas por:

+ : Q Q!Q
: (p; q) 7 ! p + q;

3
y

: Q Q!Q
: (p; q) 7 ! p q = pq;

Tales operaciones gozan de las siguientes propiedades:

1. Conmutatividad en ambas operaciones, esto es

p + q = q + p; para todo p; q 2 Q;

y
pq = qp; para todo p; q 2 Q:

2. Asociatividad en ambas operaciones;

(p + q) + r = p + (q + r) para todo p; q; r 2 Q;

y
(pq) r = p (qr) ; para todo p; q; r 2 Q; :

3. Mdulo para la adicin y para la multiplicacin, siendo ellos 0; 1 respectivamente; adems, 0 6= 1.

4. Cada racional p cuenta con un nico inverso aditivo denotado por p:
5. Cada racional p diferente de CERO cuenta con un nico inverso multiplicativo denotado por p 1
= p1 .
6. Finalmente, la propiedad distributiva de la multiplicacin con respecto a la adicin. Esto es:

p (q + r) = pq + pr para todo p; q; r 2 Q.

Cualquier conjunto | dotado con dos operaciones, eventualmente llamadas adicin y multiplicacin,
junto con las propiedades descritas anteriormente se denomina un campo, comnmente denotado por la
tripla (|; +; ). En otras palabras, un campo | ofrece un conjunto con una aritmtica operacional con las
propiedades mencionadas.

Example 4 Sea | = Q Q = f(p; q) : p; q 2 Qg. Denimos las siguientes opreaciones:

+ : (Q Q) (Q Q) ! (Q Q)
((p; q) ; (r; s)) 7 ! (p; q) + (r; s) = (p + r; q + s) ;
y
: (Q Q) (Q Q) ! (Q Q)
((p; q) ; (r; s)) 7 ! (p; q) (r; s) = (pr qs; ps + qr) :

1. La adicin es conmutitiva:

(p; q) + (r; s) = (p + r; q + s) = (r + p; s + q) = (r; s) + (p + q) :

2. La adicin es asociativa:

(p; q) + [(r; s) + (u; v)] = (p; q) + (r + u; s + v)

= (p + (r + u) ; q + (s + v))
= ((p + r) + u; (q + s) + v)
= (p + r; q + s) + (u; v)
= [(p; r) + (r; s)] + (u; v) :

4
3. Existencia del mdulo para la adicin. (0; 0) 2 Q Q y es tal que para todo (p; q) 2 Q Q se satisface
la siguiente relacin:
(p; q) + (0; 0) = (0; 0) + (p; q) = (p; q) :

4. Existencia del inverso aditivo. Para todo (p; q) 2 Q Q, existe (p; q) = ( p; q) 2 Q Q tal que:

(p; q) + ( (p; q)) = (p; q) + ( p; q) = (p p; q q) = (0; 0) ;

y tambin
(p; q) + (p; q) = ( p; q) + (p; q) = ( p + p; q + q) = (0; 0) :

5. El producto es conmutativo:

(p; q) (r; s) = (pr qs; ps + qr)

= (rp sq; sp + rq)
= (r; s) (p; q) :

6. El producto es asociativo:

(p; q) [(r; s) (u; v)] = (p; q) (ru sv; rv + su)

= (p (ru sv) q (rv + su) ; p (rv + su) + q (ru sv))
= ((pr qs) u (ps + qr) v; (pr qs) v + (ps + qr) u)
= (pr qs; ps + qr) (u; v)
= [(p; q) (r; s)] (u; v) :

7. Existencia del mdulo multiplicativo. (1; 0) 2 Q Q y es tal que todo (p; q) 2 Q Q se satisfacen las
siguientes relaciones:

1. (a)
(p; q) (1; 0) = (p 0; 0 + q) = (p; q) ;
(b)
(1; 0) (p; q) = (p 0; q + 0) = (p; q) :
1
2. Existencia del inverso multipicativo. Para todo (p; q) 2 Q Q con (p; q) 6= (0; 0) existe (p; q)
denido por:
1 p q
(p; q) = ; 2 Q Q tal que:
p 2 + q 2 p2 + q 2
(a)
1
(p; q) (p; q) = (1; 0) ; (3)
(b)
1
(p; q) (p; q) = (1; 0) : (4)
3. Distributiva:
(p; q) [(r; s) + (u; v)] = (p; q) (r; s) + (p; q) (u; v) . (5)

5
1.4 Propiedades de orden
La relacin "ser menor que" denotada por el smbolo <; satisface las siguientes propiedades sobre los nmeros
racionales, denominadas propiedades de orden:

1. Tricotoma. Todo par de nneros racionales p y q satisfacen exactamente una de las siguientes rela-
ciones:

(a) p < q;
(b) p = q;
(c) q < p.

2. Si p < q entonces p + r < q + r para todo r 2 Q.

3. Si p < q entonces pr < qr para todo racional positivo r.

Denicin 5 Sean p; q 2 Q

1. p > q signica que q < p;

2. p q signica que [p < q] _ [p = q] ;
3. p q signica que [p > q] _ [p = q] :

De las propiedades de campo y orden sobre los nmeros racionales, se desprende la siguiente proposicin:

Proposicin 6 Sean p; q dos racionales diferentes, entonces existe al menos un racional r tal que p < r < q.

Proposicin 7 Si [p < q] ^ [r < 0], entonces pr qr.

Demostracin. Como r < 0 entonces r > 0, luego pr < qr. Sumando pr + qr obtenemos:

qr < pr. (6)

Denicin 8 Un campo (|; +; ) cuyos elementos satisfacen las tres propiedades de orden, se le denomina
un campo completamente ordenado. En particular el conjunto de los nmeros racionales con sus operaciones
es un campo completamente ordenado.

Example 9 Denamos el conjunto denotado por Z2 de la siguiente manera:

Z2 = [0] t [1] ; donde [0] ; [1] Z;

y m 2 [0] s y solo si m = 2k, y n 2 [1] s y solo si n = 2k + 1, k 2 Z. Sobre estas dos clases denimos las
operaciones:

1.
[0] + [1] = [m + n] ; m 2 [0] , n 2 [1] ;

2.
[0] [1] = [0] [1] = [mn] ; m 2 [0] , n 2 [1] :

6
 Con las operaciones denidas en este ejemplo, (Z2 ; +; ) es un campo pero no completamente ordenado.
Los nmeros racionales con todas sus propiedades descritas hasta ahora, nos ofrece un panorama basto
y sostenible. Denamos algunas funciones sobre los nmeros racionales, las cuales sern cruciales para el
desarrollo de nuestro curso. La primera funcin es la funcin cuadrtica de la cual le debemos mucho por su
gran generosidad, generosidad que aprovecharemos incansablemente; la segunda, la funcin raiz cuadrada; y
la tercera, la funcin valor absoluto. Las dos ltimas nos ofrecern una estructura fundamental para nuestros
propsitos:

Denicin 10 Denamos la funcin f denida por

f : Q!Q
7 q = f (p) = p2 :
: p!

Es claro que f (p) = p2 no es sobreyectiva, es decir, f (Q) est estrictamente contenido en Q. Ms precisa-
mente, aunque p2 0; f (Q) 6= Q+ [ f0g donde
nm m o
Q+ = 2Q: >0 :
n n
Proposicin 11 Sean a; b; c nmeros racionales jos con a > 0. Si ap2 + bp + c 0 para todo p 2 Q,
entonces:
b2 4ac 0: (7)

Demostracin. Puesto a 6= 0 entonces:

b c
ap2 + bp + c = a p2 + p + ;
a a
!
2
b b2 c
= a p+ + ;
2a 4a2 a
2
b b2 4ac
= a p+ 0;
2a 4a
b 2 2
como p + 2a 0, entonces el mnimo valor que toma ap2 + bp + c es b 4ac
4a y esto ocurre cuando
b
p = 2a . Como 4a > 0 y en buen uso de la propiedad de la tricotoma sobre b2 4ac, obtenemos:

b2 4ac 0.

e = f (Q) donde f (p) = p2 para todo p 2 Q. Considere la funcin g denida por

Denicin 12 Sea Q

g e !Q
: Q
p
: p2 7! q = g p2 = p2 = jpj : (8)
p q
2
Obsrvese que p2 q 2 = (pq) = jpqj. Si r 2 Q, el valor absoluto de r denotado por jrj es establecido en la
siguiente denicin:

Denicin 13 Considere la funcin abs denida por:

abs : Q ! Q
8
< p si p 0
: p 7! q = abs (p) = jpj = : (9)
:
p si p < 0

7
Proposicin 14 p jpj para todo p 2 Q.

Demostracin. Si p 0, entonces p = jpj. Si p < 0 entonces p < p, luego p < jpj.

Proposicin 15 jpj = j pj para todo p 2 Q.

Demostracin. Si p 0, entonces p 0: Ahora, si p 0 entonces jpj = p = j pj ; similarmente si p < 0

entonces jpj = p = j pj

Proposicin 16 jpqj = jpj jqj para todo p; q 2 Q.

Demostracin. Si [p = 0] _ [q = 0], entonces [jpj = 0] _ [jqj = 0], luegojpqj = 0 = jpj jqj. Si [p 6= 0] ^ [q 6= 0] ;

las parejas (p; q) 2 Q Q pueden separarse en tres grupos disyuntos a saber:

Caso 1 [p > 0] ^ [q > 0]. Esto implica que:

jpqj = pq = jpj jqj :

Demostracin.

Case 17 Caso 2 [p > 0] _ [q > 0]. Esto implica que:

jpqj = (pq) = ( p) q = p ( q) = jpj jqj :

Caso 3 [p < 0] ^ [q < 0]. Esto implica que:

jpqj = pq = ( p) ( q) = jpj jqj :

Proposicin 18 Sean p 2 Q, p0 un nmero racional cualquiera y M un nmero jo racional positivo.

jp p0 j M s y solo si
p0 M p p0 + M: (10)

Demostracin. Supongamos que jp p0 j M: De la denicin de valor absoluto tenemos que si p p0 0,

entonces
jp p0 j = p p0 M;
esto es
p p0 + M; (11)
mientras que si p p0 < 0, entonces

jp p0 j = (p p 0 ) = p0 p M;

esto es
p0 M p; (12)
combinando (11) y (12) obtenemos:
p0 M p p0 + M:
Por otro lado, si suponemos que
p0 M p p0 + M

8
adicionando p0 a la cadena de desigualdades obtenemos:

M p p0 M;

lo que signica que: 8

< p p0 M si p p0 0
jp p0 j = ;
:
(p p0 ) M si p p0 < 0
por lo tanto
jp p0 j M:

La funcin valor absoluto denida anteriormente y las siguientes dos proposiciones nos permiten acer-
carnos a la idea de distancia entres nmeros racionales: jp qj puede interpretarse como una distancia entre
los racionales p y q. En particular, si q = 0, entonces jp 0j = jpj corresponde a la distancia entre p y
CERO. Una forma muy prctica de representar grcamente los nmeros racionales es mediante una recta
horizontal de puntos (en algunos casos vertical), como se ilustra en la grca (13); en buen uso de la funcin
valor absoluto, podemos elegir un punto aleatorio sobre la recta y asignarle el racional CERO, y a cada
racional p positivo le asignamos un nico punto sobre la recta a la derecha de CERO y cuya diastancia
sea jpj; y a cada racional p le asignamos un nico punto sobre la recta a la izquierda de CERO y cuya
diastancia sea jpj. Dado que para cada par de racionales distintos p y q es posible identicar al menos otro
racional r tal que p < r < q, podramos y en forma errnea pensar que los nmeros racionales "cubren"
toda la recta en forma biunvoca. Ms adelante en esta seccin, describiremos algunas ideas contudentes
para ilustrar que tal correspondencia NO es cierta; y por otro lado haremos dos presetaciones intuitivas del
conjunto de los nmeros reales convocados por el smbolo R

....................................................................................... (13)
0
Proposicin 19 Sean p; q 2 Q; entonces

jp qj = 0 s y solo si p = q: (14)

Demostracin. Si p = q, entonces p q = 0 y por denicin de valor absoluto se obtiene que jp qj = 0.

Ahora si jp qj = 0; entonces por tricotoma sobre (p q) y 0, observamos que:

1. Si p q > 0 entonces 0 = jp qj = p q. Luego p q no puede ser positivo:

2. Si p q < 0 entonces 0 = jp qj = (p q). Luego p q no puede ser negativo.
3. Se concluye que p q = 0, lo que implica que p = q.

Proposicin 20 Desigualdad Triangular del valor absoluto sobre Q. Sean p; q 2 Q, entonces

jp + qj jpj + jqj :

La idea general para la demostracin de la anterior proposicin es considerar todas las posibles parejas de
nmero racionales (p; q) 2 Q Q y vericar la desigualdad triangular. Para esto, clasicaremos las parejas en
SEIS grupos disjuntos diferentes tales que su unin contempla todas las posibilidades. La siguiente grca es
una representacin del conjunto Q Q, denominada plano cartesiano en honor al matemtico Ren Descartes
(1596 1650). El grco es en realidad usado para representar parejas de nmeros reales. De los nmeros

9
reales nos ocuparemos un poco mas adelanten. Con ayuda de esta grca ilustramos los grupos mencionados
anteriormente:
p=0
p+q =0
..... .....
p+q >0 ...
..... ...
p<0 ..... ...
p<0 q>0 p>0 .....
..... ...
q>0 q>0
..... ...
.. .
.....................................................................................................
p+q <0 p+q >0
q=0
... .....
p+q <0 p>0
... ......
p<0 q<0 ... .....
q<0 p>0 p+q >0 ... .....
... .....
q<0 .....
p+q <0 ... .
.
Vemos ahora una demostracin de la desigualdad triangular del valor absoluto sobre Q.
Demostracin. Si [p = 0] _ [q = 0] entonces

[jp + qj = jp + 0j = jpj] _ [jp + qj = j0 + qj = jqj] ;

lo cual satisface que

jp + qj jpj + jqj :
Ahora, la idea es tomar todas las parejas (p; q) 2 Q y vericar la desigualdad, para esto tomaremos las
parejas en cada una de los subcomjuntos descritos anteriormente y usaremos la decin de valor absoluto en
cada uno de los casos, a saber:

Caso 1 [p + q 0] ^ [p > 0] ^ [q > 0], en este caso:

jp + qj = p + q = jpj + jqj :

Case 21
Caso 2 [p + q 0] ^ [p > 0] ^ [q < 0], en este caso:

jp + qj = p + q p + jqj = jpj + jqj :

Caso 3 [p + q 0] ^ [p < 0] ^ [q > 0], en este caso:

jp + qj = (p + q) = jpj + ( q) jpj + jqj :

De forma similar se analizan los tres restantes casos.

2 Distancia sobre el conjunto Q Q

Una aproximacin al concepto de distancia sobre el conjunto Q Q es como sigue:

10
Denicin 22 Consideremos los puntos (p1 ; p2 ) ; (q1; q2 ) 2 Q Q denimos:
d : (Q Q) (Q Q) ! Q
: ((p1 ; p2 ) ; (q1 ; q2 )) 7! d ((p1 ; p2 ) ; (q1 ; q2 )) = jp1 q1 j + jp2 q2 j ;
usando la siguiente notacin:
A = (p1 ; p2 ) ; B = (q1 ; q2 ) ;
escribiremos
d (A; B) = jp1 q1 j + jp2 q2 j :
Otra forma para denir la distancia sobre Q Q es la siguiente:
Denicin 23 Consideremos los puntos (p1 ; p2 ) ; (q1; q2 ) 2 Q Q denimos:
d : (Q Q) (Q Q) ! Q
: ((p1 ; p2 ) ; (q1 ; q2 )) 7! d ((p1 ; p2 ) ; (q1 ; q2 )) = max fjp1 q1 j ; jp2 q2 jg ;
esto es
d (A; B) = max fjp1 q1 j ; jp2 q2 jg :
Proposicin 24 Sean A = (p1 ; p2 ) ; B = (q1 ; q2 ) 2 Q Q, y d (A; B) = jp1 q1 j + jp2 q2 j. d (A; B) = 0 s
y solo si A = B.
Demostracin.
[jp1 q1 j = 0] ^ [jp2 q2 j = 0] () [p1 q1 = 0] ^ [p2 q2 = 0]
() [p1 = q1 ] ^ [p2 = q2 ]
() (p1 ; p2 ) = (q1 ; q2 ) :
En la anterior dnicin tambin se satisface la desigualdad triangular, es decir,
d ((p1 ; p2 ) ; (q1 ; q2 )) d ((r1 ; r2 ) ; (p1 ; p2 )) + d ((r1 ; r2 ) ; (q1 ; q2 )) ;
para todo A = (p1 ; p2 ) ; B = (q1 ; q2 ) ; C (r1 ; r2 ) 2 Q Q, esto es:
d (A; B) d (A; C) + d (B; C) :

Proposicin 25 Sean A = (p1 ; p2 ) ; B = (q1 ; q2 ) ; C (r1 ; r2 ), y d (A; B) = max fjp1 q1 j ; jp2 q2 jg. en-
tonces
d ((p1 ; p2 ) ; (q1 ; q2 )) d ((r1 ; r2 ) ; (p1 ; p2 )) + d ((r1 ; r2 ) ; (q1 ; q2 )) ;
esto es
d (A; B) d (A; C) + d (B; C) :
Demostracin. En la prueba usaremos la desigualdad triangular para la funcin valor absoluto as:
d (A; B) = max fjp1 q1 j ; jp2 q2 jg
= max fjp1 q1 + r1 r1 j ; jp2 q2 + r2 r2 jg
max fjp1 r1 j ; jp2 r2 j ; jq1 r1 j ; jq2 r2 jg
= max fjp1 r1 j ; jp2 r2 jg + max fjq1 r1 j ; jq2 r2 jg
= d (A; C) + d (B; C) :
Tambin es cierto que si A = (p1 ; p2 ) ; B = (q1 ; q2 ) 2 Q Q, y d (A; B) = max fjp1 q1 j ; jp2 q2 jg.
d (A; B) = 0 s y solo si A = B.

11
3 Primera presentacin de los nmeros reales.
Los nmero reales representados por R, es un conjunto de objetos en correspondencia biunvoca con los puntos
de una recta de puntos en el plano bidimensional. Dicha recta ser llamada la Recta Real. Usualmente,
sobre la recta real se selecciona aleatoriamente un punto al cual le hacemos corresponder el CERO.
Ntese que en las dos deniciones anteriores las distancias d (A; B) son todas nmeros racionales; sin
embargo, al denir una funcin distancia entre los elementos de un cierto conjunto X, se pretende establecer
una mtrica sobre X, la cual denir una estructura llamada Espacio Mtrico. En el caso especco del
conjunto Q Q, una funcin distancia denida como cualquiera de las anteriormente denidas son buenas
candidatas para denir un espacio mtrico. En general un Espacio Mtrico es una dupla (X; d) donde X es
un conjunto y d es una funcin distancia de X X en R (el conjunto de nmeros reales) que debe satisfacer
las siguientes dos propiedades:
1. d (x; y) = 0 s y solo si x = y, para todo x; y 2 X:
2. d (x; y) d (x; z) + d (y; z), para todo x; y; z 2 X.
Con apoyo del Teorema de Pitgoras, debido al Matemtico Msico y Religioso Pitgoras de Samos-
Ionia (569A:C:) ; denimos la siguiente funcin distancia debida al padre de la geometra Euclides de Megara
(330 275 A:C:) y conocida como la distancia Euclidiana, o distancia usual:
Denicin 26 Consideremos los puntos (p1 ; p2 ) ; (q1; q2 ) 2 Q Q denimos:
d : (Q Q) (Q Q) ! R
q
2 2
: ((p1 ; p2 ) ; (q1 ; q2 )) 7! d ((p1 ; p2 ) ; (q1 ; q2 )) = (p1 q1 ) + (p2 q2 ) = k(p1 ; p2 ) (q1 ; q2 )k ;
nuevamente si A = (p1 ; p2 ) ; B = (q1 ; q2 ) 2 Q Q entonces:
q
2 2
d (A; B) = (p1 q1 ) + (p2 q2 ) :
Por notacin escribiremos:
q
2 2
d (A; B) = (p1 q1 ) + (p2 q2 ) = kA Bk :
En particular si B = O = (0; 0), entonces:
q
d (A; O) = p21 + p22 = kAk :
La siguiente grca ilustra la idea de esta denicin:

.....
(r1 ; r2 ) ..
........................... (q1; q2)
.... .... ......................
..................................................................................................
. .......
..................... .....
...
(p1 ; p2 ) ...

12
 p
e recordemos que Q
El problema al que estamos enfrentados es que r2 = jrj est denida sobre Q, e = f (Q)
2
donde f (r) = r , si es necesario revise (8). De manera que
q
2 2
d (A; B) = (p1 q1 ) + (p2 q2 ) (15)

no necesariamente es un nmero racional. En efecto:

p
d ((1; 0) ; (0; 1)) = 2;

partimos del conocimiento de que 2 no es un entero cuadrado entonces al razonar por contradiccin,
suponemos que existe enteros p; q con q 6= 0; 1 tales que el mximo comn divisor ente ellos es 1 y
p p
= 2;
q
entonces
p2 pp 2
= = ;
q2 qq 1
lo cual es imposible debido a que el mximo p comn divisor ente p y q es 1.
Sin embargo y de manera intuitiva, 2 = d ((1; 0) ; (0; 1)) es la distancia de la hipotenusa del tringulo
con vrtices en (0; 0), (1; 0) y (0; 1).Dicho
p valor corresponde a un nico punto sobre la recta real ubicado a
la derecha de CERO. Recordemos que 2 NO es un nmero racional.

Denicin 27 Teorema de Pitgoras. Sean A = (p1 ; p2 ) ; B = (q1 ; q2 ) 2 R R entonces:

q
2 2
d (A; B) = (p1 q1 ) + (p2 q2 ) = kA Bk 2 R:

El smbolo kk es usado para denotar NORMAS sobre ciertos conjuntos. En caso del conjunto los nmeros
reales, la norma de x denotada por kxk coincide con jxj, donde
8
p < x si x 0
x2 = jxj = :
:
x si x < 0

Todas las proposiciones sobre el valor absoluto sobre nmeros racionales son inmediatamente extendibles al
conjunto R.

Denicin 28 Sea (p1 ; p2 ) 2 R R; denimos la norma de A = (p1 ; p2 ) denotada por kAk = k(p1 ; p2 )k de
la siguiente manera: q q
2 2
k(p1 ; p2 )k = (p1 0) + (p2 0) = p21 + p22 :
De lo anterior se observa que:

k (p1 ; p2 )k = k( p1 ; p2 )k
= k(p1 ; p2 )k :

Proposicin 29 Sean A = (p1 ; p2 ) ; B = (q1 ; q2 ) ; 2 Q Q, entonces:

kA + Bk kAk + kBk :

Demostracin. Apelaremos a la noble funcin cuadrtica y a la relacin obtenida en (7) de la siguiente

manera: para todo 2 Q tenemos
2 2
0 (p1 q1 ) + (p2 q2 ) ;
= q12 + q22 2 2 (p1 q1 + p2 q2 ) + p21 + p22 ;

13
luego q q q
(p1 q1 + p2 q2 ) (p21 + p22 ) (q12 + q22 ) = (p21 + p22 ) (q12 + q22 );
con esto

k(p1 ; p2 ) + (q1 ; q2 )k = k(p1 ; p2 ) ( (q1 ; q2 ))k

= k(p1 ; p2 ) ( q1 ; q2 )k
q
2 2
= (p1 + q1 ) + (p2 + q2 )
q
= (p21 + p22 ) + 2 (p1 q1 + p2 q2 ) + (q12 + q22 )
r q q
(p21 + p22 ) + 2 (p21 + p22 ) (q12 + q22 ) + (q12 + q22 )
s
q q 2
= (p21 + p22 ) + (q12 + q22 )
q q
= (p21 + p22 ) + (q12 + q22 )
= k(p1; p2 )k + k(q1 ; q2 )k :

Proposicin 30 Desigualdad triangular. Sean A = (p1 ; p2 ) ; B = (q1 ; q2 ) ; C = (r1 ; r2 ) 2 Q Q, y d (A; B) =

kA Bk entonces:

d ((p1 ; p2 ) ; (q1 ; q2 )) d ((r1 ; r2 ) ; (p1 ; p2 )) + d ((r1 ; r2 ) ; (q1 ; q2 )) ;

esto es
d (A; B) d (A; C) + d (B; C) :

Demostracin.

d (A; B) = d ((p1 ; p2 ) ; (q1 ; q2 ))

= k(p1 ; p2 ) (q1 ; q2 )k
= k(p1 ; p2 ) (q1 ; q2 ) + (r1 ; r2 ) (r1 ; r2 )k
k(r1 ; r2 ) (p1 ; p2 )k + k(r1 ; r2 ) (q1 ; q2 )k
= d ((r1 ; r2 ) ; (p1 ; p2 )) + d ((r1 ; r2 ) ; (q1 ; q2 ))
= d (A; C) + d (B; C) :

Observemos como caso particular de la proposicn anterior, la siguiente relacin:

p p p p
d p2 ; 0 ; 0; q 2 d (0; 0) ; p2 ; 0 + d (0; 0) ; 0; q 2 ;

y por denicin esto se traduce en: p p p

p2 + q 2 p2 + q 2 ;
y ms generalmente, si x; y 2 R, entonces:
p p p
x+y x+ y:

Proposicin 31 d ((p1 ; p2 ) ; (q1 ; q2 )) 0 para todo (p1 ; p2 ) ; (q1 ; q2 ) 2 Q Q.

14
Demostracin. De la desigualdad triangular:

d ((q1 ; q2 ) ; (q1 ; q2 )) d ((p1 ; p2 ) ; (q1 ; q2 )) + d ((p1 ; p2 ) ; (q1 ; q2 )) ;

obtenemos directamente que:

d ((p1 ; p2 ) ; (q1 ; q2 )) 0:

Proposicin 32 Propiedad de simetra.

d ((p1 ; p2 ) ; (q1 ; q2 )) = d ((q1 ; q2 ) ; (p1 ; p2 )) :

Demostracin. Para esta prueba, haremos uso de la propiedad de la tricotoma en combinadcin de la

desigualdad triangular de la siguiente manera: por la desigualdad triangular tenemos que:

d ((p1 ; p2 ) ; (q1 ; q2 )) d ((r1 ; r2 ) ; (p1 ; p2 )) + d ((r1 ; r2 ) ; (q1 ; q2 ))

si (r1 ; r2 ) = (q1 ; q2 ) entonces

d ((p1 ; p2 ) ; (q1 ; q2 )) d ((p1 ; p2 ) ; (p1 ; p2 )) + d ((p1 ; p2 ) ; (q1 ; q2 )) ;

obtenemos directamente:
d ((p1 ; p2 ) ; (q1 ; q2 )) d ((q1 ; q2 ) ; (p1 ; p2 )) ; (16)
ahora de
d ((q1 ; q2 ) ; (p1 ; p2 )) d ((r1 ; r2 ) ; (q1 ; q2 )) + d ((r1 ; r2 ) ; (p1 ; p2 )) ;
si (r1 ; r2 ) = (p1 ; p2 ) entonces

d ((q1 ; q2 ) ; (p1 ; p2 )) d ((p1 ; p2 ) ; (q1 ; q2 )) + d ((p1 ; p2 ) ; (p1 ; p2 )) ;

obtenemos directamente:
d ((q1 ; q2 ) ; (p1 ; p2 )) d ((p1 ; p2 ) ; (q1 ; q2 )) ; (17)
de la tricotoma, (16), y (17) se concluye que:

d ((p1 ; p2 ) ; (q1 ; q2 )) = d ((q1 ; q2 ) ; (p1 ; p2 )) :

4 Segunda presentacin de los nmeros reales.

Finalmente y para terminar esta seccin, algunos ejemplos y tres deniciones con las cuales haremos nuestra
segunda presentacin de los nmero, reales R.

Example 33 Considere la funcin f denida por

f : N!Q
1
: n 7 ! p = f (n) = ;
n
1
por denicin f (N) Q y puesto que n es positivo para todo n entonces f (N) Q:

15
Denicin 34 Sea f una funcin de N en Q: f (N) se denomina una sucesin sobre nmeros racionales.
Es comn denotar las sucesiones de la siguiente manera:
1 1
f (N) = ff (n)gn=1 = fxn gn=1 :

En el ejemplo anterior
1
= f (n) = xn :
n
Si A es un subconjunto innito contable de N; diremos que f (A) es una subsucesin de f (N).

Denicin 35 Una primera aproximacin de sucesiones convergentes. Considere la sucesin f (N) =

1
fxn gn=1 . Se dice que la sucesin converge a x; x 2 Q si para todo k 2 N existe N 2 N tal que jx xn j < k1
siempre que n > N: y escribiremos:
lim xn = x
n!1

Example 36 Sea N = k, entonces para todo k 2 N; tenemos:

1 1 1 1
0 = = < siempre que n > k = N;
n n n k
1 1
luego la sucesin n n=1
converge a CERO: y escribimos:

1
lim = 0:
n!1 n

En el ejemplo anterior y por alguna razn desconocida, era de conocimiento que CERO es el punto de
convergencia de la sucesin o por lo menos se tena grandes sospechas. En la siguiente denicin no se
menciona el punto de convergencia.
1
Denicin 37 Una primera aproximacin a series de Cauchy. Considere la sucesin f (N) = fxn gn=1 . Se
dice que la sucesin es de Cauchy (en honor al matemtico francs Agustin Louis Cauchy (1789 1857)) si
para todo k 2 N, existe N 2 N tal que jxm xn j < k1 siempre que m; n > N: y escribiremos:

lim jxm xn j = 0
m;n!1

1
Example 38 Consideremos la sucesin fxn gn=1 deinida recursivamente por:

x1 = 2;
xn 1
xn+1 = + ;
2 xn
los primeros tres elementos de la sucesin son:

1 3 17 3 17
fxn gn=1 = 2; ; ; = 2; ; ;
2 12 2 12

obsrvese que
2
x2n 1 2 = x4n 1 4x2n 1 +4 0, para todo n 2
como xn > 0, entonces dividiendo por 4x2n 1 obtenemos:

x2n 1 1
+ 1, para todo n 2
4 x2n 1

16
adicionando 1 a la desigualdad obtenemos:
2
xn 1 1 x2n 1 1
x2n = + = +1+ 2, para todo n 2
2 xn 1 4 x2n 1

luego
x2n + 2
1, para todo n 1
2x2n
luego
x2n + 2 1 xn 1 xn+1
2
= + = 1, para todo n 1
2xn xn 2 xn xn
lo que signica que
xn+1 xn , para todo n 1; (18)
bajo la condicin (18) se dice que la sucesin es decrecienteluego la sucesin es decreciente, con lo que
deducimos que
0 < xn 2, para todo n 1; (19)
bajo las condiciones (18), (19) se dice que la sucesin acotada inferiormente y superiormente.

Intiutivamente y con la promesa de poder demostrar en la siguiente seccin que si una sucesin es
acotada inferiormente (superiormente) y decreciente (creciente), entonces la sucesin es convergente. Pero,
la veracidad de esta armacin es cierte sobre sucesiones de nmeros reales. Esta caracterstica marca una
de las ms contundentes diferencias entre nmeros racionales y reales. Por ahora intuimos que la sucesin
1
fxn gn=1 denida recurrente por:

x1 = 2;
xn 1
xn+1 = + ;
2 xn
converge a algn nmero real (quizs racional) y en consecuencia, como veremos en la siguiente proposicin,
es una sucesin de Cauchy.
Ahota, que la sucesin sea de Cauchy, signica que:

lim jxm xn j = 0;
m;n!1

en buen uso de la propiedad (14), el anterior lmite traduce que

xm = xn siempre que m; n ! 1;

sea x el "valor" que "alcanzan" xm y xn cuando m; n ! 1, entonces de la denicin

xn 1
xn+1 = + ;
2 xn
obtenemos que
x2 = 2;
p
pero x2 2
= f (Q) siendo f (p) = p2 ; 2 es nmero real pero no racional.

Proposicin 39 Toda sucesin convergente es de Cauchy.

17
 1
Demostracin. Considere la sucesin f (N) = fxn gn=1 . Supongamos que la sucesin converge a x; x 2 Q;
entonces para todo k 2 N existe N 2 N tal que jx xn j < k1 siempre que n > N ; y de la misma forma, para
todo k 2 N existe N 2 N tal que jx xm j < k1 siempre que m > N: En particular, para todo k = 2h, h 2 N
existe N 2 N tal que:
1
jxm xn j jx xn j + jx xm j < ;
h
por lo tanto es de Cauchy.
Para terminar esta seccin, nuestra segunda presentacin de los nmeros reales es como sigue: El conjunto
de los nmeros reales R es una extensin de los nmeros racionales Q completndolos con los puntos lmite
de todas la sucesiones de Cauchy de nmeros racionales. Esto nos conduce a la idea de que sobre el conjunto
de los nmeros reales toda sucesin convergente es de Cauchy; y viceversa, toda sucesin de Cauchy converge
hacia un nmero real. Esta presentacin sugiere que nmeros reales tan conocidos como ; e; son el lmite
de de alguna sucesin de nmeros racionales.

Proposicin 40 Toda sucesin de Cauchy de nmeros reales converge hacia un nmero real. La prueba de
esta proposicin requiere conceptos matemticos que exceden el nivel de este curso.

5 Asignacin 02
1. Sean a; b; c nmeros racionales jos. Considere la funcin q = f (p) = ap2 + bp + c para todo p 2 Q.

(a) De una justicacin de que f est bien denida.

(b) Es f inyectiva?
(c) Describa o de una caracterstica general de los elementos del conjunto f (Q) :
4ac b2
(d) Demuestre que si a > 0, entonces el mnimo valor de q es 4a y q alcanza este valor cuando
p = 2ab .
4ac b2
(e) Demuestre que si a < 0, entonces el mximo valor de q es 4a y q alcanza este valor cuando
p = 2ab .
b b
(f) Juistique convincentemente que p1 = 2a +r, y p2 = 2a r tienen la misma imagen por intermedio
de f . para todo r 2 Q.

2. Problemas clsicos sobre optimizacin. (Mximos y Mnimos).

(a) Se desea construir un corral de forma rectangular usando un muro como uno de sus lados. Se
cuenta con 100 unidades lineales de cerca para completar los restantes tres lados del corral.
Determine las dimensiones del corral con mxima rea.
(b) Se sabe que la asistencia a un espectculo artstico es de 300 personas quienes pagan cada una 70
mil pesos por el ingreso. Adicionalmente se tiene conocimiento de que por cada 5 mil peso que se
reduzca en el costo de la entrada, asisten 25 personas ms. Determine el valor de la enrtrada que
maximice el recaudo de la empresa organizadora.
(c) En una nca de forma rectangular se siembran 400 naranjos (rboles de naranjas), distribuidos
en forma homognea. Cada naranjo produce 250 naranjas por temporada. Se sabe que por cada
10 nuevos rboles sembrados la produccin de cada rbol se reduce en 25 naranjas. Determine el
nmero de rboles que deben ser sembrados para maximizar la produccin.
(d) Una cuerda de 100 unidades de longitud se corta en dos partes; las partes son usadas para delimitar
dos cuadrados independientes.
i. Determine las dimensiones de los cuadrados que maximiza la suma de las reas encerradas.

18
 ii. Determine las dimensiones de los cuadrados que minimiza la suma de las reas encerradas.

3. Demuestre que los conjuntos Am denidos en (2) son subconjuntos innitos contables de N:

4. Demuestre las relaciones: (3), (4), y (5).

5. Demuestre que Z2 es un campo.
6. Sean p; q 2 Q: Demuestre que:

(a) Si [p + q < 0] ^ [p < 0] ^ [q < 0] ; entonces jp + qj jpj + jqj.

(b) Si [p + q < 0] ^ [p > 0] ^ [q < 0] ; entonces jp + qj jpj + jqj.
(c) Si [p + q > 0] ^ [p > 0] ^ [q < 0] ; entonces jp + qj jpj + jqj.

7. Si A = (p1 ; p2 ) ; B = (q1 ; q2 ) 2 Q Q, y d (A; B) = max fjp1 q1 j ; jp2 q2 jg, entonces d (A; B) = 0 s

y solo si A = B.

8. De un ejemplo de dos parejas de nmeros racionales A = (p1 ; p2 ) ; B = (q1 ; q2 ) y C = (r1 ; r2 ) tales que:

d (A; B) < d (A; C) + d (B; C) ;

donde d (A; B) = max fjp1 q1 j ; jp2 q2 jg.

9. Si A = (p1 ; p2 ) ; B = (q1 ; q2 ) 2 Q Q, y d (A; B) = min fjp1 q1 j ; jp2 q2 jg, De un ejemplo que
contradiga la siguiente armacin: d (A; B) = 0 s y solo si A = B.
10. Sean A = (p1 ; p2 ) ; B = (q1 ; q2 ) ; C (r1 ; r2 ) 2 Q Q, y d (A; B) = jp1 q1 j + jp2 q2 j, demuestre que:

d ((p1 ; p2 ) ; (q1 ; q2 )) d ((r1 ; r2 ) ; (p1 ; p2 )) + d ((r1 ; r2 ) ; (q1 ; q2 )) ;

esto es:
d (A; B) d (A; C) + d (B; C) :

11. De un ejemplo de dos parejas de nmeros racionales A = (p1 ; p2 ) ; B = (q1 ; q2 ) y C = (r1 ; r2 ) tales que:

d (A; B) < d (A; C) + d (B; C) ;

donde d (A; B) = jp1 q1 j + jp2 q2 j.

1
12. Demuestre que la sucesin fxn gn=1 denida recurrentemente por:

x1 = 2
xn 3
xn = +
2 2xn
es decreciente y acotada inferior y superiormente.

19