Universidad del Rosario - Economa Matemtica por Mnica Vargas Martnez Nociones Topolgicas

Nota: En este curso siempre se trabajar en el espacio mtrico IRn . Denicin: Una vecindad Vr (x) de un punto x IRn es el conjunto de todos los puntos que estn a una distancia de x estrictamente menor a r. Denicin: Un punto x es un punto interior de un conjunto A si x A y si existe una vecindad V de x tal que V est totalmente contenido en A (V A). Denicin: El conjunto de todos los puntos interiores de un conjunto A es el interior de A. Denicin: Un conjunto A es un conjunto abierto si todos los puntos de A son puntos interiores de A. Teorema 1: La unin de conjuntos abiertos es un conjunto abierto. Teorema 2: La interseccin nita de conjuntos abiertos es un conjunto abierto. Denicin: El complemento de un conjunto A (denotado por Ac ) es el conjunto de todos los puntos de IRn que no pertenecen al conjunto A. Denicin: Un conjunto A es un conjunto cerrado si su complemento Ac es un conjunto abierto. Teorema 3: La unin nita de conjuntos cerrados es un conjunto cerrado1 . Teorema 4: La interseccin de conjuntos cerrados es un conjunto cerrado. Denicin: El punto x es un punto frontera del conjunto A si todas las vecindades que contienen al punto x contienen tanto puntos del conjunto A como puntos del complemento de A. Denicin: La frontera de A es el conjunto de todos los puntos frontera de A. Nota: No siempre toda la frontera de A pertenece o no pertenece a A. Teorema 5: La frontera de un conjunto cerrado est totalmente contenida en el conjunto. Denicin: Un conjunto es un conjunto acotado si existe alguna bola abierta de radio nito que lo contenga. Denicin: Un conjunto es un conjunto compacto si es cerrado y acotado. Teorema 6: La unin nita de conjuntos compactos es un conjunto compacto.
1

Para demostrar esto primero se demuestra que (A B )c = Ac B c y (A B )c = Ac B c

Teorema 7: La interseccin de conjuntos compactos es un conjunto compacto. Denicin Un conjunto X es un conjunto convexo si y solo si para todo par de puntos de X , el segmento que los une est contenido en X , es decir x1 X x2 X x1 + (1 )x2 X [0, 1]

Teorema 8: La interseccin de conjuntos convexos es un conjunto convexo. Teorema 9: La suma de conjuntos convexos es un conjunto convexo (X + Y = {x + y |x X, y Y }). Teorema 10: Si X es un conjunto convexo entonces kX tambin es un conjunto convexo: kX = {kx|k IR, x X } Nota: La unin de conjuntos convexos puede no ser un conjunto convexo.

FUNCIONES Denicin: Sean f : X IR con X IRn y X conjunto convexo, y x1 , x2 X . (i) f es una funcin convexa si f (x1 + (1 )x2 ) f (x1 ) + (1 )f (x2 ) (ii) f es una funcin estrictamente convexa si f (x1 + (1 )x2 ) < f (x1 ) + (1 )f (x2 ) (iii) f es una funcin cncava si (f ) es una funcin convexa o si f (x1 + (1 )x2 ) f (x1 ) + (1 )f (x2 ) para [0, 1] para (0, 1) para [0, 1]

(iv) f es una funcin estrictamente cncava si (f ) es una funcin estrictamente convexa o si f (x1 + (1 )x2 ) > f (x1 ) + (1 )f (x2 ) para (0, 1)

Denicin: Sea f : X IR con X IRn y X conjunto convexo. Sea y un elemento del rango de f . (i) El contorno de f en y es el conjunto Cf (y ) = {x X |f (x) = y }. (ii) El contorno superior de f en y es el conjunto CSf (y ) = {x X |f (x) y }. (iii) El contorno inferior de f en y es el conjunto CIf (y ) = {x X |f (x) y }. Teorema 11: Sea f : X IR con X IRn y X conjunto convexo. (i) Si f es una funcin convexa, entonces para todo y del rango de f , el contorno inferior CIf (y ) es un conjunto convexo. 2

(ii) Si f es una funcin cncava, entonces para todo y del rango de f , el contorno superior CSf (y ) es un conjunto convexo. Denicin: Sea f : X IR con X IRn y X conjunto convexo. (i) El hipgrafo de f es el conjunto Hf = {(x, k )|x X, k IR, k f (x)}. (ii) El epgrafo de f es el conjunto Ef = {(x, k )|x X, k IR, k f (x)}. Teorema 12: Sea f : X IR con X IRn y X conjunto convexo. (i) f es una funcin convexa si y solo si Ef es un subconjunto convexo de IRn+1 . (ii) f es una funcin cncava si y solo si Hf es un subconjunto convexo de IRn+1 . Denicin: Sean f : X IR con X IRn y X conjunto convexo, y x1 , x2 X . (i) f es una funcin cuasiconvexa si f (x1 + (1 )x2 ) max{f (x1 ), f (x2 )} para (0, 1)

(i) f es una funcin cuasicncava si (f ) es una funcin cuasiconvexa o si f (x1 + (1 )x2 ) min{f (x1 ), f (x2 )} para (0, 1)

Teorema 13: Sea f : X IR con X IRn y X conjunto convexo. (i) f es una funcin cuasiconvexa si y solo si el contorno inferior de f en y es un conjunto convexo para todo y del rango de f . (ii) f es una funcin cuasicncava si y solo si el contorno superior de f en y es un conjunto convexo para todo y del rango de f .