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 !UIEREN CON"RIBUIR AL
DEBA"E ACAD#MICO CON LA PUBLICACIN DE DOCUMEN"OS PRELIMINARES Y AVANCES NO
DEFINI"IVOS DE INVES"I$ACIN Y O"ROS DOCUMEN"OS DE CON"ENIDO ME"ODOL$ICO Y
CIEN"FICO PARA LA INVES"I$ACIN DISCIPLINAR Y FORMA"IVA% OPINIONES, ERRORES Y
OMISIONES SON RESPONSABILIDAD EXCLUSIVA DEL AU"OR%










UNIVERSIDAD DE LA SALLE
FACUL"AD DE CIENCIAS ECONMICAS Y SOCIALES
PRO$RAMA DE ECONOMA

CARRERA & ' &( A 44
EDIFICIO )NO% *US"O RAMN, PISO &+
BO$O",, D%C% COLOMBIA

"EL#FONOS: -&.-1-/40 0000 EX"% 1&00 1 1&0( 1 1&./
CON"AC"O:
*CSE$URA2LASALLE%EDU%CO
)""P:11CEYS%LASALLE%EDU%CO1INDEX%P)P1ECONOMIA1PUBLICACIONES1101-CUADECON
Funciones c oncavas, convexas, cuasiconcavas y
cuasiconvexas
Daniel Ricardo Casas Hernandez
*
8 de marzo de 2012
El presente documento mostrara de manera informal algunas caractersti-
cas topol ogicas de algunos conjuntos y conceptos utilizados en el desarrollo
de algunas teoras econ omicas. Inicia con conjuntos convexos y continua con
funciones c oncavas, convexas, cuasic oncavas 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 funci on.
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 alg un problema particular, as como algu-
nas informaciones asociadas con el conjunto (por ejemplo si el conjunto es el
dominio de una funci on, las propiedades del dominio caracterizan de alguna
manera a la funci on).
Denici on 1.1. Un conjunto A R
n
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 R
n
,
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 R
2
, 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
y
1
, y
2
en Y, tal que el segmento de lnea recta que los une no esta totalmente
contenido en el conjunto Y; es decir, si existe alg un punto del segmento de
lnea recta que une a y
1
con y
2
, que no pertenezca al conjunto Y. Ver gura
2.
Ejemplo 1.1. El conjunto M
1
= {(x
1
, x
2
) R
2
: x
1
0, x
2
0} es convexo,
porque dos puntos cualesquiera (y
1
, y
2
), (w
1
, w
2
) en M
1
cumplen y
1
0,
y
2
0, w
1
0, w
2
0 por denicion de M
1
. El objetivo es probar que
(y
1
, y
2
) + (1 )(w
1
, w
2
) = (y
1
+ (1 )w
1
, y
2
+ (1 )w
2
) es elemento
2
Figura 2: Conjunto no convexo
de M
1
, es decir que la primera y segunda componente son mayores o iguales
a cero.
Si [0, 1], entonces y
1
0, y
2
0;
ademas
(1 )w
1
0, (1 )w
2
0.
Por lo tanto
y
1
+ (1 )w
1
0, y
2
+ (1 )w
2
0.
Luego
(y
1
+ (1 )w
1
, y
2
+ (1 )w
2
) M
1
.
Ejemplo 1.2. M
2
= (0, 1) (1, 2) no es conjunto convexo porque cualquier
segmento, entre x
1
y x
2
tal que x
1
(0, 1) y x
2
(1, 2), pasa por 1 y 1 / M
2
.
Por lo tanto el segmento contiene un elemento que no pertenece al conjunto.
3
Ejemplo 1.3. El conjunto M
3
= {(x, y) R
2
: x + y 1 x 0 y 0}
es conjunto convexo, porque para dos elementos cualquiera (x
1
, y
1
) y (x
2
, y
2
)
de M
3
se tiene que
x
1
0, y
1
0 x
1
+y
1
1 (1)
x
2
0, y
2
0 x
2
+y
2
1. (2)
- Para [0, 1], si x
1
0 y (1)x
2
0, entonces x
1
+(1)x
2
0;
si y
1
0 y (1 )y
2
0, entonces y
1
+ (1 )y
2
0.
Adem as de (1) y (2) se tiene que
x
1
+y
1

y
(1 )x
2
+ (1 )y
2
(1 )
entonces
x
1
+y
1
+ (1 )x
2
+ (1 )y
2
+ (1 ) = 1.
Luego
x
1
+ (1 )x
2
+y
1
+ (1 )y
2
1
es decir
(x
1
+ (1 )x
2
, y
1
+ (1 )y
2
) M
3
.
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 acotados
1
en R
n
.
Ejemplo 1.4. En el plano R
2
cualquier lnea recta divide el plano en dos
subconjuntos convexos. De manera similar, un plano R
3
divide el espacio en
dos subconjuntos convexos. Cualquier hiperplano en R
n
divide el espacio R
n
en dos subconjuntos convexos; la demostraci on de los enunciados anteriores
son extensiones del ejemplo 1.3
Proposici on 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 B
r
(x))
4
Demostraci on. 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 AB ; luego AB es conjunto
convexo.
Un par de conjuntos de interes en el desarrollo de funciones c oncavas y
convexas son los hip ografos y epgrafos de una funci on.
Problemas 1.1.
Probar que M
4
= {(x
1
, x
2
) R
2
: x
1
> 0, x
2
> 0} es conjunto convexo.
Probar que M
5
= {(x
1
, x
2
) R
2
: x
1
0, x
1
x
2
0} es conjunto
convexo.
Probar que M
4
= {(x
1
, x
2
) R
2
: x
1
> 0, x
2
> 0} es conjunto convexo.
Probar que M
5
= {(x
1
, x
2
) R
2
: x
1
0, x
1
x
2
0} es conjunto
convexo.
Dar dos conjuntos convexos tal que la uni on sea conjunto convexo.
Dar dos conjuntos convexos tal que la uni on no sea conjunto convexo.
Es la uni on de conjuntos convexos un conjunto convexo?
2. Algunas consecuencias de la convexidad
Denici on 2.1. Para una funcion f : A R tal que A R
n
, es decir
y = f(x
1
, x
2
, ..., x
n
), el hip ografo o grafo inferior H
f
de la funci on es el
conjunto de puntos
H
f
= {(x
1
, x
2
, ..., x
n
, k) R
n+1
: k f(x
1
, x
2
, ..., x
n
)}.
En otras palabras, el hip ografo de una funci on f es el conjunto de pun-
tos en el espacio R
n+1
, tal que su ultima componente k es menor o igual
que la imagen de x = (x
1
, x
2
, ..., x
n
). En la gr aca de una funci on y =
f(x
1
, x
2
, ..., x
n
), el hip ografo de f es el conjunto de puntos por debajo de la
gr aca.
5
Ejemplo 2.1. Para la funcion y = f(x) = x
2
el hip ografo o grafo inferior
es el conjunto de punto de la region sombreada de la siguiente gura
H
f
= {(x, y) R
2
: y x
2
)}.
5 4 3 2 1 1 2 3 4 5
4
3
2
1
1
2
3
4
x
y
Hipografo
Hipografo
Figura 3: Hip ografo o grafo inferior de y = f(x) = x
2
Ejemplo 2.2. Para la funcion y = f(x
1
, x
2
) = x
2
1
+x
2
2
, el hip ografo o grafo
inferior es el conjunto H
f
= {(x
1
, x
2
, y) R
3
: x
2
1
+ x
2
2
y}. El graco de
la funcion y = f(x
1
, x
2
) = x
2
1
+ x
2
2
es un paraboloide simetrico con el eje y;
el hip ografo de la funcion est a formado por los puntos en R
3
por debajodel
paraboloide.
Denici on 2.2. Para la funcion f : A R, tal que A R
n
, es decir
y = f(x
1
, x
2
, ..., x
n
), el epgrafo o grafo superior de la funci on es el conjunto
de puntos
E
f
= {(x
1
, x
2
, ..., x
n
, h) R
n+1
: h f(x
1
, x
2
, ..., x
n
)}.
6
El conjunto Epgrafo o grafo superior de una funci on y = f(x
1
, x
2
, ..., x
n
)
es la colecci on de puntos en R
n+1
cuya ultima componente es mayor o igual
que la imagen de x = (x
1
, x
2
, ..., x
n
). En el espacio de representacion de la
gr aca de la funci on y = f(x) los puntos que hacen parte del epgrafo son
aquellos que se encuentran por -encima- de la gr aca de la funci on.
Ejemplo 2.3. Para la funcion y = f(x) = x
3
el epgrafo o grafo superior de
la funcion esta representado en la zona sombreada de la siguiente graca.
E
f
= {(x, y) R
2
: y x
3
)}.
5 4 3 2 1 1 2 3 4 5
4
3
2
1
1
2
3
4
x
y
Grafo superior
Grafo inferior
Figura 4: Epgrafo o grafo superior de y = f(x) = x
3
Ejemplo 2.4. Para la funcion y = f(x
1
, x
2
) = x
2
1
+ x
2
2
, el epgrafo es el
conjunto E
f
= {(x
1
, x
2
, y) R
3
: x
2
1
+ x
2
2
y} que est a formado por los
puntos en R
3
por encimade la graca de la funcion y = f(x
1
, x
2
) = x
2
1
+x
2
2
.
Ejemplo 2.5. Para la funcion f(x) = x, se va a probar que el conjunto H
f
es convexo, H
f
= {(x, k) R
2
: k f(x) = x}. Sea (x
1
, k
1
), (x
2
, k
2
) un par
7
de puntos en el hip ografo de la funcion f; si (x
1
, k
1
) H
f
, (x
2
, k
2
) H
f
,
entonces k
1
f(x
1
) = x
1
y k
2
f(x
2
) = x
2
. Si k
1
f(x
1
) = x
1
y k
2

f(x
2
) = x
2
, entonces k
1
f(x) = x
1
y k
2
f(x) = x
2
. Adem as
(1 )k
1
(1 )f(x
1
) = (1 )x
1
y (1 )k
2
(1 )f(x
2
) = (1 )x
2
.
Por lo tanto el conjunto H
f
es convexo si el segmento de lnea recta entre el
par de puntos (x
1
, k
1
) y (x
2
, k
2
) del conjunto H
f
est a contenido en el conjunto
H
f
. Un punto en el segmento de lnea entre (x
1
, k
1
) y (x
2
, k
2
) es representado
por
(x
1
, k
1
) + (1 )(x
2
, k
2
) = (x
1
+ (1 )x
2
, k
1
+ (1 )k
2
).
La prueba se completa al vericar que cualquier punto del segmento de
lnea recta pertenece al conjunto H
f
. Para ello se requiere que el punto
(x
1
+(1 )x
2
, k
1
+(1 )k
2
) satisfaga la denicion del conjunto H
f
, es
decir k
1
+(1 )k
2
x
1
+(1 )x
2
= f(x
1
+(1 )x
2
). Se va a probar
esta ultima desigualdad. Puesto que k
i
f(x
i
) = x
i
y
(1 )k
i
(1 )f(x
i
) = (1 )x
i
para i=1,2.
Entonces
k
1
+(1)k
2
f(x
1
)+(1)f(x
2
) = x
1
+(1)x
2
= f(x
1
+(1)x
2
).
Lo cual demuestra que cualquier elemento en el segmento de lnea recta entre
(x
1
, k
1
) y (x
2
, k
2
) est a en el conjunto H
f
; por lo tanto el segmento entre
(x
1
, k
1
) y (x
2
, k
2
) pertenece al conjunto H
f
.
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) R
2
: 0 y, 0 x y} es
convexo.
Denici on 2.3. Un funcion y = f(x
1
, x
2
, ..., x
n
) es concava si y s olo si el
hip ografo de la funcion H
f
es conjunto convexo.
Ejemplo 2.6. La funcion y = f(x) = x+2 es concava porque H
f
es conjunto
convexo.
8
3 2 1 1
1
1
2
3
x
y
Grafo superior
Grafo inferior
Figura 5: Hip ografo de y = f(x) = x + 2
Ejemplo 2.7. La funcion y = f(x) = 5 x
2
es concava porque el conjunto
H
f
es convexo. Ver gura 6.
Denici on 2.4. Un funcion y = f(x
1
, x
2
, ..., x
n
) es convexa si y s olo si el
epgrafo de la funcion E
f
es conjunto convexo.
Ejemplo 2.8. La funcion y = f(x) = x + 2 es convexa porque el conjunto
E
f
es convexo. Ver gura 5.
Ejemplo 2.9. La funcion y = f(x) = x
2
es convexa porque el conjunto E
f
es convexo. Ver gura 3.
Denici on 2.5. Para la funcion y = f(x
1
, x
2
, ..., x
n
), el contorno de la fun-
cion en el elemento y del rango de la funcion R(f) es el conjunto:
C
f
( y) = {(x
1
, x
2
, ..., x
n
) D(f)
2
: f(x
1
, x
2
, ..., x
n
) = y}.
2
D(f) representa al conjunto dominio de la funcion f. R(f) representa al conjunto rango
de la funcion f.
9
4 3 2 1 1 2 3 4 5
1
1
2
3
4
5
6
7
x
y
Grafo inferior
Figura 6: Hip ografo o grafo inferior de y = f(x) = 5 x
2
El contorno esta formado por los elementos del dominio para los cuales
la imagen a traves de la funci on es y.
Denici on 2.6. Para la funcion y = f(x
1
, x
2
, ..., x
n
), el contorno superior
de la funcion para un elemento y del rango de la funcion R(f) es el conjunto
CS
f
( y) = {(x
1
, x
2
, ..., x
n
) D(f) : f(x
1
, x
2
, ..., x
n
) y}.
Los contornos de una funci on son subconjuntos del dominio de la funci on
a diferencia de los hip ografos y epgrafos de funciones.
Denici on 2.7. Para la funcion y = f(x
1
, x
2
, ..., x
n
), el contorno inferior
de la funcion para un elemento y del rango ( y R(f)) de la funci on es el
conjunto
CI
f
( y) = {(x
1
, x
2
, ..., x
n
) D(f) : f(x
1
, x
2
, ..., x
n
) y}.
Ejemplo 2.10. Para la funcion y = f(x) = x
3
se tiene que
C
f
(8) = 2.
10
CS
f
(8) = (2, ).
CI
f
(8) = (, 2]
10 9 8 7 6 5 4 3 2 1 1 2 3 4 5 6 7 8 9 10
9
8
7
6
5
4
3
2
1
1
2
3
4
5
6
7
8
9
x
y
CS (8)
f
CI (8) f
Figura 7: Epgrafo de y = f(x) = x
2
Ejemplo 2.11. Para la funcion y = f(x
1
, x
2
) = x
1
x
2
con x
1
0 y x
2
0,
10 es un elemento del rango R(f), entonces
C(10) = {(x
1
, x
2
) R
2
: x
1
x
2
= 10}
es el conjunto de puntos en la curva de nivel y = 10. El CS(10) = {(x
1
, x
2
)
R
2
: x
1
x
2
10} es un subconjunto del dominio de la funci on, formado por
las parejas ordenadas en R
2
que se encuentran arriba y a la derecha de
la curva de nivel y = 10.
Denici on 2.8. Una funcion y = f(x
1
, x
2
, ..., x
n
) es cuasic oncava si y s olo si
CS
f
(w) es conjunto convexo para cualquier elemento del rango de la funci on
w R(f).
11
1 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
1
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
x1
x2
CS(10)
y=10
Figura 8: Epgrafo de y = f(x) = x
2
Denici on 2.9. Una funcion y = f(x
1
, x
2
, ..., x
n
) es cuasiconvexa si y s olo
si CI
f
(w)es conjunto convexo para cualquier elemento del rango de la funci on
w R(f).
Ejemplo 2.12. La funcion y = f(x) = x
3
es cuasic oncava y cuasiconve-
xa, porque para cualquier n umero real el contorno superior e inferior son
conjuntos convexos. Ver gura 7.
Proposici on 2.1. Cualquier funcion f RxR estrictamente creciente es
cuasic oncava y cuasiconvexa.
Toda funci on c oncava es cuasic oncava; de igual manera toda funci on convexa
es cuasiconvexa.
Ejemplo 2.13. La funcion y = f(x) = x
2
es cuasi convexa porque para
cualquier y 0, CI
f
( y) = [

y,

y] es conjunto convexo. Ver gura 9.

Ejemplo 2.14. La funcion del ejemplo 2.11 no es cuasic oncava ni cuasicon-
vexa porque ninguno de los conjuntos CS, CI es convexo.
12
5 4 3 2 1 1 2 3 4 5
1
1
2
3
4
5
6
7
x
y
-y
y
Figura 9: Epgrafo de y = f(x) = x
2
Ejemplo 2.15. Para la funcion y = f(x
1
, x
2
) = x
1
x
2
y cualquier y en el
rango R(f), el contorno superior es CS( y) = {(x
1
, x
2
) R
2
: x
1
x
2
y};
es decir CS( y) = {(x
1
, x
2
) R
2
: x
2

y
x
1
} las parejas ordenadas del plano
R
2
arriba y a la derecha de la hiperbola x
2
=
y
x
1
. CS( y) es conjunto convexo
para cualquier y R(f), entonces y = f(x
1
, x
2
) = x
1
x
2
es cuasic oncava.
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.
Mu noz, J. (1983). Introduccion a la topologa (3 ed.). Universidad Nacional
de Colombia.
Pecha, A. (2005). Optimizacion est atica 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