Documentos de Académico
Documentos de Profesional
Documentos de Cultura
22 de septiembre de 2014
1 / 21
Conjunto Convexo
C ∈ Rn es convexo si
Convexo
No convexo
I φ y Rn son convexos.
2 / 21
Cápsula Convexa
\
co(A) = C (Convexo!!!)
A⊂C
C convexo
I A ⊂ co(A)
I Si A es convexo ⇒ A = co(A)
3 / 21
Combinación Convexa
Dados x, x1 , x2 , . . . , xm ∈ Rn .
x es combinación convexa de x1 , x2 , . . . , xm si
m
X
∃t1 , t2 , . . . , tm ∈ [0, 1] : x= tk xk
k=1
4 / 21
Cono
D ⊂ Rn es un cono si:
1. D 6= φ
2. Si v ∈ D, entonces tv ∈ D ∀t ≥ 0
I 0∈D
I {0} y Rn son conos.
5 / 21
Cono Convexo
\
cone(A) = C (Cono Convexo!!!)
A⊂C
C cono convexo
I A ⊂ cone(A)
I Si A es cono convexo ⇒ A = cone(A)
6 / 21
Combinación Positiva
Dados v, v 1 , v 2 , . . . , v m ∈ Rn .
v es combinación positiva de v1, v2, . . . , vm si
m
X
∃t1 , t2 , . . . , tm ∈ R+ : v= tk v k
k=1
7 / 21
Combinación Convexa
Teorema
Dado A ⊂ Rn . ∀v ∈ cone(A) : ∃v 1 , v 2 , . . . v k ∈ A L.I. tal que v es
1 2 k
conbinación positiva de v , v , . . . v .
Teorema de Carathéodory
8 / 21
Cono Convexo
9 / 21
Cono Tangente
tk → 0,
∃{tk } ⊂ R++
τD (x̄) = d ∈ Rn : tales que d k → d,
∃{dk } ⊂ Rn
x̄ + tk dk ∈ D
10 / 21
Teoremas de Separación
Teorema.(Separación Fuerte)
11 / 21
Teoremas de Separación
Teorema.(Separación Débil)
12 / 21
Teoremas de Separación
Teorema.(Separación Débil)
hv, xi ≤ α ≤ hv, yi ∀x ∈ A, ∀y ∈ B
13 / 21
Teoremas de Separación
Teorema.(Separación Fuerte)
14 / 21
Teoremas de Alternativa
Teorema(Lema de Farkas)(Versión Geométrica)
I c ∈ cone({v 1 , v 2 , . . . , v m })
I ∃x ∈ Rn : hv i , ci ≤ 0, ∀i = 1, . . . , m, y hc, xi > 0
I Ax = c, x≥0
I A| y ≤ 0, hc, yi > 0
15 / 21
El Cono Polar
C ◦ = {d ∈ Rn : hd, xi ≤ 0, ∀x ∈ C}
16 / 21
El Cono Polar
C1 = {x ∈ Rn : A1 x ≤ 0} y C2 = {x ∈ Rn : A2 x = 0}
17 / 21
Aspectos Prácticos
18 / 21
Funciones Convexas
Dados D ⊂ Rn y f : D → R.
f es convexa si epf(f ) ⊂ Rn × R es un
conjunto convexo.
I Si f es convexa ⇒D es convexo.
19 / 21
Criterios para Convexidad
20 / 21
Continuidad y Convexidad
Teorema
Toda función convexa es localmente lipchitziana en el interior de
su dominio.
Corolario
Data una función f : Rn → R convexa diferenciable. Para todo
x existen δ, M > 0 tales que k∇f (y)k ≤ M, ∀y ∈ B(x, δ).
21 / 21