Articulo Matemático

Revista de
Ciencias Bsicas
UJAT
Volumen 7
Nmero 1
Junio 2008
Contenido
Homotopa de punto fijo
Mario Arley Vidal Gernimo y Gamaliel Bl Gonzlez
Dinmica de la familia logstica

Juan Jimnez Fras y Gamaliel Bl Gonzlez
Seguimiento de curvas homotpicas

Mario Alberto Soler Lpez y Juan Barajas Fernndez
Funciones continuas y nunca derivables

Gerardo Delgadillo Pin y Miguel Lpez De Luna
Cunduacn
Tabasco
Mxico
15
26
35
REVISTA DE CIENCIAS BASICAS UJAT

es editada por la
Divisin Acadmica de Ciencias Bsicas
de la Universidad Jurez Autnoma de Tabasco
Editores
Dr. Abdiel E. Cceres Gonzlez (abdiel.caceres@dacb.ujat.mx)

Dr. Jos Leonardo Senz Cetina (leonardo.saenz@basicas.ujat.mx)
Comit editorial
Fsica
Qumica
M.C. Esteban Andrs Zrate
Dr. Isaas Magaa Mena
M.C. Ma. Teresa Gamboa Rodrguez
Matemticas
Computacin
M.C. Robert Jeffrey Flowers
L.S.C.A. Diana G. Chuc Durn
Descripcin
La Revista de Ciencias Bsicas UJAT es una publicacin semestral, dedicada a la difusin de las
ciencias bsicas. Se dirige a profesores y estudiantes universitarios, y en general a todos los interesados en
las ciencias. Su propsito es ofrecer un espacio que permita informar sobre las investigaciones en el rea
correspondiente y difundir temas generales de las ciencias bsicas.
Informacin para autores
Los autores deben enviar por correo electrnico a revistaCB@dacb.ujat.mx, un paquete que
contenga los archivos fuente, tanto del texto en LaTeX2e; las imgenes en formato JPG y una copia en
formato PDF del artculo propuesto. El artculo ser distribuido a los revisores, quienes darn su
aprobacin para que sea publicado. El autor es libre de utilizar el molde para conservar el estilo
tipogrfico de la revista. Este molde se puede obtener desde la pgina WEB de la revista en http://
www.dacb.ujat.mx/revistas_enlinea.html, en la seccin de Informacin para autores.
Tambin es posible solicitarlo por correo electrnico directamente a los editores.
El contenido de los artculos debe ser de inters cientfico en las reas de fsica, matemticas,
computacin y qumica; pudiendo ser de divulgacin de temas de investigacin o de reportes de
investigacin. La extensin deseable de los artculos oscila entre las 5 y 15 pginas, pudiendo extenderse
tanto como sea necesario de acuerdo a los criterios de los editores.
Todos los artculos debern ser escritos en espaol o ingls, con un resumen de no ms de 150 palabras
tanto en espaol como en ingls.
Para encontrar revisores adecuados, agregue el siguiente cuestionario resuelto en el correo electrnico
que nos enve:
1) Cul es la contribucin importante de este trabajo?
2) Cules son las reas de conocimiento ms relacionadas con este trabajo?
Suscripcin a la Revista Ciencias Bsicas UJAT
La suscripcin es absolutamente gratuita, solamente enve un correo electrnico a cualquiera de los
editores, proporcionando la siguiente informacin:
a) Nombre del representante institucional, o de la persona.
b) Direccin postal
c) Direccin electrnica
d) Nmero de ejemplares que desea.
Advertencia
El contenido de los artculos es responsabilidad nica del autor. Toda aclaracin en cuanto al
contenido de los artculos, debe ser enviada por correo electrnico al autor que corresponde.
ISSN: [En trmite]
Pgina WEB:
http://www.dacb.ujat.mx/revistas_enlinea.html
Correo electrnico:
revistacb@dacb.ujat.mx
Revista de Ciencias Bsicas UJAT, volmen 7 nmero 1, junio 2008.
Se termin de imprimir en junio de 2008 en los talleres de Grficos Cnovas.
El tiraje consta de 300 ejemplares.
Revista de
Ciencias Bsicas
UJAT
Volumen 7
Nmero 1
Junio 2008
Cunduacn
Tabasco
Mxico
Contenido
15
26
35

Mario Arley Vidal Gernimo y Gamaliel Bl Gonzlez
Dinmica de la familia logstica

Juan Jimnez Fras y Gamaliel Bl Gonzlez
Seguimiento de curvas homotpicas

Mario Alberto Soler Lpez y Juan Barajas Fernndez

Gerardo Delgadillo Pin y Miguel Lpez De Luna

Mario Arley Vidal Ger
onimo
**
Universidad Ju
arez Aut
onoma de Tabasco, DACB
Gamaliel Bl
e Gonz
alez
***
Universidad Ju
arez Aut
En este trabajo se desarrolla el metodo homot

opico de punto fijo y se da un criterio para seleccionar una condici
on inicial a partir de la cual es posible encontrar
un camino de homotopa que contiene todas las soluciones reales de un sistema de
ecuaciones no lineales.
In this paper the fixed-point homotopy method is developed and a criterion is given to
select an initial condition from which is possible to find a homotopy path containing
all real solutions of a systems of nonlinear equations.
Palabras clave: Sistemas de Ecuaciones no Lineales, Metodos Homot
opicos, Homotopa de Punto Fijo.
Keywords: Systems of Nonlinear Equations, Homotopy Methods, Fixed-point Homotopy.
1. Introducci
on
La necesidad de resolver sistemas de ecuaciones no lineales surge frecuentemente en

diversas
areas de las ciencias b
asicas y aplicadas. Por ello, se han desarrollado diversos
metodos de convergencia local, como el metodo de Newton, los cuales permiten resolverlos bajo ciertas condiciones. Una de las desventajas que presentan estos metodos,
es que si la condici
on inicial no se toma lo suficientemente cerca de la solucion buscada, entonces el metodo puede diverger, a
un cuando el sistema tenga solucion. Esto
ha llevado al desarrollo de metodos mas eficientes, con propiedades de convergencia
global, tales como los metodos homotopicos, [9, 10].
Si tenemos el sistema dado por
F (x) = 0,
(1)
donde F : Rn Rk y k n, el metodo homotopico consiste en perturbar el

sistema (1) usando una funci
on de apoyo G : Rn Rk y una homotopa entre F y
G, dada como
H(x, t) = tF (x) + (1 t)G(x).
(2)
En este nuevo sistema, la funcion G se elige de tal manera que sus races son
* Recibido
el 5 de diciembre de 2007 y aceptado el 10 de febrero de 2008

postal: Carr. Cunduac
an-Jalpa Km 1, Cunduac
an Tabasco, M
exico. A.P. 24 C.P.
86690. Tel.(+52)914 336-0928. Correo electr
onico: marioarley83@hotmail.com
*** Direcci
on postal: Carr. Cunduac
an Tabasco, M
exico. A.P. 24 C.P.
onico: gble@ujat.mx
** Direcci
on
sicas UJAT, volumen 7 n

Revista de Ciencias Ba
umero 1 (Junio 2008) p 314

onimo y Gamaliel Bl
e Gonz
alez
conocidas. As, las soluciones del sistema (1) viven en el conjunto de nivel H 1 (0) y
corresponden a t = 1. Dado que H(x, 0) = G(x), la estrategia para encontrar una raz
de F consiste en tomar una raz x0 de G y seguir la curva homotopica (t) = H(x0 , t),
a lo largo de t hasta llegar a t = 1, donde se encuentra una raz de F . A priori, esta
trayectoria puede presentar ramificaciones y no alcanzar una solucion en t = 1, pero
si ambas funciones F y G, son funciones de clase C 2 , el teorema de Sard nos garantiza
que para casi cualquier condici
on inicial x0 , la curva homotopica (t) alcanza en t = 1
una soluci
on del sistema (1), [3, 9].
1.1 Funciones de apoyo del m

etodo homot
opico
De entre las posibles funciones de apoyo G para construir una homotopa, existen
algunas que por su simplicidad o porque han funcionado en la solucion de problemas
son las m
as mencionadas en la literatura, por ejemplo:
1.1.1 Homotopa de punto fijo
La funci
on de homotopa de punto fijo esta dada como
H := Hx0 = tF (x) + (1 t)(x x0 ).
(3)
En este caso la funci

on G(x) = x x0 .
1.1.2 Homotopa de Newton
La funci
on de homotopa de Newton esta dada como
H := Hx0 = F (x) + (t 1)F (x0 ).
(4)
Aqu, G(x) = F (x) F (x0 ).

1.1.3 Homotopa afn
La funci
on de homotopa afn esta dada como
H := Hx0 = tF (x) + a(1 t)(x x0 ).
(5)
Donde la funci
on G(x) = a(x x0 ) y a es una constante.
Cuando el sistema (1) es polinomial, por el teorema de Bezout [1], podemos conocer
el n
umero m
aximo de races del sistema, por lo que algunos metodos toman como
funci
on de apoyo a un polinomio G(x) con races simples y con el mismo grado que
F . A partir de las races de G se encuentran todas las races de F recorriendo las
diferentes trayectorias homot
opicas [2].
En este trabajo analizaremos la homotopa de punto fijo (3) y presentaremos un
criterio que permite determinar un punto x0 Rn , a partir del cual podemos encontrar todas las soluciones del sistema (1) recorriendo una u
nica trayectoria.
sicas UJAT, 7(1)Junio 2008 p 314
2. Homotopa de punto fijo
Consideremos el sistema de ecuaciones no lineales (1) y definamos la funcion de

homotopa H : Rn R Rk como
H(x, t) = tF (x) + (1 t)G(x),
(6)
donde las races de G son conocidas y a la funcion G(x) se le llama la funci

on de
apoyo del metodo homot
opico.
Dado x0 Rn , tal que H(x0 , 0) = G(x0 ) = 0, a la curva (t) = H(x0 , t) que vive
en el conjunto de nivel H 1 (0), se le llama curva homot
opica.
El conjunto de nivel H 1 (0) puede contener curvas cerradas las cuales no intersecten al conjunto de races de G y por lo tanto, que no sean accesibles desde una
condici
on inicial en t = 0, a estas curvas se les llama islas.
En el caso de la homotopa de punto fijo, u
nicamente se tiene como condicion
inicial a x0 , por lo que la elecci
on de esta determinara si la curva homotopica que
pasa por x0 atravieza por las todas las soluciones o no.
2.1 Rol de la condici
on inicial en la homotopa de punto fijo
En la homotopa de punto fijo la funcion de apoyo es G(x) = x x0 y

H(x, t) = (1 t)(x x0 ) + tF (x) = 0, t R.
(7)
La ecuaci
on (7) se satisface en el punto de partida, t = 0, u
nicamente para x0 , por
lo que naturalmente surgen las siguientes preguntas: Como depende de x0 la curva
homot
opica de H que pasa por x0 ? Cuando esta curva contiene todas las races
de F ? Para darnos una idea de las respuestas a estas preguntas, consideraremos el
siguiente ejemplo en una variable:
Sea
f1 (x) = x2 3x + 2 = 0,
(8)
cuyas races son 1 y 2.

Si la ecuaci
on (8) es sustituida en la ecuacion (7), obtenemos
H(x, t) = t(x2 4x + 2 + x0 ) + (x x0 ) = 0, t R.
(9)
En este caso, las curvas de nivel correspondientes a H(x, t) = 0, para un x0 fijo,

puede ser graficadas como mostramos en la figura 1 para seis valores diferentes de
x0 . Las curvas en la figura 1 representan los caminos de homotopa obtenidos para
diferentes valores de x0 , la interseccion del camino de homotopa con t = 0 corresponde al punto de partida x0 y las intersecciones del camino de homotopa con
t = 1 proporcionan las races de f1 .

onimo y Gamaliel Bl
e Gonz
alez
Figura 1. Curvas de nivel de H(x, t) = 0 para f1 .
En las figuras 1 (a) y 1 (b) mostramos el conjunto H 1 (0) para x0 = 2 y x0 = 0,

respectivamente. Podemos observar que existen tres ramas reales no acotadas y en
ambos casos, las dos races se localizan sobre una de las ramas que no puede ser
alcanzada desde el punto de partida. Este comportamiento tambien se presenta para
valores de x0 menores que 2.
Tomando x0 = 1, el cual es una de las dos races de f1 , la figura 1 (c) muestra
que el conjunto H 1 (0) consiste de cuatro ramas reales no acotadas con un punto
de bifurcaci
on en t = 0.5. Ambas races no pueden ser alcanzadas desde el punto de
partida x0 = 1, pues al llegar a la bifurcacion es necesario elegir un camino, lo cual
nos lleva a encontrar una sola raz.
Para x0 = 1.5, la figura 1 (d) muestra que H 1 (0) tiene tres ramas reales no
acotadas, pero solamente la raz x = 2 puede ser alcanzada desde el punto de partida
x0 = 1.5.
En la figura 1 (e), se muestra H 1 (0) para x0 = 2, la cual tiene tres ramas reales
no acotadas y ocurre que s
olo la raz igual a 2 puede alcanzarse desde el punto de
partida x0 = 2, a
un cuando la recta x = 2 es una asntota para las otras dos ramas
de H 1 (0).
En la figura 1 (f) se muestra H 1 (0) para x0 = 4. Como puede observarse, en
este caso se tiene una sola rama real, la cual conecta todas las races. Por lo tanto,
ambas races pueden alcanzarse desde el punto de partida x0 = 4, sin tener que entrar
en una regi
on aritmeticamente compleja y sin tener que recorrer una gran distancia
en t, como sera el caso para x0 = 2. Este mismo, comportamiento lo observamos
cuando tomamos valores de x0 mayores que 2. As, de los seis casos presentados en
este ejemplo, tenemos que una buena eleccion de x0 es tomarlo mayor que 2, ya que
esto garantiza que puedan encontrarse todas las races reales desde un solo punto de
partida.
En general, determinar una buena condicion inicial para aplicar el metodo homot
opico de punto fijo puede resultar complicado, por lo que en la siguiente seccion
daremos un criterio que permite hacer una eleccion adecuada de la condicion inicial
x0 , a la que representaremos como xc0 .
3. Criterio para seleccionar una adecuada condici
on inicial
Con el prop
osito de encontrar todas las races del sistema (1) usando una homotopa de punto fijo, damos el siguiente criterio para seleccionar xc0 dentro de un
infinito n
umero de posibles valores a elegir:
Sea
xc0 {x0 Rn : N (x0 ) = mnn N (y)},
yR
(10)
donde N (x0 ) es el n
umero de races reales de la ecuacion
F (x) x + x0 = 0.
(11)
Este criterio est

a basado en la observacion de las perturbaciones de F obtenidas
va la homotopa y ha sido verificado en muchos ejemplos para los cuales ha resultado
ser eficiente [5]. Es importante observar que cuando la condicion inicial x0 no es
seleccionada adecuadamente, puede que sea necesario, para encontrar todas las races:
1. Seguir un camino de homotopa que tenga un valor lmite en t = o x = ; para
ello reiniciamos el camino en el extremo opuesto de t o x, o
2. Recorrer una distancia infinita entre dos races consecutivas.


onimo y Gamaliel Bl
e Gonz
alez
Por ejemplo, en las curvas mostradas para x0 = 2 en la figura 1 (a), si las

observamos en el plano real compactificado, estas forman un camino cerrado, pero
la distancia entre la condici
on inicial x0 = 2 y las races es infinita. De igual manera, para x0 = 2, las curvas mostradas en la figura 1 (e), observadas en plano real
compactificado, tambien forman un camino cerrado, el cual no esta acotado tanto en
t como en x y cuya distancia entre la condicion inicial x0 = 2 y las races es infinita.
Por otro lado, para x0 = 4, en la figura 1 (f), o para cualquier otro valor de x0 mayor
que 2, se tiene una u
nica trayectoria homotopica, la cual pasa por todas las races.
Adem
as, las races sobre la curva estan relativamente cerca una de la otra, por lo que
pueden ser r
apidamente alcanzadas desde x0 .
3.1 Aplicaci
on del criterio a una ecuaci
on
Para conocer como funciona el criterio de seleccion de la condicion inicial, lo aplicaremos a la ecuaci
on (8). Para ello, sustituimos f1 en la ecuacion (11), de modo que
obtenemos
x2 4x + 2 + x0 = 0.
(12)
El objetivo es determinar el intervalo donde el n

umero de races de la ecuacion
(12) es mnimo.
Notemos que para x0 > 2, la ecuacion (12) no tiene races reales, por lo tanto, el
mnimo buscado es cero y se alcanza en este intervalo. Por otro lado, para x0 = 2,
la ecuaci
on (12) tiene una sola raz, la cual es x = 2, y por u
ltimo, para x0 < 2, la
ecuaci
on (12) siempre tiene dos races. Por ejemplo, cuando x0 = 1, las races son
1 y 3. Por lo tanto, las condiciones iniciales adecuadas se encuentran en el conjunto
{x0 R : x0 > 2}. Como se muestra en la figura 2.
Figura 2. Gr
afica de x f1 (x).

Cuando seleccionamos un punto de partida x0 tal que la ecuacion (11) no tiene

races reales, entonces todas las races reales de la ecuacion F (x) = 0 pueden ser
encontradas en una de las curvas de H 1 (0) que contiene a x0 y por lo tanto la
ecuaci
on puede resolverse recorriendo una sola trayectoria, siempre que el n
umero
de races reales de F (x) = 0 sea par. En el caso que se tenga mas de una ecuacion,
algunas veces ser
a necesario incluir un dominio complejo que conecte las races que
se encuentren en islas para alcanzar todas las races. Por otro lado, cuando F (x) = 0
tiene un n
umero impar de races, el n
umero de mnimo de races de la ecuacion
(11) puede ser mayor o igual a uno [5]. Es importante mencionar que en algunos
problemas puede ocurrir que sea mucho mas difcil determinar la region donde se
alcanza el mnimo de races para la ecuacion(11) que resolver F (x) = 0, por lo que
esto representa una debilidad del criterio.
Un ejemplo de una ecuaci
on con un n
umero impar de races reales es
f2 (x) = x3 6x2 + 11x 6 = 0,
(13)
cuyas races son 1, 2 y 3.

Para este ejemplo, la ecuaci
on (11) se convierte en
x3 6x2 + 10x 6 + x0 = 0,
(14)
de donde podemos despejar x0 y tener

x0 = x3 + 6x2 10x + 6.
(15)
Para obtener el intervalo donde el n

umero de races reales de la ecuacion(14)
es mnimo, primero calculamos sus puntos crticos, los cuales son x1 = 2 + 13 6 y
x2 = 2 13 6. Despues sustituimos los valores de x1 y x2 en la ecuacion (15) y
obtenemos x10 = 2 + 49 6 y x10 = 2 49 6, los cuales corresponden a un maximo y a

un mnimo de la ecuaci
on (15), respectivamente, tal como se aprecia en la figura 3. De
este modo, obtenemos
umeromnimo de races reales de la ecuacion (14) es
que el n
uno para x0 > 2 + 49 6 y x0 < 2 49 6. Por lo tanto, por el criterio de seleccion, las
condiciones iniciales adecuadas para este ejemplo son xc0 {x0 R : x0 > 2 + 94 6
o x0 < 2 49 6}.
El exito de la aplicaci
on del criterio para este ejemplo se muestra en la figura 4
para diversos valores de x0 .
Para los valores de x0 = 0.5, x0 = 0.8 y x0 = 3.5, figuras 4 (a), 4 (b) y 4 (h),
respectivamente, se observa que todas las races de f2 se encuentran sobre una misma
rama de la curva homot
opica y pueden ser alcanzadas rapidamente desde la condicion
inicial.
Para x0 = 1 y x0 = 1.5, figuras 4 (c) y 4 (d), respectivamente, solamente se obtiene
una raz de f2 , la cual es x = 1, mientras que las otras dos races, x = 2 y x = 3, se
encuentran en otra rama de la curva homotopica, por lo que no pueden ser alcanzadas
desde la condici
on inicial.
10

onimo y Gamaliel Bl
e Gonz
alez
Figura 3. Gr
afica de x f2 (x).
Para x0 = 2, en la figura 4 (e) se observa que el camino se bifurca en tres ramas

las cuales se dirigen hacia cada una de las races de f2 , haciendo difcil alcanzar todas
las races, ya que en la bifurcaci
on se debe escoger una rama a seguir, por lo que solo
se alcanza una raz desde la condicion inicial x0 = 2.
Por u
ltimo, para x0 = 2.5 y x0 = 3, figuras 4 (f) y 4 (g), respectivamente, solamente
se alcanza una raz de f2 , la cual es x = 3, mientras que las otras dos races, x = 1 y
x = 2, se localizan en otra rama de la curva homotopica y no pueden ser alcanzadas
desde la condici
on inicial.
En la siguiente subsecci
on presentaremos un ejemplo en el cual se aplica el criterio
de selecci
on de la condici
on inicial para resolver un sistema de ecuaciones no lineales
y mostraremos los resultados obtenidos.
3.2 Aplicaci
on del criterio a un sistema de ecuaciones
Consideremos el problema de encontrar todos los puntos crticos de la funcion de

Himmelblau
g(x) = (x21 + x2 11)2 + (x1 + x22 7)2 ,
(16)
definida en [7].
Los puntos crticos de g son las races del sistema de ecuaciones
g/x1 = 4x31 + 4x1 x2 42x1 + 2x22 14 = 0
g/x2 = 2x21 + 4x1 x2 + 4x32 26x2 22 = 0
(17)
Factorizando el sistema (17) obtenemos

f3 (x) = 2x31 + 2x1 x2 21x1 + x22 7 = 0
f4 (x) = x21 + 2x1 x2 + 2x32 13x2 11 = 0
(18)
11
Figura 4. Curvas de nivel de H(x, t) = 0 para f2 .
Lin y otros en 1987 obtuvieron todas las races reales del sistema (18), a partir de
una condici
on inicial, x10 = x20 = 0.4, usando la homotopa de Newton [6]. Nosotros
vamos a resolver el sistema (18) usando la homotopa de punto fijo.

12

onimo y Gamaliel Bl
e Gonz
alez
Aplicando el criterio de seleccion del punto de partida, dado por la ecuacion (11),
el sistema (18) se convierte en
2x31 + 2x1 x2 22x1 + x22 7 + x10 = 0
x21 + 2x1 x2 + 2x32 14x2 11 + x20 = 0
(19)
Resolviendo numericamente el sistema (19), para valores de x10 = x20 , obtenemos

que para valores de x10 = x20 21.736520 y para valores de x10 = x20 38.064263,
se obtiene el mnimo de races del sistema (19), el cual es uno. Por lo tanto, el criterio
nos dice que las condiciones iniciales sobre la diagonal de R2 , las cuales proporcionan
todas las soluciones del sistema (18), recorriendo una sola trayectoria, son las que
viven en el conjunto
{(x0 , x0 ) R2 : x0 21.736520 o x0 38.064263}.
Para ejemplificar el criterio de seleccion de la condicion inicial presentamos las curvas correspondientes a la homotopa de punto fijo con condiciones iniciales
x10 = x20 = 50. Al hacer el seguimiento de las trayectorias usando el algoritmo
hiperesferico [4], se obtienen las 9 races reales del sistema (18), y las graficas obtenidas se muestran en las figuras 5, 6 y 7. En el cuadro 1, mostramos los valores de las
soluciones correspondientes al sistema 18.
Figura 5. Gr
afica de x1 contra x2 del sistema (18).
Es importante mencionar que si se aplica la homotopa de punto fijo con condiciones iniciales que no cumplen el criterio de seleccion, entonces no se logra obtener todas
las soluciones del sistema (18). Por ejemplo, para la condicion inicial x10 = x20 = 0
solamente se obtiene una raz, la cual es x1 = 3.000002, x2 = 2.000003. Nuevamente,
este ejemplo muestra la importancia de hacer una adecuada eleccion de la condici
on inicial para encontrar todas las soluciones del sistema sobre una misma curva
homot
opica.
13
Figura 6. Curva homot

opica del sistema (18) respecto a x1 para x10 = 50.
Figura 7. Curva homot

opica del sistema (18) respecto a x2 para x20 = 50.
4. Conclusiones
Una de las ventajas que presenta el metodo homotopico de punto fijo sobre los
metodos de convergencia local es que para resolver sistemas de ecuaciones no lineales, s
olo requiere de una adecuada condicion inicial x0 para poder encontrar todas
las soluciones del sistema. Mientras que en un sistema con muchas races los otros
metodos requieren de m
as de una condicion inicial para poder encontrar todas las
soluciones. De ah la importancia del criterio antes presentado, el cual nos permite
determinar una regi
on en la cual podemos tomar la condicion inicial para el metodo
14

onimo y Gamaliel Bl
e Gonz
alez
No.
1
2
3
4
5
6
7
8
9
x1
-3.77928
-3.07303
-2.80516
0.08676
-0.27088
-0.12790
3.58441
3.38515
3.00001
x2
-3.28315
-0.08134
3.13127
2.88420
-0.92317
-1.95380
-1.84819
0.07388
2.00004
Cuadro 1. Soluciones reales del sistema (18) asociado a la funci

on (16) para x10 = x20 = 50.
homot
opico de punto fijo, garantizando que para esa condicion la curva homotopica
recorrer
a todas las soluciones.
Una desventaja que presenta este metodo es su implementacion computacional,
debido a la naturaleza de las trayectorias involucradas [8]. Por otra parte, el criterio
presentado en este trabajo tiene una desventaja debido a que en la practica, es posible
que sea mucho m
as dificil determinar la region donde se alcanza el mnimo de races
para la ecuaci
on (11) que resolver F (x) = 0.
Referencias
[1]
R. Hartshorne (1997); Algebraic Geometry. Springer-Verlag, New York, N.Y.
[2]
K. Hazaveh, D. J. Jeffrey, G. J. Reid, S. M. Watt y A. D. Wittkopf (2003); An Exploration of Homotopy Solving in Maple. Proceding, ascm2003, pp. 145-162.
[3]
M. W. Hirsch (1997); Differential Topology. Springer-Verlag.
[4]
H. Jimenez Islas (1988); Paquete Computacional para la Resoluci

on de Sistemas de
Ecuaciones Algebraicas no Lineales, mediante Homotopa con Seguimiento Hiperesferico. Tesis de Maestra en Ingeniera Qumica. Departamento de Ingeniera Qumica.
Instituto Tecnol
ogico de Celaya.
[5]
M. Kuno y J. D. Seader (1988); Computing all Real Solutions to Systems of Nonlinear

Equations with a Global Fixed-point Homotopy. Ind. Eng. Chem. Res., 27(7), pp.
1320-1329.
[6]
W. J. Lin, J. D. Seader y T. L. Wayburn (1987); Computing Multiple Solutions to

Systems of Interlinked Separation Columns. AIChE J., 33, pp. 886.
[7]
G. V. Reklaitis, A. Ravindran y K. M. Ragsdell (1983); Engineering Optimization.

Wiley, New York, pp. 69.
[8]
J. D. Seader, M. Kuno, W. J. Lins, S. A. Johnson, K. Unsworth, y J. W. Wiskin (1990);

Mapped Continuation Methods for Computing all Solutions to General Systems of
Nonlinear Equations. Computers Chem. Engng., 14(1) pp. 713-741.
[9]
L. T. Watson (1979); A Globally Convergent Algorithm for Computing Fixed-points

of C 2 Maps. Appl. Math. Comput., 5, pp. 297-311.
[10] T. L. Wayburn y J. D. Seader (1987); Homotopy Continuation Methods for Computer

Aided Process Design. Computer Chem. Engng., 11, pp. 7-25.
Din
amica de la familia logstica
Juan Jim
enez Fras
**
Universidad Ju
arez Aut
Gamaliel Bl
e Gonz
alez
***
Universidad Ju
arez Aut
En este trabajo se presenta un an

alisis de la din
amica de la familia logstica, enfocando el estudio al espacio de par
ametros donde se tiene una o
rbita atractora.
In this work an analysis of dynamics of the logistic family is presented particularly,
the parameter space where there exist an attracting periodic orbit is studied.
Palabras clave: Palabras clave: Familia Logstica, Estabilidad, Bifurcaci
on.
Keywords: Logistic Family, Stability, Bifurcation.
1. Introducci
on
En modelaci
on matem
atica uno de los modelos mas sencillos que se ha usado para el
estudio de crecimiento de una poblacion es el logstico, gracias a que siendo un modelo
polinomial de grado 2 presenta una gran variedad de comportamientos los cuales van
desde el orden hasta el caos, (vease [1]). El modelo logstico discreto esta asociado
a la familia de funciones logsticas fa : [0, 1] [0, 1] dada por fa (x) = ax(1 x)
donde x [0, 1] y a R+ .
Cuando a > 4, existe un conjunto abierto y denso de puntos cuya orbita tiende
a menos infinito, en otras palabras, casi todos los puntos tienden a menos infinito.
Por otro lado, tenemos puntos que no tienden a menos infinito como son los puntos
peri
odicos de fa , los cuales pertenecen al intervalo [0, 1]. Si tomamos todos los puntos
cuya
orbita permanece en [0, 1] obtenemos un conjunto de Cantor, cuya medida de
Lebesgue es cero para a (4, ), (vease [1]).
Si el par
ametro a es menor o igual que 4, el intervalo [0, 1] es invariante bajo fa
y por lo tanto todas las
orbitas de los puntos x [0, 1] son acotadas. Esto implica
que si la
orbita de x tiene un lmite, este pertenece al intervalo [0, 1]. Un problema
interesante es conocer todos los posibles lmites.
En este trabajo se presenta un analisis del comportamiento de las orbitas, cuando
existe un punto fijo atractor o una orbita periodica atractora. Asimismo, se explica la
bifurcaci
on que presentan las
orbitas al pasar de atractoras a repulsoras. Todo esto,
se har
a para a (0, 4].
Este artculo esta estructurado de la siguiente manera. En la segunda seccion se
* Recibido
el 14 de enero de 2008 y aceptado el 23 de marzo de 2008

an Tabasco, M
exico. A.P. 24 C.P.
onico: juanyco jf@hotmail.com
*** Direcci
an Tabasco, M
exico. A.P. 24 C.P.
onico: gble@ujat.mx
** Direcci
on

16
Juan Jim
enez Fras y Gamaliel Bl
e Gonz
alez
estudian los puntos fijos y peri

odicos de una funcion y se presentan algunas definiciones b
asicas en sistemas din
amicos, como estabilidad de puntos periodicos. En la
tercera secci
on se analiza la estabilidad de los puntos fijos de la familia logstica. En
la cuarta secci
on se presenta el fenomeno de bifurcacion doblamiento de periodo en la
familia logstica y se muestra gr
aficamente el diagrama de bifurcacion. Por u
ltimo, en
la quinta secci
on se presenta la importancia que juega el punto crtico en el estudio
de los sistemas din
amicos discretos.
2. Puntos Peri
odicos
En esta secci
on consideremos f : X X una funcion continua de un espacio
metrico X en si mismo. Supongamos que X es el conjunto de condiciones iniciales
del sistema, si tomamos x en X, entonces f (x) representa la evolucion del estado
x en una unidad de tiempo, entonces estamos interesados en conocer la evolucion
del sistema al paso del tiempo. Por ejemplo, si x representa la cantidad inicial de
individuos de una poblaci
on y f (x) la poblacion despues de una unidad de tiempo,
entonces la sucesi
on {f n (x)} es el n
umero de individuos que la poblacion tiene al
tiempo n, dado que inicialmente tenia x. Una pregunta interesante es: Que ocurre
con la poblaci
on cuando dejamos correr el tiempo? Es decir, si
f n (x) = f f . . . f (x)
Cu
al es el lmite de la sucesi
on {f n (x)} cuando n tiende al infinito?.
Observemos que si este lmite existe y es L entonces como f es continua,
f (L) = f ( lm f n (x))
n
= lm f (f n (x))
n
= lm f n+1 (x)
n
= L.
Por lo tanto, L es un punto fijo. Esto nos lleva a estudiar con detalles los puntos fijos
y posteriormente los puntos periodicos de f si tomamos subsucesiones convergentes
de {f n (x)}, (vease [5]).
2.1. Se dice que x X es un punto fijo de f si f (x) = x, y x es un punto
peri
odico de f de periodo k si f k (x) = x, y f j (x) 6= x para 0 < j < k.
Definici
on
2.2. Para x0 X, la
orbita de x0 bajo f es el conjunto
Of (x0 ) = {x0 , f (x0 ), f 2 (x0 ), ...}.
Definici
on
Observe que la
orbita de un punto periodico x de f de periodo k, tambien llamado
punto k peri
odico, tiene k elementos y se le llama k ciclo o ciclo de periodo k.
1. Los puntos fijos de la funci
on logstica fa (x) = ax(1 x) son las solucioltimo lo denotaremos
nes de fa (x) = x. Las cuales son x1 = 0 y x2 = 1 1a . A este u
por pa .
Ejemplo

Din
17
Consideremos ahora la clasificacion de los puntos periodicos.

Definici
on 2.3. Sea X R, f : X X una funci
on de clase C 1 y x0 un punto
k peri
odico de f . Entonces
1. El punto x0 es atractor(estable) si Df k (x0 ) < 1.
2. El punto x0 es repulsor(inestable) si Df k (x0 ) > 1.
3. El punto x0 es neutral o indiferente si Df k (x0 ) = 1.
Aqu D denota la derivada de f .

Si f k (x0 ) = x0 y xi = f i (x0 ) con i = 1, 2, . . . , k 1, por la regla de la cadena para
derivada
k1
Y
d k
f (x0 ) = f 0 (f k1 (x0 )) . . . f 0 (f (x0 ))f 0 (x0 ) =
f 0 (xi ).
dx
i=0
Esto implica que Df k (xi ) = Df k (x0 ) para toda xi que pertenece al ciclo periodico
= {x0 , x1, x2 , ..., xk1 }, por lo que la derivada
no depende del punto

del ciclo y se
dice que el ciclo es atractor si Df k (xi ) < 1 y repulsor si Df k (xi ) > 1 para alg
un
i = 0, 1, . . . , k 1.
2. El punto fijo pa de fa es atractor cuando 1 < a < 3 ya que fa0 (pa ) = 2a,
es repulsor cuando a > 3 e indiferente cuando a = 1 o a = 3.
Ejemplo
Ejemplo
3. Sea f (x) = x3 , los puntos fijos de f son: 0 y 1. Por otro lado
f (x) = 3x2 , como f 0 (0) = 0, tenemos que 0 es atractor. Ademas f 0 (1) = 3, as concluimos que f tiene dos puntos fijos repulsores 1 y -1.
En la siguiente secci
on mostraremos porque se les da el nombre de atractor o
repulsor.
3. Estabilidad de Puntos Fijos
Como vimos en el ejemplo 1 los puntos fijos de la funcion logstica fa (x) = ax(1x)
son: x1 = 0 y pa = 1 1a , por otro lado, el punto fijo 0 es atractor para 0 < a < 1 y
repulsor para a > 1.
Proposici
on
3.1.
Si 0 < a < 1 entonces lmn fan (x) = 0 para toda x [0, 1].
Demostraci
on. Sea x0 [0, 21 ]. Como a < 1, fa (x) < x y cuando x [0, 21 ] fa (x) es
creciente, por consiguiente tenemos la sucesion
fan (x0 ) < fan1 (x0 ) < < fa (x0 ) < x0 .

18
Juan Jim
e Gonz
alez
Esta sucesi
on xn = fan (x0 ) es decreciente y esta acotada inferiormente por 0. Por
lo tanto, converge y como vimos al principio de la seccion 2 el lmite debe ser un
punto fijo de fa (x). Como el u
nico punto fijo es 0 para 0 < a < 1 se tiene
lm fan (x0 ) = 0.
Si x0 [ 12 , 1] entonces fa (x0 ) [0, 12 ] y por lo anterior se tiene lmn fan (x0 ) = 0

(vease figura 1).
Figura 1. Gr
afica de fa (x) con 0 < a < 1.
Proposici
on
3.2.
Si 1 < a < 3 entonces lmn fan (x) = pa para toda x (0, 1).
Demostraci
on. Consideremos 1 < a 2 entonces 0 < pa 21 . La funcion fa (x)
tiene un m
aximo global en 21 y fa ( 21 ) = 4a 12 . Ademas, la funcion fa es creciente en
(0, pa ) (vease figura 2).
Figura 2. Gr
afica de fa (x) con 1 < a 2 y las iteradas de x0 (0, pa ).
As para x0 (0, pa ) tenemos que x0 < fa (x0 ), por consiguiente,

x0 < fa (x0 ) < fa2 (x0 ) <
Din
19
Esta
es una sucesi
on creciente y acotada por 1, por lo tanto
lm fan (x0 ) = pa .
on fa es creciente y x0 > fa (x0 ). Entonces la sucesion fan (x0 )

Si x0 (pa , 12 ) la funci
es decreciente y acotada por cero. Por lo tanto converge a pa (vease figura 3).
Figura 3. Gr
afica de fa (x) con 1 < a 2 y las iteradas de x0 (pa , 1/2).
Si x0 ( 21 , 1) entonces fa (x0 ) (0, 12 ) (vease figura 4) y en consecuencia

lm fan (x0 ) = pa .
Figura 4. Gr
afica de fa (x) con 1 < a 2 y las iteradas de x0 (1/2, 1).
Ahora supongamos que 2 < a < 3 entonces 12 < pa y fa (x0 ) > x0 para toda
x0 (0, 12 ) (vease la figura 5). En este caso la prueba la dividiremos en cuatro
incisos:
(i) Consideremos el intervalo [ 12 , pa ] y mostremos que es invariante por fa2 . Como fa2
es mon
otona en [ 12 , pa ] para encontrar la imagen del intervalo es suficiente determinar
las iteradas en los puntos extremos:
1
a
a
a
fa2 ([ , pa ]) = fa ([pa , ]) = [a( )(1 ), pa ].
2
4
4
4
20
Juan Jim
e Gonz
alez
Figura 5. Gr
aficas de fa (x) y fa2 (x) con 2 < a < 3 y las iteradas de x0 (0, 1/2).
Como queremos mostrar que fa2 ([ 21 , pa ]) [ 12 , pa ], basta mostrar que a( 4a )(1 4a ) > 12 ,
esto es equivalente a
0 > a3 4a2 + 8 = (a 2)(a2 2a 4).
Como las races de a2 2a 4 son 1 5, el segundo factor es negativo para a < 3 y

el factor (a 2) es positivo (porque a > 2), as el producto es negativo. Por lo tanto,
fa2 ( 12 ) = a( 4a )(1 4a ) > 12 y f 2 ([ 21 , pa ]) [ 21 , pa ]. Como fa2 ( 12 ) esta por encima de la
a por encima de la diagonal y x0 < fa2 (x0 ) < pa para
diagonal, se sigue que fa2 (x0 ) est
1
on creciente y por lo tanto lmn fan (x0 ) = pa
2 < x0 < pa . Esto genera una sucesi
1
para toda x0 [ 2 , pa ].
(ii) Si pba = 1a < 1/2 entonces fa (b
pa ) = pa , fa ([b
pa , 12 ]) = fa ([ 12 , pa ]), y
1
1
[ 2 , pa ]. As, todos los puntos en [b
pa , 2 ] convergen a pa .
fa2 ([b
pa , 12 ])
(iii) Ahora si consideramos x0 < pba . La funcion fa es monotona creciente en este

intervalo, entonces existe k > 0 tal que fak (x) [b
pa , pa ]. Por lo tanto fak+n (x) pa
cuando n .
(iv) Finalmente si consideramos pa < x0 < 1 entonces fa (x0 ) (0, pa ) y por (i),
(ii) y(iii), las iteradas de fa (x0 ) convergen a pa .
Para valores de a > 3, ambos puntos fijos son repulsores por lo que la pregunta
natural es, si existen puntos peri
odicos atractores de periodo mayor o igual a 2, esto
lo analizaremos en la siguiente seccion.

Din
21
4. Bifurcaci
on
Para hallar una

orbita de periodo 2 es necesario resolver la ecuacion f 2 (x) = x, la
cual nos da una ecuaci
on de grado 4
a3 x4 + 2a3 x3 a2 (a + 1)x2 + a2 x = x,
la soluci
on a esta ecuaci
on es
p
p
(a + 1) (a 3)(a + 1)
(a + 1) + (a 3)(a + 1)
x1 =
y x2 =
.
2a
2a
As, fa tiene una o
rbita de periodo 2 tambien llamada 2-ciclo cuando
(a 3)(a + 1) > 0, esto es si
1. (a 3) > 0 y (a + 1) > 0 o
2. (a 3) < 0 y (a + 1) < 0.
En el caso 1 tenemos que a > 3. El caso 2 no tiene sentido porque solo estamos
considerando a > 0. Por lo tanto fa tiene un 2-ciclo siempre que a > 3. Para ver la
estabilidad del 2-ciclo {x1 , x2 } verificamos
2
Df (x1 ) < 1.
Esto es
|Df (x1 )Df (x2 )| < 1.
Luego, tenemos que 1 < a2 (1 2x

1 )(1 2x2 ) < 1, de donde se obtiene que el
2-ciclo es atractor para 3 < a < 1 + 6. Este intervalo corresponde al conjunto de
par
ametros donde fa tiene una
orbita atractora de periodo 2 y se le llama ventana
de periodo dos. De igual manera que en la proposicion 3.2 se puede mostrar que salvo
pa y la frontera del intervalo(0, 1) las iteradas de los puntos converge a este 2-ciclo
atractor. Cuando a = 1+ 6, Df (x1 )Df (x2 ) = 1 por lo que se tiene un ciclo
indiferente y si a > 1 + 6 entonces el 2-ciclo {x1 , x2 } es repulsor.
Hasta ahora tenemos que el punto fijo pa es atractor cuando 1 < a < 3, y pierde
su estabilidad cuando a > a1 = 3. Despu
es de este valor, aparece un 2-ciclo el cuales
atractor para cuando 3 < a < 1 + 6 y pierde su

estabilidad para a > a2 = 1 + 6.
El fen
omeno observado en a1 = 3 y a2 = 1 + 6 se le llama
bifurcacion y en este
caso es del tipo doblamiento de periodo. As, apartir de 1 + 6 se tiene un intervalo
de par
ametros en los cuales fa tiene una orbita atractora de periodo 4.
Para encontrar la
orbita de periodo 4 tambien llamada 22 -ciclo debemos de resolver
la ecuaci
on
f 4 (x) = x,
lo cual implica resolver una ecuacion de grado doce, que no es posible resolver con
2
radicales. Por lo tanto, hacemos uso del analisis num
erico para encontrar el 2 -ciclo.
2
Resulta
que
el
2
-ciclo
aparece
cuando
a
>
a
=
1+
6
y
e
ste
es
atractor
para
cuando
2
1 + 6 < a < 3,54409 y pierde estabilidad para a > a3 = 3,54409.... Nuevamente,

22
Juan Jim
e Gonz
alez
n
1
2
3
4
5
6
7
an
3
3,449489 . . .
3,544090 . . .
3,564407 . . .
3,568759 . . .
3,569692 . . .
3,569891 . . .
an an1
0,449489 . . .
0,094601 . . .
0,020317 . . .
0,0043521 . . .
0,00093219 . . .
0,00019964 . . .
n =
an an1
an+1 an
4,751419 . . .
4,656248 . . .
4,668321 . . .
4,668683 . . .
4,669354 . . .
Cuadro 1. Constante de Feigenbaum.
este proceso se repite y para a > a3 , el 22 -ciclo se bifurca en un ciclo de periodo

ocho atractor. De esta manera se obtiene una sucesion de parametros {an } los cuales
delimitan el intervalo de par
ametros donde se tiene una orbita atractora de periodo
2n . Es importante observar que estas orbitas aparecen como atractoras y se convierten
en repulsoras. Adem
as, se puede demostrar que para a > 4 todas las orbitas periodicas
son repulsoras y que de hecho forman un conjunto de Cantor en [0, 1] (ver [1], [2]).
En el cuadro 1 se muestran los primeros resultados de esta sucesion.
Al respecto, podemos hacer las siguientes observaciones:
1. La sucesi
on {an } tiene un lmite ya que es una sucesi
on creciente y acotada por 4.
Este lmite es a 3,8145.
2. El tama
no de ventanas (an an1 ) se va reduciendo cada vez m
as y eventualmente se
aproxima a cero.
a a
n1
3. Se genera una sucesi
on n = ann+1 a
que converge a una constante universal, v
alida
n
para una familia m
as general conocida como funciones unimodales, ver [4]. El lmite
de esta sucesi
on es llamado constante de Feigenbaum en honor a su descubridor y
es aproxi- madamente
= lm n 4,669201609 . . . .
Podemos representar lo anterior en una grafica llamada diagrama de bifurcaci

on, el cual en el eje horizontal presenta al parametro a y en el eje vertical presenta
las iteradas fan (x0 ) cuando n de un punto inicial especfico x0 , de tal forma que
el diagrama muestra la conducta lmite de la orbita de x0 . En todos los casos, en la
figura 6 se parte del mismo valor inicial x0 = 21 que es el punto crtico de fa .
Observemos que excepto por las ventanas de periodo 2n , la mas grande en el
diagrama de bifurcaci
on ocurre para los valores de a entre 3,828 y 3,857. Esta ventana
corresponde a los par
ametros donde fa tiene un punto periodico atractor de periodo 3
y la mostramos en la figura 7. En ese
intervalo aparece una orbita de periodo 3 estable
la cual esta alrededor de a = 1 + 8 3,828. Este 3-ciclo pierde su estabilidad y da
origen a un 6-ciclo estable. El doblamiento de periodo contin
ua hasta a 3,8415 . . .
(correspondiente a a ) y por el teorema de Sarkovskii (vease [1],[3]) apartir de este
par
ametro se tienen
orbitas de todos los periodos y es posible obtener caos. As que
para a > 3,8415 se observa una region negra porque el diagrama indica que las orbitas
atractoras que se tienen son de periodo muy grande o no existen y en cuyo caso se
tiene caos.
Din
23
Figura 6. Diagrama de Bifurcaci

on.
Figura 7. Ventana de periodo 3.
5. Rol del Punto Crtico
El diagrama de bifurcaci
on que mostramos en la seccion anterior fue hecho con la
rbita del punto crtico de fa , por lo que en esta seccion explicaremos la importancia
o
de la
orbita del punto crtico en la dinamica global de fa . En particular, en esta
secci
on mostraremos que si fa tiene una orbita atractora, la orbita del punto crtico,
siempre converge a ella.
Definici
on
5.1. Sea f : I R I una funci

on de clase C3 (I) y sea x un punto no
singular de f . La derivada Schwarziana de f se define como

Sf (x) =
Definici
on
f 000 (x) 3 f 00 (x) 2

[ 0
] .
f 0 (x)
2 f (x)
(1)
5.2. Sea C(f ) = {x I : f 0 (x) = 0} el conjunto de puntos crticos de f ,
decimos que f tiene derivada Schwarziana negativa si:

1. Sf (x) < 0, x
/ C(f ).
24
Juan Jim
e Gonz
alez
2. lmxx0 Sf (x) = , x0 C(f ).

Ejemplo
4. Tomemos I = [0, 1] y fa (x) = ax(1 x) entonces,
Sfa (x) =
para todo x I r { 21 } y
6
<0
(1 2x)2
lm Sfa (x) = .
x 21
Por lo tanto, fa tiene derivada Schwarziana negativa.

5.1. (Regla de la cadena para derivadas schwarzianas). Suponga que F y
G son funciones de clase C3 . Entonces
Teorema
S(F G)(x) = SF (G(x)) (G0 (x))2 + SG(x).

Demostraci
on. Usando la regla de la cadena para derivadas ordinarias, tenemos
(F G)0 (x) = F 0 (G(x)) G0 (x)
(F G)00 (x) = F 00 (G(x)) (G0 (x))2 + F 0 (G(x)) G00 (x).
Diferenciando una vez m
as
(F G)000 (x) = F 000 (G(x)) (G0 (x))3 + 3F 00 (G(x)) G00 (x) G0 (x)
+F 0 (G(x)) G000 (x).
Sustituyendo las expresiones anteriores en la expresion 1 obtenemos el resultado
deseado.
5.1. Suponga que SF < 0 y SG < 0. Entonces S(F G) < 0. En particular, si SF < 0, entonces SF n < 0.
Corolario
Demostraci
on. S(F G)(x) = SF (G(x)) (G0 (x))2 + SG(x) < 0.
5.3. (Conjunto Estable). Sea x un punto fijo atractor de f . El dominio
de atracci
on de x es el conjunto
Definici
on
Af (x ) = {x : lm f n (x) = x }.
n
El conjunto estable (tambien llamado cuenca inmediata de atraccion) Af (x ), es la

componente conexa de Af (x ) que contiene a x .
Los conjuntos estables para puntos k peri
odicos atractores se definen usando a
f k en vez de f . Por definici
on, los puntos k peri
odicos atractores siempre tienen
dominios inmediatos de atracci
on, diferentes del vaco.
Ejemplo 5.
1. La funci
on f (x) = x2 tiene un punto fijo atractor x = 0 y la cuenca
inmediata de x es el intervalo (-1,1).

Din
25
2. La funci
on fa (x) = ax(1 x) tiene un punto fijo atractor pa = 1
y Afa (pa ) = (0, 1).
Teorema
1
a
cuando a (1, 3)
5.2. Si Sf < 0 y x es un punto k peri

odico atractor para f , entonces
se cumple una y s
olo una de las siguientes afirmaciones.
1. El dominio inmediato de atracci
on de x se extiende a + o o
2. Existe un punto crtico c de f tal que c Af (x ). Es decir, la o

rbita de c converge a
x .
La demostraci
on de este teorema puede ser revisada en [1].
En el caso logstico se puede ver que si |x| > 1, la orbita de x se va a menos
infinito. Por lo tanto, ninguna cuenca inmediata de atraccion se extiende a . Ya
que 12 es el u
nico punto crtico para fa , se sigue del teorema que fa tiene a lo mas un
ciclo atractor y que si existe una orbita atractora entonces 21 pertenece a la cuenca
inmediata de atracci
on de esta
orbita periodica. Por esta razon, en la familia logstica
basta con iterar el punto crtico para encontrar la orbita atractora.
En general, el tener una derivada Schwarziana negativa limita severamente los
tipos de din
amicas que pueden ocurrir, ya que para funciones f definidas en intervalos
acotados y con Sf < 0 cada
orbita periodica atractora de f debe atraer al menos un
punto crtico de la funcion f .
Referencias
[1] Robert L. Devaney (1992). A first course in chaotic dynamical sistems, Adison-Wesley.
[2] Richard A. Holmgren (1996). A first course in discrete dynamical sistems, SpringerVerlag.
[3] S. N. Elaydi (2000). Discrete chaos, Chapman and Hall, CRC Press.
[4] C. Robinson (1998). Dynamical Systems, Stability, Simbolic Dynamics and Chaos, CRC
Press.
[5] G. Ble Gonz
ales (2002). Conjuntos de Julia y Conjunto de Mandelbrot, Revista de
Ciencias B
asicas, UJAT, no. 1, pp. 23-30.

Seguimiento de curvas homot

opicas
Mario Alberto Soler L
opez
Universidad Ju
arez Aut
Juan Barajas Fern

andez
**
Universidad Ju
arez Aut
onoma de Tabasco, DAIA
En este trabajo se analiza un metodo para dar seguimiento a trayectorias en el espacio, conocido como metodo hiperesferico. En particular, este metodo permite resolver
sistemas no lineales, usando un metodo homot
opico.
In this paper we analize a method for following trajectories in a three dimensional
space. This method is known as the hiperspherical method. In particular, with this
method the non linear equations system can be solved using a homotopy method.
Palabras clave: Sistemas de Ecuaciones no Lineales, Metodos Homot
opicos, Metodo
Hiperesferico.
Keywords: Nonlinear Equations System, Homotopy Method, Hiperspherical Method.
1. Introducci
on
Cuando se quiere resolver sistemas de ecuaciones no lineales de la forma

F (x) = 0
(1)
donde F : Rn Rn , se usan por lo general metodos de convergencia local como

el metodo de Newton. Sin embargo, con estos metodos es difcil obtenerlas cuando
el sistema tiene m
ultiples soluciones debido a que cada una de ellas depende de una
condici
on inicial. Adem
as, si se ha encontrado una solucion del sistema, estos metodos
no proporcionan informaci
on sobre la existencia y localizacion de las otras soluciones. En los u
ltimos a
nos se han utilizado para resolver estos sistemas, los metodos de
continuaci
on homot
opica, [1].
Estos metodos consisten en modificar el sistema (1), definiendo
H(x, t) = tF (x) + (1 t)G(x),
(2)
usando una funci

on G : Rn Rn con las mismas caractersticas que F solo que sus
soluciones son conocidas. La finalidad de introducir la nueva variable t para resolver
el sistema (1) es que las soluciones conocidas del sistema G(x) = 0 nos lleven a las
soluciones de F (x) = 0 recorriendo el conjunto de trayectorias homotopicas que viven
en H 1 (0), [2].
* Direcci
an Tabasco, M
exico. A.P. 24 C.P.
onico: mayito soler18@hotmail.com
** Direcci
an Tabasco, M
exico. A.P. 24 C.P.
86690. Tel.(01)914 336-0940. Correo electr
onico:jbarajasf@yahoo.com


opicas
27
El lector puede observar claramente la siguientes igualdades:

H(x, 0) = G(x),
H(x, 1) = F (x),
(3)
podemos notar que si H es continua entonces al recorrer la curva homotopica H(x, t)

desde t = 0 hasta t = 1 encontraremos una solucion del sistema original. De hecho,
todas las soluciones de (1) viven en la superficie de nivel H(x, t) = 0 y corresponden
a t = 1.
Para dar seguimiento a las curvas de nivel de H se han desarrollados diversos
algoritmos de predicci
on-correccion, [2]. En este trabajo explicaremos con detalle el
algoritmo hiperesferico presentado en el trabajo de Jimenez Islas, [3].
2. Algoritmo hiperesf
erico tridimensional
El algoritmo de seguimiento hiperesferico consiste en recorrer la trayectoria homot

opica mediante esferas. En esta seccion consideramos el sistema (2) con x R2 y
t R. As las curvas de nivel de H(x, t) = 0 viven en R3 .
Para poder efectuar con eficiencia el seguimiento de tal curva homotopica mediante este algoritmo, es necesario predecir el lugar geometrico que ocupa esta. Para ello
se usan los vectores tangentes que se obtienen del sistema de ecuaciones no lineales a
resolver.
Para generar los vectores tangentes necesarios para predecir la trayectoria del camino homot
opico, supongamos que las curvas estan parametrizadas por el parametro
p, es decir,
H[x(p), t(p)] = H[x1 (p), x2 (p), t(p)] = 0.
(4)
Si agrupamos el vector x y el escalar t en un vector auxiliar y tenemos:
H(y(p)) = 0 y(p) H 1 (0).
Esta equivalencia nos afirma que las soluciones de nuestro sistema original viven
en la curva homot
opica H 1 (0) que queremos seguir mediante un algoritmo hiperesferico y que corresponden a t = 1.
Si derivamos la ecuaci
on (4) con respecto a p, empleando la regla de la cadena
obtenemos:
H
H
H
t = 0,
(5)
x 1 +
x 2 +
x1
x2
t
donde x i denota la derivada de xi con respecto a p para i = 1, 2 y de igual manera
para t.

28

opez y Juan Barajas Fern
andez
Sea H = (H1 , H2 ). As, la matriz jacobiana de H denotada por D es
H1 H1 H1
x1
x2
t
D=
.
H
H2 H2
2
x1
x2
t
Denotemos por Di a la matriz de 2 2 que
i de la matriz D, donde i = 1, 2, 3; es decir,
H1 H1
H1
x2
x1
D1 =
D2 =
H
H
H2
2
2
x2
t
x1
se ha obtenido de eliminar la columna
H1
H1
t
x1
D3 =
H
H2
2
t
x1
H1
x2
H2
x2
Habiendo introducido esta notacion, el sistema (5) se puede reescribir de la siguiente forma
D y T = 0
(6)
Pero esta ecuaci
on, es equivalente a
D3 x T = HtT t
donde x = (x 1 , x 2 ) y Ht = (
(7)
H1 H2
,
).
t
t
En este trabajo se supone que D tiene rango 2 y por lo tanto existe i 1, 2, 3 tal
que det Di 6= 0. Supongamos que la matriz D3 es la que tiene rango 2, es decir; que
el determinante de D3 es distinto de cero, entonces podemos resolver el sistema (7)
para x 1 y x 2 .
Resolviendo el sistema (7) por la regla de Cramer y al hacer una permutacion de
columnas se obtiene:
x 1 = (1)(1)
det D1
t
det D3
x 2 = (1)
det D2
t
det D3
Ya que el sistema (7) que se resolvio es de dos ecuaciones con tres incognitas,
tenemos un grado de libertad y podemos tomar
t = (1) det D3 ,
(8)
para eliminar el determinante que se encuentra en el denominador de x 1 y x 2 .

As se obtiene:
x 1
x 2
t
=
=
=
det D1
det D2
det D3 .

(9)

opicas
29
En caso que el determinante de D3 es cero, se puede resolver el sistema (6) en

terminos de x 1 y t y se llega al mismo sistema (9).
El haber introducido la nueva notacion nos lleva a generalizar facilmente el metodo
para H : Rn+1 Rn en cuyo caso se tienen n ecuaciones y (n + 1) incognitas. As las
soluciones para el caso en que det D(n+1) 6= 0 son:
y i = (1)i det Di
t = (1)n+1 det D(n+1)
(10)
donde i = 1, . . . n.
La ecuaci
on (9) como la ecuacion (10) para el caso de n + 1 variables nos proporciona las pendientes del camino homotopico, por lo que para hacer el seguimiento
ser
a necesario resolver numericamente este sistema de ecuaciones diferenciales ordinarias. Para seguir las trayectorias homotopicas representadas en las soluciones de (9)
con la finalidad de acotar esta region de interes usaremos un metodo de prediccioncorreccion; donde para predecir se usa el metodo de Euler y para corregir el metodo
cl
asico de Newton.
El algoritmo de seguimiento para el caso de tres dimensiones consiste en:
1. El sistema
f1 (x1 , x2 ) =
f2 (x1 , x2 ) =
0,
se transforma en:
H1 (x1 , x2 , t) = tf1 + (1 t)g1
H2 (x1 , x2 , t) = tf2 + (1 t)g2
donde G = (g1 , g2 ) es una funci
on de R2 en R2 con soluciones conocidas. Vamos a
0
0
suponer que x0 = (x1 , x2 ) es la soluci
on de G, es decir G(x0 ) = 0.
2. Se fija r > 0 y se toma la esfera con centro en x0 = (x0 , 0) y radio r(ver figura 1).
Figura 1. Representaci
on del seguimiento hiperesf
erico.

30

andez
3. Usando la ecuaci
on (9) se calculan los vectores tangentes correspondientes a x0 . El
vector tangente a H 1 (0) en x0 se elige de tal manera que intersecte la superficie
de la esfera de radio r en el punto xp (ver figura 1). Este punto xp = (xp1 , xp2 , tp ) se
calcula efectuando la predicci
on de Euler usando los vectores pendiente calculados
anteriormente mediante:
xp1 = x01 + p x 1
xp2 = x02 + p x 2
tp = t0 + p t
(11)
donde el paso p de la ecuaci

on anterior se elige de tal manera que el vector xp sea
la intersecci
on del vector pendiente con la esfera de radio r. Resolviendo la ecuaci
on
de la esfera se obtiene
r
p =
.
(12)
2 ]1/2
[(x 1 )2 + (x 2 )2 + (t)
El signo se toma seg
un la direcci
on en la que se hace el seguimiento de la trayectoria
homot
opica, () si es a la izquierda de 0 o
(+) si el recorrido ser
a hacia la derecha de 0.
4. Los valores obtenidos en la predicci
on de Euler se toman como condici
on inicial en la
soluci
on del siguiente sistema usando el metodo de correcci
on de Newton,
tF (x1 , x2 ) + (1 t)G(x1 , x2 ) = 0
[x1
x01 ]2
+ [x2 x02 ]2 + [t t0 ]2 r2 = 0.
(13)
La soluci
on de este sistema la denotamos por xc = (xc1 , xc2 , tc ) y es la intersecci
on de
la esfera con la curva H 1 (0) como se observa en la figura 1.
5. El punto de intersecci
on entre la esfera y la curva homot
opica xc = (xc1 , xc2 , tc ) obtenido
por la aproximaci
on de Newton se convierte en el nuevo centro de la siguiente esfera
y regresamos al paso (3) y (4), los cuales se repiten sucesivamente hasta alcanzar t = 1.
El conjunto de puntos de interseccion entre las esferas y el conjunto de nivel H 1 (0)

constituyen la trayectoria homotopica buscada. Si la homotopa es de dimension superior n 3, lo que se toman son hiperesferas.
La ultima igualdad en (9) es de gran utilidad para evaluar el comportamiento del
camino homot
opico; si la pendiente t cambia de signo pasando por cero, entonces
la curva homot
opica presenta un retorno; mientras que si el valor absoluto de t
es muy grande, se puede afirmar con un alto grado de confiabilidad, que el camino
homot
opico ya no presentar
a retornos y en consecuencia, se puede dar por terminado
el seguimiento en esa direcci
on, [3].
3. Aplicaci
on del algoritmo hiperesf
erico
Para entender el algoritmo vamos a resolver el siguiente sistema de 2 ecuaciones

no lineales de grado tres, [4],
f1 (x, y) = 2x3 + 2xy 22x + y 2 + 13
f2 (x, y) = x2 + 2xy + 2y 3 14y + 9
(14)

opicas
31
Al aplicar una homotopa con G(x, y) = (x 100, y 100) obtenemos el siguiente

sistema de dos ecuaciones con tres variables x, y y t,
H1 (x, y, t) = t(2x3 + 2xy 22x + y 2 + 13) + (1 t)(x 100)
H2 (x, y, t) = t(x2 + 2xy + 2y 3 14y + 9) + (1 t)(y 100)
(15)
Cuando se toma G(x) = x x0 con x y x0 en Rn la homotopa recibe el nombre

de punto fijo y la solucion de dicha funcion G es trivial, [5].
Derivando con respecto a p el sistema (15) obtenemos:
(6tx2 + 2ty 23t + 1)x + 2t(x + y)y + (2x3 + 2xy + y 2 23x + 113)t = 0
2t(x + y)x + (6ty 2 + 2tx 15t + 1)y + (x2 + 2xy + 2y 3 15y + 109)t = 0
Resolviendo obtenemos las expresiones para obtener x , y y t:

2t(x + y)
(2x3 + 2xy + y 2 23x + 113)

x =

(6ty 2 + 2tx 15t + 1) (x2 + 2xy + 2y 3 15y + 109)
y =

(6tx2 + 2ty 23t + 1)

2t(x + y)

(6tx2 + 2ty 23t + 1)

t =

2t(x + y)

(2x3 + 2xy 23x + y 2 + 113)

(x2 + 2xy + 2y 3 15y + 109)
(16)

2
(6ty + 2tx 15t + 1)
2t(x + y)
Observemos que el punto (100, 100, 0) pertenece al conjunto de nivel H(x, y, t) = 0

por lo que aplicaremos el metodo tomando este punto de partida.
Si tomamos r = 0.1 y aplicamos el algoritmo anterior entonces la primera predicci
on de Euler xp dada por la ecuacion (11) es
xp = (99,92930319894375, 99,92927544754180, 0,3486357028791475 107 ).
Al aplicar el metodo de Newton para hacer la correccion de este ultimo valor se
obtiene
xc = (99,92930318948802, 99,92927545699382, 3,493730840582393 108 ).
El vector xc se convierte en el nuevo centro de la siguiente esfera y as el proceso
de predecir con Euler y corregir con Newton se continua haciendo para recorrer la
curva desde t = 0 hasta encontrar la primera solucion que se obtiene al pasar por
t = 1. Despues de haber encontrado la primera solucion se sigue recorriendo la curva
con el mismo proceso hasta encontrar las otras soluciones.

32

andez
Despues de haber corregido con Newton un n

umero finito de veces como el usuario considere necesario, se realiz
o el seguimiento la curva homotopica que pasa por
(100, 100, 0) usando el algoritmo hiperesferico y se obtuvieron las siguientes 7 raices
reales,
No. Soluci
on
1
2
3
4
5
6
7
x
3.253305670129768
0.7931824910824200
0.7122314565168610
0.9875068601154065
-3.369447483344526
-3.453644608132328
-4.255478510092482
y
-2.712294810120195
-2.813810636673679
0.8552479078703125
1.800889795181402
2.514273157010332
1.144567361893087
-3.844649614454849
Cuadro 1. Soluciones reales del sistema (14)
Las figuras (2) y (3) muestran las graficas de las curvas que corresponden a y = 0
y x = 0 respectivamente.
Figura 2. Seguimiento de la trayectoria H 1 (0) cuando y = 0.
Figura 3. Seguimiento de la trayectoria H 1 (0) cuando x = 0.


opicas
33
Otro ejemplo al cual le aplicamos el algoritmo es el siguiente sistema de grado dos

el cual tiene cuatro raices como se muestra en la figura (4),
f (x, y) = x2 y 2 1
g(x, y) = x2 y 2
(17)
Figura 4. Gr
afica de f (x, y) y g(x, y).
Las soluciones aproximadas del sistema (17) y calculadas mediante el algoritmo

hiperesferico tomando la homotopa de punto fijo son las siguientes:
No. Soluci
on
1
2
3
4
x
-0.7074899784504700
0.7100363911759170
0.7085840795583560
-0.7101147160635320
y
0.7071095302807450
0.7071066884024165
-0.7070962150622885
-0.7071068749818655
Cuadro 2. Soluciones aproximadas del sistema (17)
Las figuras (5) y (6) muestran las graficas de las curvas que corresponden a y = 0
y x = 0 respectivamente.
Figura 5. Seguimiento de la trayectoria H 1 (0) cuando y = 0.

34

andez
Figura 6. Seguimiento de la trayectoria H 1 (0) cuando x = 0.
4. Conclusiones
Los sistemas de ecuaciones no lineales de segundo grado pueden ser resueltos por
los metodos de continuaci
on homotopica. En especial, cuando se toma la homotopa
de punto fijo resulta muy interesante el hecho de que en muchos sistemas con una
sola condici
on inicial se puede encontrar todas las soluciones reales. Es importante
mencionar que al aplicar el algoritmo de seguimiento se deben tomar varias consideraciones, una de ellas es el radio de la esfera ya que la curva homotopica puede
avanzar muy lentamente hacia t = 1 y entonces se debe tomar un radio mas grande,
tambien se debe tomar en cuenta que el usuario debe de fijar el n
umero de esferas con
la que espera recorrer la trayectoria y encontrar todas las soluciones. Si esto u
ltimo
no pasa, entonces se debe incrementar el n
umero de esferas tomando en cuenta que
la memoria de la PC puede saturarse.
Referencias
[1]
T.L. Wayburn y J.D. Seader (1987); Homotopy continuation methods for computer
aided process design. Computer Chem. Engng., 11, pp. 7-25.
[2]
K. Hazaveh, D. J. Jeffrey, G. J. Reid, S. M. Watt, A. D. Wittkopf (2003); An exploration of homotopy solving in maple. WSPC/Trim Size: 9in x 6in for proceedings,
ascm 2003, pp. 145-162.
[3]
H. Jimenez-Islas (1996), SEHPE: Programa para la soluci

on de sistemas de ecuaciones no lineales mediante metodo homot
opico con seguimiento hiperesferico. Avances
en Ing. Quim., 6, (2), pp.174-179.
[4]
M. Kuno y J.D. Seader (1988); Computing all real solutions to systems of nonlinear
equations with a global fixed-point homotopy. Ind. Eng. Chem. Res., Vol. 27, No.
7, pp. 1320-1329.
[5]
J. Lee y H.D. Chiang (2001); Constructive homotopy methods for finding all or multiple DC operating points of nonlinear circuits and systems, IEEE Trans. Circuits
Syst. I, 48, 1, pp. 35-50.


Gerardo Delgadillo Pi
n
on
Universidad Ju
arez Aut
Miguel L
opez De Luna
Universidad Aut
onoma de la Ciudad de Mexico
Demostramos que la flecha de Sorgenfrey y el conjunto de Cantor son espacios de

Baire, cuando son considerados como subespacios de R. Tambien probamos que si el
conjunto de Cantor posee la topologa heredada de la flecha de Sorgenfrey, entonces
no es un espacio de Baire. De la definici
on de espacio de Baire y del teorema de Baire,
verificamos la existencia de funciones continuas y no diferenciables en [0, 1].
We prove that Sorgenfreys arrow and Cantor set are Baire spaces when they are
considered as subespaces of R. If the Cantor set is a subespace of Sorgenfreys arrow
then we have established that it is not a Baire space. We have also considered the
definition of Baires space and Baires Theorem to give a proof about the existence of
continuos nowhere-differentiable real-valued functions defined in [0, 1].
Palabras clave: Espacio de Baire, Flecha de Sorgenfrey, Conjunto de Cantor, Espacio metrico completo
Keywords: Baires space, Sorgenfreys arrow, Cantor set, Complete metric space.
1. Introducci
on
Un resultado proporcionado en los cursos de analisis matematico es el referido a

la existencia de funciones continuas y no diferenciables en todo su dominio1 , cuya
demostraci
on est
a basada en tecnicas propias del analisis. El objetivo principal de
este artculo es proporcionar una prueba de esta afirmacion, haciendo uso de la nocion
topol
ogica de espacio de Baire.
Tomando en consideraci
on que el espacio de funciones continuas con la metrica
uniforme, cuyo dominio es un metrico completo e imagen un subconjunto de Rn , es
un espacio de Baire, demostraremos la existencia de funciones continuas de valor real
con dominio el intervalo [0, 1] y no derivables.
Un espacio topol
ogico es de Baire si la union de toda familia numerable de subconjuntos cerrados, cada uno de los cuales tiene interior vaco, posee interior vaco.
Equivalentemente, un espacio es de Baire si la interseccion de cualquier coleccion
numerable de conjuntos abiertos y densos, es un conjunto denso. Esta nocion fue
introducida por R. Baire en los primeros a
nos del siglo pasado, la cual expreso en
terminos de lo que el denomin
o conjuntos de segunda categora. Actualmente se
Recibido
el 27 de noviembre de 2007 y aceptado el 4 de marzo de 2008

an Tabasco, M
exico. A.P. 24 C.P.
onico: gerardo.delgadillo@dacb.ujat.mx
Correo electr
onico: miguel.lopezlm@uacm.edu.mx
P
1
1 De hecho, la funci
on definida por la serie f (x) =
cos(3n x) tiene esta propiedad. Ver [3]
2n
Direcci
on
n=0

36
n
on y Miguel L
opez De Luna
conoce mucho acerca de estos espacios, ver por ejemplo [1, 2] , y de algunos de sus
resultados te
oricos se han obtenido importantes aplicaciones en matematicas.
2. Espacios de Baire
En esta secci
on, presentaremos el concepto de espacio de Baire y mostramos algunas de sus caracterizaciones. Tambien demostraremos el teorema de Baire, el cual
nos muestra que los espacios de Baire contienen a la clase de los espacios metricos
completos. Adem
as, estudiaremos dos ejemplos importantes relacionados con este
concepto, como lo son la flecha de Sorgenfrey y el conjunto de Cantor.
1. Sea X un espacio topol
ogico. Decimos que X es un espacio de Baire,
si dada cualquier colecci
on numerable {An : n N} de subconjuntos cerrados de X,
Definici
on
donde Int(An ) = para todo n N, se cumple que Int( An ) = .

n=1
Dado que Int(A) = A para todo A X, donde X es un espacio discreto, obtenemos

Int(A) = si y s
olo si A = . Por consiguiente, todo espacio discreto es de Baire.
Teorema
1. Sea X un espacio topol

ogico. Las siguientes proposiciones son equiva-
lentes:
1. X es de Baire;
2. Para todo A X, con A = An , donde Int(An ) = para cada n N, el conjunto

n=1
X \ A es denso;
3. Dada cualquier colecci
on numerable {Un : n N} de subconjuntos abiertos y densos
en X, el conjunto Un es denso en X;
n=1
4. Sea G un conjunto abierto y no vaco en X. Si tenemos una colecci

on numerable
{An : n N} de subconjuntos de X, con Int(An ) = para todo n N, entonces
G 6= An .
n=1
Prueba. Supongamos que (1) es valido. Tomemos un A X tal que A = An , con

n=1
Int(An ) = para cada n N. Demostraremos que X \ A es denso. Puesto que X es
n=1
n=1
de Baire, sabemos Int( An ) = , es decir X\ An es denso. De aqu, y como
n=1
n=1
X \ ( An ) X \ ( An ) = X \ A,
concluimos que X \ A es denso, y por lo tanto la afirmacion (2) ha quedado probada.
Ahora supongamos que (2) es verdadera. Consideremos una coleccion numerable
{Un : n N} de subconjuntos abiertos y densos en X. Para cada n N, sea el
cerrado An = X \ Un . Como cada Un es denso, tenemos que Int(An ) = . De la
hip
otesis, tenemos que X\ An es denso y como
n=1
n=1
n=1
n=1
X\ An = (X \ An ) = Un ,
37
obtenemos (3).
Para probar (3) implica (4), supongamos que (4) no es valido. Luego, existe un
abierto G X con G 6= y una coleccion numerable {An : n N} de subconjuntos
de X con G = An donde Int(An ) = . Ahora, para cada n N, sea Un = X \ An .

n=1
Es claro que cada Un es un conjunto abierto y denso en X. Por hipotesis tenemos
que Un es un conjunto denso en X. Observe que

n=1
n=1
n=1
n=1
Un = (X \ An ) = X\ An .
Por otro lado, como G An , tenemos que

n=1
G (X\ An ) = ,
n=1
lo cual es una contradicci

on. As hemos probado que (3) implica (4).
Por u
ltimo, probemos (4) implica (1). Para ello, sea {An : n N} una coleccion
numerable de subconjuntos cerrados de X, tal que Int(An ) = para cada n N, y
supongamos
Int( An ) 6= .
n=1
Luego, existe un abierto no vaco G X para el cual G An , y por lo tanto

n=1
G = (G An ). Adem
as, como
n=1
Int(G An ) Int(An ) = Int(An ) = ,

obtenemos Int(G An ) = para todo n N, lo cual contradice nuestra hipotesis.
Como una consecuencia directa de este teorema, tenemos que si U es un conjunto
abierto y no vaco en un espacio de Baire X, entonces U 6= An , donde cada An

n=1
es un conjunto cerrado con interior vaco en X. En particular, si X es un espacio de

Baire, entonces X no se puede representar como una union numerable de subconjuntos
cerrados con interior vaco.
En el siguiente ejemplo, dotamos al conjunto de los n
umeros enteros con una
topologa particular, de tal forma que obtenemos un espacio que no es de Baire.
Ejemplo
1. Para cada m Z, hagamos Um = {n Z : n > m}.
Observe que Um Um0 = Um si m m0 . De aqu se desprende que la coleccion

B = {Um : m Z} es una base para una u
nica topologa en Z. Probemos que (Z, )
no es un espacio de Baire.
Para ello, sea Am = Z \ Um , con m Z. Notemos que cada Am es un conjunto cerrado y, dado que todo Am est
a acotado superiormente, tambien es valida la igualdad
Int(Am ) = , de modo que {Am : m Z} es una coleccion numerable de cerrados
con interior vaco en Z. Dado que
[
Z=
Am ,
mZ
38
n
on y Miguel L
opez De Luna
el teorema 1 nos indica que (Z, ) no es un espacio de Baire.

Ejemplo
2. Sea Q el conjunto de los n

umeros racionales con la topologa heredada
de R. Como
Q=
{q},
qQ
se sigue que Q es una uni

on numerable de conjuntos cerrados con interior vaco. En
virtud del teorema 1(4) concluimos que Q no es un espacio de Baire.

Este u
ltimo ejemplo nos muestra un espacio metrico que no es de Baire. Sin
embargo, la clase de los espacios de Baire contiene a los espacios metricos completos,
como estableceremos enseguida (Teorema de Baire).
Sea (X, d) un espacio metrico. Decimos que X es completo si toda sucesion de
Cauchy en X es convergente. El diametro de un subconjunto A X, denotado por
di
am(A), es definido por
di
am(A) = sup {d(x, y) : x, y A},
siempre y cuando el supremo exista. En caso contrario hacemos diam(A) = .
El siguiente resultado nos ser
a de gran utilidad. Su demostracion puede ser consultada en [4].
Teorema 2 (de Cantor) Un espacio m
etrico (X, d) es completo, si y solo si toda sucesion
decreciente F1 F2 . . . de subconjuntos cerrados no vacos de X, tal que diam(Fn )
0, tiene intersecci
on no vaca.

Teorema 3 (de Baire)
Todo espacio metrico completo es un espacio de Baire.
Prueba. Sea X un espacio metrico completo y consideremos una coleccion numerable

{An : n N} de subconjuntos cerrados de X, para la cual Int(An ) = , donde n N.
De acuerdo al teorema 1, debemos probar que
Int( An ) = .
n=1
Para ello, tomemos un conjunto abierto U no vaco en X y verifiquemos
U 6 ( An ).
n=1
Como Int(A1 ) = , tenemos que el abierto U (X \ A1 ) es no vaco. Sea x1

U (X \ A1 ). Dado que X es un espacio regular, podemos encontrar un n
umero
positivo r1 < 1 tal que Br1 (x1 ) U (X \A1 ), o bien Br1 (x1 ) U y Br1 (x1 )A1 = .
Ahora bien, debido a que Int(A2 ) = , el abierto Br1 (x1 ) \ A2 es no vaco, y por lo
tanto podemos tomar x2 Br1 (x1 ) \ A2 . Nuevamente, en virtud de la regularidad
de X, obtenemos que Br2 (x2 ) Br1 (x1 ) \ A2 , para alg
un 0 < r2 < 12 , o de forma
equivalente Br2 (x2 ) Br1 (x1 ) y Br2 (x2 ) A2 = .
As, de forma inductiva obtenemos para cada n N, un punto xn X y un n
umero
positivo rn < n1 , para los cuales
Brn (xn ) Brn1 (xn1 )

Brn (xn ) An = .
39
Como la familia numerable {Brn (xn ) : n N} consiste de conjuntos cerrados

no vacos, la cual satisface Brn (xn ) Brn+1 (xn+1 ) y diam(Brn (xn )) 0, el teorema
n=1
n=1
2 nos garantiza que Brn (xn ) 6= . Elijamos un p Brn (xn ). Dado que
Brn (xn ) Br1 (x1 ) U y Brn (xn ) An = , se desprende que p U \ An para todo
n N. Por consiguiente U 6 An , que era lo deseado.
n=1
Es bien conocido que R con la metrica usual es un espacio metrico completo. De

aqu y del teorema de Baire, se desprende el siguiente resultado.
Ejemplo
3. El conjunto de los n
umeros reales R, con la metrica usual, es un espacio
de Baire.
En el siguiente ejemplo, proporcionamos un espacio de Baire y no metrizable [5].

Recordemos que la flecha de Sorgenfrey es el conjunto de los n
umeros reales, cuya
topologa es generada por la base
B = {[a, b) : a, b R con a < b}.
En adelante, el smbolo Rs denotara a la flecha de Sorgenfrey.
Sea {Un : n N} una coleccion
numerable de subconjuntos abiertos y densos en Rs . Para probar lo deseado, debemos
verificar que Un es denso en Rs , o de forma equivalente
Ejemplo 4 (La flecha de Sorgenfrey es un espacio de Baire)
n=1
[a, b) ( Un ) 6= ,
n=1
para cualesquier a, b R, con a < b.

Observe que cada Un es una union de intervalos de la forma [a, b). Es decir,
un conjunto de ndices n .
Un = [an , bn ), donde a < b , para alg
n
Para cada n N, consideremos el abierto en R dado por Un0 =
(an , bn ).
Notemos que todo Un0 es denso en R. En efecto, sean a, b R con a < b. Dado que
Un es denso en Rs tenemos que [a, b) Un 6= . Luego, existe n para el cual
[a, b)[an , bn ) 6= . Se sigue que (a, b)(an , bn ) 6= y en consecuencia (a, b)Un0 6= .
As, Un0 es denso en R. De esta forma tenemos una coleccion numerable {Un0 : n N}
de subconjuntos abiertos y densos en R.
Ahora bien, como R con la topologa usual es un espacio de Baire (Ejemplo 3), se
sigue que Un0 es denso en R.

n=1
n=1
n=1
n=1
Como Un0 Un , deducimos que Un tamien es denso en R. As, para

cualesquier a, b R, con a < b, tenemos
(a, b) ( Un ) 6= .
n=1

40
n
on y Miguel L
opez De Luna
n=1
n=1
Finalmente, en virtud de que (a, b) ( Un ) [a, b) Un , concluimos
[a, b) ( Un ) 6= .
n=1
De esta manera hemos probado que Rs es un espacio de Baire.
5. El conjunto de Cantor, como subespacio de la recta real es un espacio

de Baire, y como subespacio de la flecha de Sorgenfrey no lo es.
Ejemplo
Recordemos c
omo se define el conjunto de Cantor. Dado un intervalo cerrado en
R, digamos C = [a, b], donde a < b, denotamos por DC al subintervalo abierto cuyos
2(ba)
, es decir
extremos son los n
umeros a + ba
3 y a+
3

ba
2(b a)
,a +
.
DC = a +
3
3
Observemos que DC es el subintervalo abierto central del intervalo C, obtenido despues de haber sido dividido este en tres partes iguales. Al intervalo
lo lla DC ba
maremos
el
tercio
medio
de
C.
Similarmente,
los
intervalos
C
=
a,
a
+
y
I
3
h
i
CD = a + 2(ba)
, b reciben el nombre de tercio izquierdo y tercio derecho, respecti3
vamente, de C.
Para proporcionar el conjunto de Cantor, necesitaremos de las familias {An }nN ,

{Cn }nN , con An [0, 1] y Cn exp[0, 1] para todo n N, donde exp[0, 1] es el
conjunto potencia de [0, 1], definidas inductivamente como a continuacion se indica.
Tomemos A1 = [0, 1] y C1 = {[0, 1]} .
Para n N \ {1},
C Cn si y s
olo si C {CI , CD } para alg
un C Cn1 y
[
An = An1 \
DC .
C Cn1
Los 2n1 elementos de Cn , que constituyen una familia ajena de subconjuntos de

1
[0, 1] y cuyo di
ametro de cada uno es 3n1 , se llaman componentes de An .
Finalmente, el conjunto de Cantor C lo definimos como
C=
An .
n=1
Dado que cada An es cerrado, pues A1 lo es y todo DC es abierto, deducimos que

el conjunto de Cantor es cerrado en R. Ademas, puesto que Rs es una topologa mas
fina que la usual, obtenemos que C tambien es cerrado en Rs .
Debido a que un subespacio cerrado de un subespacio metrico completo tambien es
completo, deducimos que el conjunto de Cantor, con la topologa usual, es un espacio
41
metrico completo. Por consiguiente, el teorema de Baire (Teorema 3) nos asegura

que C, con la topologa heredada de R, es un espacio de Baire.
En lo que sigue, demostraremos que C como subespacio de la flecha de Sorgenfrey,
que en adelante denotaremos como Cs , no es de Baire. Dados n N y C Cn , sea
xC = nf DC .
Observemos que xC C para cualquier C Cn y n N. Definimos U, V C como
U = {xC : C Cn , n impar} y V = {xC : C Cn , n par}.
Afirmamos que los conjuntos U y V satisfacen las siguientes condiciones:
(1) U V = y
(2) U, V son abiertos y densos en Cs .
Lo cual nos indica, en virtud del teorema 1, que Cs no es un espacio de Baire.

Verifiquemos (1). Sean n, m N tales que n impar y m par. Escojamos C Cn
y C 0 Cm . Sin perder generalidad, suponemos que n < m. De aqu que Am An+1
y DC 0 C 0 Am . De la definicion de An+1 y como C Cn , se desprende que
DC An+1 = y por ende DC Am = . En consecuencia, DC DC 0 = , lo cual
implica que nf DC 6= nf DC 0 . Debido a que C y C 0 eran arbitrarios, obtenemos
U V = .
Ahora demostremos (2). Observemos que {xC } DC = [xC , yC ), donde yC =
sup DC y C Cn , con n N. Luego, {xC } DC es un abierto en Rs y dado que
({xC } DC ) C = {xC } , los conjuntos U y V son abiertos en Cs . Para demostrar
que U y V son densos en Cs , basta con probar que G U 6= y G V 6= , donde
G = [a, b) C 6= . Para ello, tomemos un x G. Dado que x C, para cada n N
escojamos la componente Cnx Cn con x Cnx .
x
Cnx siempre y cuando n < m, podemos garantizar
Como lm di
am(Cnx ) = 0 y Cm
n
la existencia de un N N, tal que si m > n N, donde n es impar y m par, entonces
x
Cm
Cnx [a, b). De aqu concluimos que DCnx DCmx [a, b), y en consecuencia

xCnx , xCmx [a, b). Por consiguiente
xCnx G U y xCmx G V,
y esta manera hemos probamos lo deseado.
3. Funciones continuas y no diferenciables en ninguna parte
En los cursos b
asicos de An
alisis Matematico, se menciona la existencia de una funcion
continua, de valor real y no diferenciable en ning
un punto de su dominio. En este
apartado probaremos esta afirmacion, haciendo uso del concepto de espacio de Baire.
Para ello consideremos el espacio metrico (F, ) de funciones de valor real, continuas
y definidas en I = [0, 1], donde
(f, g) = max | f (x) g(x) | , con f, g F.
xI

42
n
on y Miguel L
opez De Luna
Sabemos que (F, ), que en lo sucesivo lo denotaremos simplemente por la letra F,

es un espacio metrico completo [4]. Por consiguiente, el teorema 3 nos proporciona
el siguiente resultado.
Teorema
4. El espacio m
etrico F es de Baire.
Enseguida definiremos una familia numerable {Un }nN de conjuntos abiertos y

densos en F. Dados x I y h (0, 12 ], consideremos los cocientes

f (x h) f (x)
f (x + h) f (x)
+

.

y f (x, h) =
() f (x, h) =

h
h
Como h 21 , tenemos que {x + h, x h} I 6= , lo cual significa que al menos
una de las expresiones () est
a definida.
Hagamos f (x, h) = max{f + (x, h), f (x, h)} si ambos cocientes existen; de lo
contrario f (x, h) ser
a igual a la expresion existente. Dado que f (x, h) 0,
tomemos para cada h 0, n1
h f = inf{f (x, h) : x I}.
Ahora definamos la familia deseada {Un }nN F. Diremos que
f Un si y s
olo si h f > n para alg
un h (0, n1 ] y todo n 2.
Por ejemplo, consideremos la funcion f : [0, 1] R dada por f (x) = (1 4(x
con > 0. Para h = 41 obtenemos
1 2
2) )

f (x + 14 ) f (x)
1

= | 8x 3 | si x [0, 3 ]
f (x, ) =
1

4
4
4
+

f (x 14 ) f (x)
1
= | 8x 5 | si x [ 1 , 1].
f (x, ) =
1

4
4
4
As que

f (x, 41 )
si x [ 14 , 12 ] ( 34 , 1]
f + (x, 41 )
si x [0, 14 ) [ 12 , 34 ]
1
f (x, ) =
y por lo tanto f (x, 41 ) para toda x [0, 1].

En la figura 1, ejemplificamos lo anterior para un x ( 21 , 43 ).
Para este caso, alguna de la rectas l1 y l2 debe tener pendiente, en valor absoluto,
mayor o igual que , lo cual es satisfecho por l1 .
43
Figura 1.
Luego, si > 4 entonces f U4 . Inspirados en este caso particular, podemos

exhibir elementos de Un para toda n N, mediante el siguiente procedimiento.
Consideremos la funci
on g cuya grafica aparece en la figura 2.
Figura 2.
Observemos que g(x, h) , para cualquier h 14 . En consecuencia, si > n

entonces g Un .
De forma similar, obtenemos k Un si > n, donde la grafica de k es como se
muestra en la figura 3.
1. Dados n N, > 0 y [a, b] [0, 1], existen g F y m N tales que
h g > n con 0 < h ba
m .
Proposic
on
Prueba. Para que se satisfaga lo solicitado, basta con elegir un n

umero par m tal que
>
n
y
la
funci
o
n
g
F
cuya
gr
a
fica
se
muestra
en
la
figura
4, que es de las
( ba )
m
llamadas dientes para afuera, donde ti = a +
ba
m i,
para i = 0, 1, ..., m.

44
n
on y Miguel L
opez De Luna
Figura 3.
Figura 4.
El siguiente resultado nos indica que la familia {Un }nN posee las propiedades
requeridas.
Proposic
on
2. Cada conjunto Un es abierto y denso en F.

Prueba. Consideremos n N y cualquier f Un . Luego, existe h 0, n1 para la
cual h f > n. Hagamos M = h f y consideremos = h(M4n) > 0. Luego, para
probar que Un es abierto, basta con verificar la contencion B(f, ) Un , donde
B(f, ) = {g F : (f, g) < }.
Sea g B(f, ). Supongamos que f (x, h) = f + (x, h). Como | f (x) g(x) |< ,
obtenemos
1
|f (x + h) g(x + h) (f (x) g(x))|
h
1
(| f (x + h) g(x + h) | + | f (x) g(x) |)
h
2
M n
<
=
,
h
2
f + (x, h) g + (x, h)
y por ende
g + (x, h) > f + (x, h)
M n
1
M n
=M
= (M + n) > n.
2
2
2
De aqu se desprende la desigualdad h g > n, es decir g Un . Para el caso en

que f (x, h) = f (x, h), obtenemos de forma similar g (x, h) > 21 (M + n) > n y
45
por lo tanto, tambien se sigue que h g > n. En consecuencia, Un es abierto. Ahora

demostremos la igualdad Un = F. Para ello, probemos B(f, ) Un 6= , donde f F
y > 0.
Tomemos un R, para la cual > n. Dado que f es uniformemente continua,
podemos obtener una partici
on
0 = t0 < t1 < < tm = 1,
para la cual | f (x) f (y) |< 4 si x, y (ti1 , ti ), con i = 1, 2, ..., m. Ahora bien, para
cada i {1, 2, ..., m}, escojamos un ai (ti1 , ti ) tal que si f (ti ) 6= f (ti1 ) entonces
<
| f (ti ) f (ti1 ) |
,
ti ai
y cuando f (ti ) = f (ti1 ), elijamos cualquier ai (ti1 , ti ). Consideremos la funcion

g1 : I R dada por
f (ti1 )
si x [ti1 , ai ]
g1 (x) =
f (ti1 ) + mi (x ai ) si x [ai , ti ]
(ti1 )
. La grafica de g1 consiste de rectas con pendiente igual a
donde mi = f (ti )f
ti ai
cero o pendiente en valor absoluto mayor que (Vease la figura 5).
Figura 5.
Afirmamos que g1 B(f, 2 ). En efecto, si x [ti1 , ai ] entonces
| g1 (x) f (x) | =| f (ti1 ) f (x) |<

y cuando x [ai , ti ]
| g1 (x) f (x) | =| f (ti1 ) + mi (x ai ) f (x) |

| f (ti1 ) f (x) | + | mi || x ai |
< 4 + | f (ti ) f (ti1 ) |< 2 ,
46
n
on y Miguel L
opez De Luna
y en consecuencia (g1 , f ) = max | g1 (x) f (x) |< 2 .

xI
Ahora ya estamos listos para exhibir una funcion g B(f, ) Un .

Sea g : [0, 1] R definida de la siguiente manera. Hagamos g(x) = g1 (x) donde
x [a, b] [0, 1] y g1 ([a, b]) no es constante. En caso contrario g sera igual a la
funci
on dada en la proposici
on 1 (Ver figura 6)
Figura 6.
Como | g(x)f (x) |=| g1 (x)f (x) |< 2 , cuando el punto x es tal que g(x) = g1 (x)
y si g(x) 6= g1 (x) entonces
| g(x) f (x) || g(x) g1 (x) | + | f (x) g1 (x) |<

+ = .
2 2
De ambas posibilidades, se deduce que (g, f ) < , es decir g B(f, ). Por

construcci
on, tambien g Un , as que g B(f, )Un . De esta forma, hemos concluido
la demostraci
on de que Un = F.

De los teoremas 4 de la p
agina 42; 1(3) en la pagina 36; y del resultado recien
n=1
n=1
probado, concluimos que Un = F. Por u

ltimo, probaremos que el conjunto Un
est
a constituido por funciones continuas y no diferenciables en I.
Denotamos por ND el conjunto de funciones de valor real, continuas y no diferenciables en I.
Proposic
on
3.
Un ND .
n=1
Prueba. Sea f Un . Recordemos que si existe f 0 (x) con x I, entonces | f 0 (x) |=

n=1
lim f (x, h). Luego, para demostrar lo solicitado, basta con verificar que lim f (x, h)
h0
h0
no existe para todo x I. Para ello, tomemos un x I. Puesto que f Un ,

n=1
para cada n podemos escoger una hn , con 0 < hn n1 , tal que f (x, hn ) > n.
En consecuencia {hn }nN 0 y, sin embargo, la sucesion {f (x, hn )}nN no es
47
convergente, lo cual nos indica que lim f (x, h) no existe. Como el punto x se
h0
escogi
o de forma arbitraria, nuestra demostracion ha quedado concluida.
Finalmente, de acuerdo a los resultados presentados, concluimos que si f F y
> 0 entonces existe una funci

on g B(f, ) ( Un ) y de esta manera, obtenemos
n=1
la demostraci
on de nuestro resultado principal.
5. Sea f : [0, 1] R una funci
on continua. Para cualquier > 0, existe
una funci
on g : [0, 1] R continua y no diferenciable en [0, 1] tal que | f (x)g(x) |<
para toda x [0, 1].

Teorema
Referencias
[1] Margalef Roig, J. Topologa. Alhambra. T.2, Madrid, 1980.
[2] Engelking, R. General Topology. Heldermann Verlag, Berlin, 1989.
[3] Bartle, R.G., Introducci
on al an
alisis matem
atico. Limusa, Mexico, 1992.
[4] Tkachuk, V. Curso b
asico de topologa general. UAM-Iztapalapa. Mexico, D.F., 1999.
[5] Munkres, J. R. Topologa. Prentice Hall., Madrid, 2002.

La Revista de Ciencias Bsicas UJAT,

volmen 7 nmero 1, junio 2008, se imprimi en
Impresiones en Grficos Cnovas S.A. de C.V.
Juan lvarez 505 Centro. C.P. 86000.
Villahermosa, Tabasco, MXICO.
Termin la edicin de esta obra el 18 junio de 2008
con un tiraje de 300 ejemplares.
DIRECTORIO
M.A. Candita Victoria Gil Jimnez
Rectora
M.P.E.S. Mara Isabel Zapata Vsquez
Secretaria de Servicios Acadmicos
Dr. Jos Manuel Pia Gutirrez

Secretario de Servicios Administrativos
L.C.P. Marina Moreno Tejero

Secretaria de Finanzas
Dr. Vctor Castellanos Vargas

Director de Investigacin y Posgrado
M. en C. Carlos Rogelio Beltrn Moha

Director de la Divisin Acadmica de Ciencias Bsicas

Articulo Matemático

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Articulo Matemático

Enviado por

Direitos autorais:

Formatos disponíveis

Revista de

Dinmica de la familia logstica

Seguimiento de curvas homotpicas

Funciones continuas y nunca derivables

REVISTA DE CIENCIAS BASICAS UJAT

Dr. Abdiel E. Cceres Gonzlez (abdiel.caceres@dacb.ujat.mx)

Homotopa de punto fijo

Dinmica de la familia logstica

Seguimiento de curvas homotpicas

Funciones continuas y nunca derivables

Homotopa de punto fijo

En este trabajo se desarrolla el metodo homot

La necesidad de resolver sistemas de ecuaciones no lineales surge frecuentemente en

donde F : Rn Rk y k n, el metodo homotopico consiste en perturbar el

el 5 de diciembre de 2007 y aceptado el 10 de febrero de 2008

sicas UJAT, volumen 7 n

Mario Arley Vidal Ger

1.1 Funciones de apoyo del m

En este caso la funci

Aqu, G(x) = F (x) F (x0 ).

Homotopa de punto fijo

2. Homotopa de punto fijo

Consideremos el sistema de ecuaciones no lineales (1) y definamos la funcion de

donde las races de G son conocidas y a la funcion G(x) se le llama la funci

En la homotopa de punto fijo la funcion de apoyo es G(x) = x x0 y

cuyas races son 1 y 2.

En este caso, las curvas de nivel correspondientes a H(x, t) = 0, para un x0 fijo,

Mario Arley Vidal Ger

Figura 1. Curvas de nivel de H(x, t) = 0 para f1 .

En las figuras 1 (a) y 1 (b) mostramos el conjunto H 1 (0) para x0 = 2 y x0 = 0,

Homotopa de punto fijo

Este criterio est

2. Recorrer una distancia infinita entre dos races consecutivas.

sicas UJAT, 7(1)Junio 2008 p 314

Mario Arley Vidal Ger

Por ejemplo, en las curvas mostradas para x0 = 2 en la figura 1 (a), si las

El objetivo es determinar el intervalo donde el n

sicas UJAT, 7(1)Junio 2008 p 314

Homotopa de punto fijo

Cuando seleccionamos un punto de partida x0 tal que la ecuacion (11) no tiene

cuyas races son 1, 2 y 3.

de donde podemos despejar x0 y tener

Para obtener el intervalo donde el n

x2 = 2 13 6. Despues sustituimos los valores de x1 y x2 en la ecuacion (15) y

obtenemos x10 = 2 + 49 6 y x10 = 2 49 6, los cuales corresponden a un maximo y a

Mario Arley Vidal Ger

Para x0 = 2, en la figura 4 (e) se observa que el camino se bifurca en tres ramas

Consideremos el problema de encontrar todos los puntos crticos de la funcion de

Factorizando el sistema (17) obtenemos

Homotopa de punto fijo

Figura 4. Curvas de nivel de H(x, t) = 0 para f2 .

sicas UJAT, 7(1)Junio 2008 p 314

Mario Arley Vidal Ger

Resolviendo numericamente el sistema (19), para valores de x10 = x20 , obtenemos

Homotopa de punto fijo

Figura 6. Curva homot

Figura 7. Curva homot

Mario Arley Vidal Ger

Cuadro 1. Soluciones reales del sistema (18) asociado a la funci

R. Hartshorne (1997); Algebraic Geometry. Springer-Verlag, New York, N.Y.

M. W. Hirsch (1997); Differential Topology. Springer-Verlag.

H. Jimenez Islas (1988); Paquete Computacional para la Resoluci

M. Kuno y J. D. Seader (1988); Computing all Real Solutions to Systems of Nonlinear

W. J. Lin, J. D. Seader y T. L. Wayburn (1987); Computing Multiple Solutions to