Guia Teorica Topologia

ELEMENTOS DE TOPOLOGA PARA ECONOMA Y GESTIN
EDUARDO A. RODRGUEZ
DICIEMBRE 2007
NDICE
1. TEORA DE CONJUNTOS Conjuntos .................................................................................................................................. 1 Operaciones con conjuntos ....................................................................................................... 1 Conjuntos de ndices y producto de conjuntos ......................................................................... 2 Relaciones ................................................................................................................................. 3 Relaciones especiales: las funciones y las correspondencias ................................................... 4 Descomposicin de conjuntos y relaciones de equivalencia .................................................... 8 Conjuntos finitos y conjuntos infinitos ..................................................................................... 9 Conjuntos numerables .............................................................................................................. 9 Equivalencia de conjuntos ........................................................................................................ 12 Orden y preorden ...................................................................................................................... 14 Aplicaciones econmicas Preferencias sobre planes de consumo .................................................................................. 20 Reglas de eleccin ................................................................................................................. 23 2. ESPACIOS TOPOLGICOS Topologa y conjuntos abiertos ................................................................................................. Entornos y sistema de entornos ................................................................................................ Conjuntos cerrados ................................................................................................................... Puntos de acumulacin ............................................................................................................. Clausura y conjuntos densos ..................................................................................................... Interior y frontera ...................................................................................................................... Relativizacin ........................................................................................................................... Bases y sub-bases ..................................................................................................................... Espacios separables .................................................................................................................. Espacios de Hausdorff y convergencia ..................................................................................... Funciones continuas ................................................................................................................. Homeomorfismos ..................................................................................................................... Espacios producto ..................................................................................................................... Espacios cociente ...................................................................................................................... Espacios compactos .................................................................................................................. Espacios conexos ...................................................................................................................... Semicontinuidad de correspondencias ......................................................................................
27 29 31 32 32 33 34 35 38 41 42 43 45 45 46 49 53
Aplicaciones econmicas Propiedades de los conjuntos de consumo ............................................................................ 56 Existencia de una funcin de utilidad del consumidor .......................................................... 58 3. ESPACIOS MTRICOS Espacios mtricos ..................................................................................................................... Topologa mtrica y espacios metrizables ................................................................................ Conjuntos abiertos, conjuntos cerrados y conjuntos acotados ................................................. Funciones continuas, homeomorfismos e isometras ...............................................................
65 66 67 68
ELEMENTOS DE TOPOLOGA
Convergencia y completitud ..................................................................................................... 70 Funciones contractivas ............................................................................................................. 70 Espacios mtricos completos .................................................................................................... 70 4. CONJUNTOS CONVEXOS Espacios vectoriales .................................................................................................................. Espacios vectoriales topolgicos .............................................................................................. Conjuntos convexos .................................................................................................................. Hiperplano separador, hiperplano acotador e hiperplano soportante ....................................... Puntos extremos ........................................................................................................................ Conos convexos ........................................................................................................................ Cono dual .................................................................................................................................. Simplices ..................................................................................................................................
73 76 77 81 82 84 85 86
Aplicaciones econmicas Convexidad de los conjuntos de produccin ......................................................................... 87 Convexidad en el consumo .................................................................................................... 95 5. TEOREMAS DEL PUNTO FIJO Teorema del punto fijo de Brower ......................................................................................... Teorema del punto fijo de Lipschitz ...................................................................................... Teorema del punto fijo de Kakutani ...................................................................................... Aplicaciones econmicas Existencia del equilibrio walrasiano ...................................................................................
103 104 105
105
BIBLIOGRAFA ........................................................................................................ 115
ii
1. Teora de conjuntos
Conjuntos Definir conjunto es difcil debido a la generalidad del concepto. Tomamos la idea de conjunto tal como tomamos la idea de clase, familia, coleccin, etc. Un conjunto est formado por elementos, los cuales constituyen los elementos del mismo. Ejemplo Sea el conjunto A que se encuentra definido como
A = {a, b, c, d , e} .
De esta manera a, b, c, d y e constituyen los elementos de A. En base a esto podemos afirmar que
a A b A
c A
dA
e A,
es decir que a, b, c, d y e pertenecen a A. Sin embargo, f no pertenece a A

f A.
Por otra parte, el conjunto B = {a, b, c} est formado por elementos pertenecientes a A, lo que constituye un subconjunto de A, es decir B A 1. Adems, si tambin se verifica B A , decimos que B es un subconjunto propio de A. Cuando tratamos con conjuntos que no tienen elementos (como por ejemplo los nmeros reales cuyos cuadrados son nmeros negativos) hacemos referencia a l como el conjunto vaco .
Operaciones con conjuntos Unin: la unin de los conjuntos A y B, es decir A B , est formada por todos aquellos elementos que pertenecen tanto a A como a B. Grficamente:
Cuando decimos B A, consideramos la posibilidad de que B = A.
Interseccin: la interseccin de los conjuntos A y B, es decir A B , est formada por aquellos elementos que pertenecen a A y a B. Grficamente:
A B
En el caso en que A B = diremos que A y B son conjuntos disjuntos. En trminos ms generales, sea F una familia de conjuntos tales que A B = para todo par de conjuntos A y B en F , entonces se dice que los conjuntos en F son disjuntos dos-a-dos.
Diferencia topolgica o complemento relativo: la diferencia entre los conjuntos A y B, es decir A B , est formada por aquellos elementos de A que no pertenecen a B. Grficamente:
A B
Como consecuencia directa de las definiciones antes mencionadas, se deduce que las operaciones y son conmutativas y asociativas:
A B = B A A B = B A
( A B ) C = A (B C ) ( A B ) C = A (B C )
Adems, las operaciones y obedecen las siguientes leyes distrubutivas:
( A B ) C = ( A C ) (B C ) ( A B ) C = ( A C ) (B C )
las cuales reciben el nombre de leyes de De Morgan.
Conjuntos de ndices y producto de conjuntos
Sea I un conjunto. Para cada I sea A un subconjunto de un conjunto S dado. Llamamos a I conjunto de ndices y a la coleccin de subconjuntos de S indicada por los
Eduardo A. Rodrguez
TEORA DE CONJUNTOS
elementos de I familia indicada de subconjuntos de S. Denotaremos a esta familia indicada de subconjuntos de S por {A }I . Sean A y B dos conjuntos. El producto cartesiano de A y B, escrito mediante A B , es el conjunto cuyos elementos son todos los pares ordenados ( x, y ) tales que x A e y B . Una generalizacin del producto cartesiano de dos conjuntos es el producto directo de una coleccin finita de conjuntos. Sean los conjuntos A1 , A2 , , An , los
1 cuales se encuentran indicados por { ,2, , n} , el producto directo Ai es el conjunto
n
consistente de todas las n-upla (a1 , a 2 ,, a n ) tales que ai Ai para todo i { ,2, , n} . 1
i =1
Relaciones
Una relacin es un conjunto de pares ordenados. Si R es una relacin, escribimos xRy, y decimos que x est relacionado con y. El dominio de una relacin R es el conjunto de todas las primeras coordenadas de R y su rango (o recorrido) es el conjunto de todas las segundas coordenadas de R.
Ejemplos
Sea T el conjunto de los subconjuntos de un conjunto S. Una relacin definida en T podra ser est contenida en. Entonces
xRy
es equivalente a
X Y .
Otra relacin que podra definirse es no intersecta a. Entonces

xRy
es equivalente a
X Y = .
Si consideramos el conjunto de los nmeros naturales N, podemos establecer la relacin no es un sucesor de. Entonces
xRy
es equivalente a
x y.
La inversa de una relacin, es decir R 1 , se obtiene invirtiendo cada uno de los pares que pertenecen a R. Entonces
yR 1 x xRy .
Ejemplos
Sea R la relacin est contenida en antes mencionada. Podemos definir R 1 como contiene a. Entonces yR 1 x es equivalente a Y X porque xRy es equivalente a X Y . 3
Eduardo A. Rodrguez
Sea R la relacin no intersecta a. En este caso R y R 1 coinciden en virtud de la conmutatividad de la operacin de interseccin, por la cual R 1 tambin quedar definido como no intersecta a. Entonces yR 1 x es equivalente a Y X = porque xRy es equivalente a X Y = . Sea R la relacin no es sucesor de. Podemos definir R 1 como no precede a. Entonces yR 1 x es equivalente a y x porque xRy es equivalente a x y .
Relaciones especiales: las funciones y las correspondencias
Una funcin es una relacin tal que no hay dos elementos diferentes de ella con la misma primera coordenada. Es decir, f es una funcin sii los elementos de f son pares ordenados y si ( x, z ) y ( x , y ) son elementos de f, entonces y = z . Si f es una funcin y x es un punto de su dominio (el conjunto de todas las primeras coordenadas de elementos de f), entonces f ( x ) es la segunda coordenada del nico elemento de f cuya primera coordenada es x. El punto f ( x ) es el valor de f en x, o la imagen de x por f, y decimos que f asigna a x el valor f ( x ) o toma el valor f ( x ) en x o lleva x a f ( x ) . Denotaremos a la funcin f mediante f : X Y
La imagen del conjunto A X bajo f : X Y es el conjunto

f ( A) = {y : y Y , y = f (x ) para algn x A}
La restriccin de f : X Y a A X , la cual escribiremos fA , es la funcin
fA : A Y tal que fA ( x ) = f ( x ) para cada x A . Bajo estas circunstancias, f es
( )
llamada extensin de fA a X.
Propiedades
Sean A y B dos conjuntos pertenecientes al dominio de la funcin f : X Y . Entonces 1- f () = ; 2- f ({x}) = { f ( x )} ; 3- A B f ( A) f (B ) ; 4- A f ( A) ; 5- f ( A B ) = f ( A) f (B ) ; 6- f ( A B ) f ( A) f (B ) .
Eduardo A. Rodrguez
TEORA DE CONJUNTOS
Ejemplo: Sea X = { ,2,3,4} e Y = { ,2} . Definimos los conjuntos A X y 1 1 B X de la siguiente manera:

A = { ,2,3} 1 B = {2,3,4}
y la funcin f : X Y
x y = f(x)
entonces tenemos que
1 2
2 1
3 1
4 2
A B = {2,3} , entonces f ( A B ) = { } ; 1 f ( A) = { ,2} y f (B ) = { ,2}, entonces f ( A) f (B ) = { ,2}. 1 1 1

1 1 Por lo tanto se ve que f ( A B ) f ( A) f (B ) , ya que { } { ,2}.
La imagen inversa de un conjunto C Y designaremos f 1 (C ) , es el conjunto
bajo la funcin
f : X Y , que
(C ) = {x : x X , f (x ) C} ,
la cual tiene las propiedades que se detallan a continuacin.

Propiedades
Sean los conjuntos A X , C Y y D Y , la relacin inversa2 f satisface las siguientes propiedades 12f ( x ) = y es equivalente a x f
1
:Y X
( y ) 3;
( ) = ;
1
3- C D f 4-
(C )
f
1
(D ) ;
(C D ) =
(C ) f 1 (D ) ;
No confundir con funcin inversa, la cual ser definida ms adelante. Ntese que escribimos
x f
( y ) en lugar de lo que es realmente correcto:
x f
({y}) .
5
Eduardo A. Rodrguez
5-
(C D ) =
1
(C ) f 1 (D ) ;
6- A f 7-
[ f ( A)] ;
f f
(C )] C ;
Ejemplo
Sea X = { ,2,3,4,5} e Y = { ,2,3,4}. Definimos los conjuntos A X , B X y C Y 1 1 de la siguiente manera:

A = { ,2,3} 1 B = {2,4,5} C = { ,2} 1
y la funcin f : X Y
x y = f(x)
1 3
2 3
3 4
4 1
5 4
Sea x = 2, entonces f (2 ) = {3} ; sin embargo si consideramos y = 3, tenemos que f 1 (3) = { ,2} . Se ve entonces que f ( x ) = y es equivalente a x f 1 ( y ) ya que 1 f (2 ) = 3 es equivalente a 2 { ,2} . 1 Sea A = { ,2,3} , entonces f ( A) = {3,4} y f 1 1 A f [ f ( A)] ya que { ,2,3} { ,2,3,5}. 1 1
1
[ f ( A)] = {1,2,3,5} . Se ve entonces que
Sea C = { ,2} , entonces f 1 (C ) = {4} y f f 1 1 f f (C ) C ya que { } { ,2}. 1 1
(C )] = {1} .
Se ve entonces que
Una funcin f : X Y es sobre Y sii Y es su imagen o recorrido (el conjunto de las segundas coordenadas de elementos de f, a veces llamado conjuntos de valores). En este caso diremos que la funcin es sobreyectiva. Si el recorrido de f es parte de Y, entonces f es en Y y la funcin no ser sobreyectiva. Si a elementos diferentes de X le corresponden elementos diferentes de Y, la funcin ser inyectiva. En general una funcin es pluriunvoca, en el sentido de que hay muchos pares con la misma segunda coordenada o, lo que es lo mismo, muchos puntos en los que la funcin toma el mismo valor. Una funcin f es biunvoca (o biyectiva) sii puntos diferentes tienen imgenes diferentes (inyectiva) e Y es su recorrido (sobreyectiva), es decir, si la relacin inversa f 1 es tambin funcin.
Eduardo A. Rodrguez
TEORA DE CONJUNTOS
Ejemplos
Funcin constante: es una funcin f : X Y tal que para algn y Y fijo, f ( x ) = y para todo x X . Funcin identidad sobre X: es una funcin i : X X que se representa como i( x ) = x para todo x X . Funcin inversa: Dada una funcin f : X Y , es una funcin f 1 : Y X tal que f 1 ( f ( x )) = x para todo x X y f ( f 1 ( y )) = y para todo y Y . Funcin compuesta: Si f : X Y y g : Y Z son funciones, entonces gf : X Z es la funcin definida por gf ( x ) = g ( f ( x )) para todo x X . Esta funcin compuesta suele escribirse tambin como g f .
Una sucesin es simplemente una funcin cuyo dominio es el conjunto de los enteros no negativos, expresndose de la siguiente manera:
S = {x n } = x0 , x1 , x 2 ,, x n ,
Decimos que T es una subsucesin S sii existe una sucesin de enteros no negativos N tal que Ti = S N i para cada i, y para cada entero m existe un entero n tal que N i m cada vez que i n .
Sea f : X Y una funcin (relacin) 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 grfica de la funcin f.
Sea g : X Y una relacin que asocia a cada punto x X un conjunto (x ) Y . Llamamos a esta relacin correspondencia, siendo entonces la funcin un caso particular de sta. De igual manera podemos definir la grfica de una correspondencia como el subconjunto de X Y :
Graf ( ) = {(x, y ) : y ( x ), x X , y Y }.
Eduardo A. Rodrguez
Ejemplo
Funcin f(x)
Correspondencia (x)
y y=x
f ( x) = x2
(x)
y=x x
Graf ( f ) = (x, y ) : y = x 2
x
Graf ( ) = {( x, y ) : x y x}
Descomposicin de conjuntos y relaciones de equivalencia
Llamamos descomposicin o particin en clases de un conjunto A a toda representacin de dicho conjunto como la unin de una familia de conjuntos disjuntos dos-a-dos. Una descomposicin se hace usualmente en base a algn criterio, lo cual nos permitir poder asignar los elementos de A en una clase u otra. Para ello necesitamos definir relaciones de equivalencia. Una relacin R sobre A es una relacin de equivalencia (sobre A) si satisface las siguientes tres condiciones: 1- Reflexividad: aRa para todo a A ; 2- Simetra: aRb bRa para todo a , b A 4; 3- Transitividad: aRb, bRc aRc para todo a , b, c A ;
Propiedad
Un conjunto A puede ser particionado en clases por una relacin R (que actuar como criterio para asignar dos elementos a la misma clase) sii R es una relacin de equivalencia. (Ver demostracin en KOLMOGOROV-FOMIN, pgs. 7-8). De esta manera, uno puede hablar de descomposicin de conjuntos en clases de equivalencia. En consecuencia, dos clases de equivalencia sern disjuntas o idnticas. El conjunto A/R
Otra forma de expresar la simetra de una relacin es la siguiente: la relacin R es simtrica sii R = R-1. Una relacin es antisimtrica sii nunca se presentan simultneamente aRb y bRa. Eduardo A. Rodrguez
TEORA DE CONJUNTOS
conformado por las clases de equivalencias de A utilizando como criterio la relacin R suele llamarse cociente de A por la relacin R.
Ejemplos
Dentro de los nmeros reales , la relacin es igual a (=) es una relacin de equivalencia. En este caso la relacin es igual a define clases de equivalencia donde cada elemento constituye una clase de un nico elemento. Sin embargo, la relacin es menor a (<) no lo es, ya que a < a . / Sea f : A B , podemos particionar el conjunto A en subconjuntos tales que los elementos de cada uno de ellos tengan la misma imagen; es decir, definimos la relacin tiene igual imagen que ( f (a ) = f (a ), donde a , a A) . De esta manera, la funcin f determina una particin de A en clases de equivalencia. Un caso ms concreto se observa cuando A = n y B = , en el cual estas clases de equivalencia reciben el nombre de superficies de nivel de f, o bien curvas de nivel de f cuando n = 2.
Conjuntos finitos y conjuntos infinitos
Como su nombre lo sugiere, un conjunto finito es un conjunto que tiene una cantidad finita de elementos (como por ejemplo el conjunto de todos los nmeros primos menores a un nmero dado), mientras que un conjunto infinito es aqul que posee una cantidad infinita de elementos (como por ejemplo el conjunto de todos los nmeros enteros positivos Z + )
Conjuntos numerables
El conjunto infinito ms simple es el conjunto Z + de todos los nmeros enteros positivos. Un conjunto es llamado infinito-numerable si sus elementos pueden ponerse en correspondencia uno a uno con el conjunto Z + . Decimos que un conjunto es numerable si es finito o infinito-numerable. En otras palabras, un conjunto numerable es un conjunto cuyos elementos pueden ser escritos como
a1 , a 2 , , a n ,
Entendemos por conjunto no numerable aquel conjunto que no es numerable.

Ejemplos
El conjunto de todos los nmeros pares positivos es numerable, como muestra la correspondencia uno a uno n 2n
Eduardo A. Rodrguez
2n : 2 n: 1
4 2
6 3
8 10 12 4 5 6
El conjunto 2,4,8,16, ,2 n , de potencias sucesivas de 2 es numerable, como muestra la correspondencia uno a uno n 2 n
2 n : 2 4 8 16 32 64 n:
2 3
El conjunto Q de todos los nmeros racionales es numerable. Para ver esto recordamos primero que todo nmero racional puede representarse como una p con q > 0 . Llamamos a la suma p + q la altura del fraccin irreductible q p nmero racional = . Por ejemplo: q
0 = 0 es el nico nmero racional de altura 1; 1

1 1 y son los nicos nmeros racionales de altura 2; 1 1
2 2 1 1 , y son los nicos nmeros racionales de altura 3; y as , 2 1 1 2 sucesivamente.

Entonces ahora podemos acomodar todos los nmeros racionales en orden de altura creciente 0 1 1 2 2 1 1 ; ; ; ; ; ; ; . 1 1 1 1 1 2 2 De esta manera, podemos asignar a cada nmero racional un nico entero positivo, es decir, podemos establecer una correspondencia uno a uno entre el conjunto Q de todos los nmeros racionales y el conjunto Z + de todos los nmeros enteros positivos, es decir
Q: 0 1 1 1 1 1 2 3 2 1 4 2 1 5 1 2 6 1 2 7
Z+ : 1
Los conjuntos numerables poseen las propiedades que se detallan a continuacin:

10
Eduardo A. Rodrguez
TEORA DE CONJUNTOS
Propiedades
1- Todo subconjunto de un conjunto numerable es numerable. (Ver demostracin en AYALA-DOMINGUEZ-QUINTERO, pgs. 301) 2- La unin de una coleccin numerable de conjuntos numerables es numerable. (Ver demostracin en AYALA-DOMINGUEZ-QUINTERO, pg. 301) 3- Todo conjunto infinito tiene un subconjunto infinito-numerable5. (Ver demostracin en KOLMOGOROV-FOMIN, pgs. 12-13)
Un ejemplo de conjunto no numerable: el intervalo cerrado [0,1]
El conjunto de los nmeros reales contenido en el intervalo cerrado [0,1] es nonumerable. Para ver esto, supongamos que, de alguna manera, hemos podido contar algunos o todos los nmeros reales en [0,1] , acomodndolos en la siguiente lista
1 = 0, a11a12 a1n 2 = 0, a21a22 a2 n

n = 0, an1an 2 ann donde aik es el k-simo dgito en la expresin decimal del nmero i . Consideremos el decimal
= 0, b1b2 bn
construido de la siguiente manera: para b1 elegir cualquier dgito (entre 0 y 9) diferente de a11, para b2 cualquier dgito diferente de a22, y as sucesivamente, eligiendo para bn cualquier dgito diferente de ann. Entonces el nmero no puede coincidir con ningn decimal de la lista inicial. En realidad, difiere de 1 en al menos el primer dgito, de 2 en al menos el segundo dgito, y as sucesivamente puesto que en general bn a nn
para todo n. De este modo, ninguna lista de nmeros reales en el intervalo [0,1] puede incluir todos los nmeros reales en [0,1] .6 Otros ejemplos de conjuntos no numerables son:
Esta ltima propiedad muestra que los conjuntos infinito-numerables son los conjuntos infinitos ms pequeos. Esto se relaciona con algo que veremos inmediatamente: la potencia de un conjunto.
6
Puesto que ciertos nmeros, como por ejemplo los de la forma p/10q pueden escribirse como decimales de dos maneras diferentes, es decir como una infinita corrida de ceros o una infinita corrida de nueves, el argumento anterior puede ser refinado ligeramente para contemplar esta situacin, ya que 0,5 y 0,49 no representan nmeros reales distintos, sino que ambos son iguales al nmero real . Para ello consultar KOLMOGOROV-FOMIN, pg. 15. La idea es restringirse a que no contenga ni ceros ni nueves. Eduardo A. Rodrguez
11
El conjunto de puntos en cualquier intervalo cerrado [a, b] ; El conjunto de puntos de la recta real; El conjunto de puntos en cualquier intervalo abierto (a, b ) ; El conjunto de todos los puntos en el plano o en el espacio; El conjunto de todos los puntos sobre una esfera o dentro de una esfera; El conjunto de todas las lneas del plano; El conjunto de todas las funciones reales continuas de una o varias variables.
Equivalencia de conjuntos
Decimos que los conjuntos X e Y son equivalentes cuando puede establecerse una correspondencia uno a uno entre los elementos de ambos conjuntos. El concepto de equivalencia es aplicable tanto a conjuntos finitos como infinitos. Dos conjuntos finitos son equivalentes sii tienen la misma cantidad de elementos, por lo tanto podemos definir conjunto infinito-numerable como un conjunto equivalente al conjunto de todos los nmeros enteros positivos. Resulta obvio entonces que si dos conjuntos son equivalentes a un tercero, entonces son tambien equivalentes entre ellos y que, en particular, cualquier par de conjuntos infinito-numerables son equivalentes entre si.
Ejemplos
Todo conjunto infinito-numerable es equivalente a Z + ya que puede establecerse una correspondencia uno a uno entre los elementos de ambos conjuntos. Los conjuntos de puntos en dos intervalos cerrados [a, b] y [c, d ] son equivalentes. 0 La siguiente figura muestra cmo se puede establecer una correspondencia uno-a-uno entre ellos. Aqu los puntos p y q se corresponden entre s sii subyacen ambos en el mismo rayo que parte del punto 0, en el cual las extensiones de los segmentos ac y bd se intersectan.
El conjunto de todos los puntos contenidos en el intervalo abierto (0,1) es equivalente al conjunto de todos los puntos sobre la totalidad de la recta real. Por ejemplo la frmula
12
Eduardo A. Rodrguez
TEORA DE CONJUNTOS
y=
arc tg x +
1 2
establece una correspondencia uno a uno entre ambos conjuntos, como puede verse en el siguiente grfico: y 1
y=
arc tg x +
1 2
-x
Propiedades
Todo conjunto infinito no numerable es equivalente a uno de sus subconjuntos propios. (Ver demostracin en KOLMOGOROV-FOMIN, pg. 14)
Teorema de Cantor-Bernstein: Dados dos conjuntos cualesquiera A y B, supongamos que A contiene un subconjunto A1 equivalente a B, mientras que B contiene un subconjunto B1 equivalente a A. Entonces A y B son equivalentes. (Ver demostracin en KOLMOGOROV-FOMIN, pgs. 17-18)
Si dos conjuntos cualesquiera M y N son equivalentes se dice que tienen la misma potencia. Si adems ambos conjuntos fueran finitos, esto equivaldra afirmar que tienen la misma cantidad de elementos, con lo cual el concepto de potencia de un conjunto se reduce a la nocin usual de nmero de elementos de un conjunto. La potencia del conjunto Z+ de todos los enteros positivos, y por ende la potencia de cualquier conjunto infinito-numerable, se denota con el smbolo 0 , que se lee alef cero. Un conjunto equivalente al conjunto de los nmeros reales contenidos en el intervalo [0,1] , y por ende el conjunto de todos los nmeros reales, se dice que tiene la potencia del continuo, que se denota por c (o bien 1 ). Para las potencias de conjuntos finitos tenemos las nociones de mas grande que y ms chico que, como as tambin la nocin de igualdad. Este concepto es extendible al caso de los conjuntos infinitos. Sean A y B dos conjuntos cualesquiera con potencias m(A) y m(B) respectivamente. Pueden darse los siguientes casos: 1- Si A es equivalente a B, entonces m(A) = m(B) por definicin.
Eduardo A. Rodrguez
13
2- Si A es equivalente a un subconjunto de B y si ningn subconjunto de A es equivalente a B, por analoga con el caso finito consideramos m(A) < m(B). 3- Si B tiene un subconjunto equivalente a A y A tiene un subconjunto equivalente a B, entonces por aplicacin del teorema de Cantor-Bernstein A y B tienen la misma potencia. 4- Si A y B no son equivalentes, como as tampoco ninguno de los dos conjuntos tienen subconjuntos equivalentes entre ambos, entonces en principio parecera que las potencias de ambos conjuntos no podran ser comparadas. Sin embargo puede demostrarse a partir del teorema de buena ordenacin7 que tal situacin no puede darse. De esta manera ocurre que m(A) = m(B), m(A) < m(B) o bien m(A) > m(B). Por ejemplo, 0 < c. Ya ha sido mencionado que los conjuntos infinito-numerables son los conjuntos infinitos ms pequeos. Tambin ha sido mostrado que existen conjuntos infinitos con una potencia ms grande que la de un conjunto infinito-numerable, aquellos conjuntos que tienen la potencia del continuo. Sin embargo hay conjuntos infinitos de potencia mayor a la del continuo.
Propiedad
Dado un conjunto cualquiera M, sea M el conjunto cuyos elementos son todos los posibles subconjuntos de M. Entonces la potencia de M es ms grande que la potencia del conjunto original M. (Ver demostracin en KOLMOGOROV-FOMIN, pg 17) De esta manera, dado cualquier conjunto M, existe un conjunto M con potencia ms grande, un conjunto M* de potencia an ms grande, y as indefinidamente. En particular, no existe un conjunto que tenga la mayor potencia8.
Orden y preorden
Una relacin R sobre un conjunto M se dice que es un preorden (parcial) y que el conjunto M est preordenado (parcialmente) si 1- R es reflexiva: aRa , a M 2- R es transitiva: aRb, bRc aRc , a, b, c M Cuando adems R es antisimtrica, es decir xRy, yRx x = y , la relacin se denomina orden (parcial). Para designar un preorden suele utilizarse el smbolo .
El cual veremos en el siguiente apartado.
El conjunto M formado con todos los posibles subconjuntos de M se lo conoce como conjunto potencia (o conjunto de partes) de M. Si M tiene n elementos, M tendr 2n elementos. Eduardo A. Rodrguez
14
TEORA DE CONJUNTOS
Por definicin y x significa x y9. Por otra parte, cuando tengamos x y e y x, escribiremos x y, mientras que si ocurre que x y pero no y x, entonces escribiremos x y (o y x )10.
Ejemplos
Sea el conjunto de todos los nmeros reales y R la relacin es menor o igual a , que denotamos con el smbolo . De esta forma R constituye un preorden porque
aa
a b, b c a c Adems se verifica:
a b, b a a = b
por lo cual la relacin constituye un orden. Sea M el conjunto de todas las funciones continuas f , g ,... definidas en el intervalo [ , ] . De esta forma tenemos un preorden haciendo
f g f (t ) g (t )
para todo t [ , ] .
La relacin no intersecta a, equivalente a X Y = , no es una relacin de preorden ya que

X X X Y = e Y Z = no implica X Z =
La relacin est contenido en, equivalente a X Y , no slo es un preorden (parcial) sino tambin un orden (parcial).
Sean M y M dos conjuntos preordenados. Si existe una relacin f uno a uno entre ambos conjuntos tal que:
f (a ) f (b ) a b
llamamos a esta relacin f isomorfismo y a los conjuntos M y M isomorfos.
De esta manera como el smbolo se corresponde con la relacin R, el smbolo corresponder con la relacin R-1. Ntese que si bien y son reflexivas, no lo es. Adems es antisimtrica.
se
10
Eduardo A. Rodrguez
15
Ejemplos
Sea A el conjunto de los nmeros enteros positivos ordenados de la manera usual y 1 2 3 n B el conjunto de las fracciones , , , , , tambin ordenadas de la manera 2 3 4 n +1 usual. La transformacin f : A B definida por f (n ) = n n +1
es una correspondencia uno-a-uno y preserva orden. Adems, en lo que al orden concierne, no hay manera de distinguir entre A y B. A y B son isomorfos y f es un isomorfismo. Sea M el conjunto de los nmeros enteros positivos mayores a 1, parcialmente ordenados mediante la relacin es divisor de. Por otra parte sea M el mismo conjunto parcialmente ordenado mediante la relacin es menor o igual a. Entonces la correspondencia de M sobre M que relaciona todo nmero entero n con si mismo preserva orden. Sin embargo no es un isomorfismo porque no puede establecerse una relacin del tipo si y solo si ya que si bien un divisor de un nmero tiene que ser menor o igual a l, todo nmero menor o igual a ste no necesariamente es un divisor suyo. Tendremos entonces que para los pares (a, b) de ambas relaciones tales que a b se verifica:
M : 2 3 4 5 6 7 8 ... 4 8 ... M: 2 3 6 ... 5 7 ... ...
El isomorfismo entre conjuntos parcialmente ordenados es una relacin de equivalencia. Por ende, una familia dada de conjuntos parcialmente ordenados puede ser particionada en clases de conjuntos disjuntos isomorfos. Claramente, dos conjuntos isomorfos parcialmente ordenados pueden ser considerados idnticos en los casos donde el elemento de inters sea la estructura de ordenacin parcial y no los elementos de los conjuntos.
Por otra parte, dados dos elementos a y b de un conjunto preordenado, puede ocurrir que ninguna de las relaciones a b y b a se cumpla. En este caso decimos que a y b son no-comparables. Lo mismo puede ocurrir con una relacin de orden. En general, este tipo de relaciones se encuentra definida para ciertos pares de elementos, por eso a estas relaciones se las conoce como preorden parcial y orden parcial. Cuando un conjunto M no tiene elementos no-comparables, entonces hablamos de preorden completo y orden completo.
16
Eduardo A. Rodrguez
TEORA DE CONJUNTOS
Ejemplos
Los conjuntos completamente ordenados con las relaciones usuales de mayor o igual que y menor o igual que ms simples son: el conjunto de todos los enteros positivos; el conjunto de todos los nmeros racionales; el conjunto de los reales contenidos en el intervalo [0,1] . Sin embargo, el conjunto de las funciones continuas sobre [ , ] , si bien es un conjunto preordenado no lo es de manera completa, ya que puede ocurrir para un par de funciones f* y g*
f * (t ) g * (t ) para todo t [ , t )
f * (t ) g * (t ) para todo [t , ]
Sea M un conjunto parcialmente preordenado y sea y M : si no existe ningn x M tal que y x , entonces decimos que y es un elemento maximal de M; es decir, no existe ningn elemento mayor a x. si no existe ningn x M tal que x y , entonces y es un elemento minimal de M; es decir, no existe ningn elemento menor a x. si para todo x M se verifica que x y , entonces decimos que y es un elemento mximo de M; es decir, todos los elementos son menores o iguales a y. si para todo x M se verifica que y x , entonces decimos que y es un elemento mnimo de M; es decir, todos los elementos son mayores o iguales a y.
Ejemplo
1 1 1 1 Sea B = 1, , , , , ; un conjunto ordenado mediante la relacin es mayor n 2 3 4 o igual a. De esta manera, B tiene Un elemento maximal (1) porque no existe ningn elemento mayor a 1; Un elemento mximo (1) porque es el mayor de los elementos de B; Sin embargo, B no tiene ni minimales ni mnimos.
Sea S = { ,2,3,4,5} un conjunto parcialmente ordenado por la relacin es divisor 1 de. El conjunto de pares ordenados R (relacin) ser entonces
R = {(1, 2 ) , (1,3) , (1, 4 ) , (1,5 ) , ( 2, 4 ) , (1,1) , ( 2, 2 ) , ( 3,3) , ( 4, 4 ) , ( 5,5 )}
es decir que los diferentes elementos de S se encuentran relacionados de la siguiente manera.

Eduardo A. Rodrguez
17
S: 1 2 3 1 2 1 3 1
4 4
donde significa es divisor de11. Entonces vemos que S tiene Tres elementos maximales (3, 4 y 5), ya que no existe ningn elemento de S que sea divisible ni por 3 ni por 4 ni por 5. Sin embargo 4 es divisible por 2 y todos los elementos de S son divisibles por 1; por ello 2 y 1 no son maximales de S. Ningn elemento mximo, ya que no existe ningn elemento de S que sea divisible por todos sus elementos. Un elemento minimal, ya que no existe ningn elemento de S tal que 1 sea divisible por l. Un elemento mnimo (1), ya que todo elemento de S es divisible por 1.
Propiedades
Sea M un conjunto parcialmente preordenado. Entonces
Un mximo de M es maximal; a su vez un mnimo es minimal, pero cuando el preorden es completo la distincin entre mximo y maximal desaparece. Lo mismo ocurre con la distincin entre mnimo y minimal. Si el preorden es un orden existe a lo sumo un mximo y a lo sumo un mnimo; es decir que existe un mximo o ninguno y un mnimo o ninguno.
Sea M un conjunto preordenado y considrese un subconjunto A M . Un elemento y M tal que para cualquier x A se tenga que x y se denomina cota superior de A; si ocurre que y x , entonces y se llama cota inferior de A. Teniendo en cuenta el conjunto de todas las cotas superiores de A, llamamos supremo de A ( Sup A ) al elemento mnimo de las cotas superiores de A, mientras que llamamos nfimo de A ( Inf A ) al elemento mximo de las cotas inferiores.
Ejemplos
Considrese el intervalo abierto A = ( 1,1) en la recta real. Entonces tenemos que: todo nmero mayor o igual a 1 es una cota superior de A, la cota superior mnima es 1, por lo cual Sup A = 1 , a pesar de no pertenecer al conjunto.
11
En este caso, la relacin inversa sera es divisible por o es mltiplo de. Eduardo A. Rodrguez
18
TEORA DE CONJUNTOS
todo nmero menor o igual a -1 es una cota inferior de A, la cota inferior mxima es 1 , por lo cual Inf A = 1 , a pesar de no pertenecer al conjunto.
El conjunto A no tiene elementos mximos ni elementos mnimos.
Si bien es un conjunto completamente ordenado con la relacin de orden usual, 2 no lo es ya que la relacin de orden solamente puede establecerse entre puntos pertenecientes a una recta que tenga pendiente positiva.
x2 x xa C
c
B A
xb
x1
Como puede verse en el grfico, una relacin de orden puede establecerse sobre los puntos de la recta A y sobre los puntos de la recta B, pero nunca sobre los puntos de la recta C porque en este ltimo caso c b podremos tener que x1c < x1b pero x 2 > x 2 , es decir que el sentido de la desigualdad cambia cuando se comparan las primeras componentes y las segundas componentes.
Una manera de definir una relacin de orden completo en 2 a partir de la relacin de orden usual en es a travs del llamado orden lexicogrfico: diremos que
(a1 , b1 ) < (a 2 b2 ) si
a1 < a 2 a1 = a 2
y b1 < b2
Sea el intervalo I = [a, b) . El conjunto I no tiene mximo, pero su supremo es b. Su mnimo coincide con su nfimo, el cual es a.
Un conjunto completamente ordenado M se dice que est bien ordenado si todo subconjunto no vaco A de M tiene un mnimo, es decir que posee un elemento tal que a para todo a A .
Ejemplos
Todo conjunto finito completamente ordenado es bien ordenado. Todo subconjunto no vaco de un conjunto bien ordenado es bien ordenado. El conjunto M de nmeros racionales en el intervalo [0,1] est completamente ordenado pero no es bien ordenado. Es cierto que M tiene un mnimo, el nmero 0, pero el subconjunto de M conformado por todos los nmeros racionales positivos no tiene mnimo.
Si bien no todo conjunto completamente ordenado es bien ordenado, todo conjunto puede bien ordenarse, como lo afirma el siguiente teorema.
Eduardo A. Rodrguez
19
Propiedad
Teorema de buena ordenacin (Zermelo): todo conjunto X puede bien ordenarse; es decir que siempre existir una relacin de orden sobre X tal que X sea un conjunto bien ordenado. (Ver demostracin en KELLEY, pgs 47-48). La demostracin de este ltimo teorema se basa en el axioma que se menciona a continuacin.
existe una funcin f : I Ai tal que f (i ) Ai para todo i I . Esto es,

iI
Axioma de eleccin: Sea A = {Ai }iI una familia de conjuntos no vacos. Entonces
podemos elegir simultneamente un elemento de cada conjunto demostracin en KELLEY, pg 47)
Ai . (Ver
Aplicaciones econmicas
Preferencias sobre planes de consumo
Un consumidor debe tomar decisiones con el objetivo de definir su plan de consumo. Dicha decisin no slo se limita a elegir las cantidades de bienes a consumir, sino tambin las cantidades que tiene en su posesin (riqueza) que deber entregar para conseguir aquellos bienes que desea. Para ello el consumidor debe basar su decisin sobre el conjunto de las mercancas (que pueden ser una cantidad finita o infinita) existentes en la economa, al cual llamamos espacio de mercancas M. Representaremos un plan de consumo mediante el punto xi M , el cual puede ser posible o imposible de alcanzar por el consumidor i. Llamamos conjunto de consumo Xi al conjunto de todos los consumos posibles para el i-simo consumidor.
Preferencias del consumidor
Dados dos consumos xi1 , xi2 en Xi, se supone que uno y solamente uno de los siguientes tres casos puede darse para el consumidor: a) xi1 es preferido a xi2 ; b) xi1 es indiferente a xi2 ; c) xi2 es preferido a xi1 . En base a estas situaciones se puede establecer la relacin no es preferido a, que simblicamente representamos como
xi1 xi2 .
20
Eduardo A. Rodrguez
TEORA DE CONJUNTOS
Esta relacin constituye un preorden, ya que para todo xi1 , xi2 , xi3 X i tenemos que 1) es reflexiva: xi1 xi1 ; 2) es transitiva: xi1 xi2 y xi2 xi3 , entonces xi1 xi3 , Llamamos a esta relacin preorden de preferencias. En virtud de que los planes de consumo son todos comparables entre s, la relacin constituye un preorden completo. Por otra parte, la relacin permite definir la relacin de indiferencia como:
xi1 xi2 xi1 xi2 , xi2 xi1
la cual se lee xi1 es indiferente a xi2 . En gran parte de la teora microeconmica se supone que las preferencias individuales son racionales. La hiptesis de racionalidad est personificada en dos supuestos bsicos sobre las relaciones de preferencias que ya hemos mencionado: completitud y transitividad.
completitud: este supuesto dice que los individuos tienen una preferencia bien definida entre dos alternativas dadas. Este es un supuesto fuerte ya que equivale a suponer que el individuo ha realizado un importante trabajo de introspeccin. Bajo este supuesto los individuos solo toman decisiones luego de haberlo meditado detenidamente. transitividad: este es otro supuesto fuerte y va al centro del concepto de racionalidad. La transitividad implica que es imposible tomar decisiones que tengan carcter circular del tipo a es preferido a b, b es preferido a c y c es preferido a a.
Ambos supuestos pueden ser de difcil concrecin si las alternativas a evaluar se encuentran lejos de la experiencia habitual del consumidor.
Relacin de indiferencia
La relacin de indiferencia del consumidor es una relacin de equivalencia ya que, para todo xi1 , xi2 , xi3 X i : 1) es reflexiva: xi1 xi1 ; 2) es simtrica: xi1 xi2 xi2 xi1 ; 3) es transitiva: xi1 xi2 y xi2 xi3 , entonces xi1 xi3 . De esta manera, la existencia de una relacin de equivalencia (la relacin de indiferencia) en Xi permite particionar Xi en clases de equivalencia. Entonces, dado un plan de consumo xi ' X i , el conjunto
Eduardo A. Rodrguez
21
{xi X i : xi
xi '}
es decir el conjunto de consumos xi formado por aquellos planes de consumo que son indiferentes a xi ' , constituye una clase de indiferencia en Xi. No es difcil ver que un consumo arbitrario en Xi pertenece a una y solo una clase de indiferencia, es decir que el conjunto de las clases de indiferencia constituye una particin de Xi. De esta manera, el conjunto de las clases de indiferencia del consumidor es el cociente de X por la relacin de indiferencia , es decir X/.
El supuesto de transitividad12
Dentro de los problemas generales de eleccin, el supuesto de transitividad puede fallar por una cantidad de razones. Una de las dificultades aparece a causa del problema de las diferencias apenas perceptibles: Supongamos que una persona debe elegir entre dos variedades muy similares de gris para pintar su habitacin. ste puede no ser capaz de notar la diferencia entre los colores y les resultar indiferentes. Supngase ahora que se le ofrece elegir entre el gris ms claro de los dos y uno an ms claro. Puede ser que este nuevo par de colores le vuelva a resultar indiferente porque no distingue la diferencia entre ambos. Podemos continuar de esta forma, haciendo que los colores se tomen progresivamente ms claros en los sucesivos experimentos de eleccin, pudiendo ocurrir que esta persona exprese indiferencia entre ambos colores cada vez que deba tomar una decisin. Una vez realizados varios experimentos, ofrecemos a este individuo elegir entre la primera variedad de gris (la inicial ms oscura) y la final (muy cercana al blanco). En este caso el individuo podra ser capaz de distinguir ambos colores y decidirse por uno de ellos. De esta manera se violara la transitividad. A veces la aparente intransitividad puede ser explicada como el resultado de la interaccin de varios individuos racionales, es decir varios individuos con preferencias transitivas. Consideremos el siguiente ejemplo: Una casa integrada por la madre (m), el padre (p) y el hijo (h) toman decisiones por mayora de votos. Las alternativas para el viernes a la tarde son ir al teatro (T), a un concierto (C) o a patinar (P). Los tres miembros de la casa tienen preferencias individuales racionales, a saber:
T
P
m
C
T
P
C
(padre) (madre)
12
Los ejemplos citados en el presente apartado son tomados de MAS COLLEL-WHINSTON-GREEN, pgs. 7-8. Eduardo A. Rodrguez
22
TEORA DE CONJUNTOS
(hijo)
Ahora imaginemos que se hacen tres votaciones por mayora. Considerando las relaciones mencionadas anteriormente, obtenemos los siguientes resultados:
T vs. C gana T C vs. P gana C T P vs. T gana P
lo que hace que las preferencias del grupo sean intransitivas. Este ejemplo es conocido como paradoja de Candorcet. Puede ocurrir que la intransitividad en las preferencias de un individuo sea manifestacin de cambios en los gustos. Un potencial fumador de cigarrillos puede preferir fumar un cigarrillo por da a no fumar y puede preferir no fumar a fumar mucho, pero una vez que est fumando un cigarrillo por da, sus gustos pueden cambiar, pudiendo desear incrementar la cantidad de cigarrillos que fuma. Formalmente en la situacin inicial tendremos: un cigarrillo ningn cigarrillo muchos cigarrillos.
mientras que luego de fumar un cigarrillo ocurrir que muchos cigarrillos un cigarrillo ningn cigarrillo.
De esta manera pareciera haber una intransitividad del tipo muchos cigarrillos un cigarrillo muchos cigarrillos.
Si nos apegamos a nuestra definicin de consumidor racional, tal situacin implica que un consumidor racional debera poder anticipar estos posibles cambios inducidos en los gustos.
El supuesto de insaciabilidad
Suele suponerse que no existe un consumo de saciedad para el i-simo consumidor, es decir, sea cual fuere su consumo (en Xi), hay otro (en Xi) que el i-simo consumidor prefiere.
Reglas de eleccin
Existe una segunda aproximacin al problema de la decisin del consumidor, la cual se desarrolla considerando la conducta de eleccin como el objeto primario de la teora en lugar de las preferencias.
Eduardo A. Rodrguez
23
Formalmente la conducta de eleccin es representada a travs de una estructura de eleccin. Una estructura de eleccin es un par ordenado (B, C ()) tal que:
B es una familia de conjuntos no vacos de Xi; es decir que todo elemento de B es un conjunto B X i . Llamamos a los elementos de B B conjuntos presupuestarios. Los conjuntos presupuestarios en B deben ser pensados como una lista exhaustiva de todos los experimentos de eleccin concebibles que pueden ser llevados a cabo por el consumidor, ya sea a nivel institucional, fsico, etc.
C () es una regla de eleccin (tcnicamente es una correspondencia) que asigna un conjunto no vaco de elementos seleccionados C (B ) B a cada conjunto presupuestario B B . Cuando C (B ) contiene un nico elemento, ese elemento es la eleccin individual entre todos los elementos de B. De todos modos, el conjunto C (B ) puede contener ms de un elemento. Cuando esto ocurre, los elementos de C (B ) son las alternativas en B que el consumidor puede considerar y elegir; esto es, son las alternativas aceptables en B.
Ejemplo
Supongamos que X i = {x, y, z} y B = {{x, y}, {x, y, z}} . Una posible estructura de eleccin podra ser (B,C1 ()) donde la regla de eleccin C1 () es:
C1 ({x, y}) = {x}
C1 ({x, y, z}) = {x}
En este caso vemos que ser elegido x sin importar cul sea el conjunto presupuestario que el consumidor enfrente. Otra posible estructura de eleccin podra ser (B,C 2 ()) , donde la regla de eleccin C 2 () es:
C 2 ({x, y}) = {x}
C 2 ({x, y, z}) = {x, y}
En este ltimo caso vemos que x siempre es considerado, pero para el conjunto presupuestario {x, y, z} el consumidor tambin considerar y. Impondremos ahora algunas restricciones razonables a la regla de eleccin: La estructura de eleccin (B, C ()) satisface el axioma dbil de la preferencia revelada si se cumple la siguiente propiedad: Si para algn B B con x, y B tenemos x C (B ) , entonces para cualquier B B con x, y B e y C (B ) debemos tener x C (B ) . En otras palabras, el axioma dbil de la preferencia revelada dice que si x es elegido cuando y est disponible, entonces no puede haber ningn conjunto presupuestario en donde se elija y y no x cuando ambas alternativas son consideradas. Por ejemplo si
24
Eduardo A. Rodrguez
TEORA DE CONJUNTOS
C ({x, y}) = {x} entonces no puede ocurrir C ({x, y, z}) = {y}; en realidad deberemos tener C ({x, y, z}) = {x} o C ({x, y, z}) = {z} o C ({x, y, z}) = {x, z} o bien C ({ x, y, z} ) = { y, z} .
Una manera ms simple de expresar el axioma dbil de la preferencia revelada es a travs de la relacin de preferencia revelada * : dada una estructura de eleccin (B, C ()) , la relacin de preferencia revelada * se encontrar definida de la siguiente manera:
x * y existe algn B B tal que x, y B y x C (B ) .
donde x * y se lee x se revela al menos tan preferido como y. Ntese que la relacin de preferencia revelada no necesita ser ni completa ni transitiva, como puede verse en el siguiente ejemplo.
Ejemplo
Consideremos la estructura de eleccin estructura tenemos que

x *y
(B,C1 ())
y
x
del ejemplo anterior. Con esta
*z
pero no existe una relacin de preferencia revelada que pueda inferirse entre y y z. Sin embargo esta estructura de eleccin satisface el axioma dbil de la preferencia revelada, porque y y z nunca son elegidos. Podemos afirmar tambin que x se revela preferido a y (o x * y ) si existe algn B B tal que x, y B , x C (B ) e y C (B ) . Esto quiere decir que si x es siempre elegido sobre y cuando ambos son posibles, entonces x se revela preferido a y. Con esta terminologa podemos afirmar lo siguiente: Si x se revela al menos tan preferido como y, entonces y no puede revelarse preferido a x. Formalmente: si x
Ejemplo
* y y / *x .
Consideremos ahora la estructura de eleccin (B,C 2 ()) , tambin del primer ejemplo de reglas de eleccin. Si tenemos en cuenta el primer conjunto presupuestario {x, y, z} , tenemos que:
C 2 ({x, y, z}) = {x, y} y * x; x * y; x *z ; y * z
Sin embargo al considerar el segundo conjunto presupuestario {x, y}, tenemos
Eduardo A. Rodrguez
25
C2 ({ x, y} ) = { x} x
*y ,
*x e x * y , lo cual resulta ser una contradiccin, no es decir que tenemos y cumplindose el axioma dbil de la preferencia revelada.
El axioma dbil de la preferencia revelada restringe la conducta de eleccin del consumidor en la misma manera que lo hace el principio de racionalidad para las relaciones de preferencias. Sin embargo, si bien puede demostrarse que cualquier estructura de eleccin generada por preferencias racionales satisface el axioma dbil de la preferencia revelada, para que exista una relacin de preferencias racional compatible con una estructura de eleccin (B, C ()) que satisfaga el axioma dbil se requiere que B est formado por todos los subconjuntos del espacio de mercancas (o alternativas) M de hasta tres elementos. (Ver demostracin en MAS COLLEL-WHINSTON-GREEN, pgs.13-14)
26
Eduardo A. Rodrguez
2. Espacios topolgicos
Topologa y conjuntos abiertos Sea X un conjunto no vaco. Una clase I de subconjuntos de X es una topologa de X (o en X) sii I verifica los siguientes axiomas: 1. X y pertenecen a I; 2. la unin de cualquier nmero de conjuntos de I pertenece a I; 3. la interseccin de un nmero finito de conjuntos de I pertenece a I. Los elementos de I se llaman conjuntos I-abiertos, o simplemente conjuntos abiertos, y X conjuntamente con la clase I, es decir el par (X,I), es un espacio topolgico. Ejemplos Sea D la clase de todos los subconjuntos de X. Se ve que D cumple con los axiomas, por lo tanto es una topologa de X y se la llama la topologa discreta de X. El par ( X , D ) es un espacio topolgico discreto. La clase G = { X , } es una topologa de X. Esta topologa es la topologa trivial o topologa indiscreta de X. En este caso, el par ( X , G ) es un espacio topolgico indiscreto. Sea X = el conjunto de los nmeros reales, llamado comnmente recta real. Sea U la coleccin de todos aquellos conjuntos que contienen un intervalo abierto alrededor de cada uno de sus puntos. Entonces U constituye una topologa de llamada topologa usual de . Esto quiere decir que un subconjunto A es abierto sii para cada punto x A hay nmeros 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) , el punto 1.5 en el intervalo (1.4,1.6 ) 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 unin de dos intervalos disjuntos, como por ejemplo J = (1,2 ) (3,4 ) , tambin 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 .
Cabe destacar que la interseccin de una cantidad infinita de conjuntos abiertos no necesariamente es abierta. Por ejemplo consideremos para todo n N los conjuntos (intervalos) abiertos
n 1 n +1 , Cn = . n n Entonces puede verse que
C
n =1
= {} 1
no es un conjunto abierto porque no puede ser representado mediante la unin de intervalos abiertos. Sea X un conjunto cualquiera y sea C la familia de conjuntos que tienen complementos finitos junto con X y . Entonces C define una topologa sobre X llamada topologa cofinita (o topologa de los complementos finitos). En el caso en que X sea un conjunto finito, la topologa cofinita y la topologa discreta coinciden. Sea X el conjunto que contiene solamente dos elementos distintos: a y b. Sean I1 = {X , } , I2 = {X , {a}, } , I3 = {X , {b}, } , I4 = {X , {a}, {b}, } . Entonces ( X , Ii ) i = 1,2,3,4 son cuatro espacios topolgicos diferentes para el mismo conjunto X. Considrese las siguientes clases de subconjuntos de X
X = {a , b, c , d , e}
I1 = { X , , { a } , {c , d }, {a , c , d }, {b, c , d , e}} I 2 = { X , , { a } , {c , d }, {a , c , d }, {b , c , d }} I 3 = { X , , { a } , {c , d }, {a , c , d }, {a , b, d , e}} Ntese que I1 es una topologa de X porque cumple con los axiomas. Sin embargo, I2 no es una topologa de X porque
{a, c, d } {b, c, d } = {a, b, c, d } I2

Tampoco I3 es una topologa de X porque
{a, c, d } {a, b, d , e} = {a, d } I3

Si I y L son dos topologas de X entonces I es menor que L y L es mayor que I sii I L . En otras palabras, I es menor que L sii cada conjunto I-abierto es L-abierto. Tambin se dice en tal caso que I es menos fina (o ms dbil) que L, y que L es ms
28
Eduardo A. Rodrguez
ESPACIOS TOPOLGICOS
fina (o ms fuerte) que I. Si I y L son topologas arbitrarias de X, puede suceder que I no sea ni mayor ni menor que L; en tal caso se dice que I y L no son comparables.
Ejemplo
Considrese la topologa discreta D, la indiscreta G y cualquier otra topologa V de un conjunto cualquiera X. Entonces, V es menos fina que D, pero V es ms fina que G. Esto es, G V D .
Entornos y sistema de entornos
Un conjunto U de un espacio topolgico ( X , I ) es un I-entorno (o simplemente entorno o vecindad) de un punto x X sii U contiene un conjunto abierto al cual x pertenece. Un entorno de un punto no es forzosamente abierto1, pero todo conjunto abierto es entorno de cada uno de sus puntos. Cada entorno de un punto contiene un entorno abierto de ese punto. Llamamos sistema de entornos de un punto a la familia de todos los entornos del punto.
Propiedad
Si Ux es el sistema de entornos de un punto, entonces las intersecciones finitas de miembros de Ux estn en Ux, y todo conjunto que contiene a un miembro de Ux est en Ux. (Ver demostracin en KELLEY, pg. 52)
Ejemplos
Sea a . Entonces, todo intervalo cerrado [a , a + ] con centro en a es un entorno de a porque contiene el intervalo abierto (a , a + ) , que contiene a a.
Considrese la siguiente topologa de X = {a , b, c , d , e} ,
K = { X , , { a}, {a , b}, {a , c, d }, {a, b, c, d }, {a, b, e}}
Un entorno del punto e es cualquier conjunto que contenga a un conjunto abierto al cual e pertenece. Los conjuntos abiertos que contienen a e son:
{a, b, e}; X
Los conjuntos que contienen conjuntos abiertos a los cuales e pertenece son:
En algunos textos se exige que un entorno sea necesariamente un conjunto abierto.
Eduardo A. Rodrguez
29
{a, b, e}; {a, b, c, e}; {a, b, d , e}; X

Por consiguiente, el sistema de entornos de e es
U e = {{a , b, e}, {a , b, c, e}, {a , b, d , e}, X }
La definicin de una topologa sobre un conjunto X la hemos hecho especificando la totalidad de los conjuntos abiertos de X. A partir de all hemos podido definir el concepto de entorno y sistema de entornos. Sin embargo existe un punto de partida alternativo para la definicin de una topologa: a travs de la especificacin de un sistema de entornos. Una vez especificado este sistema de entornos sobre un conjunto X, y definido el espacio topolgico correspondiente, se define conjunto abierto como aquel conjunto que es entorno de cada uno de sus puntos, que en nuestro esquema de trabajo constitua una propiedad en lugar de una definicin. La principal ventaja que tiene la definicin de una topologa a travs de un sistema de entornos consiste en enfatizar el hecho de que, cuando sta se especifica, lo que se hace en realidad es definir las relaciones de cercana entre los diferentes elementos del conjunto. De esta manera, el primer paso en la especificacin de una topologa consiste en definir cundo una coleccin de conjuntos es un sistema de entornos de un punto. Entonces diremos lo siguiente: Sea X un conjunto y para cada punto x X sea U x = {U ( x )} una familia novaca de subconjuntos de X asociados con x, tales que 1- x U ( x ) para cada U ( x ) U x ; 2- si V U ( x ) para algn U ( x ) , entonces V U x ; 3- si U y V U x , entonces U V U x ; 4- si U U x , existe un V U x tal que si y V entonces U U y . Entonces Ux es llamado sistema de entornos de x. Sea I = {U x : x X } un sistema de entornos para cada x X , entonces el par ( X , I ) es llamado espacio topolgico e I es llamada topologa del espacio ( X , I ) . Ntese que las condiciones exigidas para que una familia de conjuntos sea un sistema de entornos constituye una propiedad de los entornos en nuestro esquema de trabajo.2
Vase adems que, bajo esta especificacin, todo entorno es necesariamente un conjunto abierto. Eduardo A. Rodrguez
30
ESPACIOS TOPOLGICOS
Conjuntos cerrados
Un conjunto A de un espacio topolgico ( X , I ) es cerrado sii su complemento relativo (XA) es 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 vaco son abiertos y cerrados al mismo tiempo ya que X X = y X = X .
Ejemplos
Si I es la topologa usual de , entonces los nicos conjuntos a la vez cerrados y abiertos son y . En el espacio topolgico discreto ( X , D ) todo subconjunto es abierto. Entonces todo subconjunto de X es tambin 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
X = {a, b, c, d , e} . Los subconjuntos cerrados de X son: ; X ; {b, c, d , e}; {a , b, e}; {b, e}; {a}
T = { X , , { a}, {c, d}, {a, c, d}, {b, c, d , e}}
define una topologa de
es decir, 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.
Propiedad
La unin de un nmero finito de conjuntos cerrados es necesariamente cerrada y la interseccin de los miembros de una familia arbitraria de conjuntos cerrados es cerrada. (Ver demostracin en BAUM, pg. 33)
Ejemplo
Es importante remarcar que la unin de una cantidad infinita de conjuntos cerrados no necesariamente es cerrada. Por ejemplo consideremos para todo n N los conjuntos (intervalos) cerrados sobre la recta real con la topologa usual
1 Fn = ,1 . n Entonces puede verse que
Eduardo A. Rodrguez
31
F = (0,1]
n n =1
no es un conjunto cerrado.
Puntos de acumulacin
Un punto x X es un punto de acumulacin (punto de aglomeracin o punto lmite) de un conjunto A de un espacio topolgico ( X , I ) sii cada entorno de x contiene puntos de A diferentes de x. Si x es un punto de acumulacin de A suele decirse (intuitivamente) que hay puntos de A arbitrariamente cerca de x. Es importante aclarar que un punto de acumulacin de A no necesariamente tiene que pertenecer a A. Sea A un conjunto de un espacio topolgico, llamamos conjunto derivado A al conjunto de los puntos de acumulacin de A.
Ejemplos
Sobre la recta real con la topologa usual, tanto a como b son puntos lmite del intervalo abierto (a, b ) , aunque los mismos no pertenezcan al conjunto. Por otra parte, todos los puntos pertenecientes al mencionado intervalo son tambin puntos de acumulacin de (a, b ) . La clase
X = {a, b, c, d , e} . Considrese el subconjunto A = {a , b, c} de X. Ntese que b X es un punto de acumulacin de A porque los conjuntos abiertos que contienen a b son {b, c, d , e} y X, y cada uno de ellos contiene un punto de A diferente de b, es decir c. Por otra parte, el punto a X no es un punto de acumulacin de A porque el conjunto abierto { a} que contiene a a, no contiene ningn otro punto de A diferente de a. Del mismo modo, los puntos d y e son puntos de acumulacin de A, y el punto c no es punto de acumulacin de A. As pues, A ' = {b, d , e} es el conjunto derivado de A.
T = { X , , {a}, {c, d}, {a, c, d}, {b, c, d , e}}
define
una
topologa
de
Clausura y conjuntos densos
Dado el conjunto A perteneciente al espacio topolgico ( X , I ) llamamos clausura (o I-clausura) de A, la cual la denotaremos A , a la unin del conjunto con su conjunto derivado. Es decir
A = A A' .
32
Eduardo A. Rodrguez
ESPACIOS TOPOLGICOS
Propiedades
Un conjunto A perteneciente a ( X , I ) es cerrado sii A = A . (Ver demostracin en HOCKING-YOUNG, pg. 5). Por ende A = A ya que A es un conjunto cerrado.
El conjunto A es el mnimo conjunto cerrado que contiene a A. (Ver demostracin en AYALA-DOMINGUEZ-QUINTERO, pg. 38). Sean A y B dos conjuntos de un espacio topolgico tales que A B , entonces A B . (Ver demostracin en BAUM, pg. 30).
Un conjunto A es denso en un espacio topolgico ( X , I ) sii la clausura de A es X, o sea A= X.

Ejemplos
El conjunto de los nmeros racionales Q es denso en con la topologa usual. Intuitivamente, esto equivale a decir que podemos aproximar todo elemento irracional perteneciente a con elementos de Q. Por ejemplo tenemos que 2 1,41421 Q , pero
7071 707 141 7 = 1,4 Q; = 1,41 Q; = 1,414 Q; = 1,4142 Q; 5000 500 100 5 Considrese la topologa T = { X , , {a}, {c, d}, {a, c, d}, {b, c, d , e}} X = {a, b, c, d , e} donde los subconjuntos cerrados de X son
; X ; {b, c, d , e}; {a, b, e}; {b, e}; { a} ,
de
por consiguiente, como la clausura de un conjunto es el mnimo conjunto cerrado que lo contiene, para los siguientes tres casos tenemos
{b} = {b, e}
{a , c} =
{b , d }= {b , c , d , e}.
Puede verse que el conjunto {a, c} es un subconjunto denso en X, pero no as {b} y {b, d }.
Interior y frontera
Un punto x X de un conjunto A de un espacio topolgico ( X , I ) es un punto interior de A sii A es un entorno de x, y el conjunto de todos los puntos interiores de A es el interior de A, indicado A. El exterior de A es el interior del complemento de A, es decir (XA).
Eduardo A. Rodrguez
33
Propiedades
Sea A un conjunto de un espacio topolgico ( X , I ) . Entonces el interior A de A es abierto, y es el mximo abierto contenido en A. (Ver demostracin en AYALADOMINGUEZ-QUINTERO, pg. 38) Un conjunto A es abierto sii A = A . (Ver demostracin en KELLEY, pgs. 57-58)
La frontera de un conjunto A, b( A) , de un espacio topolgico ( X , I ) , es el conjunto de todos los puntos que no son interiores ni de A ni de XA.
Propiedad
unin del interior y la frontera de A, es decir, A = A b( A ) . Esto nos lleva a afirmar que un conjunto es cerrado sii contiene a su frontera, mientras que diremos que un conjunto es abierto sii es disjunto con su frontera.
Ejemplos
Sea A un subconjunto de un espacio topolgico ( X , I ) . Entonces la clausura de A es la
Sea el intervalo I = (0,1] en la recta real con la topologa usual. De esta manera tenemos por definicin que I = (0,1) , b(I ) = {0,1} e I = [0,1] , los cuales verifican [0,1] = (0,1) {0,1} . Considrese la topologa
X = {a, b, c, d , e} , y el subconjunto A = {b, c, d } de X. Los puntos c y d son interiores de A porque c, d {c, d} A
T = { X , , { a}, {c, d }, {a, c, d }, {b, c, d , e}}
de
donde {c, d } es un conjunto abierto, y por lo tanto A constituye un entorno de c y d. El punto b A no es un punto interior de A; por lo tanto, int ( A) = {c, d } . El nico punto exterior de A es a X , esto es as porque el complemento es
XA= {a , e} ,
entonces (XA) = { a} . Por consiguiente, la frontera de A consiste en los puntos b y e, o sea b( A ) = {b, e} .
Relativizacin
Si ( X , I ) es un espacio topolgico e Y es un subconjunto de X, podemos construir una topologa U de Y que se llama topologa relativa (o heredada) de I a Y. La topologa 34
Eduardo A. Rodrguez
ESPACIOS TOPOLGICOS
relativa U se define como la familia de todas las intersecciones de miembros V de I con Y; es decir, U pertenece a la topologa relativa U sii U = V Y para algn conjunto Iabierto de X. U es una topologa y al espacio topolgico (Y , U ) se lo llama subespacio del espacio (X,I).
Ejemplos
Considrese la topologa usual U de y la topologa relativa TA del intervalo cerrado A = [3,8 ] . Obsrvese que el intervalo semiabierto en [3, 5) es abierto en la topologa relativa de A, es decir, es un conjunto TA-abierto, porque [3, 5) = (2,5) A , donde (2,5) es un subconjunto U-abierto de . As, un conjunto puede ser abierto respecto a un subespacio pero no ser abierto ni cerrado en el espacio original (en este caso, ). Sea Q el conjunto de los nmeros racionales y la recta real con la topologa usual. Entonces Q con la topologa usual heredada constituye un subespacio de . Lo mismo puede hacerse con los naturales, los enteros y los irracionales. Sean la topologa
T = { X, , { a } , {c , d }, {a , c , d }, {b, c , d , e}}
de
X = {a, b, c, d , e} , y el subconjunto A = {a, d , e} de X. Ntese que XA= A
{a }
A = {a } A = {d }
{a , c , d }
A = {a , d }
A =
{c , d }
{b. c. d . e} A = {d , e}
Entonces la relativizacin de T a A es
T A = { A, , { a}, { d }, {a, d }, {d , e}}
Bases y sub-bases
Definir una topologa en un espacio X significa especificar un sistema de conjuntos abiertos en X. Sin embargo, suele ser conveniente especificar algn sistema de subconjuntos que determine de manera unvoca todos los conjuntos abiertos, en lugar de enumerarlos a todos ellos. Una familia B de conjuntos de un espacio topolgico ( X , I ) es una base de la topologa I sii todo conjunto abierto en X puede representarse como la unin de conjuntos de B.3
A diferencia de lo que ocurre con la expresin de un vector mediante la combinacin lineal de los elementos de una de sus bases (Cap. 4), la expresin de un conjunto abierto a travs de la unin de elementos de una base de un espacio topolgico puede no ser nica. Eduardo A. Rodrguez
35
Ejemplos
El conjunto de todos los intervalos abiertos constituye una base para la topologa usual de , ya que todo conjunto abierto de puede ser interpretado como una unin de intervalos abiertos. Sea X un conjunto completamente ordenado. La topologa generada por la base formada por los conjuntos del tipo S a = {x : x > a} es llamada topologa del orden a la derecha sobre X. (Una topologa del orden a la izquierda sera definida de manera similar utilizando los conjuntos Pa = {x : x < a} ). De esta manera los conjuntos abiertos de X sern aquellos conjuntos que puedan expresarse como uniones de conjuntos del tipo Sa, que son en realidad conjuntos del tipo Sa. Sea X el conjunto de todos los nmeros reales. Elegimos como base de una topologa T la familia de todos los conjuntos de la forma [a, b ) , donde a, b X . Esta topologa es llamada topologa del intervalo semiabierto a la derecha. Entonces los conjuntos de la forma ( , a ) , [a, b ) o [b, ) son tanto abiertos como cerrados. Conjuntos de la forma (a, b ) o (a, ) son abiertos en X puesto que (a, b ) = { [ , b ) : a < < b}. Ellos no son cerrados porque los conjuntos de la
forma ( , a ] , [a, b] y {p} no son abiertos al no poder expresarse como unin de los elementos de la base.
Est claro que podemos definir una topologa I especificando una base B. De esta manera, la topologa I ser solamente el sistema que puede ser representado como uniones de conjuntos de B. Sera prctico conocer los requisitos que deben cumplir los elementos de una familia de conjuntos B para que el sistema formado por todas las uniones posibles de B conformen una topologa de I.
Propiedad
Una familia B de conjuntos pertenecientes a X es base de la topologa I sii 1- B I 2- para cada punto x X y cada entorno U de x, existe un miembro V B tal que x V U . (Ver demostracin en KOLMOGOROV-FOMIN, pg. 82) Esta propiedad induce a preguntarnos si cualquier coleccin de subconjuntos de X constituye una base de alguna topologa. La respuesta es no y la justificacin de la misma es la siguiente propiedad.
Propiedad
Una familia B de subconjuntos de X es base de alguna topologa de X sii
36
Eduardo A. Rodrguez
ESPACIOS TOPOLGICOS
1- X =
B B
2- para cada punto x X y cada par de conjuntos U , V B , donde x U V , existe un conjunto W B tal que x W U V . (Ver demostracin en BAUM, pg. 46)
Una familia de conjuntos de X es una sub-base de una topologa I sii la familia de todas las intersecciones finitas de miembros de es base de I.
Ejemplos
Una sub-base natural para la topologa usual de es la familia de los intervalos semifinitos del tipo ( , b ) = {x : x < b} y (a, ) = {x : a < x}, ya que todo intervalo abierto (a, b ) = {x : a < x < b} puede ser representado por la interseccin finita de estos tipos de conjuntos. Sea X un conjunto completamente ordenado. Definimos la topologa del orden sobre X tomando como sub-base los intervalos semifinitos ( , z ) = {x : x z} y ( y, ) = {x : y x}. Entonces los conjuntos ( y, z ) = {x : y x z} son abiertos y forman una base del espacio topolgico X. De esta manera, los conjuntos abiertos de X sern aquellos conjuntos que puedan ser expresados como unin de conjuntos de la forma ( y, z ) .4
La prxima propiedad permite ver qu requisitos debe cumplir una coleccin de subconjuntos de un conjunto dado para constituir una sub-base de alguna topologa del mismo.
Propiedad
Sea X un conjunto y sea una familia de subconjuntos de X tal que 1- ; 2- X = S ;

S
entonces es una sub-base de alguna topologa para X. (Ver demostracin en BAUM, pgs. 50-51)
Ntese que cuando X = , ambos ejemplos coinciden. La topologa usual sobre es efectivamente la topologa del orden derivada del orden usual de .
Eduardo A. Rodrguez
37
Puede verse que los requisitos que tienen que cumplir una coleccin de subconjuntos de X para ser sub-base de una topologa son claramente menos restrictivos que los que debera cumplir para ser una base de una topologa de X. Hasta el momento, podemos definir una topologa de X de tres maneras: 1- especificando la totalidad de los conjuntos abiertos (o un sistema de entornos) de X; 2- especificando una base; 3- especificando una sub-base. Cualquiera de los tres mtodos es igualmente vlido y cumple con los objetivos5. As como hemos definido el concepto de base de una topologa, puede hacerse algo similar para un sistema de entornos. Una base del sistema de entornos del punto x X (o base local de x) es una familia de entornos de x tal que todo entorno de x contiene algn miembro de esa familia6.
Ejemplos
La familia de los entornos abiertos de un punto es siempre una base del sistema de entornos de ese punto, porque todo entorno, para ser tal, debe contener un conjunto abierto que contenga a dicho punto.
Propiedad
Sea X un espacio topolgico y A una familia de subconjuntos abiertos. Entonces A ser una base de la topologa sii cada familia A x = {A A : x A} es una base local. (Ver demostracin en AYALA-DOMINGUEZ-QUINTERO, pg. 107)7.
Espacios separables
Un espacio topolgico X se dice que cumple con el primer axioma de numerabilidad (o que es 1 N) si el sistema de entornos de cada x X tiene una base numerable.
Propiedad
Una base local numerable Bx = {Bn : n N } de un espacio 1 N forma una familia decreciente de subconjuntos, es decir
Ms adelante veremos una cuarta manera de representar una topologa: definiendo una mtrica sobre X.
Comprese esta definicin con las condiciones que tiene que cumplir una coleccin de conjuntos para ser una base de una topologa determinada.
Esta propiedad permite ver la relacin entre los conceptos de base de una topologa y base de un sistema de entornos. Eduardo A. Rodrguez
38
ESPACIOS TOPOLGICOS
B1 B2 Bn . (Ver demostracin en AYALA-DOMINGUEZ-QUINTERO, pgs. 109-110)

Ejemplos
Todo espacio topolgico discreto X no numerable es 1 N ya que para cada x X podemos fijar como base local del punto x la coleccin de conjuntos Bx = {x}, es decir una base de entornos para cada punto x que consta de un solo elemento: el conjunto formado por el mismo punto. De esta manera el sistema de entornos de cada x X tiene una base numerable (de un solo elemento) y por ende cumple con el primer axioma de numerabilidad. Todo espacio topolgico indiscreto es 1 N ya que solamente existen dos conjuntos abiertos: X y , con lo cual implica todo punto x X tiene como nico entorno a X. De esta manera el sistema de entornos de cada x X tiene un solo elemento, por lo tanto es numerable y cumple con el primer axioma de numerabilidad. Un espacio ( X , C ) donde C es la topologa cofinita y X es un conjunto numerable es un espacio 1 N. Ello es as porque al ser X numerable, su familia de conjuntos cerrados F tambin es numerable porque F coincide con la familia de las partes finitas de X, que son complementos de los conjuntos abiertos pertenecientes a C. De esta manera, C es numerable ya que existe una correspondencia biunvoca entre F y C tomando complementos. Entonces cualquier subfamilia de C es numerable y en particular lo ser la subfamilia de abiertos que contengan a un punto dado x. Sin embargo si X no es numerable, la topologa cofinita no es 1 N. Supongamos que lo es, entonces en algn punto x existe una base local numerable. De esta manera existir una coleccin numerable de conjuntos abiertos Bx cada uno conteniendo a x, tal que todo entorno de x contiene algn conjunto B Bx . Entonces debera ocurrir que Bx = {x} porque toda base numerable de un espacio 1 N forma una familia decrecientes de subconjuntos mediante relaciones de inclusin. Por lo tanto tenemos:
X {x} = X Bx =
BBx
(X B) .
Cada uno de los X B son finitos por definicin (porque B es un conjunto abierto el cual fue definido como aquel cuyo complemento X B es un conjunto finito) y la unin numerable de conjuntos finitos es numerable. Entonces X {x} debe ser numerable, lo cual es una contradiccin porque X no era numerable.
Un espacio topolgico ( X , I ) se dice que cumple con el segundo axioma de numerabilidad (o que es 2 N) si su topologa tiene alguna base numerable.
Eduardo A. Rodrguez
39
Ejemplos
El conjunto de los nmeros reales con la topologa usual satisface el segundo axioma de numerabilidad ya que el conjunto de todos los intervalos abiertos (a , b) , donde a y b son nmeros racionales, constituye una base numerable de . Un espacio discreto numerable es 2 N. De esta manera la topologa podr tener una base numerable y as cumplir con el segundo axioma de numerabilidad.
Propiedad
Todo espacio 2 N es 1 N, lo cual se sigue de la propiedad que establece que si X es un espacio topolgico y A es una familia de subconjuntos abiertos, A ser una base de la topologa sii cada familia A x = {A A : x A} es una base local de x. De esta manera la numerabilidad de A asegura la numerabilidad de los Ax, pero la recproca no es necesariamente cierta.
Un espacio topolgico ( X , I ) es separable sii posee un subconjunto numerable que es denso en X.
Ejemplos
El conjunto Q de nmeros racionales es numerable y es un subconjunto propio de . Como adems Q = , el espacio es separable. El conjunto de los nmeros reales con la topologa cofinita es separable ya que N (el conjunto de los nmeros naturales, conjunto numerable) es denso en . Esto es as porque es el nico conjunto cerrado que es infinito, debido a que los cerrados son por definicin complementos finitos de los abiertos. De esta manera, por definicin de clausura, N es el mnimo cerrado que contiene a N, y por lo tanto es igual a .
La relacin entre los conceptos de base numerable y separabilidad es la siguiente.
Propiedad
Sea ( X , I ) un espacio topolgico con una base numerable. Entonces ( X , I ) es separable. Sin embargo, la recproca no es necesariamente cierta8. (Ver demostracin en BAUM, pg. 48)
Ejemplo
La recta real dotada con la topologa cofinita no es 2 N porque no es 1 N, por lo tanto su topologa no tiene una base numerable. Sin embargo es separable porque el conjunto de los nmeros naturales es denso en .
La reciprocidad, como veremos ms adelante, se da en los espacios mtricos. Eduardo A. Rodrguez
40
ESPACIOS TOPOLGICOS
Espacios de Hausdorff y convergencia
Una sucesin de puntos {x n } = x1 , x 2 , , x n , en un espacio topolgico ( X , I ) se dice que converge al punto x X (llamado lmite de la sucesin) si, dado cualquier entorno de x, al que llamamos G ( x ) , existe un nmero entero N G tal que G ( x ) contenga a todos los puntos x n con n > N G . En espacios topolgicos arbitrarios puede ocurrir que el lmite de una sucesin no sea nico. Puesto que estamos acostumbrados a que las sucesiones tengan lmite nico, sera cmodo contar con alguna propiedad que garantice dicha unicidad. Para ello necesitamos definir lo que se conoce como espacios de Hausdorff. Un espacio topolgico ( X , I ) es un espacio de Hausdorff (llamado tambin espacio 9 T2 ) si para cada par de puntos x e y diferentes pertenecientes a X existe un entorno U del punto x y un entorno V del punto y tal que U V = . Llamamos a I topologa de Hausdorff. Una propiedad muy importante de esta topologa se enuncia a continuacin.
Propiedad
Sea ( X , I ) un espacio de Hausdorff y sea {x n } una sucesin en X tal que x es un lmite de la sucesin. Entonces x es el nico lmite de la sucesin {x n } . La recproca no es necesariamente cierta10. (Ver demostracin e BAUM, pg. 41)
Otra cosa que puede ocurrir en espacios topolgicos generales es que una sucesin {x n } converja a un punto x sin que x sea un punto lmite del conjunto {x n : n = 1,2, } . Por otra parte, puede ocurrir que la sucesin {x n } tenga un punto lmite pero que {x n } no converja a ese punto o a ningn punto. Sin embargo esto no pasa en los espacios de Hausdorff, como puede verse en la siguiente propiedad.
Propiedad
Sea ( X , I ) un espacio de Hausdorff, {x n } una sucesin en X que converge a algn punto x X y adems y es un punto lmite del conjunto {x n : n = 1,2, } , entonces x = y . (Ver demostracin en BAUM, pgs. 41-42)
Un espacio topolgico X es T1 cuando todo subconjunto de X formado por un nico elemento es
que no es T2 es el intervalo cerrado [0,1] en el que se consideran como conjuntos abiertos el intervalo, el conjunto vaco y todos los subconjuntos que se obtienen omitiendo del intervalo una cantidad numerable de puntos.
10
cerrado. Todo espacio T2 es T1 , pero la recproca no es necesariamente cierta. Un ejemplo de espacio T1
Si bien la reciprocidad no se da para sucesiones, s se da para redes [Ver demostracin en KELLEY, pg. 83]. Una relacin binaria dirige a un conjunto D si: a) m, n, p D tales que m n y n p, entonces m p; b) m D implica m m; c) m, n D implica que existe p D tal que p m y p n. Una red es un par (S, ) tal que S es una funcin y dirige a su dominio. Eduardo A. Rodrguez
41
Ejemplos
Sea X un conjunto dotado con la topologa indiscreta. De esta manera X es el nico entorno de todos sus puntos, por ello toda sucesin converger al mismo tiempo a todos los puntos de X. Esto equivale a decir que la sucesin {x n } en X para un n lo suficientemente grande se encuentra cerca de todos los puntos de X. El espacio indiscreto no es un espacio de Hausdorff. El conjunto infinito X dotado de la topologa cofinita no es un espacio de Hausdorff porque dos conjuntos abiertos nunca son disjuntos.
Funciones continuas
Una funcin f de un espacio topolgico X en Y es continua en el punto x sii la inversa por f de cada entorno de f ( x ) es un entorno de x. Diremos que f es continua sii es continua en todo su dominio. La nocin intuitiva de funcin continua de un espacio en otro es la idea de que los puntos que estn cerca en X permanecen cerca en Y despus de haber sido aplicada la funcin f.
Propiedades
a) Sean X e Y dos espacios topolgicos y f : X Y una funcin. Entonces las siguientes afirmaciones son equivalentes: 1- f es continua; 2- para todo conjunto abierto O Y , f
1
(O ) es abierto en X;
Contraejemplo: Sea Y = {a, b} un subespacio de con la topologa heredada de la topologa usual de y X = con la topologa usual. Entonces definimos la funcin f : X Y de la siguiente manera:
a si f (x ) = b si
x>0 x0
1
ab
Puesto que el conjunto {b} Y es abierto, pero f entonces f no es una funcin continua. 3- para todo conjunto cerrado C Y , f 4- si A X , entonces f (A ) f ( A) . (Ver demostracin en BAUM, pg. 59)
1
({b}) = ( ,0] no es abierto,
(C ) es cerrado en X;
42
Eduardo A. Rodrguez
ESPACIOS TOPOLGICOS
b) Sean X e Y dos espacios topolgicos y f : X Y una funcin continua biunvoca. Si A X y x A' , entonces f ( x ) f ( A)' . (Ver demostracin en BAUM, pg. 60) c) Sea X un espacio separable y f : X Y una funcin continua sobre Y; entonces Y es separable. (Ver demostracin en BAUM, pg. 100) d) Si f : X Y y g : Y Z son funciones continuas, entonces gf : X Z es una funcin continua. (Ver demostracin en MENDELSON, pg. 90)
Homeomorfismos
Dos espacios, uno de los cuales es la imagen continua del otro, estn relacionados en algn sentido, como pudo verse en las propiedades anteriores. Sin embargo, puede haber una relacin muy fuerte entre ambos en trminos de estructura. Un homeomorfismo o transformacin topolgica es una funcin biunvoca continua de un espacio topolgico ( X , I ) sobre un espacio topolgico (Y , I ' ) tal que f 1 tambin es continua. Si se desea expresarlo de una manera intuitiva, se puede decir que un homeomorfismo entre dos conjuntos de puntos es una correspondencia tal que a todo punto de uno de los dos conjuntos corresponde un punto, y slo uno, del otro, y que a dos puntos vecinos de uno corresponden dos puntos vecinos del otro11.
Si existe un homeomorfismo en un espacio sobre otro, ambos espacios se dicen homeomorfos. Esta relacin es homeomorfo a tiene las siguientes propiedades: 1- reflexividad: ya que la funcin identidad i es un homeomorfismo; 2- simetra: ya que si f : X Y es un homeomorfismo, entonces f tambin es un homeomorfismo;
1
:Y X
3- transitividad: ya que si f : X Y y g : Y Z son homeomorfismos, tambin lo es la funcin compuesta gf : X Z . Entonces la relacin es homeomorfo a, que denotaremos con el smbolo , es una relacin de equivalencia. Por consiguiente, la coleccin de todos los espacios topolgicos pueden dividirse en clases de equivalencia, tales que cada espacio topolgico es homeomorfo a cada miembro de su clase de equivalencia y slo a ella. Dos espacios son topolgicamente equivalentes cuando son homeomorfos.
11
Comprese con la idea intuitiva de funcin continua.
Eduardo A. Rodrguez
43
Ejemplo
El conjunto de los nmeros reales con la topologa usual es homeomorfo al intervalo abierto (0,1) con la topologa heredada de la topologa usual de ya que la funcin f (x) =
es un homeomorfismo. 2x 1 x( x 1)
x (0,1)
f(x)
f (x ) =
2x 1 x( x 1)
Observando el grfico adjunto puede verse con claridad que la imagen de la funcin f abarca la totalidad del conjunto de los nmeros reales. Tambin puede observarse que los elementos del dominio de la funcin se encuentran contenidos nicamente en el intervalo abierto (0,1) . Del grfico tambin surge que tanto la funcin f como la funcin f 1 son continuas.
Sea f : X Y una funcin de un espacio topolgico en otro. Si para cada conjunto abierto O X , f (O ) es abierto en Y se dice que f es una funcin abierta (o funcin interior). Si para cada conjunto cerrado C X , f (C ) es cerrado en Y, entonces se dice que f es una funcin cerrada. Una propiedad que, cuando es poseda por un espacio topolgico, tambin la poseen sus homeomorfos se llama invariante topolgico12. Las siguientes propiedades muestran que, hasta el momento, hemos visto dos invariantes topolgicos.
Propiedades
Sean X e Y dos espacios topolgicos y f : X Y un homeomorfismo. Si X es un espacio de Hausdorff, entonces Y tambin lo es. (Ver demostracin en BAUM, pg. 63). Es decir que la propiedad de ser espacio de Hausdorff es un invariante topolgico. Sean X e Y dos espacios topolgicos y f : X Y un homeomorfismo. Si X tiene una base numerable, entonces Y tambin la tiene. (Ver demostracin en BAUM, pg. 63). Es decir que la propiedad de tener una base numerable es un invariante topolgico.13
12
La topologa es el estudio de los invariantes topolgicos. Ntese que esta propiedad implica afirmar que la separabilidad tambin es un invariante topolgico. Eduardo A. Rodrguez
13
44
ESPACIOS TOPOLGICOS
Espacios producto
Sean X e Y dos espacios topolgicos y sea B la familia de todos los productos cartesianos U V , donde U es un conjunto abierto en X y V es un conjunto abierto en Y. Entonces B es la base de una topologa X Y llamada topologa producto. Llamamos espacio producto al producto cartesiano X Y provisto de la topologa producto. De esta manera, un conjunto W X Y es abierto con respecto a la topologa producto sii para cada punto ( x, y ) W hay entornos abiertos U de x y V de y tales que U V W . Si X 1 , X 2 , , X n son espacios topolgicos, entonces una base de la topologa producto de X 1 X 2 , X n (o X i ) es la familia de todos los productos cartesianos
i =1 n
U 1 U 2 , U n (o U i ) donde cada U i es abierto en X i .

i =1
Ejemplo
Si cada X i es el conjunto de los nmeros reales con la topologa usual, entonces el espacio producto es el espacio eucldeo n-dimensional.
Con relacin al espacio X Y , puede decirse que X e Y constituyen los ejes de coordenadas del espacio producto. Por otra parte, las funciones PX y PY que llevan un punto ( x, y ) de X Y al punto x X e y Y respectivamente son las proyecciones sobre los ejes de coordenadas.
Propiedades
Sea f : Z X i una funcin. Entonces decimos que f es continua sii la funcin

i =1
i
compuesta PX f : Z X i es continua para todo i. (Ver demostracin en BAUM, pg. 67)
El producto cartesiano de espacios de Hausdorff es un espacio de Hausdorff. (Ver demostracin en KELLEY, pg. 111)
Espacios cociente
Sea f : X Y una funcin continua. Llamamos topologa cociente de Y (con respecto a f y a la topologa de X) a la coleccin de todos los conjuntos U Y para los cuales f 1 (U ) es abierto en X. De esta manera la topologa cociente es la mxima topologa de Y para la cual la funcin f es continua. Diremos que la funcin : X X / R es la funcin cociente de X sobre X/R si la misma asigna a cada x X la clase de equivalencia a la cual x pertenece. Llamaremos
Eduardo A. Rodrguez
45
espacio cociente al conjunto cociente X/R con la topologa cociente generada por la funcin cociente .
Propiedad
Si el espacio cociente X/R es un espacio de Hausdorff, entonces R es cerrado en el espacio producto XX. Si la funcin cociente de un espacio X sobre el cociente X/R es abierta y R es cerrado en XX, entonces X/R es un espacio de Hausdorff. (Ver demostracin en KELLEY, pgs. 117-118)
Espacios compactos
Sea X un conjunto, Y un subconjunto de X y A = {D : A} una coleccin de subconjuntos de X. Entonces A = {D : A} se lo llama un cubrimiento de Y si

A
D Y .
Si todos los conjuntos D de un cubrimiento tienen la propiedad comn P, entonces hablamos de un P-cubrimiento. Por ejemplo si cada uno de los conjuntos D es un conjunto abierto, decimos que A es un cubrimiento abierto. As como puede caracterizarse un cubrimiento de acuerdo a las propiedades comunes de sus miembros, tambin puede hacerse lo propio teniendo en cuenta las propiedades del conjunto de ndices A. Entonces: si A es un conjunto finito, A = {D : A} es un cubrimiento finito; si A es un conjunto numerable, A = {D : A} es un cubrimiento numerable. Por otra parte si A y B son conjuntos de ndices
{E
: B} {D : A} y
entonces {E } es llamado un subcubrimiento de {D } . Entonces ahora estamos en condiciones de definir espacio compacto y conjunto compacto. Un espacio topolgico ( X , I ) es compacto sii todo cubrimiento abierto de X tiene un subcubrimiento finito. Un conjunto A de un espacio topolgico es compacto sii es un espacio compacto con la topologa relativa; o sea, A es compacto sii todo cubrimiento de A por conjuntos que son abiertos en ( X , I ) tiene un subcubrimiento finito.
46
Eduardo A. Rodrguez
ESPACIOS TOPOLGICOS
Ejemplo
Todo cubrimiento abierto de un intervalo cerrado y acotado A = [a , b] de la recta real con la topologa usual tiene un cubrimiento finito. Entonces todo intervalo cerrado y acotado [a , b ] de la recta real con la topologa usual es compacto.
Propiedades
a) Sea f : X Y una funcin continua sobre Y y sea X un conjunto compacto, entonces Y es compacto. (Ver demostracin en BAUM, pg. 73). Por ende si X e Y son espacios homeomorfos y X es un espacio compacto, entonces Y es compacto, lo cual equivale a decir que la compacidad es un invariante topolgico. b) Sea X un espacio de Hausdorff y sea Y un subespacio compacto de X, entonces Y es un subespacio cerrado de X. (Ver demostracin en BAUM, pgs. 73-74) c) Sea X un espacio compacto y sea Y un conjunto cerrado tal que Y X , entonces Y es compacto en la topologa relativa. (Ver demostraccin en BAUM, pg. 74) d) Sea X i un espacio compacto para todo i N , entonces X i es compacto con la
i =1 n
topologa producto. (Ver demostracin en BAUM, pg. 77) e) Un conjunto de un espacio eucldeo n-dimensional es compacto sii es cerrado y acotado14. (Ver demostracin en BAUM, pgs. 167-168) En general, cuando en un espacio topolgico se verifica que todo conjunto compacto es cerrado y acotado se dice que ese espacio cumple con la propiedad de Heine-Borel. f) Teorema de Weierstrass: Sea f una funcin de X en con la topologa usual. Si f es continua en X y X es compacto y no vaco, entonces f tiene un mximo y un mnimo. g) Sea X un espacio compacto, entonces toda sucesin en X tiene una subsucesin convergente a un punto de X. (Ver demostracin en KELLEY, pgs. 161-162). La recproca no es necesariamente cierta.15
Ejemplos
La recta real no es compacta ya que el cubrimiento de por intervalos abiertos

A1 = {(n, n + 2 ) : n Z }
no contiene ninguna subcoleccin finita que cubra .
14
Mas adelante definiremos conjunto acotado en trminos rigurosos, ya que para ello resulta necesario definir una mtrica sobre el espacio que lo contiene. La recproca es cierta para el caso de redes.
15
Eduardo A. Rodrguez
47
El intervalo (0, 1] no es compacto porque el cubrimiento abierto

A 2 = {(1 / n,1] : n Z + }
no contiene ninguna subcoleccin finita que cubra (0, 1]. De manera anloga se puede demostrar que el intervalo abierto (0, 1) no es compacto.
Un espacio X se dice que es localmente compacto si todo x X posee un entorno compacto. Es conveniente destacar que la compacidad local es ms dbil que la compacidad, por lo que todo conjunto (o espacio) compacto es un conjunto (o espacio) localmente compacto, pero la recproca no es necesariamente cierta. Esta debilidad relativa de la compacidad local hace que la misma no sea un invariante topolgico, lo cual implica afirmar que tal propiedad pueda ser destruida por una funcin continua. Sin embargo para algunos espacios y tipos de funciones, la propiedad de compacidad local se preserva.
Propiedades
La propiedad de compacidad local en espacios de Hausdorff se preserva bajo funciones continuas abiertas. (Ver demostracin en HOCKING-YOUNG, pg. 72) Todo subespacio cerrado de un espacio localmente compacto es localmente compacto. (Ver demostracin en HOCKING-YOUNG, pg. 71) El producto de una cantidad finita de espacios localmente compactos es un espacio localmente compacto. (Ver demostracin en HOCKING-YOUNG, pg. 73)
Ejemplo
La recta real con la topologa usual es localmente compacta: el punto x est contenido en un intervalo de la forma (a, b), el cual a su vez est contenido en el subespacio [a, b], con lo cual [a, b] es el entorno compacto de x que la definicin requiere. En general, todo conjunto abierto de con la topologa usual es localmente compacto. El conjunto de los nmeros racionales Q, con la topologa heredada de , no es localmente compacto: dado x A, A Q, existir > 0 tal que K = [x , x + ] Q A ; como K es cerrado relativo, si A fuera compacto en tambin debera serlo K, por lo tanto K debera ser cerrado en . Sin embargo, en , K = [x , x + ] , con lo cual x no tiene entorno compacto y Q, con la topologa heredada de , no es localmente compacto.
48
Eduardo A. Rodrguez
ESPACIOS TOPOLGICOS
Espacios conexos
Dos conjuntos no vacos A y B de un espacio topolgico
A B = A B = . Un espacio topolgico ( X , I ) es conexo si X no puede ser representado mediante la unin de dos conjuntos separados no vacos. Por otra parte, decimos que un conjunto A X es conexo si A es un subespacio conexo de X. La idea intuitiva de un conjunto o espacio conexo es que el mismo est hecho de una sola pieza.
(X,I)
estn separados sii
Propiedades
Un espacio topolgico ( X , I ) es conexo sii los nicos subconjuntos de X que son a
la vez cerrados y abiertos en ( X , I ) son X y . (Ver demostracin en BAUM, pg. 99). Esta propiedad suele utilizarse a menudo como definicin alternativa de espacio conexo.
Sea X un espacio conexo y f : X Y una funcin continua sobreyectiva, entonces Y es conexo. (Ver demostracin en BAUM, pg. 100). Esto implica afirmar que la conexidad es un invariante topolgico.
Ejemplo (Teorema de Bolzano): Sea f una funcin de un conjunto S a . Si f es continua en S y S es conexo, entonces f (S ) es un intervalo.
Sean X un espacio topolgico, N un conjunto conexo en X y A un subconjunto de X tal que N A N , entonces A es conexo. (Ver demostracin en BAUM, pg. 103). Esta propiedad implica afirmar que un conjunto conexo permanece conexo si se le adjunta cualquier cantidad de sus puntos lmite.
Ejemplos
El espacio topolgico indiscreto es conexo. Sin embargo, el espacio topolgico discreto, si tiene ms de un punto, no es conexo. La recta real con la topologa usual es un espacio conexo porque y son los nicos subconjuntos de que son simultneamente cerrados y abiertos. Lo mismo ocurre con los espacios eucldeos n . Sin embargo el conjunto [ 1,1] no es conexo ya que ( ,1) [1, ) = y ( ,1] (1, ) = Considrese la siguiente topologa de X = {a , b, c , d , e}
T = { X,, { a}, {c, d }, {a, c, d }, {b, c, d , e}}
El espacio X es inconexo porque {a} y {b, c , d , e} son complementarios y, por consiguiente, ambos son simultneamente abiertos y cerrados. Esto es, X = { a } {b, c , d , e} es una inconexin de X. Ntese que la topologa relativa del subconjunto A = {b, d , e} es { A, , { d }} . En consecuencia, A es conexo porque A y
Eduardo A. Rodrguez
49
son los nicos subconjuntos de A que, en la topologa relativa, son simultneamente abiertos y cerrados.
El siguiente ejemplo muestra que la conexidad es un invariante topolgico. Sea X = (0,1) con la topologa heredada de la topologa usual de e Y = (0,1) (1,2) , tambin con la topologa heredada de la topologa usual de . Entonces X no es homeomorfo a Y ya que si existiera una funcin f que fuera un homeomorfismo de (0,1) con recorrido en (0,1) (1,2) debera ocurrir que f 1 ((0,1)) sea un subconjunto propio de (0,1) abierto y cerrado, porque (0,1) es un subconjunto propio abierto y cerrado de Y. Sin embargo esto no ocurre porque al ser X = (0,1) conexo, no puede haber un subconjunto propio de X que sea abierto y cerrado al mismo tiempo. Solamente (0,1) y cumplen con ello.
Dados dos puntos x e y del espacio X, una coleccin de conjuntos A1, A2, ..., An es una cadena simple de x a y si se cumplen las siguientes tres condiciones: -
A1 (y nicamente A1) contiene x; An (y nicamente An) contiene y; Ai Aj es no vaco sii i j 1 .
Propiedad
Si x e y son dos puntos de un espacio conexo X y { } es una coleccin de conjuntos U abiertos que cubren X, entonces existe una cadena simple de elementos de { } de x U a y. (Ver demostracin en HOCKING-YOUNG, pg. 108). Esto quiere decir que cualquier par de puntos de un espacio conexo puede unirse a travs de una cadena simple de conjuntos abiertos.
Un subconjunto C de un espacio X es una componente de X si C es conexo sin ser un subconjunto propio de otro conjunto conexo de X; es decir que la componente conexa que contiene a un punto es el mayor subconjunto conexo (en sentido de inclusin) que contiene a dicho punto. Se dice que un espacio es localmente conexo en el punto x si para todo conjunto abierto U que contiene x existe un conjunto conexo abierto V que contiene a x y se encuentra contenido en U. El espacio X ser localmente conexo si es localmente conexo en cada uno de sus puntos. De esta manera, un espacio es localmente conexo cuando tiene una base conformada con conjuntos conexos abiertos. Por otra parte, diremos que un conjunto A X es localmente conexo si A es un subespacio localmente conexo de X.
50
Eduardo A. Rodrguez
ESPACIOS TOPOLGICOS
Propiedad
Un espacio X es localmente conexo sii cada componente de un conjunto abierto es un conjunto abierto. (Ver demostracin en HOCKING-YOUNG, pgs. 106-107).
Sin embargo, no es cierto que todo espacio conexo sea localmente conexo ya que ambos conceptos no se implican mutuamente, como puede verse en el siguiente ejemplo.
Ejemplo
Curva seno del toplogo: Sea S el subespacio de 2 conformado por los puntos de la grfica de la correspondencia f : [0,1] [ 1,1] que se define a continuacin:
[ 1,1] f (x ) = sen (1 x )
si x = 0 si x (0,1]
junto con la topologa heredada de la topologa usual del plano. Grficamente:

1 C p
0 0 1
-1
Este espacio es conexo al ser la clausura de la imagen continua del conjunto conexo (0,1] . Sin embargo no es localmente conexo: cualquier crculo C alrededor de p sobre el segmento 1 y 1 define un conjunto abierto, tanto en 2 como en S ya que este ltimo tiene la topologa heredada de 2 . El nico conjunto conexo que se encuentra dentro de C y contiene a p es aquel segmento sobre el intervalo 1 y 1 que se ubica dentro de C. Sin embargo este segmento abierto no es un conjunto abierto en S, ya que el mismo est conformado por todos aquellos puntos de S que se encuentran dentro de C, incluidos aquellos puntos a la derecha del segmento 1 y 1 . Por lo tanto, el espacio S no es localmente conexo en ningn punto del intervalo 1 y 1 . Si una funcin f : [0,1] X es continua de tal manera que f (0) = x y f (1) = y , decimos que f es un camino en X desde x a y donde llamamos a x punto inicial y a y punto final del camino f. Un espacio X es conexo por caminos si para cada par de puntos
Eduardo A. Rodrguez
51
x, y X existe un camino desde x a y. Si la funcin continua f es un homeomorfismo diremos que f es un arco y hablaremos de espacios conexos por arcos. Claramente todo arco es un camino y, por lo tanto, todo espacio conexo por arcos es conexo por caminos. Diremos que el conjunto A X es conexo por caminos (conexo por arcos) si A es un subespacio conexo por caminos (conexo por arcos) de X.16
Ejemplo
El siguiente subconjunto de 2 conformado mediante la unin de dos discos cerrados es conexo por caminos (conexo por arcos).
x2
En el grfico vemos que es posible unir mediante un camino (arco) cualquier par de puntos del conjunto. Si los puntos se encuentran en discos diferentes, el camino (arco) deber pasar indefectiblemente por el punto de contacto entre ambos discos. Se observa en la grfica que este conjunto tambin es conexo.
x1
Curva seno del toplogo: este conjunto no es conexo por caminos ya que resulta imposible trazar una funcin continua que una el origen con cualquier punto del espacio S que no se encuentre sobre el eje de ordenadas. La razn de que esto ocurra es que lim sen (1 x ) = . Obviamente, tampoco es conexo por arcos. /
x 0
Propiedades
Sea X un espacio conexo por caminos, entonces X es conexo. (Ver demostracin en MENDELSON, pg. 135). Lo mismo ocurre con la conexidad por arcos. (Ver demostracin en BAUM, pg. 110). Entonces tenemos las siguientes relaciones:
Conexidad por arcos Conexidad por caminos Conexidad
Sea f : X Y una funcin continua sobreyectiva y X un espacio conexo por caminos, entonces Y es conexo por caminos. (Ver demostracin en MENDELSON, pg. 135). Lo mismo ocurre con la conexidad por arcos (Ver demostracin en BAUM, pg. 110). Esto implica afirmar que tanto la conexidad por caminos como la conexidad por arcos son invariantes topolgicos.
Anlogamente a la definicin de conexidad local, diremos que X es un espacio localmente conexo por caminos (localmente conexo por arcos) si X tiene una base de
16
Por lo general los textos de topologa general hablan de conjuntos conexos por caminos conjuntos conexos por arcos. Algunos llegan incluso a usar ambos trminos como sinnimos, definindolos de la manera en que aqu representamos los conjuntos conexos por caminos. La distincin entre ambos conceptos puede encontrarse de manera explcita en STEEN-SEEBACH. Eduardo A. Rodrguez
52
ESPACIOS TOPOLGICOS
conjuntos abiertos conexos por caminos (conexo por arcos). Un conjunto A X ser localmente conexo por caminos (localmente conexo por arcos) si A es un subespacio localmente conexo por caminos (localmente conexo por arcos) de X. Anlogamente todo espacio localmente conexo por arcos es localmente conexo por caminos, que a su vez es localmente conexo. Sin embargo, al igual que para el caso de la conexidad local a secas la conexidad por caminos (por arcos) y su variante local no se implican mutuamente. De esta manera, las relaciones entre los distintos tipos de conexidad vistos en este apartado son las siguientes:
Conexidad por arcos / / Conexidad por caminos / / Conexidad / /
Conexidad local por arcos Conexidad local por caminos Conexidad local
Semicontinuidad de correspondencias
Una correspondencia de X en Y se dice que es semicontinua superiormente en x si para todo conjunto abierto O Y que contiene a (x) existe un entorno V de x tal que, para todo x V tenemos que (x) O. Una correspondencia de X en Y se dice que es semicontinua inferiormente en x si para todo conjunto abierto O Y contenido en (x) existe un entorno V de x tal que, para todo x V tenemos que (x) O .
Ejemplos
1 (x ) =
{y : x y x} cuando x [0, ) ( ,1] cuando x = [ , x]
y 1 y=x 1(x)
O O
y=x
Si tomamos cualquier conjunto abierto que contenga a 1 ( ) , por ejemplo O, vemos que para todo elemento x del entorno de , 1 (x ) O ' , por ende 1 ( x ) es semicontinua superiormente en x = . Sin embargo, si tomamos un conjunto abierto contenido en 1 ( ) , por ejemplo O, se ve que para todo x > del entorno de 1 (x ) O ' ' = , entonces 1 ( x ) no es semicontinua inferiormente.
Eduardo A. Rodrguez
53
2 (x ) =
y 1
{y : x y x} cuando x [0, ) (,1] cuando x = [ , x]
y=x 2(x)
O O
y=x
Si tomamos cualquier conjunto abierto que contenga a 2 ( ) , por ejemplo O, vemos que para todo elemento x del entorno de , 2 ( x ) O ' , por ende 2 (x ) no es semicontinua superiormente en x = . Sin embargo, si tomamos un conjunto abierto contenido en 2 ( ) , por ejemplo O, vemos que para todo x del entorno de 2 ( x ) O ' ' , entonces 2 (x ) es semicontinua inferiormente.
Se dice que es una correspondencia semicontinua superiormente en X si es semicontinua superiormente en todo punto x X y si, adems, (x) es un conjunto compacto para todo x X. Por otra parte diremos que es una correspondencia semicontinua inferiormente en X si es semicontinua inferiormente en todo punto x X. Si es tanto semicontinua superiormente como inferiormente en x (en X), se dice que es continua en x (en X).
Propiedades
Para que la correspondencia de X en Y sea semicontinua superiormente es condicin necesaria y suficiente que el conjunto (x) sea compacto para todo x X y que para todo conjunto abierto O Y, el conjunto {x : x X , ( x ) O} sea abierto en X. (Ver demostracin en BERGE, pg. 115) Para que la correspondencia de X en Y sea semicontinua inferiormente es condicin necesaria y suficiente que para todo conjunto abierto O Y, el conjunto {x : x X , (x ) O } sea abierto en X. (Ver demostracin en BERGE, pg. 115)
Cuando la continuidad se define mediante sucesiones decimos que una funcin es continua en x 0 si f ( x ) f ( x 0 ) cuando x x 0 . Si esto ocurre para todo x, decimos que la funcin es continua en X. Este criterio no puede aplicarse a las correspondencias, porque no existe un nico ( x) ni un nico ( x 0 ) . De esta manera, decimos que la correspondencia es semicontinua superiormente en x 0 si:
xi x0 , y i ( xi ), y i y 0 y 0 ( x0 ) ;
54
Eduardo A. Rodrguez
ESPACIOS TOPOLGICOS
Es decir, si x i tiende a x 0 y una sucesin formada por elementos de yi pertenecientes a las imgenes de cada x i tiende a y 0 , entonces el lmite y 0 pertenece a la imagen de x 0 . Diremos que la correspondencia es semicontinua inferiormente en x 0 si: xi x0 , y 0 ( x 0 ) {y i }/ y i (xi ), y i y 0 . Es decir, si xi tiende a x 0 , y si y 0 pertenece a la imagen de x 0 , entonces existe una sucesin {y i } que tiende a y 0 , en la cual cada elemento y i pertenece a la imagen de xi .
Ejemplos
1 (x ) =
y 1
{y : x y x} cuando x [0, ) ( ,1] cuando x = [ , x]
y=x 1(x) b y=x a
La correspondencia 1 ( x ) es semicontinua superiormente en x = porque toda sucesin en 1 ( x ) tiene lmite en 1 ( ) , como por ejemplo la sucesin cuyo lmite es a. Sin embargo no es semicontinua inferiormente porque el punto b no es lmite de ninguna sucesin en g 1 ( x ) .
2 (x ) =
y 1
{y : x y x} cuando x [0, ) (,1] [ , x] cuando x =
y=x (x)
2
c d y=x
La correspondencia 2 ( x ) no es semicontinua superiormente en x = porque la sucesin que tiene por lmite el punto d no tiene su lmite contenido en 2 ( ) . Sin embargo, 2 ( x ) es semicontinua inferiormente en x = porque todo punto de 2 ( ) es lmite de alguna sucesin contenida en 2 ( x ) , como la que converge al punto c.
La correspondencia ( x ) = {y : x y x} cuando x [0,1] es continua, porque es semicontinua superior e inferiormente.
Eduardo A. Rodrguez
55
Propiedades
a) La grfica de una correspondencia : X Y semicontinua superiormente en X es un conjunto cerrado en X Y. (Ver demostracin en BERGE, pg. 117) b) Sea : X Y una correspondencia semicontinua superiormente y K un conjunto compacto en X, entonces (K) es un conjunto compacto en Y. (Ver demostracin en BERGE, pg. 116) c) Sean 1: X Y y 2: Y Z dos correspondencias semicontinuas superiormente (inferiormente), entonces = 12: X Z es una correspondencia semicontinua superiormente (inferiormente). (Ver demostracin en BERGE, pg. 119) d) Sean i: X Yi (i = 1, 2, ..., n) una familia finita de correspondencias semicontinuas superiormente (inferiormente), entonces el producto directo de correspondencias
= i es una correspondencia semicontinua superiormente (inferiormente) de X

i =1
en Y = Yi . (Ver demostracin en BERGE, pgs. 120-122)

i =1
e) Teorema del mximo: Si f(x) es una funcin numrica en Y, y si : X Y es una correspondencia continua definida para todo x, entonces: 1- la funcin numrica M ( x ) = max{ f ( y ) : y ( x )} es continua en X; 2- la correspondencia ( x ) = {y : y ( x ), f ( y ) = M ( x )} semicontinua superiormente. (Ver demostracin en BERGE, pg. 123) de X en Y es
Propiedades de los conjuntos de consumo
Los supuestos sobre los conjuntos de consumo que se detallan a continuacin son comunes en la teora del consumidor.
Conectividad
Suele suponerse que el conjunto de consumo Xi es un conjunto conexo, hiptesis que recibe el nombre de conectividad de los conjuntos de consumo. En trminos intuitivos equivale a decir que Xi est hecho de una sola pieza, aunque puede presentar agujeros.
56
Eduardo A. Rodrguez
ESPACIOS TOPOLGICOS
x2 X no es conexo
x2 X es conexo
x2 X es conexo
x1
x1
x1
El supuesto de conectividad, en principio, es una necesidad tcnica ms que econmica, ya que permite demostrar la existencia de una representacin numrica de la utilidad del consumidor, es decir una funcin de utilidad. Sin embargo, cuando se formaliza una economa en su conjunto, el supuesto de conectividad no aparece de manera explcita ya que es usual hacer una suposicin an ms fuerte sobre los conjuntos de consumo, la cual s tiene una interpretacin econmica clara: la convexidad de los conjuntos de consumo.
Continuidad
Es habitual que se asuma que el conjunto de consumo Xi del consumidor i es cerrado. Este supuesto suele aparecer en la literatura econmica de la siguiente manera: Sea xiq una sucesin infinita de consumos; si todos los xiq son posibles para el i-simo consumidor y si xiq xi0 , entonces xi0 tambin es posible para el i-simo consumidor. Este supuesto es comn que reciba el nombre de continuidad de los conjuntos de consumo. Esto se debe a que un conjunto cerrado, al ser igual a su clausura, contiene la totalidad de sus puntos de acumulacin. Si bien esta interpretacin de conjunto cerrado es usada frecuentemente, cabe recordar que la misma no es aplicable a la totalidad de los espacios topolgicos. Como hemos visto con anterioridad pueden existir espacios en los cuales las sucesiones converjan a ms de un punto, como es el caso de la topologa cofinita si el espacio posee infinitos elementos o la topologa indiscreta, o bien que converjan a un punto que no sea de acumulacin. Por lo general la formalizacin de las decisiones sobre planes de consumo suele hacerse sobre espacios de Hausdorff, siendo el ms comn el espacio eucldeo n-dimensional. Sin embargo, si este no fuera el caso, la interpretacin anterior podra no ser vlida y el nombre de continuidad de los conjuntos de consumo podra resultar inapropiado.
Compacidad
{ }
El supuesto de compacidad es, en principio, muy difcil de interpretar econmicamente, ya que resulta dificultoso poder hacer una lectura apropiada de cubrimiento. Sin embargo, la compacidad de los conjuntos de consumo es muy importante en economa.
Eduardo A. Rodrguez
57
La lectura del supuesto de compacidad se facilita enormemente en espacios eucldeos (y en todo espacio que cumpla con la propiedad de Heine-Borel) ya que en este tipo de espacios un conjunto compacto es aquel conjunto que es cerrado y acotado17. De esta manera el supuesto matemtico de compacidad puede vincularse al supuesto econmico de escasez, lo cual implica afirmar que un consumidor decide sus planes de consumo a partir de un conjunto restringido de canastas posibilitando que el problema de eleccin se transforme en un problema econmico.
Existencia de una funcin de utilidad del consumidor
En su libro Theory of Value, Debreu demuestra la existencia de una funcin de utilidad bajo determinados supuestos realizados sobre los conjuntos de consumo X i cuando los mismos se encuentran contenidos en el espacio eucldeo l , siendo l la cantidad (finita) de mercancas existentes en la economa18. El hecho de representar al espacio de mercancas como un subconjunto de l permite que las cantidades de los diferentes insumos del i-simo consumidor (alimentos, vestimenta, etc.) se representan por nmeros positivos, mientras que las cantidades producidas por l (unidades de trabajo), por nmeros negativos. Debreu define funcin de utilidad de la siguiente manera: Una funcin de utilidad u i para el i-simo consumidor es una funcin creciente de X i , preordenado por , a . e introduce la siguiente hiptesis de continuidad sobre las preferencias: Para todo xi en X i , los conjuntos {xi X i : xi xi} y {xi X i : xi cerrados en X i . De esta manera Debreu demuestra el siguiente teorema: Sea X i un subconjunto conexo de l , completamente preordenado por . Bajo la hiptesis de continuidad de las preferencias existe una funcin de utilidad continua en X i . xi} son
Mas adelante definiremos con mayor rigurosidad el concepto de conjunto acotado, pero adelantamos que un conjunto es acotado si puede ser encerrado en una esfera de radio finito. Obviamente, para poder saber si un conjunto es acotado o no, deber tenerse definida una mtrica sobre el espacio al cual pertenece. La hiptesis de que Xi es un subconjunto del espacio eucldeo l se utiliza solamente, como ya veremos, para obtener un subconjunto numerable y denso D en Xi. Por lo tanto la siguiente demostracin es tambien vlida si se supone solamente que Xi es un espacio topolgico conexo y separable completamente preordenado por .
18
17
58
Eduardo A. Rodrguez
ESPACIOS TOPOLGICOS
La demostracin consta de cuatro partes, donde en la primera parte se trabaja con un resultado preliminar, en la segunda parte se demuestra la existencia de una funcin de utilidad en un subconjunto D X i numerable y denso en Xi, en la tercera parte se realiza una extensin de esa funcin de D a X i , y en la cuarta parte se demuestra que esta extensin es una funcin continua.
Demostracion19 1. Un resultado preliminar
En este apartado se demuestra la siguiente proposicin Si x y x en X satisfacen x x , existe un x D tal que x x x , donde D es un subconjunto numerable de X que es denso en X. Consideremos los siguientes dos conjuntos X x = {x X : x x }, conjunto de los planes de consumo no preferidos a x. X x = {x X : x x} , conjunto de los planes de consumo al menos tan preferidos como x.
Estos conjuntos son disjuntos, no vacos y, por la hiptesis de continuidad sobre las preferencias, cerrados en X. Puesto que X es conexo, X no puede ser la unin de estos dos conjuntos (porque son conjuntos separados), entonces: X x X x X (*)
Supongamos ahora que no hubiera ningn x D con la propiedad deseada, esto significara que D X x X x , es decir que los elementos de D pertenecern a uno u otro conjunto. Entonces, por propiedad de clausura, tendramos que D X x X x , como el conjunto X x X x es cerrado, es igual a su clausura, por lo que tenemos que D X x X x y por la propiedad de separabilidad del espacio eucldeo l, que implica D = X , se tiene que X x X x X
19
Para facilitar la notacin durante la presente demostracin escribiremos X en lugar de Xi.
Eduardo A. Rodrguez
59
pero como X x y X x son subconjuntos de X, es decir que estn contenidos en X, se tiene que X x X x = X lo cual nos lleva a una contradiccin con (*), ya que X es conexo.
2. Una funcin de utilidad en D
La funcin de utilidad a ser definida en D se designar por u. Elegimos dos nmeros reales a y b tales que a < b. Entonces: si D tiene un elemento mnimo x, hacemos u(x) = a; si D tiene un elemento mximo x, hacemos u(x) = b.
Extraemos de D todos los elementos indiferentes a x o a x y llamamos D al conjunto resultante. Por el resultado preliminar obtenido anteriormente se sigue que D no tiene elemento mximo ni mnimo. Definimos una funcin creciente de D sobre el conjunto Q de los nmeros racionales pertenecientes al intervalo (a, b) como sigue: puesto que D es numerable, sus elementos pueden ser etiquetados de la siguiente forma: x1 , x 2 , , x p , . Este etiquetado nada tiene que ver con el preorden . Puesto que Q es numerable, sus elementos pueden ser etiquetados de la siguiente manera: r 1 , r 2 , , r p , . Este etiquetado nada tiene que ver con el preorden .
Los elementos de D sern considerados sucesivamente: con xp se asociar un elemento q r p de Q de tal forma que el preorden se conserve y que todo elemento de Q acabe por ser tomado, es decir que se intenta establecer un isomorfismo entre D y Q, relacionando los puntos de D y Q elemento a elemento. Tal cosa puede hacerse porque tanto D como Q son numerables.
Ejemplo de asignacin de valores a cada punto de D:
1- Tmese x1, entonces le asignamos q1 = 1 y u x 1 = r q1 , es decir que a x1 (el primer elemento etiquetado de D) se le asigna el primer elemento del etiquetado de Q, a saber r1 (= r q1 ). 2- Considrese x2 (el segundo elemento del etiquetado de D); pueden ocurrir tres cosas: x 2 x1 : tomamos en Q el intervalo a, r q1 y le asignamos a x2 el elemento de dicho intervalo con el menor valor de etiquetado (es decir
( )
60
Eduardo A. Rodrguez
ESPACIOS TOPOLGICOS
aquel con el suprandice menor). Llamamos a este nmero r q2 y escribimos u x 2 = r q2 .
( )
x 2 x 1 : tomamos q2 = q1 y escribimos u x 2 = r q2 . x 2 x1 : seguimos el mismo procedimiento que para el caso de x 2 x1 , pero en este caso el elemento de menor valor de etiquetado lo tomamos del intervalo r q1 , b .
( )
Supongamos que se cumple que x 2 siguiente correspondencia: x a
x1 , entonces tenemos al momento la
x1
x2
x
< b
< r q1
< r q2
3- Consideremos x3 (el tercer elemento del etiquetado de D), entonces pueden pasar cinco cosas: x 3 x 1 : tomamos en Q el intervalo a, r q1 y le asignamos a x3 el elemento de dicho intervalo con el menor valor de etiquetado. Llamamos a este nmero r q3 y escribimos u x 3 = r q3 .
( )
x 3 x1 : tomamos q3 = q1 y u x 3 = r q3 . x1 x 3 x 2 : seguimos el mismo procedimiento que para el caso de x 3 x 1 , pero el elemento de menor valor de etiquetado lo tomamos del intervalo r q1 , r q2 .
( )
x 3 x 2 : tomamos q3 = q2 y u x 3 = r q3 .
( )
x 3 x 2 : el elemento de menor etiquetado lo tomamos del intervalo r q2 , b .
Supongamos que se cumple x1 x 3 x 2 , entonces tenemos al momento la siguiente correspondencia: x a
x1
x3
x2
x
< b
< r q1
< r q3
< r q2
4- Consideremos x4, entonces pueden pasar siete cosas: x 4 x1 . x 4 x1 . 61
Eduardo A. Rodrguez
x1 x 4 x 3 . x4 x3 . x3 x4 x2 . x4 x2 . x4 x2 .
Supongamos que se cumple x 4 x 3 , entonces tendremos x a
( x )
4
x1
<
x3 r q3 = r q4
x2
x
< b
< r q1
< r q2
y as sucesivamente. Resulta claro que la funcin es creciente y que mediante este procedimiento de tomar siempre el elemento de menor valor de etiquetado, todo elemento de Q termina siendo tomado. Adems al ser D y Q numerables, son equivalentes. En general, el procedimiento seguido para la construccin de esta funcin de utilidad es el siguiente: 1. Considrese xp y efectese la particin de D en los siguientes conjuntos: las clases de indiferencia de x1 , x 2 ,, x p 1 ; los intervalos de la forma
(x
, x p1 = x D : x x p1
) {
(x
pm
, x p m + 1 = x D : x p m x x p m +1 , x = x D : x
) {
(x
-
p p 1
) {
p p 1
}
( )
(
2. Una vez definidos estos conjuntos hgase lo siguiente:

q si x p x p donde p < p, tmese q p = q p y u x p = r p ;
si xp est en uno de los intervalos, por ejemplo x p , x p , considrese el intervalo correspondiente r

q q racional de menor valor de etiquetado r p ; tmese u x p = r p .
qp
,r
q p
) de Q y seleccinese en l el nmero
( )
62
Eduardo A. Rodrguez
ESPACIOS TOPOLGICOS
3. Extensin de D a X
Debido a que tanto en X como en [a, b] hay elementos no alcanzados por D y Q, la idea es poder asignar a cada elemento de X no incluido en D un elemento de [a, b] no incluido en Q de tal forma que el preorden de X se conserve. La funcin de utilidad a ser definida en X se la designar por u. Sea x un elemento de X, definimos los siguientes conjuntos: D x = {x D : x x } D x = {x D : x x}
De esta manera para definir la funcin u hacemos lo siguiente: si x es un elemento mnimo de X, tomamos u(x) = a; si x es un elemento mximo de X, tomamos u(x) = b. en los restantes casos consideramos Sup u (D x ) e Inf u D x . Se demostrar que estos dos nmeros son iguales.
x Dx Si x x , por lo tanto si x x D r u (D x ) r r . x r u D
( )
( )
puede ocurrir que Sup u (D x ) < Inf u D porque en ese caso cualquier nmero racional comprendido entre ellos no sera un valor tomado por u (y hemos mostrado que u tiene por imagen a Q). De esta manera tomamos para u(x) el valor comn del supremo y el nfimo.
x
De esta manera se deduce que Sup u (D x ) Inf u D x . Sin embargo no
( )
( )
Es evidente que si x D se tiene u(x) = u (x). Por lo tanto u es efectivamente una extensin de u de D a X. En smbolos:
Q u ( X ) [a, b] .
Se comprueba adems que u es creciente.
4. Una funcin de utilidad en D
La continuidad de u se demuestra utilizando la propiedad de que una funcin es continua sii la preimagen de un conjunto cerrado es un conjunto cerrado. Sea c un nmero real perteneciente al intervalo (a, b). El intervalo [c, b ) puede expresarse de la siguiente manera:
Eduardo A. Rodrguez
63
[c, b ) = [r,b ) 20 rQ
r c
Se observa que [c, b) es cerrado en (a, b) porque los intervalos [r, b) lo son. Tomando imgenes inversas por u de dichos intervalos se tiene por propiedad de las preimgenes inversas
Xc =
rQ r c
donde los conjuntos X r son las preimgenes por u de [r, b). Esto quiere decir que si x es un punto de X tal que u ( x ) = r , entonces X r se encontrar definido de la siguiente manera: X r = {x X : x x} siendo un conjunto cerrado por la hiptesis de continuidad de las preferencias. Por ende, como X c es cerrado al ser la interseccin de conjuntos cerrados, la funcin u es continua.
20
La necesidad de plantear el intervalo [c, b) como intersecciones infinitas de [r, b) es para poder abarcar el caso de los nmeros reales, y no slo los racionales. Eduardo A. Rodrguez
64
3. Espacios mtricos
Espacios mtricos Ahora veremos un tipo de espacio topolgico en el cual se define una funcin distancia, tal que podamos cuantificar la cercana entre dos puntos. Estos espacios, llamados espacios mtricos, comparten propiedades con otros tipos de espacios topolgicos que ya hemos visto. A pesar de ello, los espacios mtricos siguen siendo espacios generales, los cuales nos va a poder permitir definir una topologa de una manera ms fcil. Sea X un conjunto y sea : X X una funcin (no necesariamente continua) de X X en tal que: 1- ( x, y ) 0; ( x, y ) = 0 x = y ; (definida positiva) 2- ( x, y ) = ( y, x ) ; (simetra) 3- ( x, y ) + ( y, z ) ( x, z ) ; (desigualdad triangular) entonces el par ( X , ) se llama espacio mtrico y constituye una mtrica para X. Ejemplos Sea el conjunto X. Definimos la funcin distancia
( x, y ) =
0 si 1 si
x=y x y
donde x, y X . Entonces ( X , ) es un espacio mtrico llamado espacio discreto1, el cual se encuentra asociado con el espacio topolgico discreto visto en el captulo anterior. De esta manera se observa que en ambos espacios todos los puntos se encuentran igual de cerca unos de otros. El conjunto de todas las n-uplas x = ( x1 , x 2 , , x n ) , donde x1 , x 2 , , x n , con la distancia
( x, y ) =
(x
i =1
yi )
es un espacio llamado espacio eucldeo n-dimensional o n . Sea C [a ,b ] el conjunto de todas las funciones definidas en el intervalo cerrado [a, b] con la distancia
Esto muestra que siempre es posible definir una mtrica sobre cualquier conjunto X. Sin embargo esto no implica que siempre pueda definirse una mtrica sobre un espacio topolgico.
( f , g ) = max f ( x ) g ( x )
a x b
es un espacio mtrico llamado espacio funcin, nombre que se utiliza para enfatizar que sus elementos son funciones. El conjunto de todas las sucesiones infinitas x = ( x1 , x 2 , , x I , ) de nmeros reales x1 , x 2 , , xi , que satisfacen la condicin de convergencia donde la distancia entre puntos se define como
x
i =1
2 i
< y
( x, y ) =
(x
i =1
yi )
es un espacio mtrico llamado espacio de Hilbert. Si ( X , ) es un espacio mtrico y M X , entonces (M , ) es un espacio mtrico llamado subespacio del espacio mtrico original.
Topologa mtrica y espacios metrizables
La definicin de una funcin distancia en un espacio topolgico nos permite definir la base de una topologa de manera ms sencilla. Sea x cualquier punto de un espacio mtrico M con mtrica y sea > 0 , el entorno esfrico S ( x ) de un punto x es el conjunto de todos los puntos y en M tal que
( x, y ) < , siendo el radio del entorno.
El conjunto de todos los entornos esfricos en M constituye la base de una topologa para M, la cual recibe el nombre de topologa mtrica generada por la distancia .
Ejemplo
El conjunto de todas las esferas de todos los posibles radios con todos los posibles centros en un espacio n , al cual llamamos B = {S ( x ) : x X , > 0}, es base de una topologa para n ya que 1- la unin de todos los elementos de B es igual a n ; 2- si x es un punto perteneciente a la interseccin de dos entornos esfricos cualesquiera (no necesariamente de x), entonces existe un entorno esfrico que contiene a x y que se encuentra contenido en dicha interseccin2. Grficamente
Comprese con las propiedades, enunciadas en el captulo anterior, que debe cumplir una coleccin de conjuntos para ser base de alguna topologa. Eduardo A. Rodrguez
66
ESPACIOS MTRICOS
1
x x1 x2
Es importante remarcar que todo conjunto de entornos esfricos es base de alguna topologa en ( X , ) . Sin embargo, puede ocurrir que un espacio topolgico X se encuentre dado y queramos saber si es posible definir una mtrica tal que la topologa generada por la mtrica sea la misma que la topologa original. Sea X un espacio topolgico con una topologa I, si es posible definir una mtrica tal que la topologa mtrica generada por coincide con I, entonces decimos que X es un espacio metrizable. En tal caso, la topologa de X podr definirse a travs de sucesiones, es decir especificando de qu manera una sucesin converge a un punto dado de X.
Propiedad
La metrizabilidad es un invariante topolgico. (Ver demostracin en AYALADOMINGUEZ-QUINTERO, pg. 91) Un espacio metrizable X es compacto sii toda sucesin de puntos de X contiene una subsucesin convergente. (Ver demostracin en MUNKRES, pgs. 204-205)3
Conjuntos abiertos, conjuntos cerrados y conjuntos acotados
Llamamos esfera abierta (o bola abierta) S r ( x 0 ) al conjunto de puntos x M que satisfacen la desigualdad ( x0 , x ) < r , donde es la mtrica de M. El punto x0 se llama centro de la esfera y el nmero r se llama radio de la esfera. Por otra parte, llamamos esfera cerrada (o bola cerrada) S r [x 0 ] con centro en x0 y radio r al conjunto de puntos x M que satisfacen la desigualdad ( x0 , x ) r . Es importante remarcar que los entornos esfricos S ( x ) de un punto x son esferas abiertas de radio y centro x. Por otra parte, sabemos que el conjunto de los entornos
De esta manera, la metrizabilidad de X convierte en equivalentes la compacidad de X con la existencia de una subsucesin convergente en toda sucesin de X. Recurdese que esto no era necesariamente as para espacios topolgicos generales.
Eduardo A. Rodrguez
67
esfricos S ( x ) constituyen la base de una topologa de M. Al constituir una base de una topologa de M lo que se est diciendo es que todo miembro de esa topologa (es decir los conjuntos abiertos) pueden representarse por uniones de los miembros de la base. Como la unin de conjuntos abiertos es un conjunto abierto, podemos afirmar que las esferas abiertas son conjuntos abiertos en la topologa mtrica inducida por la distancia . Por otra parte, sabemos que un conjunto es cerrado sii coincide con su clausura. Puesto que la clausura de una esfera abierta es una esfera cerrada, entonces podemos afirmar que las esferas cerradas con conjuntos cerrados. Esta definicin de esfera (o bola) permite definir un tercer tipo de conjunto en un espacio mtrico. Decimos que el conjunto A M es un conjunto acotado si puede ser encerrado en una bola de radio finito.
Ejemplo
Dados los siguientes conjuntos de 2 con la mtrica eucldea x2 x2

B A
x1
x1
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.4
Funciones continuas, homeomorfismos e isometras
Sea f una funcin de un espacio mtrico X en otro espacio mtrico Y tal que f asocia un elemento y = f ( x ) Y con cada elemento x X . Entonces f se dice que es continua en el punto x 0 X si, para todo > 0 , existe un > 0 tal que ( f ( x ), f ( x0 )) < cuando ( x, x 0 ) < , donde es la mtrica en X y es la mtrica en Y. Es decir que f es
La acotacin de un conjunto no es una propiedad topolgica, porque depende de la distancia particular que se use para X. Si X es un espacio mtrico con distancia , entonces existe una distancia que induce la misma topologa que :
( x, y ) = min { ( x, y ) ,1}
bajo la cual todo subconjunto de X est acotado. (Ver demostracin en MUNKRES, pg. 137) Eduardo A. Rodrguez
68
ESPACIOS MTRICOS
continua en x 0 si a cada entorno de f ( x0 ) en Y (es decir ( f ( x ), f ( x0 )) < ) le corresponde un entorno de x 0 en X (es decir ( x, x 0 ) < ). Se dice que la funcin f es continua en X si es continua en todo punto de x X . Por otra parte, al igual que en espacios ms generales, la idea de funcin continua lleva a la idea de espacios homeomorfos: Dados dos espacios mtricos X e Y y f una funcin biunvoca de X sobre Y, supongamos que f y f 1 son ambas continuas, entonces f es un homeomorfismo entre X e Y siendo estos espacios homeomorfos.
Ejemplo
La funcin f ( x ) = 2 arc tg x establece un homeomorfismo entre la recta real X = y el intervalo abierto Y = ( 1,1) , ambos con la mtrica eucldea. De esta manera, la recta real y el intervalo abierto ( 1,1) son homeomorfos. Mediante el siguiente grfico puede verse que la funcin f es biunvoca y bicontinua.
f(x) 1
f (x ) =
-x
arc tg x
x
-1
Sin embargo tambin puede haber otro tipo de relacin entre dos espacios mtricos: Una funcin biunvoca f de un espacio mtrico ( X , ) sobre otro espacio mtrico (Y , ) se dice que es una isometra si
( x1 , x0 ) = ( f ( x1 ), f ( x0 )) para todo x1 , x2 X .
De esta manera los espacios X e Y se dicen que son isomtricos. Si X e Y son isomtricos, las relaciones mtricas entre los elementos de X son las mismas que entre los elementos de Y. En otras palabras, X e Y difieren nicamente en la naturaleza explcita de sus elementos.
Eduardo A. Rodrguez
69
Convergencia y completitud
Decimos que una sucesin de puntos {x n } = x1 , x 2 , , x n , en un espacio mtrico M converge a un punto x M si todo entorno O ( x ) de x contiene todos los puntos x n comenzando en cierto ndice5. En otras palabras, {x n } converge a x M si para todo
> 0 existe un N tal que O ( x ) contiene todos los puntos x n con n > N . Claramente {x n } converge a x sii
n
lim ( x, x n ) = 0 .
De esta manera, se tiene que ninguna sucesin puede tener dos lmites distintos (si no, por definicin, la distancia no tendera a cero). Entonces podemos afirmar que todo espacio mtrico es un espacio de Hausdorff6.
Funciones contractivas
Sea f una funcin de un espacio mtrico M en si mismo. Supongamos que existe un nmero < 1 tal que
( f ( x ), f ( y )) (x, y )
para cada par de puntos x, y M, donde es la mtrica de M, entonces se dice que f es una funcin contractiva y llamamos a la desigualdad anterior condicin de contraccin. Toda funcin contractiva es continua de manera automtica ya que de la condicin de contraccin se sigue que f(xn) f(x) siempre que xn x.
Espacios mtricos completos
Sea X un espacio mtrico y {x n } X una sucesin. Entonces decimos que {x n } es una sucesin de Cauchy si para cada > 0 existe un entero N > 0 tal que m, n > N implica ( x n , x m ) < . Es decir que, para valores grandes de la sucesin, la distancia entre los elementos de la misma se va reduciendo. Claramente, toda sucesin convergente es una sucesin de Cauchy, aunque la recproca no es necesariamente cierta. Un espacio mtrico X se dice que es completo si toda sucesin de Cauchy en X converge a un punto perteneciente a X. Si esto no ocurre, se dice que el espacio es incompleto.
Comprese con la definicin de convergencia enunciada en el captulo anterior. Una demostracin ms rigurosa puede verse en BAUM, pg. 120. Eduardo A. Rodrguez
70
ESPACIOS MTRICOS
Propiedades
Todo espacio mtrico compacto es completo. (Ver demostracin en AYALADOMINGUEZ-QUINTERO, pgs. 278-279) Todo subespacio cerrado de un espacio mtrico completo es completo. (Ver demostracin en BERGE, pg. 97) Un espacio mtrico es separable sii cumple con el segundo axioma de numerabilidad7. (Ver demostracin en BAUM, pgs. 121-122). Cabe aclarar que esta relacin no era del tipo si y solo si para espacios ms generales.
Ejemplo
El conjunto de los nmeros reales con la mtrica eucldea es completo. Sin embargo el conjunto Q de los nmeros racionales no lo es. Esto ltimo se debe a que un conjunto es cerrado sii es igual a su clausura, pero la clausura de Q es igual a y no a Q; por lo tanto una sucesin de nmeros racionales puede tener por lmite un nmero irracional
Sin embargo, es importante aclarar que la completitud no es un invariante topolgico, como puede verse en el siguiente ejemplo.
Ejemplo
Sea el conjunto de los reales y definamos f : ( 1,1) por f ( x ) = representacin grfica es

f(x) 1
x , cuya 1+ x
f (x ) =
-x
x 1+ x
x
-1
Esta funcin f es un homeomorfismo, por lo tanto y ( 1,1) son homeomorfos. Sabemos que es un espacio mtrico completo, sin embargo ( 1,1) no es completo
Comprese con la propiedad enunciada en el captulo anterior que relaciona separabilidad con numerabilidad de la base de una topologa. Eduardo A. Rodrguez
71
n ya que la sucesin de Cauchy : n = 1,2,3, converge al punto x = 1 , punto 1 + n que no pertenece al conjunto ( 1,1) .
El
espacio de todos los polinomios con coeficiente real y mtrica ( f , g ) = max f (t ) g (t ) no es completo. Tal situacin permite construir una
a t b
sucesin de polinomios que converja de manera uniforme a una funcin que no es un polinomio. Esta ltima aseveracin recibe el nombre de Teorema de Weierstrass.
72
Eduardo A. Rodrguez
4. Conjuntos convexos
Espacios vectoriales Sean V un conjunto no-vaco, K un cuerpo1, + y dos funciones que llamaremos suma y producto, respectivamente. El objeto (V ,+, K ,) es un espacio vectorial sii se verifican las siguientes condiciones: 1- Composicin interna en V: + : V 2 V ;
2- Asociatividad de + : (x + y ) + z = x + (y + z ) para todo x, y, z V 3- Elemento neutro en V: 0 V : x + 0 = 0 + x = x para todo x V 4- Elemento inverso en V: ( x) V : x + ( x) = ( x) + x = 0 para todo x V 5- Conmutatividad de + : x + y = y + x para todo x, y V 6- Composicin externa en V con K: : K V V 7- Asociatividad mixta de : ( x) = ( ) x para todo x V y para todo , K 8- Distributividad de respecto a + en K: ( + ) x = x + x para todo x V y para todo , K 9- Distributividad de respecto a + en V: (x + y ) = x + y para todo x, y V y para todo K 10- Elemento neutro en : 1 K : 1 x = x para todo x V
1
La terna (K ,+,) es un cuerpo sii 11.1) 1.2) 1.3) 1.4) 1.5)
(K ,+ ) es un grupo abeliano
2-
+:K2 K (a + b ) + c = a + (b + c ) para todo a, b, c K 0 K : a + 0 = 0 + a = a para todo a K (-a) K : a + ( a ) = ( a ) + a = 0 para todo a K a + b = b + a para todo a, b K (K {0},) es un grupo abeliano
2.1) + : (K {0}) (K {0})
2
2.2) (a b ) c = a (b c ) para todo a, b, c (K {0})
2.3) 1 (K {0}) : a 1 = 1 a = a para todo a (K {0}) 2.5) a b = b a para todo a, b (K {0}) 3- La operacin es distributiva con respecto a + 3.1) a (b + c ) = a b + a c para todo a, b K
2.4) a -1 (K {0}) : a a 1 = a 1 a = 1 para todo a (K {0})
3.2) (b + c ) a = b a + c a para todo a, b, c K
Llamamos a los elementos de V vectores; en particular el elemento neutro para la suma recibe el nombre de vector nulo. Sea S V un conjunto no-vaco; entonces decimos que S es un subespacio de (V ,+, K ,) sii (S ,+, K ,) es un espacio vectorial.
Propiedad
En un espacio vectorial (V ,+, K ,) , una condicin suficiente para que un conjunto S sea un subespacio vectorial de (V ,+, K ,) es que cumpla x S, y S x + y S y x S, K x S
De esta manera surge que V y el elemento nulo de V, es decir {0}, son subespacios vectoriales. De la segunda condicin, haciendo = 0 , se deduce que todo subespacio vectorial no vaco contiene a 0.
Sea el espacio vectorial V y A un conjunto contenido en l. Decimos que A es una variedad lineal si
x, x' A , ' K x + 'x' A + ' = 1
Ntese que los conjuntos , V y {x} son tambin variedades lineales.

Propiedad
Si S es un subespacio vectorial de V y v0 un vector de V, el conjunto S + v0 es una variedad lineal; inversamente toda variedad lineal es de la forma S + v0. (Ver demostracin en BERGE, pgs. 145-146)
Sea (V ,+, ,) un espacio vectorial sobre el cuerpo de los reales. Llamamos producto interior en V a toda funcin , : V 2 que satisface las siguientes condiciones: 1- Simetra: x, y = y, x para todo x, y V 2- Linealidad respecto del primer argumento:
x + y, z = x, z + y, z para todo x, y , z V
x, y = x, y para todo x, y V y para todo

3- Definida positiva: x, x 0 para todo x V ; x, x = 0 x = 0 74
Eduardo A. Rodrguez
CONJUNTOS CONVEXOS
Llamamos norma de un vector en un espacio vectorial con producto interior a la raz cuadrada del producto interior de dicho vector consigo mismo.
x = x, x .
La funcin norma cumple las siguientes propiedades: 123x 0; x = 0 x = 0 para todo x V ;

k x = k x para todo x V y para todo k ;
x 1 + x 2 x 1 + x 2 para todo x 1 , x 2 V .2
Todo espacio normado puede considerarse como un espacio mtrico en el cual la distancia entre los puntos x e y es igual a la norma de su diferencia
(x.y ) = x y
la cual cumple con las condiciones de funcin distancia.3 Decimos que dos vectores x e y son ortogonales ( xy ) sii su producto interior es nulo, es decir xy x, y = 0 .
Ejemplos
Espacios eucldeos: son espacios en los cuales se ha definido un producto interior

x, y = xi y i = xy T
i =1 n
donde x = ( x1 , x 2 , , x n ) e y = ( y1 , y 2 , , y n ) . Espacios de Banach: son espacios normados que son completos en la mtrica definida por su norma, por ejemplo:
especificar un producto interior. En este sentido, en un espacio de Banach, la norma x = Sup x(t ) no
Estas tres propiedades pueden utilizarse para definir a una funcin como norma, sin necesidad de
es posible definirla mediante un producto interior. Si la condicin 1) en lugar de exigimos solamente , entonces hablaremos de seminorma.
3
Si bien todo espacio normado es un espacio mtrico con una mtrica dada por
( x, y ) = x y
, la
conversa no es necesariamente cierta. La mtrica del espacio discreto definida en el captulo 3 no puede definirse a partir de una norma.
Eduardo A. Rodrguez
75
n
El espacio real n-dimensional normado mediante la funcin x = equivalente a la funcin distancia (x, y ) =
x
i =1
2 i
(x
i =1
yi ) .
2
El conjunto de todas las funciones definidas en el intervalo cerrado [a, b] normado con la funcin f = max f ( x ) , equivalente a la definicin de funcin distancia ( f , g ) = max f ( x ) g ( x ) .
a x b a x b
Sea V es un espacio vectorial, A V , B V , x V y k K ; emplearemos la siguientes notaciones

x + A = {x + a : a A} x A = {x a : a A}
A + B = {a + b : a A, b B} k A = {k a : a A}
Cabe aclarar que, con esta notacin, 2 A A + A 4.
Se dice que un espacio vectorial V tiene dimensin n si tiene una base {v 1 , v 2 , , v n } que permite representar a todo v V como combinacin lineal nica de los elementos de la base, es decir
v = k1 v 1 + k 2 v 2 + + k n v n
donde k i K (i = 1,2, , n ) .
Espacios vectoriales topolgicos
Sea I una topologa sobre un espacio vectorial V tal que las operaciones de espacio vectorial son continuas con respecto a I, entonces se dice que I es una topologa vectorial sobre V y que V es un espacio vectorial topolgico.
Propiedades
Sea k , entonces: a) si F es cerrado kF es cerrado. (Ver demostracin en BERGE, pg. 169)
Sea A = [a1, a2}, entonces 2A = {2a1, 2a2} mientras que A + A = {2a1, 2a2, a1 + a2}. Eduardo A. Rodrguez
76
CONJUNTOS CONVEXOS
b) si G es abierto kG es abierto. (Ver demostracin en BERGE, pg. 169) c) si J es compacto kJ es compacto. (Ver demostracin en BERGE, pg. 169) d) si G es abierto y A es un conjunto cualquiera G+A es abierto. (Ver demostracin en BERGE, pg. 259) e) si F es cerrado y J es compacto F+J es compacto. (Ver demostracin en BERGE, pg. 259) f) si J y J son compactos J+J es compacto. (Ver demostracin en BERGE, pg. 259)
Todo espacio vectorial topolgico X es invariante por traslaciones (o simplemente invariante) es decir que un conjunto A X ser abierto sii A + a es abierto para todo a X . De esta manera la topologa de un espacio vectorial topolgico quedar determinada por una base local, comnmente la base local de 0, con lo cual los conjuntos abiertos de X sern precisamente aquellos que se obtengan como uniones de trasladados de elementos de dicha base local de 0. Diremos que un espacio vectorial topolgico X es localmente convexo si tiene una base local B cuyos elementos son conjuntos convexos.
Conjuntos convexos
Decimos que un conjunto C V es convexo si

t C + (1 t ) C C
(0 t 1)
es decir que x + (1 ) y C , con 0 1 , para todo x, y C .

Ejemplos grficos
x2
x2
x2
x2
convexo
x1
no convexo
x1
no convexo
x1
convexo
x1
Eduardo A. Rodrguez
77
Un conjunto no necesariamente tiene que ser acotado para ser convexo. Por ejemplo el espacio n que no es acotado, es convexo. Tampoco es necesario que sea un conjunto cerrado.
A partir de aqu trabajaremos con el espacio eucldeo n-dimensional.
Ejemplos
lnea que une dos puntos: sean x e y dos puntos, entonces el conjunto de puntos z que puede ser representado mediante la frmula
z = x + (1 ) y
(0 1)
es una lnea con extremos en x e y. Grficamente

x
z = x + (1 ) y
x2
y
x1
hiperplanos: la ecuacin
px T = 0
define un hiperplano que pasa a travs del origen y es ortogonal a p, cuyos elementos representamos por x. Ntese que px T es el producto interior eucldeo entre los vectores p y x. Puesto que podemos formular
px T = 0 px T = 0 ( p )x T = 0
tenemos que ( p )x T = 0 representa el mismo hiperplano que px T = 0 . Debido a ello, consideramos a p como un vector normalizado, es decir como un vector p tal que pp T = 1 . Si y * es un punto de n , entonces la frmula
p(x y *) = 0
T
representa la ecuacin del hiperplano ortogonal a p que pasa a travs de y * . Para el caso en el cual tengamos y * = 0 , volvemos a px T = 0 . De esta manera, puesto que
p (x y ) = 0 px T = py *T px T = c
T
78
Eduardo A. Rodrguez
CONJUNTOS CONVEXOS
toda ecuacin de la forma px T = c es la ecuacin de un hiperplano ortogonal a p. Consideremos el punto x = p junto con la ecuacin del hiperplano px T = c . Entonces tenemos
x = p T T T p p = c pp = c , px = c
como pp T = 1 , entonces tenemos que = c . De esta manera, la solucin de este sistema es un punto perteneciente tanto al hiperplano px T = c como a la lnea p (es decir la lnea que pasa por el origen y es ortogonal al hiperplano), cuya distancia desde el punto de origen es la longitud o norma eucldea del vector p
p =
( p )( p T ) =
pp T = = c ;
entonces podemos afirmar que la ecuacin px T = c , con el vector p normalizado, es la ecuacin de un hiperplano con normal p el cual intersecta esa normal en la distancia c desde el origen.
Semiespacios: consideremos un punto x n arbitrario. Formamos el producto escalar px T y denotamos el valor px T con
px T = ;
entonces x puede ser considerado como un punto que se encuentra en el hiperplano px T = . De esta manera, todo punto de n puede ser considerado como perteneciente a algn hiperplano para algn valor ; por lo tanto podemos clasificar estos hiperplanos en dos conjuntos de hiperplanos con respecto al hiperplano H (cuya ecuacin es px T = c ): aquellos para los cuales c y aquellos para los que c . De esta manera, todo punto x n pertenece al menos a uno de los conjuntos
H + = {x : px T c} y H = {x : px T c}.
Estos conjuntos, que tienen a H por su frontera, son los semiespacios definidos por H, los cuales tambin son conjuntos convexos. En particular H pertenece a ambos semiespacios, ya que
H+ H = H
En el caso que se excluya H de los semiespacios, haremos mencin a ellos como semiespacios abiertos, ya que no contendran a la frontera H.
Hiperesfera: sea y * un punto dado y x un punto variable, entonces la frmula
(x y *)(x y *)T
Eduardo A. Rodrguez
= c2
79
representa una circunferencia para el caso de 2 o una esfera para el caso de 3 de radio c y centro en y * . Para el caso de n dicha ecuacin representa una hiperesfera de radio c y centro y * . Si bien la hiperesfera no es un conjunto convexo, el conjunto de puntos que se encuentra dentro de ella (bola abierta) o el conjunto de puntos que se encuentra dentro de ella incluyendo la misma hiperesfera (bola cerrada) s son conjuntos convexos. Es decir, los conjuntos
{x : (x y *)(x y *)
son convexos.
Propiedades
< c2
{x : (x y *)(x y *)
c2
1- Un conjunto convexo es conexo, pero no todo conjunto conexo es convexo. 2- Si x 1 , x 2 , , x n son puntos del conjunto convexo S, el punto x = i xi donde
i =1 n
0 i 1 tal que
i =1
= 1 est tambin en S. Este punto x constituye lo que se
llama combinacin convexa de los puntos x i (un caso espacial de combinacin lineal con restriccin en los escalares i ). 3- La interseccin de dos conjuntos convexos es un conjunto convexo. (Ver demostracin en BERGE, pg. 150). Grficamente
x2
convexo
convexo
convexo x1
4- La unin de dos conjuntos convexos no es necesariamente convexo. Grficamente
x2 convexo convexo no convexo x1
80
Eduardo A. Rodrguez
CONJUNTOS CONVEXOS
Sea S cualquier conjunto de puntos en n (no necesariamente convexo), la cpsula convexa (o clausura convexa) de S, Co(S ) , se define como la interseccin de todos los conjuntos convexos de n que contienen a S. Debido a que la interseccin de conjuntos convexos es convexa, puede caracterizarse la cpsula convexa como el conjunto convexo ms pequeo que contiene a S.
Ejemplo grfico
Sea el conjunto A
x2
C A
x1
El conjunto A es conexo, pero no convexo. Sin embargo, B es un conjunto convexo, y es el menor conjunto convexo que contiene a A (ntese que B encierra a A, incluyendo la parte de la elipse que A no contiene). Por otra parte, C es un conjunto convexo que contiene a A, pero no constituye la cpsula convexa de A porque B, que es convexo, est contenido propiamente en C y B A .
Propiedades
Sean A y B dos conjuntos del espacio vectorial V. La operacin de clausura convexa cumple con las siguientes propiedades:
Co( A) A ; A B Co( A) Co(B ) ; Co(Co( A)) = Co( A) ; Co( ) =
La convexidad depende de relaciones lineales, y es preservada por operaciones que preservan la linealidad. De este modo si S y S son conjuntos convexos, los conjuntos S + S ' , S S ' y S son conjuntos convexos. (Ver demostracin en BERGE, pg. 150)
Hiperplano separador, hiperplano acotador e hiperplano soportante
Hemos visto que un hiperplano H define dos semiespacios; entonces podemos enunciar las siguientes definiciones: a) si para un conjunto S podemos encontrar un hiperplano H tal que S est contenido en uno de los semiespacios, decimos que H es un hiperplano acotador de S. b) si dados dos conjuntos S y S podemos encontrar algn hiperplano H tal que S se ubique en uno de los semiespacios y S se ubique en el otro, entonces decimos que H es un hiperplano separador de S y S. c) si para un conjunto S podemos encontrar un hiperplano H tal que S est contenido en uno de los semiespacios y adems H tenga al menos un punto perteneciente a S, entonces decimos que H es un hiperplano soportante de S.
Eduardo A. Rodrguez
81
De esta manera un hiperplano separador de dos conjuntos es un hiperplano acotador de cada uno de ellos. Por otra parte todo hiperplano soportante de un conjunto es acotador del mismo, pero la recproca no es necesariamente cierta.
Propiedades
Teorema del hiperplano separador
Sean A y B dos conjuntos convexos disjuntos pertenecientes a n ; entonces existe un p n con p 0 y un valor c tal que pz T c para todo z A y py T c para todo y B . x2
A
px T < c
x
B
z
px T > c
H p ,c px T = c
Ntese que el hiperplano Hp,c acota tanto a A como a B. Sin embargo en este grfico vemos que Hp,c no soporta a ninguno de ellos.
x1
Teorema del hiperplano soportante
Sea B n un conjunto convexo y z un elemento no interior a B; entonces existe un vector p n , con p 0 , tal que pz T py T para todo y B . x2
px T < c
z
B
px T > c
H p ,c px T = c
Es importante destacar que para que el teorema se cumpla no es necesario que z se encuentre en la frontera de B. Ntese que el teorema es igualmente vlido reemplazando z por z. De esta manera el hiperplano pasara por z y contactara a B en z.
x1
Puntos extremos
Un punto x k es un punto extremo de un conjunto S si x k no puede ser expresado en la forma

x k = x i + (1 ) x j ,
0 < <1
xi , x j S .
Ntese que esta condicin sobre confina este parmetro al intervalo abierto (0,1) . 82
Eduardo A. Rodrguez
CONJUNTOS CONVEXOS
Resulta obvio que un punto extremo debe ser un punto frontera; sin embargo no todo punto frontera es un punto extremo, como se observa en los siguientes grficos.
x2
a
S
c
b
En este grfico puede verse que los puntos a y b son puntos extremos del conjunto S, pero c no lo es porque puede expresarse como combinacin convexa de a y b con un parmetro diferente a 0 y a 1.
x1
x2
c
T
Por otra parte, en este grfico puede verse que c es un punto extremo de T, tanto como a y b, puesto que el segmento ab est curvado, por lo cual c no puede escribirse como combinacin convexa de a y b. En este caso, todos los puntos contenidos en la curva ab son puntos extremos de T
x1
En general, en un conjunto convexo con un contorno curvo continuo todo puntocontorno es un punto extremo. El conjunto S es un poliedro convexo si es un conjunto convexo con un nmero finito de puntos extremos. A estos puntos extremos los llamaremos nodos.
Propiedades
a) si S es un conjunto cerrado y convexo, acotado por encima o por debajo (o ambos), entonces todo hiperplano soportante de S contiene un punto extremo. x2 punto extremo x2 puntos extremos
S S
H x1
H x1
b) Teorema de Krein-Milman: Un conjunto convexo, compacto y no vaco S es la clausura convexa de sus puntos extremos. (Ver demostracin en BERGE, pg. 174175). De esta manera si S es un poliedro convexo todo punto de S es una
Eduardo A. Rodrguez
83
combinacin convexa de un nmero finito de puntos extremos, por ende todo conjunto convexo se encontrar definido completamente con la especificacin de sus puntos extremos.
Conos convexos
Decimos que un conjunto C es un cono si, para todo x C , x C cuando 0 . Si C es convexo, hablaremos de cono convexo. En este ltimo caso podremos definirlo alternativamente de la siguiente manera: sea C un conjunto convexo y los puntos x, y C , entonces C es un cono convexo si x + y C para todo , 0 . Grficamente estas definiciones alternativas de cono convexo se traducen en x2
C
x2
C x+y
x1
Ejemplos
x1
Todo espacio vectorial es un cono convexo. Lo mismo ocurre con sus subespacios vectoriales. Si H es un hiperplano que pasa a travs del origen, entonces es un cono convexo, como as tambin los semiespacios que H define. Sin embargo, los semiespacios definidos por hiperplanos que no pasan a travs del origen no son conos convexos, a pesar de ser conjuntos convexos. Para todo vector b, el conjunto (b ) = {x : x = b, 0}, llamado semirrecta, es un cono convexo, a pesar de no ser un subespacio vectorial.
Propiedades
La interseccin de dos conos convexos es un cono convexo. Todos los conos convexos se intersectan en el origen, por ello consideraremos al origen como un cono convexo. La suma de dos conos convexos es un cono convexo.
84
Eduardo A. Rodrguez
CONJUNTOS CONVEXOS
Un cono convexo o bien no tiene puntos extremos o bien tiene al origen como su nico punto extremo.
Esta ltima propiedad nos lleva a definir lo siguiente: un cono convexo C es agudo sii C ( C ) = 0 . Este tipo de conos tiene la siguiente propiedad: si C es un cono convexo agudo, entonces existe un hiperplano H que pasa a travs del origen el cual es separador para C y para ( C ) y adems es soportante para ambos. Grficamente
x2
C
-x1
x1
-C
-x2
Cono dual
Si C es un cono convexo, al conjunto C* = {y : yxT 0, para todo x C} se lo llamar
cono dual (o cono polar) de C. En trminos geomtricos, el dual de un cono convexo es el conjunto de vectores que forman un ngulo no-agudo con los vectores del cono original. Grficamente, para el caso de 2 tenemos x2
C
90
-x1
C*
90
x1
-x2
Eduardo A. Rodrguez
85
Ejemplos
Si (b ) es una semirrecta, entonces (b )* = {y : yb T 0} es el dual de la semirrecta, que es el semiespacio acotado por el hiperplano ortogonal a la semirrecta.
x2
90
C
90
-x1
C*
x1
-x2
El cono dual de un semiespacio es una semirrecta.
x2
C
90
-x1
C*
90
x1
-x2
Puesto que y0 T 0 para todo y n , tenemos que 0* = n ; por otra parte, puesto que 0 es el nico vector que 0x T x para todo x n , tenemos que n * = 0 .
Simplices
Llamamos k-simplex a un poliedro convexo Sk donde los nodos a1, a2, ..., ak+1 son k+1 vectores linealmente independientes. Es evidente que un k-simplex tiene dimensin k: un 0-simplex es un punto, un 1-simplex es un segmento lineal, un 2-simplex es un tringulo, un 3-simplex es un tetraedro; para k > n, donde n es la dimensin del espacio vectorial que lo contiene, no hay k-simplices.
86
Eduardo A. Rodrguez
CONJUNTOS CONVEXOS
x2 a2
x3 a3
S2 S
1
a2 a1 a1 x1 x1 x2
k Todo conjunto de la forma p : p > 0, pi = 1 recibe el nombre de k-simplex abierto: i =1 un 0-simplex es un punto, un 1-simplex es un intervalo abierto, un 2-simplex es el interior de un tringulo, etc.
Convexidad de los conjuntos de produccin
Un productor es un agente econmico cuya actividad consiste en elegir y ejecutar un plan de produccin. Para el productor j, un plan de produccin es una especificacin de las cantidades de todos sus insumos y todos sus productos. Sin embargo un plan de produccin yj dado puede ser tcnicamente posible o tcnicamente imposible para el productor j. Esta clasificacin se har sobre la base de sus conocimientos tcnicos al momento de la decisin. De esta manera, llamamos conjunto de produccin Yj al conjunto de todos los planes de produccin posibles para el productor j. Los conjuntos de produccin suelen suponerse cerrados, supuesto que se conoce bajo el nombre de continuidad de los conjuntos de produccin, con consecuencias similares a las comentadas en el apartado correspondiente a los conjuntos de consumo. Sin embargo a este supuesto se le suele agregar la hiptesis de convexidad. Tomado en forma aislada, el supuesto de convexidad de los conjuntos de produccin estipula que si y 1 e y 2 son planes de produccin posibles para el productor j, tambin j j lo ser su promedio ponderado
ty 1 + (1 t )y 2 (0 t 1) j j
para todo y 1 , y 2 Y j j j
Sin embargo una interpretacin ms adecuada en trminos econmicos de este supuesto requiere definiciones adicionales.
Eduardo A. Rodrguez
87
Rendimientos a escala
Dada una tecnologa, el productor j puede utilizarla de manera eficiente o no; la tecnologa solamente indica cules son las combinaciones insumo-producto posibles. De todas las combinaciones posibles existir una combinacin de insumos y de productos que permitir alcanzar la mayor cantidad de producto con la menor cantidad de insumos. A esta combinacin la llamamos produccin eficiente. Sin embargo, por diversas razones, puede ocurrir que esta combinacin no pueda realizarse. Esto no quiere decir que el proceso de produccin no pueda llevarse a cabo, sino que se realizar de manera no-eficiente, pero posible. Un supuesto que introduciremos es el de posibilidad de inaccin que dice que el productor j tiene la posibilidad de no hacer nada, es decir 0 Y j . Suponiendo el caso de
2, donde se produce un solo bien con un solo insumo, definimos mediante la funcin 2 = f ( 1 ) al proceso de produccin eficiente; es decir que f indica el mayor nivel de producto 2 que puede alcanzarse con determinadas cantidades de 1. Esta combinacin insumo-producto vendr representada en nuestro conjunto de produccin como y j = ( 1 , 2 ) Y j . Grficamente tendremos que la produccin eficiente quedar definida por la funcin del grfico 1, pero como la produccin no necesariamente tiene que ser eficiente, tenemos que el conjunto de produccin Yj es, en realidad, el que se presenta en el grfico 2: Grfico 1 Grfico 2
Yj
-1
-1
En trminos de produccin eficiente tenemos que un proceso de produccin f(1) presenta: no-decrecientes rendimientos no-crecientes constantes
f (t 1 )
tf (1 )
88
Eduardo A. Rodrguez
CONJUNTOS CONVEXOS
Grficamente tendramos las siguientes representaciones:

Rendimientos no decrecientes a escala Rendimientos no crecientes a escala Rendimientos constantes a escala
1 1
Como puede apreciarse en estos grficos, aquellas tecnologas que representan rendimientos no crecientes a escala implican un conjunto de produccin convexo, mientras que si nos enfrentamos con rendimientos crecientes a escala, el supuesto de convexidad de los conjuntos de produccin no resulta adecuado. En el caso particular de rendimientos constantes a escala tenemos que el conjunto de produccin es un cono convexo. Sin embargo no es necesario definir rendimientos a escala en trminos de produccin eficiente. Dado un plan de produccin yj, cambiar la escala de produccin5 consiste en multiplicar yj, por un escalar no negativo t. Aumentar (o disminuir) la escala consiste en restringir t a que sea mayor que 1 (o menor que 1). Dado Yj se dice que prevalecen: rendimientos no decrecientes a escala si para todo yj se puede aumentar arbitrariamente la escala de produccin; rendimientos no crecientes a escala si para todo yj se puede disminuir arbitrariamente la escala de produccin: rendimientos constantes a escala si para todo yj se puede cambiar arbitrariamente la escala de produccin.
Rendimientos no decrecientes a escala Rendimientos no crecientes a escala Rendimientos constantes a escala
2
t>1 t<1 t>1
2
t<1
2
t>1 t<1
yj yj 1 1
yj
No confundir con cambiar el nivel de produccin, ya que el cambio en la escala involucra no slo un cambio en el nivel de producto, sino tambin un cambio en el nivel de los insumos de manera proporcional.
Eduardo A. Rodrguez
89
Es importante remarcar que el supuesto de convexidad no alcanza para suponer rendimientos no crecientes a escala, sino que requiere adems el supuesto de posibilidad de inaccin. Suelen darse situaciones en algunas actividades econmicas donde existen decisiones tomadas con anterioridad al inicio de las actividades o donde prevalecen contratos para los cuales la entrega de algunos insumos ya ha sido comprometida. En estos casos la inaccin no ser posible. En tales situaciones diremos que el productor enfrenta costos hundidos. En este caso el conjunto de produccin tendr la siguiente forma: 2 Vemos que en este caso el conjunto de produccin es un conjunto convexo (podra tambin haber sido representado con un cono desplazado), sin embargo vemos que la escala de produccin, dada yj, no puede reducirse arbitrariamente, sino solo hasta cierto punto.
Otros supuestos sobre los conjuntos de produccin
t>1 t<1
yj
Sobre los conjuntos de produccin suelen hacerse otros supuestos, los cuales se detallan a continuacin: Yj es cerrado (continuidad de los conjuntos de produccin): esto implica afirmar que Yj contiene su contorno. De este modo el lmite de una sucesin de planes tecnolgicamente posibles tambin es posible6. Adems, recordando que parte del contorno de Yj se lo asocia con la produccin eficiente, este supuesto de que el conjunto de produccin sea cerrado permite que la produccin eficiente sea tecnolgicamente posible de alcanzar. Si el conjunto de produccin no fuera cerrado podra ocurrir que el plan de produccin eficiente sea inalcanzable. Sin embargo decir que la produccin eficiente es tcnicamente alcanzable no implica necesariamente afirmar que el conjunto de produccin sea cerrado. Imposibilidad de produccin libre (no free lunch): este supuesto establece que no es posible producir algo de la nada. En smbolos: Y j {0}7 donde representa el conjunto del espacio de mercancas en el cual las cantidades de los insumos son no-negativas. Para el caso de 2, el conjunto es igual al octante no negativo. Grficamente tendremos:
Conviene recordar que esta ltima interpretacin, como ya lo hemos mencionado en el captulo 2 para el caso de los conjuntos de consumo, resulta apropiada si los planes de consumo se definen sobre espacios de Hausdorff.
7
El hecho que se exija que el conjunto (Yj ) est contenido en el conjunto formado nicamente por el vector nulo y que no se exija la igualdad con este vector contempla la posibilidad de que el conjunto de produccin y el octante no negativo tengan interseccin vaca. Eduardo A. Rodrguez
90
CONJUNTOS CONVEXOS
2*
Yj
0
Yj
Imposibilidad de produccin libre Si 1 = 0 2 = 0 Y j = {0}
Es posible la produccin libre. Si 1 = 0 2 0

Y j {0}. Y j = 0 2
Eliminacin libre (free disposal): este supuesto establece que al productor j le es posible librarse de todas las mercancas. En smbolos Y j ( ) . Para el caso de 2, esto quiere decir que el conjunto de produccin debe contener a la totalidad de los vectores no positivos del espacio8. Una hiptesis estrechamente relacionada, que tambin recibe el nombre de eliminacin libre, es la de exigir que Y j (Y j ), es decir, si una produccin es posible, tambin lo es cualquier otra en que ningn producto es mayor y ningn insumo es menor. Grficamente 2
Ms insumos
2
Ms insumos
yj
Yj -
Menos producto
Yj -
yj 1
No es posible eliminar estos niveles de producto
Como puede observarse, este supuesto exige que el nivel de producto pueda ser negativo. La interpretacin de este supuesto depender de cmo tomemos la produccin. Si se considera a la produccin como la aparicin de nuevos bienes dentro de un perodo determinado es difcil imaginar que la cantidad de stos sea negativa. Sin embargo si consideramos a la produccin en un perodo determinado como la diferencia entre la cantidad de bienes existentes en la economa al final del perodo y la existente con anterioridad al inicio del proceso de produccin, el nivel de produccin negativa podra darse, por ejemplo, si se destruyen ms cantidad de bienes que los que se generan. Obviamente estas interpretaciones son discutibles e involucran el papel del tiempo y de los stocks cuando se quiere analizar el papel de la produccin en un modelo esttico.
Eduardo A. Rodrguez
91
Irreversibilidad: este supuesto dice que es imposible revertir un plan de produccin tcnicamente posible transformando la cantidad de productos en la misma cantidad de insumos utilizados para generarlo. Formalmente, si y j Y j e y j 0 , entonces y j Y j , o bien Y j ( Y j ) {0}9 Suponiendo el caso de 2, es decir un proceso productivo con un solo insumo y un solo producto, el siguiente conjunto de produccin viola el supuesto de irreversibilidad: 2 Vemos entonces que el proceso de produccin yj, que involucra la produccin de una unidad de 2 con el uso de una unidad de 1 es posible. Sin embargo tambin puede generarse una unidad de 1 con una unidad de 2, es decir que se puede deshacer el proceso de produccin.
Yj
yj
-1 -1
1 1
- yj
Aditividad: Formalmente este supuesto establece que si y 1 e y 2 son planes de j j produccin posibles para el j-simo productor, tambin lo es y 1 + y 2 . Es decir que j j
(Y
+ Y j ) Y j . En la medida en que Yj representa conocimientos tcnicos, est claro
que dos planes de produccin posibles separadamente son posibles conjuntamente. Alternativamente, el j-simo productor puede ser interpretado como una industria en lugar de una empresa; entonces la hiptesis de aditividad significa que existe libre entrada (free entry) para las empresas en esa industria. Es decir que no existen barreras institucionales o de otros tipos a la entrada. Teniendo en cuenta la definicin de aditividad, se ve entonces que si yj es posible tambin lo es kyj, donde k es cualquier escalar entero positivo. Por consiguiente la aditividad implica cierto tipo de rendimientos no decrecientes a escala10.
Al igual que para el caso de imposibilidad de produccin libre, el hecho que se exija que el conjunto (Yj (-Yj)) est contenido en el conjunto formado nicamente por el vector nulo y que no se exija la igualdad con este vector contempla la posibilidad de que el conjunto de produccin y su opuesto tengan interseccin vaca.
10
Ntese que no es lo mismo aditividad que rendimentos no decrecientes a escala ya que para el primero se exige que k sea entero, mientras que para el segundo k debe ser real mayor o igual a 1. Eduardo A. Rodrguez
92
CONJUNTOS CONVEXOS
Maximizacin del beneficio
Se suele suponer que cada productor considera los precios como dados (es tomador de precios), que piensa que su accin no puede tener influencia en los mismos y que intenta maximizar su beneficio. Dado un sistema de precios p y una produccin yj, el beneficio del j-simo productor es pyjT. El producto interior pyjT, cuando yj l, con la convencin de que los insumos se representan con coordenadas negativas y los productos con positivas, representa la suma de todos los ingresos menos la suma de todos los desembolsos, es decir que se corresponde con la nocin usual de beneficio. De esta manera, dado el sistema de precios p, el j-simo productor elige su produccin en su conjunto de produccin Yj de manera que su beneficio sea mximo. La accin resultante se denomina produccin de equilibrio del j-simo productor relativa a p. Cuando esto ocurre y p 0 se tiene la siguiente situacin geomtrica: 2 p yj*
Yj
pyT = c 1
si yj* es un maximizador del beneficio, el conjunto Yj est contenido en el semiespacio cerrado debajo del hiperplano pyT = c, que es ortogonal a p y pasa por yj*. Esto es as por del teorema del hiperplano soportante, ya que el hecho de que yj* sea un maximizador implica que para todo yj se tiene que pyjT* pyjT. donde pyjT es igual al mximo beneficio alcanzable c. La existencia de este equilibrio queda asegurada si el conjunto de produccin es convexo.
De esta manera vemos que para un sistema de precios p 0 un productor podr maximizar su beneficio si posee un conjunto de produccin convexo y adems lo har en un nivel de produccin eficiente. Sin embargo, dado un p arbitrario puede no haber beneficio mximo si existen rendimientos no decrecientes a escala y si para algn yj Yj se tiene que pyjT > 0. Si bien en trminos matemticos la existencia de beneficio mximo no quedara asegurada, ya que el teorema del hiperplano soportante exige un conjunto de produccin convexo, en trminos econmicos tal situacin implicara permitir que el beneficio se pueda incrementar con la escala de produccin, ya que si pyjT = > 0, entonces p(tyj)= t > , con lo cual no existira una produccin de equilibrio. Sea T j ' el conjunto de los p l para los cuales el conjunto de maximizadores es no-vaco. Es evidente que T j ' es un cono ya que si p T j ' es un maximizador, tambin lo es p con 0 , coincidiendo con la definicin de cono11. As a cada sistema de precios p T j ' se asocia un conjunto no-vaco j (p ) de planes de produccin posibles
11
Puede notarse que cuando p = 0, es decir cuando los precios de las l mercancas son 0, el beneficio mximo al cual el productor puede aspirar es 0, independientemente del plan de produccin que se siga. En este caso tendramos que el conjunto de maximizadores es igual al conjunto de produccin Yj.
Eduardo A. Rodrguez
93
que maximizan el beneficio para p. La correspondencia j : T j ' Y j se denomina correspondencia de oferta del j-simo productor. Sea (p ) el beneficio mximo cuando el sistema de precios es p T j ' , la funcin
j : T j ' se denomina funcin de beneficio del j-simo productor. Si todos los

precios de p se multiplican por el mismo escalar positivo t, resulta que
j (tp ) = j (p )
j (tp ) = t j (p )
Entonces podemos decir que dado un sistema de precios p, existe un beneficio mximo para cada j = 1, 2, ..., n sii p T j '
j =1 n
es decir, si ese sistema de precios maximiza los beneficios de los n productores. En este caso podremos definir el conjunto no-vaco
(p ) = j (p )
j =1
de los planes de produccin totales posibles compatibles con la maximizacin del beneficio para p por parte de cada uno de los productores. Por otra parte, sea Y el conjunto de produccin total de la economa, la correspondencia
: T j ' Y
j =1
se denomina correspondencia de oferta total. Podemos tambin definir el nmero (p ) = j (p ) , entonces la funcin
j =1 n
: T j '
j =1
se denomina funcin de beneficio total. Tanto la funcin de oferta total como la de beneficio total comparten la propiedad de sus contrapartes individuales cuando se multiplica p por un escalar t positivo, es decir
(tp ) = (p )
(tp ) = t (p )
Entonces, a partir de estas ltimas definiciones, se sigue un resultado inmediato: Sean y1, y2, ..., yn puntos de Y1, Y2, ..., Yn respectivamente. Dado el sistema de precios p:
94
Eduardo A. Rodrguez
CONJUNTOS CONVEXOS
pyT = Max pY pyjT = Max pYj para todo j. En otras palabras, y maximiza el beneficio total en Y sii yj maximixa el beneficio en Yj para todo j. De esta manera tenemos:
(p ) = {y Y : py T = Max pY }, el conjunto de maximizadores del beneficio en Y; (p ) = Max py T , el beneficio mximo total en Y.
A conclusiones adicionales pueden arribarse si se supone que Yj es un conjunto compacto: pYj tiene un mximo para cada p l, lo que equivale a decir que T j ' = l . Esto es as por aplicacin del teorema de Weierstrass: como pyjT define para todo p una funcin continua de yj en e Yj es compacto y no vaco, entonces pyj tiene un mximo (y un mnimo).
j es semicontinua superiormente en l y j es continua en l. Esto es as por

j (p ) = Max{py T : y j ( l )(= Y j )} es continua en l y que la correspondencia j
aplicacin del teorema del mximo: como pyjT es una funcin numrica, definiendo la correspondencia constante ( l ) = Y j se tiene entonces que
j (p ) = {y : y ( l )(= Y j ), py T = j (p )} es semicontinua superiormente. j
Convexidad en el consumo
Al igual que en el caso del productor, la eleccin de un plan de consumo por parte del consumidor implica decidir qu bienes de los cuales tiene en su posesin deber entregar para poder adquirir otros tipos de bienes. Esto lleva a que, dado el espacio de mercancas, consideremos aquellos bienes que el consumidor entrega con signo negativo, mientras que escribiremos con signo positivo aquellos que adquiera.
Convexidad en los conjuntos de consumo
Ya hemos visto que suele suponerse que los conjuntos de consumo son contnuos (cerrados) y conexos. Sin embargo, se suele agregar tambin la hiptesis de convexidad que dice que si x 1 y x i2 son planes de consumo posibles para el consumidor i, tambin i lo es su promedio ponderado, es decir tx 1 + (1 t )x i2 con t [0, 1]. El supuesto de i convexidad es ms fuerte que el de conectividad, ya que un conjunto de consumo convexo no slo implica suponer que el conjunto est hecho de una sola pieza sino que evita esos agujeros que podan darse si slo se exige conectividad. Un supuesto vinculado con la convexidad es el de eliminacin libre de las mercancas de consumo (free disposal for consumers commodities)12. Consideremos el caso en el
12
Ver DEBREU, pag. 51 y siguientes.
Eduardo A. Rodrguez
95
que hay un cierto producto alimenticio y dos perodos de tiempo o fechas; el producto con la primera fecha constituye el bien 1, mientras que el mismo producto pero con la segunda fecha constituye el bien 2. Sea 1m la cantidad mnima de 1 que el consumidor necesita para sobrevivir (y pasar al segundo perodo), en este caso: si el consumo de 1 es menor a 1m , el consumidor morir y 2 = 0; si el consumo de 1 es mayor o igual a 1m , entonces podr considerar la posibilidad de consumir cualquier cantidad de 2.
Claramente el bien 1 no puede ser eliminado libremente, el conjunto de consumo que surge no es un conjunto convexo.
2
Xi
1m
Esta hiptesis de eliminacin libre para las mercancas de consumo es ms dbil que la hiptesis de eliminacin libre relacionada con la teora de la produccin, ya que en el primer caso es aplicable slo a los insumos, mientras que en el segundo caso abarca tanto a insumos como a productos. Este tipo de conjuntos de consumo implica suponer una coleccin de clases de indiferencia que, cuando se extienden a , se representan de la siguiente manera:
2
Para niveles inferiores a 1m , cualquier nivel de 2 > 0 genera igual satisfaccin que 2 = 0. Sin embargo, por encima de 1m el consumidor obtendr mayor satisfaccin si, dado su consumo de 1, consume ms unidades de 2.
0
1m
96
Eduardo A. Rodrguez
CONJUNTOS CONVEXOS
X i { i } + . Esta hiptesis se justifica fcilmente desde el punto de vista econmico. Si la mercanca h-sima ih es un: insumo, ih tiene una cota inferior, que puede ser cero; producto, es decir un tipo de trabajo, existe una cota superior (en valor absoluto) para la cantidad de trabajo que el consumidor puede proporcionar durante un perodo de tiempo.
Otro supuesto que se suele hacer sobre los conjuntos de consumo es el de acotacin inferior, el cual afirma que el conjunto Xi tendr una cota inferior para , es decir que habr un punto i l tal que i x i para todo x i X i , en otras palabras, tal que
Convexidad de las preferencias del consumidor
En este apartado supondremos que Xi es convexo. Existen tres hiptesis de convexidad sobre las preferencias. Sean x 1 y x i2 dos puntos de i Xi distintos y t (0,1) : a) si x i2 b) si x i2 x 1 tx i2 + (1 t )x 1 x 1 (convexidad dbil) i i i x 1 tx i2 + (1 t )x 1 i i x 1 (convexidad) i x 1 (convexidad fuerte) i
c) si x i2 x 1 tx i2 + (1 t )x 1 i i
Puede demostrarse que, bajo preferencias continuas, c implica b y b implica a. (Ver demostracin en DEBREU, pg.60). Grficamente estos diferentes tipos de preferencias implican diferentes formas en las curvas de indiferencia del consumidor:
Convexidad dbil
El hecho de que la combinacin convexa de

x2
x3 x
1
canastas indiferentes pueda ser indiferente a cada una de ellas permite la existencia de tramos rectos en las clases de indiferencia.
El hecho de que a partir de canastas con

diferentes preferencias se puedan obtener canastas indiferentes a la menos preferida permite clases de indiferencia espesas (o gruesas).
x2
x1
Pueden ser generadas por una funcin de utilidad

cuasicncava: sea f (v ) f (u ) entonces f (u ) f [tu + (1 t )v ] . y
t (0,1) ,
Eduardo A. Rodrguez
97
Convexidad
x2
El hecho de que con canastas con diferentes x3 x1 x2

preferencias no puedan obtenerse canastas indiferentes a la menos preferida elimina la posibilidad de clases de indiferencia espesas.
Los tramos rectos de las clases de indiferencia

son posibles porque la definicin no contempla el caso en el cual x 2 x 3 .

x1
explcitamente cuasicncava: sea f (v ) > f (u ) y t (0,1) , entonces f (u ) < f [tu + (1 t )v ] .
Convexidad fuerte
x2
x1
Al exigir que las combinaciones convexas de dos

canastas sean preferidas a ellas, se elimina la posibilidad tanto de clases de indiferencia espesas como con tramos rectos.
x2
x1

estrictamente cuasicncava: sea f (v ) f (u ) y t (0,1) , entonces f (u ) < f [tu + (1 t )v ] .
Restriccin de riqueza
Dado un sistema de precios p y un consumo xi, el gasto del i-simo consumidor es pxiT. En razn de las convenciones de xi y p, el producto interior pxiT es la suma de todos los desembolsos menos todos los ingresos. Evidentemente el gasto pxiT debe ser como mximo igual a la riqueza del i-simo consumidor, un nmero real wi. La m-upla (w1 , w2 ,, wm ) se llama distribucin de la riqueza y especifica la riqueza de cada uno de los m consumidores, pudiendo representarse por un punto w m . Cuando p 0 , el conjunto x i X i : px T = wi representa los planes de consumo que i agotan la riqueza del consumidor i. Llamamos a este conjunto hiperplano de riqueza, el cual separa al espacio de mercancas en canastas asequibles y no asequibles para el sistema de precios p y la riqueza wi. Sin embargo, dado un par precio-riqueza (p,w) arbitrario, el conjunto x i X i : px T wi sobre el cual el i-simo consumidor debe decidir puede ser vaco. i Sea por lo tanto Si el conjunto de (p,w) l+m para los cuales se no sea el caso. As, con cada par precio-riqueza (p,w) Si se asocia el conjunto no vaco
98
Eduardo A. Rodrguez
CONJUNTOS CONVEXOS
i (p, w ) = {x i X i : px T wi } de consumos que satisfacen la restriccin de riqueza i para ese par (p,w). De esta forma queda definida una correspondencia i : S i X i . Adems, si t > 0, es evidente que i (tp, tw ) = i (p, w ) , por lo que Si es un cono13.
Puede demostrarse que si Xi es compacto, convexo y si (p0,w0) es un punto de Si tal que wi0 min p 0 X i , entonces i es continua en (p0,w0). (Ver demostracin en DEBREU, pgs.63-65). Veamos grficamente qu ocurre cuando wi0 = min p 0 X i
2
p0 p
El conjunto Xi es el cuadrado cerrado de lado 2a. Partamos del vector de precios p, entonces el conjunto i p 0 , w 0 ser el rea sombreada debajo del hiperplano pxiT = wi. Si hacemos tender p a p0 vemos que el rea sombreada empezar a reducirse, siendo el lmite el intervalo [0, a ] , pero en p0 tenemos que i p 0 , w 0 = [0,2a ] , por lo tanto no es continua en (p0,w0).
2a pxiT = wi
El supuesto de que wi0 min p 0 X i permite eliminar el caso excepcional en el cual la riqueza wi0 es tan pequea que para cualquier riqueza menor no habra ningn consumo posible que cumpliera con la restriccin de riqueza. Esto tambin hace continua a i.
Satisfaccin de las preferencias
Dado un par precio-riqueza (p,w) Si, el i-simo consumidor elige, en el conjunto novaco i (p, w ) , un conjunto de puntos xi que es ptimo de acuerdo con sus preferencias, es decir, un elemento mximo para el preorden de preferencias , el cual se llama conjunto de equilibrio del i-simo consumidor relativo a (p,w). Resulta evidente que si xi* es un consumo de equilibrio para (p,w), entonces es un elemento mximo para de
{x X
i
13
: px T px i i
En realidad, esta afirmacin equivale a decir que para (p,w) = (0,0) el conjunto i se encuentra definido. Puede pensarse que en este caso, si bien la riqueza de los consumidores sera nula, el gasto de consumo tambin lo ser, por lo cual la restriccin de riqueza ser igual a la totalidad del conjunto de consumo Xi. La pregunta a formularse en este caso es cmo funcionara la economa si w = 0.
Eduardo A. Rodrguez
99
Dado un par arbitrario (p,w) Si, i (p, w ) puede no tener un elemento mximo. Sea, por lo tanto, Si el conjunto de (p,w) Si para los cuales el conjunto de elementos mximos de i (p, w ) es no-vaco. As, con cada par precio-riqueza (p,w) Si se asocia el conjunto no-vaco i (p, w ) de consumos posibles ptimos bajo la restriccin de riqueza definida por (p,w). La correspondencia i : S i ' X i se llama correspondencia de demanda del i-simo consumidor. Si hay una funcin de utilidad ui en Xi, la utilidad mxima cuando el par precio-riqueza es (p,w) Si, se designar por i (p, w ) . La funcin i : S i ' se llama funcin de utilidad indirecta del i-simo consumidor. Resulta evidente que si t > 0
i (tp, tw ) = i (p, w )
i (tp, tw ) = i (p, w )
Dado un par precio-riqueza (p,w) existe un elemento mximo de i (p, w ) para todo i = 1,2,, m sii (p, w ) S i ' . En este caso se puede definir el conjunto no vaco
i =1 m
(p, w ) = i (p, w )
i =1
de consumos totales posibles que son compatibles con la seleccin realizada por cada consumidor de un conjunto ptimo respecto a su restriccin de riqueza. La correspondencia : S i ' X
i =1 m
se llama correspondencia de demanda total. Es
evidente que si t > 0
(tp, tw ) = (p, w )
Si se supone que Xi es un conjunto compacto, se puede decir lo siguiente:
ui tiene un mximo para cada (p,w) Si, lo que equivale a decir que Si = Si. Esto es
as por aplicacin del teorema de Weierstrass: como ui es continua en i (p, w ) , porque lo es en Xi, y como i (p, w ) es compacto, porque lo es Xi, entonces ui tiene un mximo (y un mnimo) en i (p, w ) .
i es semicontinua superiormente en (p,w) y i es continua en (p,w). Esto es as por

aplicacin del teorema del mximo: como ui es una funcin numrica, definiendo la correspondencia continua (S i ) = i (p, w ) 14, se tiene que
14
Obviamente descartando los pares (p,w) para los cuales wi = min pXi. Eduardo A. Rodrguez
100
CONJUNTOS CONVEXOS
i (p, w ) = max{u i (x i ) : x i (S i )(= i (p, w ))}

es continua en (p,w) y
i (p, w ) = {x i : x i (S i )(= i (p, w )), u i (x i ) = i (p, w )}

es semicontinua superiormente en (p,w).
Eduardo A. Rodrguez
101
5. Teoremas del punto fijo

Teorema del punto fijo de Brower Sea X un conjunto convexo y compacto, f : X X una funcin 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 demostracin para el caso eucldeo 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 funcin 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 grfica de la funcin deber cortar a esa bisectriz en el punto ( x*, x *) , siendo x * el punto fijo de la funcin f. En el primer grfico vemos que f tiene solamente un punto fijo, mientras que en el segundo la funcin posee tres puntos fijos. f(x) f(x)
1 1 x3 * x2 * x* f(x) x1 * 0 x* 1 x 0 x1 * x2 * x3 * 1 x f(x)
A continuacin se presentan ejemplos que no cumplen las condiciones del teorema: f(x) X no es compacto f(x)
X no es convexo
f(x)
1 f(x)
f(x) f no es continua 1
f(x) f no est definida para todo elemento de X 1 f(x)
f(x)
Teorema del punto fijo de Lipschitz Toda funcin contractiva f definida en un espacio mtrico completo M tiene un nico punto fijo. (Ver demostracin en KOLMOGOROV-FOMIN, pgs. 66-67) Este teorema del punto fijo puede ser utilizado para demostrar teoremas de existencia y unicidad para soluciones de ecuaciones de varios tipos. Adems de demostrar que una ecuacin de la forma f(x) = x tiene solucin nica, provee adems de un mtodo para encontrar su solucin, llamado mtodo de las aproximaciones sucesivas. Ejemplo Sea f una funcin definida sobre el intervalo cerrado [a, b] en s mismo y que satisface la condicin
f ( x1 ) f ( x0 ) k x1 x0
con constante k < 1. Entonces f es una funcin contractiva y, por ende, la sucesin x0 , x1 = f ( x0 ), x 2 = f ( x1 ), x3 = f ( x 2 ), converge a la nica raz de la ecuacin f ( x ) = x . En particular la condicin de contraccin se cumple si f tiene derivada continua en [a, b] tal que f (x ) < k < 1 , como puede verse en los siguientes grficos:
y=x
y=x
y = f(x)
y = f(x)
x2 x1
x0
x0 x2 x4
x3
x1
104
Eduardo A. Rodrguez
TEOREMAS DEL PUNTO FIJO
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 algn punto x* X tal que x* ( x *) . (Ver demostracin
para el caso eucldeo 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] .
y 1 y 1
2(x) 1(x)
puntos fijos
x*
Correspondencia continua
Correspondencia semicontinua superiormente, pero no inferiormente
Existencia del equilibrio walrasiano Economas
Una economa E se compone de:
m consumidores con sus conjuntos de consumo X i l completamente

preordenados por la relacin de preferencias ;
i
n productores con sus conjuntos de produccin Yi l
Eduardo A. Rodrguez
105
los recursos totales de la economa: w l , donde aqu w es un vector que

representa las diferentes cantidades de bienes en la economa E1. De esta manera representaremos a una economa E mediante el vector X i , , (Y j ), w i
Un estado de la economa E es una especificacin de la accin de cada agente, es decir, para cada consumidor (o productor) una especificacin de su consumo (o produccin) en el espacio de mercancas l. Dado un estado ((x i ), (y j )) de E, el punto (x y) se llama demanda neta, que describe el
resultado neto de la actividad conjunta de todos los agentes, donde:
las coordenadas positivas representan insumos no transferidos; las coordenadas negativas representan productos no transferidos.
Adems, si x i X i para todo i = 1, 2, ..., m e y i Yi para todo j = 1, 2, ..., n entonces
(x y ) ( X Y ) .
Dado un estado
((x ), (y ))
i j
de E, el punto (x y w) z se lo llamar demanda
excedente y describe el exceso de la demanda neta de todos los agentes sobre los recursos totales. Adems, si x i X i para todo i = 1, 2, ..., m e y i Yi para todo j = 1, 2,
..., n entonces (x y w ) ( X Y {w}) Z .

i j
Un estado
((x ), (y )) de E se llama un equilibrio de mercado si su demanda excedente

xy=w o bien z=0
es 0, es decir si la demanda neta de todos los agentes se iguala a los recursos. En smbolos:
Economas de propiedad privada
En este tipo de economas los consumidores poseen tanto los recursos w como los beneficios provenientes de la produccin. De esta manera el i-simo consumidor recibe tanto el valor de sus recursos iniciales pwiT como sus respectivas participaciones i1 , i 2 , ,in en los beneficios obtenidos por los productores 1, 2, ..., n, respectivamente. De esta manera la riqueza total del consumidor i para un vector de precios p vendr dada de la siguiente forma:
Tngase en cuenta que en el captulo anterior el vector w perteneca a m y representaba la distribucin del ingreso en trminos de valor entre los diferentes consumidores. Eduardo A. Rodrguez
106
pw iT + ij j ( p )
j =1
con
m i w = w i =1 m ij = 1 ; ij 0 i =1 j (p ) = py j
donde el beneficio j (p ) se obtiene mediante un proceso de maximizacin por parte del productor j cuando el sistema de precios es p. Entonces definimos economa de propiedad privada E de la siguiente manera:
una economa E = X i , , (Y j ), w ; i para cada i, una riqueza inicial wi tal que
w
i =1
=w;
para cada par (i, j) una participacin sobre los beneficios de produccin ij 0 tal
que
i =1
ij
= 1 para todo j.
Un equilibrio de la economa de propiedad privada E es una (m + n + 1)-upla ((x i *), (y j *), p *) de puntos de l tal que:
x i * es un elemento mximo de x i X i : p * xT p * w iT + ij p * y j *T , es decir i

j =1 que x i * es un plan de consumo de equilibrio relativo a
( p*, w *) donde
i
wi * = p * w i * + ij p * y j * es la riqueza monetaria del consumidor i.

j =1
y j * maximiza el beneficio relativo a p* en Yj para todo j, es decir que y j * es una

produccin de equilibrio relativo a p*;
x * y* = w , es decir que el estado ((x i *), (y j *)) es un equilibrio de mercado.

Sea t > 0, la (m + n + 1)-upla ((x i *), (y j *), tp *) es un equilibrio sii ((x i *), (y j *), p *) lo es, por lo que todos los sistemas de precios pertenecientes a una semirrecta abierta de origen 0 son equivalentes desde el punto de vista del equilibrio. Entonces denotaremos una economa de propiedad privada E de la siguiente manera:
Eduardo A. Rodrguez
107
E = X i , , (Y j ), w i , (ij ) i
( )
Equilibrio de mercado
Consideremos una economa de propiedad privada, y sea C el conjunto de precios p j para los cuales los conjuntos (p), (p) que se especificarn a continuacin se encuentran definidos (por lo tanto son no-vacos). Cuando el sistema de precios es p C , el j-simo productor elige yj en el conjunto j(p) de sus producciones ptimas para tal sistema de precios, y su beneficio es j (p ) = py j . Por consiguiente la distribucin de riqueza es la m-upla
iT n pw + ij j (p ) j =1
y el i-simo consumidor elige xi en el conjunto
i p, pw iT + ij j (p )
j =1
de sus conjuntos ptimos para ese sistema de precios y esa distribucin de la riqueza. Ese conjunto depende slo de p y ser designado por 'i (p ) ; la suma designada por ' (p ) .
' (p )
i i =1
ser
Puesto que xi es un punto arbitrario de 'i (p ) para todo i e yj es un punto arbitrario para
j(p) para todo j, la demanda excedente z = x y w es un punto arbitrario de

(p ) = ' (p ) (p ) {w}
un subconjunto de Z = X Y {w} . As, a cada sistema de precios p C se asocia el conjunto no vaco (p ) de demandas excedentes compatibles con la seleccin por cada consumidor de un consumo ptimo respecto a su restriccin de riqueza y por cada productor de una produccin ptima respecto a este sistema de precios. La correspondencia de C a Z se llama correspondencia de demanda excedente. De esta manera el problema del equilibrio se reduce a encontrar un p C para el cual la demanda excedente correspondiente sea 0, es decir que la pregunta de existencia de un sistema de precios de equilibrio sera: hay un p C tal que 0 (p ) ?
108
Eduardo A. Rodrguez
tp C y (tp ) = (p ) . Entonces sabemos que C es un cono al cual se ha excluido el 0, si se supone que algn consumidor es insaciable.
Cuando p C y t > 0 tenemos que j (tp ) = j (p ) y i ' (tp ) = i ' (p ) , por consiguiente
Las acciones xi, yj elegidas por los agentes para un sistema de precios p C satisfacen las restricciones de riqueza:
px T pw iT + ij py j i
j =1 n
para todo i
Sumando miembro a miembro para todo i se obtiene (recordando que
i =1
ij
= 1)
px T pw T + py T , es decir pz T 0
Vemos que para cualquier p C se tiene pz T 0 para todo z (p ) . Entonces diremos que la correspondencia (p ) satisface p (p ) 0 . Consideremos el caso del equilibrio para cuando prevalece la eliminacin libre de mercancas. Entonces substituimos la condicin de mercado x * y* = w por x * y* w (o bien z* 0 ). El problema del equilibrio en este caso consiste en encontrar un p C tal que la demanda excedente sea no positiva, es decir que la pregunta pasa a ser la siguiente: hay un p C tal que (p ) ( ) ? En el caso de eliminacin libre, j(p) est definido para cada j si p 0 (como hemos visto en el apartado referente a produccin) por lo que tenemos que C . Si adems el punto 0 se excluye de C (es decir si algn consumidor es insaciable), para cada p C podemos normalizar los precios de la siguiente manera: como
p
k =1
>0
pk
p
k =1
0.
k
Por lo tanto, la suma de los precios normalizados ser siempre igual a 1. Entonces, en la bsqueda del equilibrio, cada p C podr reemplazarse por un punto del conjunto
l P = p : p k = 1 k =1
que constituye un simplex de dimensin l-1. Este conjunto P tiene la propiedad de ser cerrado y acotado, por lo tanto es un conjunto compacto en el espacio eucldeo l-dimensional. Cabe destacar que el espacio de precios original era , pero no es un conjunto compacto porque no es acotado. P tambin es convexo.
Eduardo A. Rodrguez
109
Existencia de equilibrio en economas de propiedad privada con produccin
Sea Z un subconjunto compacto de l. Si es una correspondencia de P a Z semicontinua superiormente tal que para todo p en P el conjunto (p ) es (no vaco) convexo y satisface p (p ) 0 , entonces existe un p en P tal que (p ) ( ) .
Demostracin2: Al ser P un simplex, por construccin, se tiene que P es no vaco, compacto y convexo.
Sustituimos Z por un conjunto Z ' l compacto y convexo tal que Z Z ' , entonces:
como P
Z Z ' T (z ) = p P : pz = MaxPz, z Z
como P es compacto, entonces la correspondencia : Z ' P es semicontinua

superiormente en Z. Esto es as por aplicacin del teorema del mximo: como pzT es una funcin numrica, definimos la correspondencia constante (Z ) = P y se tiene que (z ) = {p P(= (Z )) : pz T = MaxPz} es semicontinua superiormente.
Como P es convexo, entonces (z ) = {p P : pz T = MaxPz} es convexo porque

1- si z = 0 (z ) = P , ya que todo p P maximiza pzT en P; 2- si z 0 , entonces escribimos (z ) = P {p l : pz T = MaxPz}. Ambos conjuntos son convexos porque P se demostr convexo y {p l : pz T = MaxPz} es un hiperplano, y por lo tanto convexo.
Consideremos la correspondencia : (P Z ') (P Z ') definida de la siguiente manera:
(p, z ) = (z ) (p )
entonces:
P Z ' es no vaco, compacto y convexo porque P y Z lo son; es semicontinua superiormente porque y lo son; para todo (p, z ) P Z ' , (p, z ) es no vaco y convexo porque (z ) y (p ) lo son.
Por lo tanto la correspondencia cumple las condiciones del teorema del punto fijo de Kakutani; entonces:
La demostracin que se presenta a continuacin se sigue de DEBREU, pgs. 82-83. Eduardo A. Rodrguez
110
p* (z *) pz * T p * z * T 3 T (p*, z *) (z *) (p *) pz * 0 para todo p P T z* (p *) p * z * 0
Sea k uno de los primeros k enteros positivos y tmese el punto p P definido por pk = 1 ph = 0 h k
entonces obtenemos que z k * 0 . De esta manera se ve que z* ( ) , y como

z* (p *) , entonces se tiene que existe un p* P tal que
(p *) ( ) .
Equilibrios walrasianos en economas de intercambio puro
A continuacin analizaremos el caso de intercambio puro bajo competencia perfecta. En este tipo de modelo el nico tipo de agente econmico existente es el consumidor, quien dada una dotacin inicial de bienes wi y el sistema de precios p maximiza su utilidad, la cual representamos con una funcin estrictamente cuasicncava. De este ejercicio de maximizacin obtenemos las funciones de demanda de cada consumidor. Al no haber produccin, podemos definir entonces una funcin de demanda excedente como la diferencia entre la funcin de demanda de mercado (suma de las funciones de demanda de cada consumidor) y la oferta de mercado (suma de las dotaciones iniciales de bienes de cada consumidor), es decir que Z(p) ser una funcin de p igual a Z(p ) = i p, w i w i
i =1 m
[ (
que es homognea de grado cero en precios debido a que lo son las funciones de demanda individuales. Entonces definimos equilibrio walrasiano como el par de vectores satisface
Z(p *) 0
(p*, x *)
que
es decir que, en un equilibrio walrasiano, no existe exceso de demanda en ningn mercado. Sin embargo se permite que haya un exceso de oferta de algn bien. Por otra parte, sabemos que si todos los consumidores gastan la totalidad de su ingreso, T (es decir que p i (p, w ) = pw iT ), la suma de los excesos de demanda sern iguales a cero en valor, es decir
Ntese que, a pesar de haber tomado Z y no Z para definir el dominio y el codominio de la correspondencia , z* siempre pertenece a Z ya que, por definicin, (p) Z. De esta manera, el reemplazo de Z por Z tiene como nico objetivo posibilitar la utilizacin del teorema del punto fijo de Kakutani.
Eduardo A. Rodrguez
111
pZ(p ) = p i (p, w ) pw iT = 0
T T i =1
A esta propiedad la llamamos Ley de Walras.
Existencia de equilibrios walrasianos en economas de intercambio puro4
Sea Z(p ) : P l una funcin continua que satisface la ley de Walras. Entonces existe algn p* P tal que Z(p *) 0 . Demostracin: Definimos la siguiente funcin g : P P
g i (p ) = pi + max(0, Z i (p )) 1 + max(0, Z j (p ))
l j =1
i = 1, 2, ..., l
Esta funcin es continua ya que Z(p ) y la funcin mximo son ambas continuas. En el denominador aparece sumado el 1 para que, cuando la sumatoria sea cero, g i (p ) quede definida. Adems g (p ) = ( g1 (p ), g 2 (p ), , g l (p )) pertenece al simplex P ya que para todo i= 1, 2, ..., l
l l pi + max(0, Z i (p )) = g i (p ) = l i =1 i =1 1 + max(0, Z j (p )) i =1
pi + max(0, Z i (p ))
i =1 i =1
1 + max(0, Z j (p ))
l i =1
=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 * = pi * + max(0, Z i (p *)) 1 + max(0, Z j (p *))
l j =1
i= 1, 2, ..., l
Multiplicando miembro a miembro por el denominador y multiplicando miembro a miembro por Z i (p *) queda
pi * Z i (p *) max(0, Z j (p *)) = Z i (p *)max(0, Z i (p *))
l j =1
i= 1, 2, ..., l
La demostracin que se presenta a continuacin se sigue de VARIAN, pgs. 375-377. Eduardo A. Rodrguez
112
Sumando miembro a miembro las n ecuaciones, tenemos

l l l pi * Z i (p *) max(0, Z j (p *)) = Z i (p *)max(0, Z i (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 que
Z (p *) p
i i =1 l i =1
* = 0 , por lo tanto queda
Z (p *)max(0, Z (p *)) = 0
i i
Esto quiere decir que cada uno de los trminos es no-negativo ya que pueden tomar 2 solamente dos valores: [Z i (p *)] y 0. Sin embargo, si algn trmino fuera estrictamente mayor a cero, la igualdad no se cumplira. Por lo tanto, lo nico que puede pasar es que todos los trminos sean cero, lo cual puede ocurrir nicamente cuando Z i (p *) 0 i= 1, 2, ..., l
Eduardo A. Rodrguez
113
BIBLIOGRAFA
AYALA GOMEZ, R. DOMINGUEZ MURILLO, E. QUINTERO TOSCANO, A. (1997): Elementos de la topologa general. Addison-Wesley Iberoamericana. Madrid, 1997. BAUM, J. D. (1964): Elements Of Point Set Topology. Dover Publications Inc. New York, 1991. BERGE, C. (1965): Espaces topologiques. Fonctions multivoques. Deuxime dition. Dunod. Pars, 1966. DEBREU, G. (1959): Theory Of Value. An Axiomatic Analysis Of Economic Equilibrium. John Wiley & Sons. New York. FRECHET, M. - FAN, K. (1959): Introduccin a la topologa combinatoria. Editorial Universitaria de Buenos Aires. Buenos Aires. HOCKING, J. G. YOUNG, G. S. (1988) Topology. Dover Publications Inc. New York. KELLEY, J. L. (1955): Topologa general. Editorial Universitaria de Buenos Aires. Buenos Aires, 1975. KOLMOGOROV, A. N. - FOMIN, S. V. (1975): Introductory Real Analysis. Dover Publications Inc. New York. LANCASTER (1968): Mathematical Economics. Dover Publications Inc. New York.,1987. LIPSCHUTZ, S. (1970): Teora y problemas de topologa general. Mc Graw-Hill. Serie de compendios Schaum. Mxico. MAS-COLLEL, A. WHINSTON, M. GREEN, J. (1995): Microeconomic Theory. Oxford University Press. New York. MENDELSON, B. (1975): Introduction to Topology. Third Edition Dover Publications Inc. New York, 1990. MUNKRES, J. R. (2000): Topologa. 2 edicin. Prentice Hall. Madrid, 2002. RUDIN, W. (1973): Anlisis funcional. Editorial Revert. Barcelona, 1979. STEEN, L. A. SEEBACH J. A. (1978): Counterexamples in Topology. Dover Publications Inc. New York, 1995. VARIAN, H. (1992): Anlisis Microeconmico. 3ra. Edicin. Antoni Bosch, editor. Barcelona.

Guia Teorica Topologia

Uploaded by

Document Information

Original Description:

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Guia Teorica Topologia

Uploaded by

Copyright:

Available Formats

ELEMENTOS DE TOPOLOGA PARA ECONOMA Y GESTIN

103 104 105

BIBLIOGRAFA ........................................................................................................ 115

es decir que a, b, c, d y e pertenecen a A. Sin embargo, f no pertenece a A

Cuando decimos B A, consideramos la posibilidad de que B = A.

Adems, las operaciones y obedecen las siguientes leyes distrubutivas:

Conjuntos de ndices y producto de conjuntos

Otra relacin que podra definirse es no intersecta a. Entonces

Relaciones especiales: las funciones y las correspondencias

La imagen del conjunto A X bajo f : X Y es el conjunto

La restriccin de f : X Y a A X , la cual escribiremos fA , es la funcin

fA : A Y tal que fA ( x ) = f ( x ) para cada x A . Bajo estas circunstancias, f es

Sean A y B dos conjuntos pertenecientes al dominio de la funcin f : X Y . Entonces 1- f () = ; 2- f ({x}) = { f ( x )} ; 3- A B f ( A) f (B ) ; 4- A f ( A) ; 5- f ( A B ) = f ( A) f (B ) ; 6- f ( A B ) f ( A) f (B ) .

Ejemplo: Sea X = { ,2,3,4} e Y = { ,2} . Definimos los conjuntos A X y 1 1 B X de la siguiente manera:

A B = {2,3} , entonces f ( A B ) = { } ; 1 f ( A) = { ,2} y f (B ) = { ,2}, entonces f ( A) f (B ) = { ,2}. 1 1 1

La imagen inversa de un conjunto C Y designaremos f 1 (C ) , es el conjunto

la cual tiene las propiedades que se detallan a continuacin.

( y ) en lugar de lo que es realmente correcto:

Sea X = { ,2,3,4,5} e Y = { ,2,3,4}. Definimos los conjuntos A X , B X y C Y 1 1 de la siguiente manera:

[ f ( A)] = {1,2,3,5} . Se ve entonces que

Sea C = { ,2} , entonces f 1 (C ) = {4} y f f 1 1 f f (C ) C ya que { } { ,2}. 1 1

Descomposicin de conjuntos y relaciones de equivalencia

Conjuntos finitos y conjuntos infinitos

Entendemos por conjunto no numerable aquel conjunto que no es numerable.

0 = 0 es el nico nmero racional de altura 1; 1

2 2 1 1 , y son los nicos nmeros racionales de altura 3; y as , 2 1 1 2 sucesivamente.

Los conjuntos numerables poseen las propiedades que se detallan a continuacin:

1 = 0, a11a12 a1n 2 = 0, a21a22 a2 n

El cual veremos en el siguiente apartado.

La relacin no intersecta a, equivalente a X Y = , no es una relacin de preorden ya que

llamamos a esta relacin f isomorfismo y a los conjuntos M y M isomorfos.

es decir que los diferentes elementos de S se encuentran relacionados de la siguiente manera.

Sea M un conjunto parcialmente preordenado. Entonces

El conjunto A no tiene elementos mximos ni elementos mnimos.

existe una funcin f : I Ai tal que f (i ) Ai para todo i I . Esto es,

podemos elegir simultneamente un elemento de cada conjunto demostracin en KELLEY, pg 47)

Preferencias del consumidor

C1 ({x, y, z}) = {x}

C 2 ({x, y, z}) = {x, y}

Consideremos la estructura de eleccin estructura tenemos que

del ejemplo anterior. Con esta

Sin embargo al considerar el segundo conjunto presupuestario {x, y}, tenemos

n 1 n +1 , Cn = . n n Entonces puede verse que

{a, c, d } {b, c, d } = {a, b, c, d } I2

{a, c, d } {a, b, d , e} = {a, d } I3

Entornos y sistema de entornos

En algunos textos se exige que un entorno sea necesariamente un conjunto abierto.

{a, b, e}; {a, b, c, e}; {a, b, d , e}; X

T = { X , , { a}, {c, d}, {a, c, d}, {b, c, d , e}}

define una topologa de

T = { X , , {a}, {c, d}, {a, c, d}, {b, c, d , e}}

Clausura y conjuntos densos

Un conjunto A es denso en un espacio topolgico ( X , I ) sii la clausura de A es X, o sea A= X.

Sea A un subconjunto de un espacio topolgico ( X , I ) . Entonces la clausura de A es la

T = { X , , { a}, {c, d }, {a, c, d }, {b, c, d , e}}

X = {a, b, c, d , e} , y el subconjunto A = {a, d , e} de X. Ntese que XA= A

T A = { A, , { a}, { d }, {a, d }, {d , e}}

Una familia B de subconjuntos de X es base de alguna topologa de X sii

Sea X un conjunto y sea una familia de subconjuntos de X tal que 1- ; 2- X = S ;

B1 B2 Bn . (Ver demostracin en AYALA-DOMINGUEZ-QUINTERO, pgs. 109-110)

La reciprocidad, como veremos ms adelante, se da en los espacios mtricos. Eduardo A. Rodrguez

Espacios de Hausdorff y convergencia

Un espacio topolgico X es T1 cuando todo subconjunto de X formado por un nico elemento es