Documente Academic
Documente Profesional
Documente Cultură
Convexidad
1 Introducción
Conjunto convexo
Un conjunto C ⊆ Rn se dice que es convexo si para cualquier x y y en C ,
λx + (1 − λ)y ∈ C para todo λ ∈ [0, 1]
Función convexa
Sea C un subconjunto convexo de Rn (C ⊆ Rn ). Una funcion f : C → R es
convexa ⇔ ∀x, y ∈ C , ∀λ ∈ [0, 1] f (λx + (1 − λ)y ) ≤ λf (x) + (1 − λ)f (y )
Epigrafo
El epigrafo de una función es el conjunto que se encuentra por encima de la
función. i.e., si C es un subconjunto de Rn , y una función f : C → R, entonces el
epigrafo de f es:
Función f : C → R es convexa
⇔ f (λx + (1 − λ)y ) ≤ λf (x) + (1 − λ)f (y ), ∀x, y ∈ C , ∀λ ∈ [0, 1].
Función f : C → R es concava
⇔ f (λx + (1 − λ)y ) ≥ λf (x) + (1 − λ)f (y ), ∀x, y ∈ C , ∀λ ∈ [0, 1].
minimizar f (x)
sujeto a x ∈X
Lema
En problema de minimización convexa un minimo local es minimo global
José M. Vera (ESPOL) Convexidad 8 / 17
Transformaciones lineales y afines
Una aplicación lineal puede ser representada por una matriz m x n, dicho M por
L(x) = Mx
Si m = 1 (L : Rn → R) entonces L es una función y es escrita como L(x) = aT x,
donde a ∈ Rn
Def. Una aplicación o función afı́n es un apliación lineal mas una variación del
origen. Tiene la forma F (x) = d + Mx, donde d ∈ Rm
Lema
Un función afı́n (y por lo tanto también funciones lineales) son convexas y
concavas.
Lema
Las siguientes declaraciones son equivalentes:
(a) H es deifnida positiva, i.e. x T Hx es positiva para todo no nulo x
(b) Todos los valores propios de H son positivos
(c) Todos los elementos diagonales en una factorización Cholesky son positivos.
(d) Todos los valores principales menores en un conjunto anidado son positivos.
(e) Existe una matriz no singular B tal que H = B T B
Los principales menores Dk , k = 1, 2, ..., n de una matriz A=(aij )[nxn] son definidas
como
a11 · · · a1k
.. ..
Dk = det . .
ak1 ··· akk
La matriz cuadrada A es DP ⇔ Dk > 0 para todo k = 1, 2, ..., n
La matriz cuadrada A es SDP ⇔ Dk ≥ 0 para todo k = 1, 2, ..., n
Ejemplo: H1 es definido positivo, H2 no es, H
3 es semidefinido positivo
4 0 2
2 3 2 3
H1 = , H2 = , H3 = 0 1 1
3 5 3 4
2 1 2
Teorema
Los semiespacios H = {x ∈ Rn |a1 x1 + · · · + an xn ≤ β} = {x ∈ Rn |aT x ≤ β} son
conjuntos convexos. (Propiedad 4)
Teorema
La intersección de conjuntos convexos es un conjunto convexo. (Propiedad 1)