FUNCIONES CNCAVAS, CONVEXAS, CUASICNCAVAS Y

CUASICONVEXAS

Por:
DANIEL RICARDO CASAS
CE-04 12 (ABRIL DE 2012)
FUNCIONES CNCAVAS, CONVEXAS, CUASICNCAVAS Y
CUASICONVEXAS

Por:
DANIEL RICARDO CASAS
CE-04 12 (ABRIL DE 2012)
LOS CUADERNOS DE ECONOMA DE LA UNIVERSIDAD DE LA SALLE QUIEREN CONTRIBUIR AL
DEBATE ACADMICO CON LA PUBLICACIN DE DOCUMENTOS PRELIMINARES Y AVANCES NO
DEFINITIVOS DE INVESTIGACIN Y OTROS DOCUMENTOS DE CONTENIDO METODOLGICO Y
CIENTFICO PARA LA INVESTIGACIN DISCIPLINAR Y FORMATIVA. OPINIONES, ERRORES Y
OMISIONES SON RESPONSABILIDAD EXCLUSIVA DEL AUTOR.

UNIVERSIDAD DE LA SALLE
FACULTAD DE CIENCIAS ECONMICAS Y SOCIALES
PROGRAMA DE ECONOMA

CARRERA 5 # 59 A 44
EDIFICIO HNO. JUSTO RAMN, PISO 5
BOGOT, D.C. COLOMBIA

TELFONOS: +57-1-348 8000 EXT. 1508 / 1509 / 1573

CONTACTO:
JCSEGURA@LASALLE.EDU.CO
HTTP://CEYS.LASALLE.EDU.CO/INDEX.PHP/ECONOMIA/PUBLICACIONES/181-CUADECON
Funciones concavas, convexas, cuasiconcavas y
cuasiconvexas
Daniel Ricardo Casas Hernandez*
8 de marzo de 2012

El presente documento mostrara de manera informal algunas caractersti-

cas topologicas de algunos conjuntos y conceptos utilizados en el desarrollo
de algunas teoras economicas. Inicia con conjuntos convexos y continua con
funciones concavas, convexas, cuasiconcavas y cuasiconvexas.

1. Conjuntos Convexos
Los conjuntos convexos son un tipo particular de conjuntos, con propie-
dades que permiten relacionar y formalizar caractersticas asociadas con la
concavidad, convexidad, cuasiconcavidad, cuasiconvexidad de una funcion.
Un conjunto es o no convexo, por tanto la convexidad es una caracterstica
de un conjunto; sin embargo esta propiedad permite que el conjunto tenga
algunas posibilidades de interes en algun problema particular, as como algu-
nas informaciones asociadas con el conjunto (por ejemplo si el conjunto es el
dominio de una funcion, las propiedades del dominio caracterizan de alguna
manera a la funcion).

Definicion 1.1. Un conjunto A Rn es convexo, si para cualquier par de

puntos x, y en A, el segmento de lnea recta entre ellos esta contenida en el
conjunto A.

La expresion x + (1 )y tal que [0, 1], representa los puntos en Rn ,

que pertenecen al segmento de lnea recta que une a x con y. Por lo tanto un
*
Profesor del programa de economa en la Universidad de La Salle y la Escuela Colom-
biana de Ingeniera

1
 Figura 1: Conjuntos convexos

conjunto A es convexo si para todo x, y A y para todo [0, 1], entonces

x + (1 )y A. Supongamos un conjunto A R2 , tal que x, y A; si
= 0, entonces x + (1 )y = y; si = 1, entonces x + (1 )y = x. Si
= 0,3, entonces 0,3x + 0,7y pertenecen al segmento de lnea recta que une
a x con y.
Un conjunto Y no es convexo si existe por lo menos un par de puntos
y1 , y2 en Y, tal que el segmento de lnea recta que los une no esta totalmente
contenido en el conjunto Y; es decir, si existe algun punto del segmento de
lnea recta que une a y1 con y2 , que no pertenezca al conjunto Y. Ver figura
2.
Ejemplo 1.1. El conjunto M1 = {(x1 , x2 ) R2 : x1 0, x2 0} es convexo,
porque dos puntos cualesquiera (y1 , y2 ), (w1 , w2 ) en M1 cumplen y1 0,
y2 0, w1 0, w2 0 por definicion de M1 . El objetivo es probar que
(y1 , y2 ) + (1 )(w1 , w2 ) = (y1 + (1 )w1 , y2 + (1 )w2 ) es elemento

2
 Figura 2: Conjunto no convexo

de M1 , es decir que la primera y segunda componente son mayores o iguales

a cero.
Si [0, 1], entonces y1 0, y2 0;
ademas
(1 )w1 0, (1 )w2 0.
Por lo tanto

y1 + (1 )w1 0, y2 + (1 )w2 0.

Luego
(y1 + (1 )w1 , y2 + (1 )w2 ) M1 .
Ejemplo 1.2. M2 = (0, 1) (1, 2) no es conjunto convexo porque cualquier
segmento, entre x1 y x2 tal que x1 (0, 1) y x2 (1, 2), pasa por 1 y 1
/ M2 .
Por lo tanto el segmento contiene un elemento que no pertenece al conjunto.

3
Ejemplo 1.3. El conjunto M3 = {(x, y) R2 : x + y 1 x 0 y 0}
es conjunto convexo, porque para dos elementos cualquiera (x1 , y1 ) y (x2 , y2 )
de M3 se tiene que

x1 0, y1 0 x1 + y1 1 (1)
x2 0, y2 0 x2 + y2 1. (2)

- Para [0, 1], si x1 0 y (1)x2 0, entonces x1 +(1)x2 0;

si y1 0 y (1 )y2 0, entonces y1 + (1 )y2 0.

Ademas de (1) y (2) se tiene que

x1 + y1

y
(1 )x2 + (1 )y2 (1 )
entonces

x1 + y1 + (1 )x2 + (1 )y2 + (1 ) = 1.

Luego
x1 + (1 )x2 + y1 + (1 )y2 1
es decir
(x1 + (1 )x2 , y1 + (1 )y2 ) M3 .
Un conjunto es convexo o no convexo, es decir un conjunto no puede ser
convexo y no convexo simultaneamente. Los conjuntos convexos pueden ser
o no acotados1 en Rn .

Ejemplo 1.4. En el plano R2 cualquier lnea recta divide el plano en dos

subconjuntos convexos. De manera similar, un plano R3 divide el espacio en
dos subconjuntos convexos. Cualquier hiperplano en Rn divide el espacio Rn
en dos subconjuntos convexos; la demostracion de los enunciados anteriores
son extensiones del ejemplo 1.3

Proposicion 1.1. La interseccion de dos conjuntos convexos es un conjunto

convexo.
1
Un conjunto A es acotado si existe alguna circunferencia B(x) con centro en x y radio
r positivo que contenga al conjunto A (A Br (x))

4
Demostracion. Sea A y B conjuntos convexos; sea x, y elementos de A B;
entonces x + (1 )y A y x + (1 )y B , porque A y B son
conjuntos convexos; entonces x + (1 )y A B ; luego A B es conjunto
convexo.
Un par de conjuntos de interes en el desarrollo de funciones concavas y
convexas son los hipografos y epgrafos de una funcion.

Problemas 1.1.

Probar que M4 = {(x1 , x2 ) R2 : x1 > 0, x2 > 0} es conjunto convexo.

Probar que M5 = {(x1 , x2 ) R2 : x1 0, x1 x2 0} es conjunto

convexo.

Probar que M4 = {(x1 , x2 ) R2 : x1 > 0, x2 > 0} es conjunto convexo.

Probar que M5 = {(x1 , x2 ) R2 : x1 0, x1 x2 0} es conjunto

convexo.

Dar dos conjuntos convexos tal que la union sea conjunto convexo.

Dar dos conjuntos convexos tal que la union no sea conjunto convexo.

Es la union de conjuntos convexos un conjunto convexo?

2. Algunas consecuencias de la convexidad

Definicion 2.1. Para una funcion f : A R tal que A Rn , es decir
y = f (x1 , x2 , ..., xn ), el hipografo o grafo inferior Hf de la funcion es el
conjunto de puntos

Hf = {(x1 , x2 , ..., xn , k) Rn+1 : k f (x1 , x2 , ..., xn )}.

En otras palabras, el hipografo de una funcion f es el conjunto de pun-

tos en el espacio Rn+1 , tal que su ultima componente k es menor o igual
que la imagen de x = (x1 , x2 , ..., xn ). En la grafica de una funcion y =
f (x1 , x2 , ..., xn ), el hipografo de f es el conjunto de puntos por debajo de la
grafica.

5
Ejemplo 2.1. Para la funcion y = f (x) = x2 el hipografo o grafo inferior
es el conjunto de punto de la region sombreada de la siguiente figura

Hf = {(x, y) R2 : y x2 )}.

y
4

2
Hipografo Hipografo
1

5 4 3 2 1 1 2 3 4 5

Figura 3: Hipografo o grafo inferior de y = f (x) = x2

Ejemplo 2.2. Para la funcion y = f (x1 , x2 ) = x21 + x22 , el hipografo o grafo

inferior es el conjunto Hf = {(x1 , x2 , y) R3 : x21 + x22 y}. El grafico de
la funcion y = f (x1 , x2 ) = x21 + x22 es un paraboloide simetrico con el eje y;
el hipografo de la funcion esta formado por los puntos en R3 por debajodel
paraboloide.

Definicion 2.2. Para la funcion f : A R, tal que A Rn , es decir

y = f (x1 , x2 , ..., xn ), el epgrafo o grafo superior de la funcion es el conjunto
de puntos

Ef = {(x1 , x2 , ..., xn , h) Rn+1 : h f (x1 , x2 , ..., xn )}.

6
 El conjunto Epgrafo o grafo superior de una funcion y = f (x1 , x2 , ..., xn )
es la coleccion de puntos en Rn+1 cuya ultima componente es mayor o igual
que la imagen de x = (x1 , x2 , ..., xn ). En el espacio de representacion de la
grafica de la funcion y = f (x) los puntos que hacen parte del epgrafo son
aquellos que se encuentran por -encima- de la grafica de la funcion.
Ejemplo 2.3. Para la funcion y = f (x) = x3 el epgrafo o grafo superior de
la funcion esta representado en la zona sombreada de la siguiente grafica.
Ef = {(x, y) R2 : y x3 )}.

y
4

Grafo superior
3

5 4 3 2 1 1 2 3 4 5

2
Grafo inferior
3

Figura 4: Epgrafo o grafo superior de y = f (x) = x3

Ejemplo 2.4. Para la funcion y = f (x1 , x2 ) = x21 + x22 , el epgrafo es el

conjunto Ef = {(x1 , x2 , y) R3 : x21 + x22 y} que esta formado por los
puntos en R3 por encimade la grafica de la funcion y = f (x1 , x2 ) = x21 + x22
.
Ejemplo 2.5. Para la funcion f (x) = x, se va a probar que el conjunto Hf
es convexo, Hf = {(x, k) R2 : k f (x) = x}. Sea (x1 , k1 ), (x2 , k2 ) un par

7
de puntos en el hipografo de la funcion f; si (x1 , k1 ) Hf , (x2 , k2 ) Hf ,
entonces k1 f (x1 ) = x1 y k2 f (x2 ) = x2 . Si k1 f (x1 ) = x1 y k2
f (x2 ) = x2 , entonces k1 f (x) = x1 y k2 f (x) = x2 . Ademas
(1 )k1 (1 )f (x1 ) = (1 )x1 y (1 )k2 (1 )f (x2 ) = (1 )x2 .
Por lo tanto el conjunto Hf es convexo si el segmento de lnea recta entre el
par de puntos (x1 , k1 ) y (x2 , k2 ) del conjunto Hf esta contenido en el conjunto
Hf . Un punto en el segmento de lnea entre (x1 , k1 ) y (x2 , k2 ) es representado
por

(x1 , k1 ) + (1 )(x2 , k2 ) = (x1 + (1 )x2 , k1 + (1 )k2 ).

La prueba se completa al verificar que cualquier punto del segmento de

lnea recta pertenece al conjunto Hf . Para ello se requiere que el punto
(x1 + (1 )x2 , k1 + (1 )k2 ) satisfaga la definicion del conjunto Hf , es
decir k1 + (1 )k2 x1 + (1 )x2 = f (x1 + (1 )x2 ). Se va a probar
esta ultima desigualdad. Puesto que ki f (xi ) = xi y

(1 )ki (1 )f (xi ) = (1 )xi para i=1,2.

Entonces

k1 +(1)k2 f (x1 )+(1)f (x2 ) = x1 +(1)x2 = f (x1 +(1)x2 ).

Lo cual demuestra que cualquier elemento en el segmento de lnea recta entre

(x1 , k1 ) y (x2 , k2 ) esta en el conjunto Hf ; por lo tanto el segmento entre
(x1 , k1 ) y (x2 , k2 ) pertenece al conjunto Hf .

Problemas 2.1.

Sea X + Y = {x + y : x X, y Y }, de tal manera que X y Y son

conjuntos convexos. Mostrar que X + Y es un conjunto convexo.

Mostrar que el conjunto M = {(x, y) R2 : 0 y, 0 x y} es

convexo.
Definicion 2.3. Un funcion y = f (x1 , x2 , ..., xn ) es concava si y solo si el
hipografo de la funcion Hf es conjunto convexo.
Ejemplo 2.6. La funcion y = f (x) = x+2 es concava porque Hf es conjunto
convexo.

8
 3 y

Grafo superior

Grafo inferior
x

3 2 1 1

Figura 5: Hipografo de y = f (x) = x + 2

Ejemplo 2.7. La funcion y = f (x) = 5 x2 es concava porque el conjunto

Hf es convexo. Ver figura 6.

Definicion 2.4. Un funcion y = f (x1 , x2 , ..., xn ) es convexa si y solo si el

epgrafo de la funcion Ef es conjunto convexo.
Ejemplo 2.8. La funcion y = f (x) = x + 2 es convexa porque el conjunto
Ef es convexo. Ver figura 5.
Ejemplo 2.9. La funcion y = f (x) = x2 es convexa porque el conjunto Ef
es convexo. Ver figura 3.
Definicion 2.5. Para la funcion y = f (x1 , x2 , ..., xn ), el contorno de la fun-
cion en el elemento y del rango de la funcion R(f ) es el conjunto:

Cf (y) = {(x1 , x2 , ..., xn ) D(f )2 : f (x1 , x2 , ..., xn ) = y}.

2
D(f) representa al conjunto dominio de la funcion f. R(f) representa al conjunto rango
de la funcion f.

9
 7 y

1
Grafo inferior
x

4 3 2 1 1 2 3 4 5

Figura 6: Hipografo o grafo inferior de y = f (x) = 5 x2

El contorno esta formado por los elementos del dominio para los cuales
la imagen a traves de la funcion es y.

Definicion 2.6. Para la funcion y = f (x1 , x2 , ..., xn ), el contorno superior

de la funcion para un elemento y del rango de la funcion R(f ) es el conjunto

CSf (y) = {(x1 , x2 , ..., xn ) D(f ) : f (x1 , x2 , ..., xn ) y}.

Los contornos de una funcion son subconjuntos del dominio de la funcion

a diferencia de los hipografos y epgrafos de funciones.

Definicion 2.7. Para la funcion y = f (x1 , x2 , ..., xn ), el contorno inferior

de la funcion para un elemento y del rango (y R(f )) de la funcion es el
conjunto

CIf (y) = {(x1 , x2 , ..., xn ) D(f ) : f (x1 , x2 , ..., xn ) y}.

Ejemplo 2.10. Para la funcion y = f (x) = x3 se tiene que

Cf (8) = 2.

10
 CSf (8) = (2, ).
CIf (8) = (, 2]

y
9
8
7
6
5
4
3
2
CI f (8) 1 CSf (8) x

10 9 8 7 6 5 4 3 2 1 1 2 3 4 5 6 7 8 9 10
1
2
3
4
5
6
7
8
9

Figura 7: Epgrafo de y = f (x) = x2

Ejemplo 2.11. Para la funcion y = f (x1 , x2 ) = x1 x2 con x1 0 y x2 0,

10 es un elemento del rango R(f ), entonces
C(10) = {(x1 , x2 ) R2 : x1 x2 = 10}
es el conjunto de puntos en la curva de nivel y = 10. El CS(10) = {(x1 , x2 )
R2 : x1 x2 10} es un subconjunto del dominio de la funcion, formado por
las parejas ordenadas en R2 que se encuentran arriba y a la derecha de
la curva de nivel y = 10.

Definicion 2.8. Una funcion y = f (x1 , x2 , ..., xn ) es cuasiconcava si y solo si

CSf (w) es conjunto convexo para cualquier elemento del rango de la funcion
w R(f ).

11
 x2
16
15
14
13 CS(10)
12
11
10
9
8
7
6
5
4
3
2
y=10
1
x1

1 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
1

Figura 8: Epgrafo de y = f (x) = x2

Definicion 2.9. Una funcion y = f (x1 , x2 , ..., xn ) es cuasiconvexa si y solo

si CIf (w)es conjunto convexo para cualquier elemento del rango de la funcion
w R(f ).
Ejemplo 2.12. La funcion y = f (x) = x3 es cuasiconcava y cuasiconve-
xa, porque para cualquier numero real el contorno superior e inferior son
conjuntos convexos. Ver figura 7.
Proposicion 2.1. Cualquier funcion f RxR estrictamente creciente es
cuasiconcava y cuasiconvexa.
Toda funcion concava es cuasiconcava; de igual manera toda funcion convexa
es cuasiconvexa.
Ejemplo 2.13. La funcion y =f (x) = x2 es cuasi convexa porque para
cualquier y 0, CIf (y) = [ y, y] es conjunto convexo. Ver figura 9.

Ejemplo 2.14. La funcion del ejemplo 2.11 no es cuasiconcava ni cuasicon-

vexa porque ninguno de los conjuntos CS, CI es convexo.

12
 y

5 4 3 2 1 1 2
-y y3 4 5

Figura 9: Epgrafo de y = f (x) = x2

Ejemplo 2.15. Para la funcion y = f (x1 , x2 ) = x1 x2 y cualquier y en el

rango R(f ), el contorno superior es CS(y) = {(x1 , x2 ) R2 : x1 x2 y};
es decir CS(y) = {(x1 , x2 ) R2 : x2 xy1 } las parejas ordenadas del plano
R2 arriba y a la derecha de la hiperbola x2 = xy1 . CS(y) es conjunto convexo
para cualquier y R(f ), entonces y = f (x1 , x2 ) = x1 x2 es cuasiconcava.

13
Bibliografa
Apostol, T. (1974). Mathematical Analysis (2 ed.). Addison Wesley.
Casas, D.(2007). Elementos de matematicas para economa Universidad del
Rosario.
De Castro, R. (2001). El Universo LATEX (2 ed.). Universidad Nacional de
Colombia.
Escobar, D. (2001). Economa Matematica. Universidad de los Andes.
Munoz, J. (1983). Introduccion a la topologa (3 ed.). Universidad Nacional
de Colombia.
Pecha, A. (2005). Optimizacion estatica y dinamica en economa. Universidad
Nacional de Colombia.
Rudin, W. (1964). Principles of Mathematical Analysis (3 ed.). McGraw-Hill.
Simmons, G.F. (1963). Introduction to Topology and Modern Analysis. McGraw-
Hill.

14