Anexo PRELIMINAR
Anexo PRELIMINAR
Anexo PRELIMINAR
Universidad de Lima
Octubre 2017
1
Fundamentos Matemticos
Anexo preliminar bsico: CONVEXIDAD
1. CONJUNTOS CONVEXOS
3. CONVEXOS NOTABLES EN Rn
x ( 1 ) y S , 0,1 .
Ejemplos.
a) Es convexo. b) No es convexo.
x
x x y
y
y
PROPIEDADES
x 1 , x 2 S , tales que x x 1 ( 1 ) x 2 , 0 1 .
Ejemplos.
x1 x2
x3
x2
x4
x1 x4 x3
x1 y x 3 son puntos extremos. x2 y x4 no lo son.
x2
x3
x3
m
Teorema: S R n
es convexo m N , 1 x1 2 x2 ... m xm S , i 1 ,
i 1
i 0 , x i S , i 1,..., m .
ENVOLVENTE CONVEXA
~
Definicin: Sea A R n , la envolvente conve xa o cie rre conve xo de A, A , es la interseccin
de todos los conjuntos conve xos que contiene a A .
Por ser interseccin de convexos, e l cierre convexo de un conjunto es sie m pre
convexo, adem s es e l m nim o convexo que contiene a A. S i A es convexo, entonces
~
A A.
Ejem plos.
1) ~ 2)
A
A
~
B
B { ( 0 ,0 ), ( 2 ,0 ), ( 1 ,1 ), ( 1 ,2 ) }
~
A { ( x , y ) R 2 , ( x , y ) 1 ( 1 ,0 ) 2 ( 0 ,1 ), 1 2 1 , 1 , 2 0 } =
{ ( x , y ) R 2 , x y 1, x , y 0 } .
2) B { ( 1 ,0 ), ( 0 ,1 ),( 0 ,0 ) }
~
B { ( x , y ) R 2 , ( x , y ) 1 ( 1,0 ) 2 ( 0 ,1 ) 3 ( 0 ,0 ), 1 2 3 1, 1 , 2 , 3 0 } =
{ ( x , y ) R 2 , x y 1, x , y 0 } .
3. CONVEXOS NOTABLES EN n
n R
CONVEXOS NOTABLES DE R
Definicin: Sea a R n , a , se llama hiperplano de normal a , a un subconjunto de R n
de la forma H { x R n , a t x }, R .
cerrados: H { x R n , a t x }, H { x R n , a t x },
abiertos: H 0 { x R n , a t x }, H 0 { x R n , a t x }.
Los semiespacios son conjuntos convexos.
1
Ejemplo. Un hiperplano de normal a es H { ( x , y ) R 2 , x 2 y 2 } .
2
a
H
Definicin: Un conjunto C Rn es un cono de vrtice el origen si
x C , x C , R , 0.
Geomtricamente, esto significa que un cono contiene a todas las semirrectas que
pasan por el origen y por un punto de C.
Ejemplos: C
C C
Cono engendrado por A (C(A))
Definicin: Sea A R n , se llama cono engendrado por A al mnimo cono convexo que lo
contiene.
El cono engendrado por A coincide con el conjunto de todas las combinaciones lineales
no negativas de puntos de A.
r
C ( A ) { x R , x i xi , xi A , i 0 }
n
i 1
Es el cierre convexo del mnimo cono que contiene a A. Puede verse tambin como el
mnimo cono que contiene al cierre convexo de A.
La funcin f es convexa en S si
f ( x ( 1 ) y ) f ( x ) ( 1 ) f ( y ), x , y S , 0 ,1 .
f es estrictamente convexa en S si
f ( x ( 1 ) y ) f ( x ) ( 1 ) f ( y ), x , y S , x y , ( 0 ,1 ) .
f es cncava en S si ( f ) es convexa en S . Equivalentemente
f ( x ( 1 ) y ) f ( x ) ( 1 ) f ( y ), x , y S , 0 ,1 .
f es estrictamente cncava en S si ( f ) es estrictamente convexa en S.
Equivalentemente
f ( x ( 1 ) y ) f ( x ) ( 1 ) f ( y ), x , y S , x y , ( 0 ,1 ) .
f(y)
(f(x)+f(y))/2
f(x)
f((x+y)/2)
x (x+y)/2 y
Proposicin: Sea S R n un conjunto convexo, f : S R n R es convexa en S si y solo
m m m
si f ( i xi ) i f ( xi ), m N , xi S , i 0 , i 1 .
i 1 i 1 i 1
Propiedades.
1) Sea S R n convexo. Si f : S R n R convexa en S, entonces cf es convexa
c R , c 0
Observacin: Si c < 0, entonces cf es cncava.
f(x)
f(x)
aa bb cc dd
El conjunto de nivel de la funcin f es S { ab } { cd } .
La curva de nivel es C { a } { b } { c } { d }.
Signo deuna
Signo de unaformas
formacuadraticas
cuadrtica
La matriz A, cuadrada de orden n, define una forma cuadratica:
DP (DN) si y solamente si
z t Az > 0 (z t Az < 0),
zIRn , z /
= 0.
A tiene todos sus autovalores positivos (negativos).
Los menores principales de A tienen todos signo positivo
(( 1)k , k = 1, 2, . . . , n).
SDP (SDN) si y solamente si
z t Az 0 (z t Az 0),
zIRn .
A tiene todos sus autovalores positivos o nulos (negativos o
nulos).
Si los menores principales de A hasta orden k < n tienen todos
signo positivo (orden 1, negativo; orden 2, positivo, orden 3,
negativo; . . .) y los menores principales de orden mayor que k
son nulos, entonces A es SDP (SDN).
En otro caso la matriz A es indefinida.
Ejemplos:
2 0
1) f ( x, y ) ( x 3 ) ( y 1 )
2 2
Hf ( x, y ) f estric. convexa
0 2
4 x3 12 x 2 0
f ( x, y ) x y f x, y
4 4
2)
3
Hf ( x, y )
2
4y 0 12 y
3) El conjunto { ( x , y ) R , xy 1 , x , y 0 } Hf ( x, y ) DN SDN
f cncava
Referencias
http://www.uv.es/~sala/clase03.pdf
http://www.uam.es/personal_pdi/economicas/portega/web-
algebra/capitulo-7/teoria7-2/7-2-teoria.htm
Barbolla, R., Cerd, E. y Sanz, P. (1991): Optimizacin Matemtica:
Teora, ejemplos y contraejemplos. De. Espasa-Calpe. Madrid
Guerrero Casas, Flor Mara (1994): "Curso de Optimizacin.
Programacin. Matemtica. Ed. Ariel Economa. Barcelona.