Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Envolvente convexo
Dado un subconjunto cualquiera A de Rn , llamamos envolvente
convexa de A o cápsula convexa de A y denotamos Cc (A) al
conjunto convexo
T “más pequeño” que contiene al conjunto A. Esto es:
Cc (A) := α Bα , donde {Bα } es la familia de todos los conjuntos
convexos que contienen al conjunto A.
Observación 1.1.
Se puede demostrar en general que la capsula convexa de un conjunto
cualquiera A en Rn es el conjunto de todas las combinaciones convexas
de subconjuntos
Ps finitos arbitrarios de A; P
es decir:
Cc (A) = { j=1 λi x / x ∈ A , λj ≥ 0 , sj=1 λj = 1 , s ∈ N}
j j
Definición 2.1.
Llamamos hiperplano en Rn al conjunto de todas las soluciones de
una ecuación lineal de n variables. Formalmente:
Dado un vector p ∈ Rn , p 6= 0 y un número real α, un hiperplano (de
normal p) es el conjunto: H(p, α) := {x ∈ Rn / p.x = α
Definición 2.2.
Dado un hiperplano H(p, α) ⊂ Rn , llamamos
a). semiespacio abierto bajo el hiperplano, al conjunto
H< (p, α) := {x ∈ Rn / p.x < α}
b). semiespacio cerrado bajo el hiperplano, al conjunto
H≤ (p, α) := {x ∈ Rn / p.x ≤ α}
Definición 2.3.
Decimos que un hiperplano H(p, α) ⊂ Rn separaa los subconjuntos A
y B de Rn , cuando A se encuentra en uno de los semi espacios
cerrados que determina H(p, α) y B se encuentra en el otro.
Formalmente: H(p, α) separa a los conjuntos A y B si y sólo si
∀ ∈ A , ∀b ∈ B : [(p.a ≤ α ≤ p.b) ∨ (p.b ≤ α ≤ p.a)]
O más brevemente, si y sólo si
Observación 2.1.
1. Los conjuntos A y B para los cuales existe un hiperplano que los
separa, se denominan conjuntos separables.
2. Si un conjunto A está completamente incluido en alguno de los
semiespacios cerrados determinado por un hiperplano H, se dice
que H es un hiperplano acotador de A. Si además la
intersección de H con la frontera de A es no vacı́a, se dice que H
es un hiperplano soporte de A.
¿En qué casos los conjuntos son separables?. Ya podemos intuir que la
convexidad de los conjuntos es una condición importante. Las
siguientes proposiciones nos precisan las condiciones:
Teorema 2.2.
Si H1 , H2 , ...Hm son m semiespacios cerrados en Rn , entonces la
intersección de todos ellos posee sólo un número finito de puntos
extremos.
Corolario 2.3.
Si A es una matriz de orden m × n y b ∈ Rm , entonces los siguientes
conjuntos poseen sólo un número finito de puntos extremos
χ(A, b) := {x ∈ Rn / Ax = b , x ≥ 0}
χ≤ (A, b) := {x ∈ Rn / Ax ≤ b , x ≥ 0}
χ≥ (A, b) := {x ∈ Rn / Ax ≥ b , x ≥ 0}
V. Contreras T. 6/9 2021 6/9
Concavidad y convexidad de funciones
NOTA 3.1.
Algunos autores dan la definición de funciones cóncavas refiriéndose a
su hipógrafo y de funciones convexas refiriéndose a su epigrafo,
definimos: definiendo
Definición 3.2.
Sea f : X → R una función definida en X ⊂ Rn convexo.
1. Al conjunto Hf = {(x, α) ∈ Rn+1 / x ∈ X ∧ f (x) ≥ α} se llama
hipógrafo de f (Hf = HG(f ))
2. Al conjunto Ef = {(x, α) ∈ Rn+1 / x ∈ X ∧ f (x) ≤ α} se llama
epı́grafo de f (Ef = EHG(f ))
Teorema 3.1.
Sea f : X → R una función definida en X ⊂ Rn convexo. Entonces:
1. f es convexa si y sólo si Ef es un subconjunto convexo de Rn+1
2. f es cóncava si y sólo si Hf es un subconjunto convexo de Rn+1
Observación 3.1.
Existen funciones que n son cóncavas ni convexas ( por ejemplo las
funciones polinómicas de tercer grado), y también funciones que son a
la vez cóncavas y convexas (por ejemplo las funciones lineales).