NOCIONES TOPOLGICAS EN ESPACIOS MTRICOS ANIMADAS

CON GEOGEBRA
Lic. Mat. Jorge Luis Rojas Paz
jlrp_maestro@hotmail.com
RESUMEN
El estudio de las nociones topolgicas en espacios mtricos sin lugar a dudas nos sumerge
en un mundo, fascinante y a la vez rico en teoras y ejemplos extrados del mundo real. El
uso del software Geogebra en la visualizacin de conceptos y su uso intuitivo en
demostraciones nos transporta a un nuevo mundo de comprensin y anlisis de situaciones
ocultas que en un tiempo atrs solo existan en la mente de sus creadores y en la de los
estudiosos y expertos en la materia. Bienvenidos a la materializacin de lo oculto en un
mundo virtual a partir de nuestra intuicin topolgica.
ABSTRACT
The study of topological notions in metric spaces undoubtedly plunges us into a world both
fascinating and rich in theories and examples from the real world. Use of the software
Geogebra in visualizing concepts and demonstrations intuitive use us to a new world of
understanding and analysis of hidden situations that once only existed back in the minds of
its creators and the scholars and experts in the field. Welcome to the materialization of the
virtual world hidden from our topological intuition.
1.-ESPACIO MTRICO
Un espacio mtrico es un par

, donde X es un conjunto cualquiera no vaco y

una aplicacin, llamada distancia o mtrica, tal que, para cualesquiera x, y, z

X, satisface las siguientes condiciones:
(i)
d(x ,y) 0
(ii)
d(x ,y) = 0 x = y
(iii) d(x ,y) = d(y ,x)
(iv)
d(x ,z) d(x ,y) + d(y ,z)
Por ejemplo en R2 la aplicacin

, definida mediante la ecuacin

,

d (p , q ) =

(p - q ) 2 + (p - q ) 2
1
1
2
2

donde p =(p1, p2) y q = (q1, q2), es una distancia, llamada la distancia Eucldea. En la
ilustracin 1, se aprecia la distancia entre los puntos P y Q expresada por la longitud del
segmento de color verde d.

Ilustracin 1

Para interactuar con la Mtrica Eucldea, hemos construido un Applet en Geogebra

ilustracin 1 al cual podemos acceder desde la siguiente direccin:
http://www.geogebratube.org/student/m48029

Adems est disponible en el mismo Applet el protocolo de construccin y por tanto

puedes reproducirlo y generar tus propios diseos y presentaciones. Por ejemplo se puede
variar las coordenadas de los puntos P y Q y a medida que esto sucede se observar en el
Applet como varia la distancia Eucldea.

Ilustracin 2

Ilustracin 3

2.-DISTANCIA DE UN PUNTO A UN CONJUNTO

En un espacio mtrico X, adems de la distancia entre dos puntos x, y X, se puede definir
la distancia de un punto x X a un subconjunto no vaco A X por la expresin
Se sigue de esta definicin que d(x, A) es el nico nmero real m tal que:
i)
d(x, a) m, a A.
ii)
Dado
arbitrario, existe a A tal que d(x, a) m +

Este concepto es desde luego sumamente claro para un toplogo pero preguntmonos si lo
es tambin, para un estudiante que se inicia en el estudio de la matemtica o cualquier
profesional de otra rea del conocimiento que desea aplicar dicho concepto. Probablemente
la respuesta sea si para quienes estn muy bien entrenados en anlisis real y con toda
seguridad para la gran mayora, muchas dudas e interrogantes surgiran de inmediato.
Nuestra idea aqu es mostrar que dicho concepto puede ser comprendido intuitivamente y
que la intuicin puede ser materializada en un ambiente virtual utilizando Geogebra. En
efecto consideremos un subconjunto no vaco A R2, por ejemplo el formado por todos
los puntos (x, y) del plano tal que y = 0.1x2+5 y sea (5, 0) un punto del plano R2. Ntese
que este punto sera precisamente el que aparece en la definicin como a. Ahora bien,
uniendo cada punto del conjunto A con el punto (5, 0) mediante un segmento, escogeramos
el de menor longitud. Precisamente la menor longitud sera la distancia del punto (5, 0) al

conjunto A = (x, y)R 2 : y = 0.1x 2 + 5 R2.

De
todos
los
segmentos de color
rojo que unen el punto
(5, 0) con cada punto
del
conjunto
A,
tomemos el de menor
longitud (color negro)
y es esta longitud
precisamente
la
distancia
entre el
conjunto A y el punto
indicado.

Ilustracin 4

El Applet que se ha construido para materializar nuestra intuicin est disponible en la

direccin
http://www.geogebratube.org/student/m48411

en l, mostramos dos formas de calcular la distancia del punto (5, 0) a un subconjunto del
plano A, la primera que nace de la intuicin a travs de la obtencin de la menor longitud
del segmento que une el punto de coordenadas (5,0) con cada uno de los puntos de la
parbola y=0.1x2 + 5 conforme se sugiere en la ilustracin 4 y la otra forma calculando
primero la funcin distancia d(x) entre los elementos del conjunto A que son puntos de la
forma (x, 0.1x2 + 5) y el punto (5, 0) y por supuesto utilizando la mtrica Eucldea,
obteniendo

d(x) = (x - 5)2 + (0.1x 2 + 5)2

Luego, hallamos y graficamos su derivada con los comandos que presenta geogebra
d (x) =

x 3 + 100x - 250
5 x 4 + 200x 2 - 1000x + 5000

esto nos permitir identificar el punto de corte entre el eje X y la grfica de la derivada A,
cuya abscisa es precisamente el punto en el cual la funcin d alcanza un mnimo relativo.

Ilustracin 5

enseguida levantamos una perpendicular que corta en el punto B a la grfica de la

funcin d y aprovechando este punto trazamos otra perpendicular que corta finalmente al
eje Y en el punto C, cuya ordenada constituye una aproximacin de la distancia Eucldea
entre el punto (5, 0) y el conjunto A, vase el Applet desarrollado en la ilustracin 5.
3.-BOLAS ABIERTAS, CERRADAS Y ESFERAS
Consideremos un espacio mtrico X,
un nmero real y a un punto de X. Una bola
abierta de centro a y radio r es el conjunto B(a, r) formado por todos los puntos de X
cuya distancia al punto a es menor que r:

Una bola cerrada o disco de centro a y radio r es el conjunto D(a, r) de los puntos de X
cuya distancia al punto a es inferior o igual a r:

Una esfera de centro a y radio r es el conjunto S(a, r), formado por los puntos de X
cuya distancia al punto a es exactamente igual a r:

Normalmente existen ejemplos que podemos encontrar en textos especializados sobre estos
conceptos topolgicos tales como: el de bola abierta en el conjunto de los nmeros reales;
que no es otra cosa que el intervalo abierto (a-r, a+r), una bola cerrada conformada por el
conjunto [ a - r, a + r ] y como esfera S(a, r) a un conjunto que se reduce a un par de puntos.
Esto nos sugiere construir conjuntos de este tipo a travs de Geogebra, utilizando
deslizadores. Igualmente podemos construir bolas abiertas, bolas cerradas y esferas en dos
y tres dimensiones utilizando Geogebra beta. Veamos el siguiente Applet disponible en
http://www.geogebratube.org/student/m48770

Ilustracin 6

En esta ilustracin se aprecia el Applet construido especialmente para una bola centrada en
el nmero a=0 y radio r=10 pero usted notar que manipulando los deslizadores obtendr
nuevas bolas abiertas en R.
Aprovechando la construccin anterior es fcil obtener a partir de ella un nuevo Applet para
generar bolas cerradas en el conjunto de los nmeros reales, la siguiente ilustracin muestra
una bola cerrada con centro en a=0 y radio r=10.

Ilustracin 7

Finalmente es fcil generar esferas con Geogebra en el conjunto de los nmeros reales,
pues en el Applet anterior bastar con borrar el segmento horizontal de color azul y
tendremos la representacin del conjunto S(a,r)= {a-r,a+r} en la ilustracin 8 para a=0.

Ilustracin 8

Consideremos una bola abierta en el espacio mtrico R2

B ( ( a1 ,a 2 ) , r ) = (x,y)R 2 : d(( a1 ,a 2 ) ,(x, y)) < r

Si d es la mtrica Eucldea la expresin anterior se transforma en

B ( ( a1 , a 2 ) , r ) = (x,y)R 2 : (x - a1 )2 + (y - a 2 )2 < r 2

La idea que nos planteamos es construir un Applet como los anteriores que me permita
visualizar estas bolas en el plano, que me permita interactuar con ellas, manipularlas y
mejor an al tener un protocolo visible reproducirlas y reconstruir el conocimiento.
Al observar la definicin de la bola en el plano, nuestra intuicin nos sugiere que
podramos utilizar tres deslizadores dos para las coordenadas del centro porque podemos
imaginar una bola en cualquier punto del plano pero al mismo tiempo el radio puede variar
entonces tambin se nos ocurre utilizar un deslizador para l. Veamos nuestro Applet
construido y alojado en
http://www.geogebratube.org/student/m48592

Ilustracin 9

Si en la bola B ( ( a1 ,a 2 ) , r ) = (x,y)R 2 : d(( a1 ,a 2 ) ,(x, y)) < r consideramos a d como

mtrica de la suma, entonces ella se reescribir del modo siguiente:
B a , a , r = (x,y)R 2 : x a + y a < r o tambin:

{
B ( ( a , a ) , r ) = { (x,y)R 2 : x a
((

) )

- r + a 2 < y < r x a1 + a 2

En consecuencia esta bola, al igual que la bola definida con la mtrica Eucldea nos sugiere
utilizar tres deslizadores, como se aprecia en el siguiente Applet diseado para este caso y
alojado en
http://www.geogebratube.org/student/m48599

Ilustracin 10

Finalmente, si en la bola B ( ( a1 , a 2 ) , r ) = (x,y)R 2 : d(( a1 , a 2 ) , (x, y)) < r , d es la

mtrica del mximo entonces ella se reescribe de la siguiente forma:
B ( ( a1 ,a 2 ) , r ) = (x,y)R 2 : max { x a1 , y a2 } < r

Por ejemplo si el centro de una bola de radio r = 4 definida bajo la mtrica del mximo, es
el origen de coordenadas esto es (a1, a2) = (0, 0) se tendr
B 0, 0 , 4 = (x,y)R 2 : max x , y < 4

(( ) )

Ilustracin 11

Para construir el Applet correspondiente a la bola

B ( ( a1 , a 2 ) , r ) = (x,y)R 2 : max { x a1 , y a2 } < r

desarrollamos y simplificamos la inecuacin

max { x a1 , y a2 } < r

}
B ( ( a ,a ) ,r ) = { (x,y)R 2 :(a r < x < r + a )( a r < y < a + r )}

Lo que nos da por resultado B ( ( a1 ,a 2 ) , r ) = (x,y)R 2 : x a1 < r y a2 < r o tambin

1

con estas condiciones procedemos a utilizar en geogebra como ya hemos visto tres
deslizadores dos para las coordenadas del centro de la bola y otro para el radio de la bola
con lo cual obtenemos el siguiente Applet disponible en la direccin
http://www.geogebratube.org/student/m48607

Ilustracin 12

4.-MTRICAS EQUIVALENTES
Sean d y d mtricas en un mismo conjunto X. Decimos que d es ms fina que d cuando la
aplicacin identidad
fuera continua.

Por ejemplo si (X, d) es un espacio mtrico discreto, entonces d es ms fina que cualquier
otra mtrica d en X.
Proposicin: La mtrica d es ms fina que la mtrica d en un conjunto X si, y solamente
si, para cada x X, cualquier bola abierta de centro a segn d contiene alguna bola
abierta de centro a segn d.

La demostracin es inmediata, pues al ser d ms fina que d la aplicacin identidad dada

por i :( X, d ) ( X, d) , donde i(x) = x, resulta continua lo que equivale a decir que para
cada > 0 existe un > 0 tal que d(x,a) < implica d(x,a) < , es decir se tendr:
B(a, ) B(a, )
Ahora bien sabemos que dos mtricas d, d en un mismo conjunto X se dicen equivalentes
( d d ) cuando d es ms fina que d y al mismo tiempo d es ms fina que d.
Por ejemplo, se sigue de este razonamiento, que las mtricas:

d ( x, y ) = ( x1 y1 ) 2 + ( x2 y2 ) 2
d ( x, y ) = x1 y1 + x2 y2

d ( x, y ) = m x .{ x1 y1 , x2 y2 } ; con x = ( x1; x2 ); y = ( y1 ; y2 )
en el plano R2 son equivalentes, hecho que se puede verificar tambin haciendo uso de
geogebra, conforme se aprecia en la ilustracin 13.

Ilustracin 13

En efecto obsrvese que d es ms fina que d, as mismo d es ms fina que d y d. De la

ilustracin 14 se sigue que d es ms fina que d, d es ms fina que d y d. Por tanto se
concluye que
d d , d d y d d
El Applet construido para demostrar la equivalencia de las mtricas se encuentra alojado
en la siguiente direccin
http://www.geogebratube.org/student/m49051

Ilustracin 14

BIBLIOGRAFA
[01] ADAMS, COLIN y FRANZOSA, ROBERT. Introduction to Topology Pure and
Applied, New Delhi: Pearson Prentice Hall, First Impression, 2009.
[02] MUNKRES, JAMES. Topologa, Madrid: Prentice Hall, Inc., 2da Edicin, 2002.
[03] LAGES, ELOM. Elementos de Topologia Geral, Rio de Janeiro: Ao Livro Tcnico
S.A., Editora da Universidade de S. Paulo, 1970.
[04] LAGES, ELOM. Curso de Analise Vol. I, Rio de Janeiro: Livros Tcnicos e
Cientificos Editora S.A , 8a Edicin, 1994.
[05] Materiales subidos por los autores, disponibles en:
http://www.geogebratube.org/user/profile/id/8674