MATEMÁTICA PARA ECONOMISTAS

APUNTE DE CLASE

ELEMENTOS DE TOPOLOGÍA Y TEOREMAS

DEL PUNTO FIJO

EDUARDO A. RODRÍGUEZ
[email protected]

Este documento de trabajo fue elaborado para su uso en el curso de Matemática para
economistas del profesor Eduardo A. Rodríguez, cátedra García Fronti, de la Facultad de
Ciencias Económicas de la Universidad de Buenos Aires en base al programa de estudio vigente
a la fecha de su elaboración.

2003
 ELEMENTOS DE TOPOLOGÍA Y TEOREMAS DEL PUNTO FIJO 1
Eduardo A. Rodríguez

Espacios topológicos: Conjuntos abiertos, cerrados y compactos

Sea X un conjunto no vacío. Una clase T de subconjuntos de X es una topología de X sii T verifica
los siguientes axiomas:

1. X y  pertenecen a T;

2. la unión de cualquier cantidad de conjuntos de T pertenece a T;

3. la intersección de una cantidad finita de conjuntos de T pertenece a T.

Entonces los elementos de T reciben el nombre de conjuntos abiertos y X conjuntamente con la

clase T, es decir el par (X,T), es un espacio topológico.

Ejemplos
• Sea D la clase de todos los subconjuntos de X. Como D cumple con los axiomas, es una
topología de X llamada topología discreta de X. El par  X , D  es un espacio topológico
discreto.

• La clase G   X ,  es una topología de X. Esta topología es la topología trivial o topología

indiscreta de X. En este caso, el par  X , G  es un espacio topológico indiscreto.

• Sea X  el conjunto de los números reales, llamado comúnmente recta real. Sea U la
colección de todos aquellos conjuntos que contienen un intervalo abierto alrededor de
cada uno de sus puntos. Entonces U constituye una topología de llamada topología usual
de . Esto quiere decir que un subconjunto A  es abierto sii para cada punto x  A hay
números a y b tales que a < x < b y el intervalo abierto a, b  y : a  y  b es un subconjunto
de A. De esta manera el conjunto I  1,2 es un conjunto abierto ya que todos los elementos de
I pueden encerrarse en un intervalo abierto contenido en I. Por ejemplo el punto 1.1 puede
encerrarse en el intervalo abierto 1.05,1.15 , y así con todo y  I .

En general todo intervalo abierto es un conjunto abierto, aunque no son los únicos conjuntos
abiertos, ya que el conjunto formado por la unión de dos intervalos disjuntos, como por ejemplo
J  1,2  3,4 , también es un conjunto abierto. Sin embargo, el intervalo K  1,2 no es un
conjunto abierto porque el punto 1 no puede encerrarse en un intervalo abierto que pertenezca a
K, por ejemplo 1  0.95,1.05  K .

1
En base a “Elementos de topología para economía y gestión”, editado por el Centro de Investigación en Métodos
Cuantitativos Aplicados a la Economía y la Gestión (CMA). Facultad de Ciencias Económicas de la Universidad de
Buenos Aires. 2003.
 MATEMÁTICA PARA ECONOMISTAS

Esta definición de topología usual se puede extender al caso n-dimensional considerando

como conjuntos abiertos todos aquellos conjuntos que pueden ser expresados como
uniones de productos directos de intervalos abiertos, es decir uniones de conjuntos de la
forma U1  U n , donde U i  con i = 1, ..., n. En ese caso, el espacio topológico
resultante recibe el nombre de espacio euclídeo n-dimensional.

Cabe destacar que la intersección de una cantidad infinita de conjuntos abiertos no

necesariamente es abierta. Por ejemplo consideremos para todo n  N los conjuntos (intervalos)
abiertos en
 n 1 n 1
Cn   , .
 n n 

Entonces puede verse que C n  1 no es un conjunto abierto porque no puede ser
n 1
representado mediante la unión de intervalos abiertos.

• Considérense las siguientes clases de subconjuntos de X  a, b, c, d , e

T1   X , , a , c, d  , a, c, d  , b, c, d , e; T2   X , , a , c, d  , a, c, d  , b, c, d 

Nótese que T1 es una topología de X porque cumple con los axiomas. Sin embargo, T2 no es una
topología de X porque a, c, d   b, c, d   a, b, c, d   T2 .

Un conjunto A de un espacio topológico  X , T  es cerrado sii su complemento relativo (XA)

es abierto, es decir sii el subconjunto de X conformado por todos aquellos elementos no
pertenecientes a A es un conjunto abierto. El complemento del complemento de A es A, y por lo
tanto un conjunto es abierto sii su complemento es cerrado.

Siempre es cierto que el espacio y el conjunto vacío son abiertos y cerrados al mismo tiempo ya que
X  X  y X  X .

Ejemplos
• Bajo la topología usual de , los únicos conjuntos cerrados y abiertos a la vez son y .

• En el espacio topológico discreto  X , D todo subconjunto es abierto. Entonces todo

subconjunto de X es también cerrado ya que su complemento es abierto. En otras palabras, todos
los subconjuntos de  X , D son, a la vez, abiertos y cerrados.

• La clase T =  X , , a, c, d, a, c, d, b, c, d , e define una topología de X  a, b, c, d , e . Los
subconjuntos cerrados de X son , X , b, c, d , e , a, b, e , b, e y a , ya que son los
complementos de los subconjuntos abiertos de X. Conviene observar que existen subconjuntos
de X, tales como b, c, d , e y a que son al mismo tiempo abiertos y cerrados, y que, por otra
parte, existen subconjuntos de X tales como a, b que no son ni abiertos ni cerrados.

Eduardo A. Rodríguez 2
 MATEMÁTICA PARA ECONOMISTAS

Propiedad
• La unión de un número finito de conjuntos cerrados es necesariamente cerrada y la intersección
de los miembros de una familia arbitraria de conjuntos cerrados es cerrada. (Ver demostración
en BAUM, pg. 33)

Ejemplo
• Es importante remarcar que la unión de una cantidad infinita de conjuntos cerrados no
necesariamente es un conjunto cerrado. Por ejemplo consideremos para todo n  N los
conjuntos (intervalos) cerrados sobre la recta real con la topología usual

1 
Fn   ,1 .
n 

Entonces puede verse que  F  0,1 no es un conjunto cerrado.
n 1
n

Dado el conjunto A perteneciente al espacio topológico  X , T  llamamos clausura de A, A , al

mínimo conjunto cerrado (en sentido de inclusión) que contiene a A.

Propiedad

• Un conjunto A perteneciente a  X,T  es cerrado sii A  A . (Ver demostración en

HOCKING-YOUNG, pg. 5). Por ende A  A ya que A es un conjunto cerrado.

Sea X un conjunto, Y un subconjunto de X y A = D :   A una colección de subconjuntos de X.

Entonces A = D :   A se lo llama un cubrimiento de Y si D  Y . Si todos los conjuntos D
 A
de A son conjuntos abiertos, decimos que A es un cubrimiento abierto de Y, mientras que si A es
un conjunto finito, A = D :   A es un cubrimiento finito de Y, es decir que Y es cubierto por
una cantidad finita de conjuntos.

Decimos que la colección de conjuntos E :   B es un subcubrimiento de A = D :   A si

está conformado por elementos de A los cuales a su vez también cubren Y, es decir que se verifica
E :   B  A = D :   A y  E   Y .
 B

Un conjunto X es compacto sii todo cubrimiento abierto de X tiene un subcubrimiento finito.

Ejemplos
• La recta real no es un conjunto compacto ya que el cubrimiento de por intervalos abiertos
A1   n, n  2  : n   no contiene ninguna subcolección finita que cubra .

• El intervalo (0,1] no es un conjunto compacto porque el cubrimiento abierto

A2  1/ n,1 : n    no contiene ninguna subcolección finita que cubra (0,1]. De manera
análoga se puede demostrar que el intervalo abierto (0, 1) no es un conjunto compacto.
Eduardo A. Rodríguez 3
 MATEMÁTICA PARA ECONOMISTAS

Espacios métricos: Conjuntos acotados

Sea X un conjunto y sea  : X  X  una función de X  X en tal que:

1-  x, y   0;  x, y   0  x  y ; (definida positiva)

2-  x, y     y, x  ; (simetría)

3-  x, y     y, z    x, z  ; (desigualdad triangular)

entonces el par  X ,   se llama espacio métrico y  constituye una métrica para X. Un espacio
métrico es un espacio topológico particular en el cual sus conjuntos abiertos pueden definirse
mediante el uso de una métrica (entonces estaremos hablando de espacios topológicos
metrizables y de topologías inducidas por una distancia). No todos los espacios topológicos son
espacios métricos.

El conjunto de todas las n-uplas x  x1 , x2 ,, xn  , donde x1 , x2 , , xn  , con la distancia

n
  x, y    x i  yi  es un espacio métrico llamado espacio euclídeo n-dimensional o
2 n
. Para
i 1

el caso unidimensional, la topología generada por esta función distancia coincide con la topología
usual de los reales. El espacio topológico euclídeo n-dimensional es un espacio métrico.

Llamamos esfera abierta (o bola abierta) S r  x0  al conjunto de puntos x  M que satisfacen la

desigualdad  x0 , x   r , donde  es la métrica de M. El punto x 0 se llama centro de la esfera y el
número r se llama radio de la esfera. Llamamos esfera cerrada (o bola cerrada) S r x0  con centro
en x 0 y radio r al conjunto de puntos x  M que satisfacen la desigualdad  x0 , x   r . Las esferas
abiertas son conjuntos abiertos en la topología métrica inducida por la distancia . A su vez, las
esferas cerradas son conjuntos cerrados en la topología métrica inducida por la distancia .

Decimos que el conjunto A de un espacio métrico M es un conjunto acotado si puede ser

encerrado en una bola de radio finito.

Ejemplo
2
Dados los siguientes conjuntos de con la métrica (topología) euclídea

x2 x2

B
A

x1 x1

Eduardo A. Rodríguez 4
 MATEMÁTICA PARA ECONOMISTAS

El conjunto A es un conjunto acotado porque puede encerrarse en una bola de radio finito. Sin
embargo, B no es un conjunto acotado porque solamente puede ser encerrado en una bola de radio
infinito.

Propiedad
• Un conjunto de un espacio euclídeo n-dimensional es compacto sii es cerrado y acotado
(Ver demostración en BAUM, pgs. 167-168). En general, cuando en un espacio topológico se
verifica que todo conjunto compacto es cerrado y acotado se dice que ese espacio cumple con la
propiedad de Heine-Borel. Como caso particular, tenemos entonces que todo cubrimiento
abierto de un intervalo cerrado y acotado A  a, b de la recta real con la topología
usual tiene un cubrimiento finito. Entonces todo intervalo cerrado y acotado a, b de la
recta real con la topología usual es compacto.

Espacios euclídeos: Funciones, correspondencias y teoremas del punto fijo

Sea f : X  Y una función (relación) que asocia a cada punto del dominio x  X , un punto en el
codominio y  Y . Entonces X  Y es el conjunto de pares x, f x  en los cuales x  X y
f x  Y . Si tomamos un par arbitrario  x, y  , podemos decir que y  f x  o y  f x  , por lo que
los pares  x, y  que satisfacen y  f x  forman un subconjunto de X  Y . A este subconjunto de
X  Y lo llamamos gráfica de la función f.

Sea g : X  Y una relación que asocia a cada punto x  X un conjunto  x   Y . Llamamos a esta
relación correspondencia, siendo entonces la función un caso particular de ésta. De igual manera
podemos definir la gráfica de una correspondencia como el subconjunto de X  Y :

Graf    x, y  : y   x , x  X , y  Y .

Ejemplo
Función f(x) Correspondencia (x)

y y
f(x) = x2
y=x
(x)

y=½x

x
x

Graf  f   x, y  : y  x 2  Graf    x, y  : ½ x  y  x

Eduardo A. Rodríguez 5
 MATEMÁTICA PARA ECONOMISTAS

Cuando X e Y son espacios euclídeos, decimos que una función es continua en x 0 si f x   f x0 
cuando x  x0 . Si esto ocurre para todo x, decimos que la función es continua en X. Este criterio no
puede aplicarse a las correspondencias porque no existe un único  x  ni un único  x0  . Entonces
decimos que la correspondencia  es semicontinua superiormente en x 0 si

xi  x0 , yi   xi , yi  y0  y0   x0  ,
es decir, si x i tiende a x 0 y una sucesión formada por elementos de y i pertenecientes a las
imágenes de cada x i tiende a y 0 , entonces el límite y 0 pertenece a la imagen de x 0 . Por otra parte,
diremos que la correspondencia  es semicontinua inferiormente en x 0 si

xi  x0 , y0   x0    yi / yi   xi , yi  y0 ,

es decir, si x i tiende a x 0 , y si y 0 pertenece a la imagen de x 0 , entonces existe una sucesión y i 
que tiende a y 0 , en la cual cada elemento y i pertenece a la imagen de x i .

Ejemplos

y : ½ x  y  x cuando x  0,¾   ¾ ,1

•  1 x   
 ¼ , x cuando x  ¾

y
1 La correspondencia  1 x  es
y=x semicontinua superiormente en
x = ¾ porque toda sucesión en
½
a  1 x  tiene límite en  1 ¾ , como
por ejemplo la sucesión cuyo límite
1(x)
es a. Sin embargo no es
b semicontinua inferiormente porque
¼ y=½x
el punto b no es límite de ninguna
sucesión en g 1  x  .
¾ 1 x
y : ½ x  y  x cuando x  0,¾   ¾,1
•  2 x   
 ½ , x cuando x  ¾

y La correspondencia  2 x  no es
1 semicontinua superiormente en
x = ¾ porque la sucesión que
y=x tiene por límite el punto d no
c tiene su límite contenido en
½  2 ¾ . Sin embargo,  2 x  es
d semicontinua inferiormente en
 (x)
2
x = ¾ porque todo punto de
¼ y=½x  2 ¾ es límite de alguna
sucesión contenida en  2 x  ,
como la que converge al punto c.
¾ 1 x
Eduardo A. Rodríguez 6
 MATEMÁTICA PARA ECONOMISTAS

• La correspondencia  3  x    y :½ x  y  x cuando x   0,1 es continua, porque es

semicontinua superior e inferiormente.

Propiedades
• La gráfica de una correspondencia : X  Y semicontinua superiormente en X es un
conjunto cerrado en X  Y. (Ver demostración en BERGE, pg. 117)

• Sea : X  Y una correspondencia semicontinua superiormente y K un conjunto compacto en X,

entonces   K    y  Y : x  X ,   x   y es un conjunto compacto en Y. (Ver demostración
en BERGE, pg. 116)

Teorema del punto fijo de Brower: Sea X un conjunto convexo y compacto, f : X  X una
función continua que asocia un punto f x   X a cada punto x  X . Entonces, existe un punto x *
tal que f x *  x * . Llamamos a x * punto fijo de f. (Ver demostración para el caso euclídeo
n-dimensional en BERGE, pgs. 182-183)

Ejemplo
Sea X el intervalo unitario 0,1 , que es un conjunto convexo y compacto (cerrado y acotado) y sea
f una función continua que asigna a todo elemento del intervalo 0,1 un elemento del mismo
intervalo. Entonces tenemos que la bisectriz de 45º indica aquellos pares de puntos x, f x  en los
cuales ambas componentes coinciden. Si f tiene un punto fijo, la gráfica de la función deberá cortar
a esa bisectriz en el punto x*, x * , siendo x * el punto fijo de la función f. En el primer gráfico
vemos que f tiene solamente un punto fijo, mientras que en el segundo la función posee tres puntos
fijos.

f(x) f(x)

1
1
x3*
f(x)
x2*
x* f(x)
x1*

0 x* 1 x 0 x1* x2* x3* 1 x

A continuación se presentan casos en los cuales no se cumple al menos una de las condiciones
impuestas por el teorema para asegurar la existencia de un punto fijo en una función.

Eduardo A. Rodríguez 7
 MATEMÁTICA PARA ECONOMISTAS

f(x)
f(x)
X no es compacto X no es convexo

1
f(x) 1
f(x)

0 1 x
0 1 x

f(x) f(x)
f no está definida para
f no es continua
todo elemento de X

1 1
f(x) f(x)

0 1 x 0 1 x

Teorema del punto fijo de Kakutani: Sea X un conjunto convexo y compacto y  : X  X una
correspondencia semicontinua superiormente, que asocia a cada punto x un subconjunto convexo
  x   X . Entonces existe algún punto x*  X tal que x*   x * . (Ver demostración para el caso
euclídeo n-dimensional en BERGE, pgs. 183-184)

Ejemplo
Las dos siguientes correspondencias cumplen las exigencias del teorema del punto fijo de Kakutani,
siendo X  0,1 .

Eduardo A. Rodríguez 8
 MATEMÁTICA PARA ECONOMISTAS

y y
1 1

2(x)
1(x)

1 1
x x*
puntos fijos x

Correspondencia continua Correspondencia semicontinua

superiormente, pero no inferiormente

Aplicación económica: Equilibrio walrasiano en economías de intercambio puro

A continuación analizaremos el caso economías de intercambio puro bajo competencia perfecta. En
este tipo de economías el único tipo de agente económico existente es el consumidor. Este
consumidor h, que posee una dotación inicial de bienes  h  1h , , nh   X 
T n
, maximiza una
función de utilidad estrictamente cuasicóncava en los bienes x   x1 , , xn   X 
T n
enfrentando
un sistema dado de precios no negativos p   p1 , , pn    n
.

De tal ejercicio de maximización el consumidor h obtiene sus funciones de demanda para cada uno
de los bienes xi , i = 1, ..., n, es decir funciones ih  p, p h  que dependen de todos los precios de
los bienes existentes en la economía. De esta manera, podemos escribir las demandas del agente h

mediante el vector  h  p, p h   1h  p, p h  , 
, nh  p, p h  
T
n
. Al no haber producción,

podemos definir una función de demanda excedente Z  p    Z1  p  , , Zn p 

T
como la

diferencia entre la función de demanda de mercado     h  p, p h  

m
n
(suma de las
h 1
m
funciones de demanda de los m consumidores) y la oferta de mercado     h  n
(suma de
h 1

las dotaciones iniciales de bienes de los m consumidor), es decir que Z  p  será una función de p

igual a Z  p     h  p, p h    h  
m
n
, homogénea de grado cero en precios debido a que lo
h 1
son las funciones de demanda individuales al depender de los precios relativos de los bienes.

Como consecuencia de esta dependencia de las decisiones de los consumidores en los precios
relativos de los bienes, dado un sistema de precios p, las demandas de cada uno de los agentes para
cada uno de los bienes permanecerá inalterada si p es multiplicado por cualquier escalar positivo.
De esta manera, es posible expresar los precios de los bienes mediante un conjunto de precios más
Eduardo A. Rodríguez 9
 MATEMÁTICA PARA ECONOMISTAS

reducido que preserve las relaciones entre los precios de los diferentes bienes, dado que las
demandas excedentes no variarán por tal transformación de p. Por conveniencia técnica (que se hará
evidente más adelante), y suponiendo que los precios no son todos 0, expresaremos cada uno de los
precios de los bienes de la siguiente manera
pi
n
 0.
p
i 1
i

Por lo tanto, la suma de estos nuevos precios será siempre igual a 1. Entonces, en la búsqueda del
equilibrio, cada p  podrá reemplazarse por un punto (vector) del conjunto

 n 
P  p   :  p j  1
 j 1 
que constituye un simplex de dimensión n-1, es decir un poliedro convexo cuyos vértices (o nodos)
son vectores linealmente independientes. Para los casos n = 2 y n = 3, P tendrá la siguiente forma:

p3
p2
1
1

P
P 1
p2
1
1 p1
p1

De esta manera, el conjunto P tiene la propiedad de ser cerrado y acotado, por lo tanto es un
conjunto compacto en el espacio euclídeo n-dimensional. Cabe destacar que el espacio de precios
original era , pero  no es un conjunto compacto porque no es acotado. P también es convexo.

Definimos equilibrio walrasiano como el par de vectores p*, x * que satisface Zp *  0 , es
decir que, en un equilibrio walrasiano, no existe exceso de demanda en ningún mercado. Sin
embargo se permite que haya un exceso de oferta de algún bien.

Por otra parte, sabemos que si los m consumidores gastan la totalidad de su ingreso, (es decir que
p h  p,p h   p h para todo i = 1, ..., m), la suma de los excesos de demanda serán iguales a
cero en valor, es decir
pZ  p    p h  p,p h   p h   0
m

h 1

independientemente de si la economía se encuentre en equilibrio walrasiano o no. Llamamos a

esta propiedad Ley de Walras.

Eduardo A. Rodríguez 10
 MATEMÁTICA PARA ECONOMISTAS

Teorema de existencia de equilibrio walrasiano: Sea Z  p  : P  n

una función continua que
satisface la ley de Walras. Entonces existe algún p*  P tal que Zp *  0 .

Demostración: Definimos la siguiente función g : P  P

pi  max  0, Zi  p  
gi  p   i = 1, 2, ..., n
1   max  0, Z j  p  
n

j 1

Esta función es continua ya que Zp  y la función máximo son ambas continuas. En el
denominador aparece sumado el “1” para que, cuando la sumatoria sea cero, g i p  quede definida.
Además g  p    g1  p  , g2  p  , , gn  p   pertenece al simplex P ya que para todo i= 1, 2, ..., n

  n n

   max  0, Zi  p  
 pi  max  0, Zi  p   
n n
pi

 gi  p    
i 1 


 i 1 i 1
1
 1   max  0, Z j  p    1   max  0, Z j  p  
n n
i 1

 j 1  j 1

Como P es compacto y convexo y g p  es continua en p definida para todo p  P , de acuerdo al

teorema de punto fijo de Brower, existe un vector p * tal que p*  g p * . Entonces podemos
escribir:
pi *  max  0, Zi  p * 
pi *  i = 1, 2, ..., n
1   max  0, Z j  p * 
n

j 1

Multiplicando miembro a miembro por el denominador y multiplicando miembro a miembro por

Z i p * queda

pi * Zi  p *  max  0, Z j  p *   Zi  p * max  0, Zi  p *  i = 1, 2, ..., l

n

j 1

Sumando miembro a miembro las n ecuaciones, tenemos

 n   n  n
 i i p * Z  p *  
 max  0, Z j  p *     Zi  p * max  0, Zi  p * 
 i 1   j 1  i 1
Por Ley de Walras la suma de los valores de los excesos de demanda son nulos, entonces tenemos
n
que p * Z  p *   pi * Zi  p *  0 , por lo tanto queda
i 1
n

 Z  p * max  0, Z  p *   0
i 1
i i

Esto quiere decir que cada uno de los términos es no-negativo ya que pueden tomar solamente dos
valores: Z i p * y 0. Sin embargo, si algún término fuera estrictamente mayor a cero, la igualdad
2

no se cumpliría. Por lo tanto, lo único que puede pasar es que todos los términos sean cero, lo cual
puede ocurrir únicamente cuando
Z i p *  0 i= 1, 2, ..., n Q.E.D.

Eduardo A. Rodríguez 11
 MATEMÁTICA PARA ECONOMISTAS

Referencias bibliográficas
• BAUM, J. D. (1964): Elements Of Point Set Topology. Dover Publications Inc. New York, 1991.

• BERGE, C. (1965): Espaces topologiques. Fonctions multivoques. Deuxième èdition. Dunod.

París, 1966.

• DEBREU, G. (1959): Theory Of Value. An Axiomatic Analysis Of Economic Equilibrium. John

Wiley & Sons. New York.

• HOCKING, J. G. –YOUNG, G. S. (1988) Topology. Dover Publications Inc. New York.

• KELLEY, J. L. (1955): Topología general. Editorial Universitaria de Buenos Aires. Buenos

Aires, 1975.

• LANCASTER (1968): Mathematical Economics. Dover Publications Inc. New York.,1987.

• MUNKRES, J. R. (2000): Topología. 2ª edición. Prentice Hall. Madrid, 2002.

• VARIAN, H. (1992): Análisis Microeconómico. 3ra. Edición. Antoni Bosch, editor. Barcelona.

Eduardo A. Rodríguez 12