12.07.2015 Views

Programaç˜ao Linear - Notas de aula - CEUNES

Programaç˜ao Linear - Notas de aula - CEUNES

Programaç˜ao Linear - Notas de aula - CEUNES

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

CAPÍTULO 6. ELEMENTOS DE ANÁLISE CONVEXA 49Figura 6.5: Função convexa (a); côncava (b); e nem convexa, nem côncava (c) [1]Ativida<strong>de</strong> 14. Mostre que a função linear f(x) = cx é convexa e côncava simultaneamente.6.3 Conjuntos poliedraisConjuntos poliedrais são conjuntos <strong>de</strong>finidos por finitas equações e/ou inequações lineares.Em outras palavras, são conjuntos formados pela interseção <strong>de</strong> finitos semi-espaços.Assim, os conjuntos <strong>de</strong> nosso interesse, como por exemplo{x; Ax ≤ b, x ≥ 0} e {x; Ax = b, x ≥ 0}são ditos poliedrais. É sabido que esses conjuntos são convexos (Exemplo 6.1.1, página 45). Nocaso <strong>de</strong> um conjunto poliedral ser limitado, é comum chamá-lo <strong>de</strong> politopo. Em particular, aosconjuntos que po<strong>de</strong>m ser representados da forma{x; Ax ≤ 0}damos o nome <strong>de</strong> cone poliedral. É fácil notar que um cone poliedral é um cone. O Teorema aseguir não será <strong>de</strong>monstrado (para uma <strong>de</strong>monstração, veja por exemplo [2]).Teorema 6.2 (<strong>de</strong> Minkowski-Weyl). Um cone é poliedral se, e somente se, é finitamentegerado.Um ponto extremo <strong>de</strong> um conjunto poliedral é também chamado <strong>de</strong> vértice. A seguir,daremos uma caracterização algébrica dos vértices <strong>de</strong> um conjunto poliedral da forma{x; Ax ≤ b}.Note que, como qualquer conjunto poliedral po<strong>de</strong> ser posto na forma acima, o resultado éaplicado a qualquer conjunto poliedral.Antes, <strong>de</strong>finimos a noção <strong>de</strong> restrição ativa. Diremos que uma restrição a i x ≤ b i é ativa emx 0 se ela é realizada como igualda<strong>de</strong> em x 0 , ou seja, sea i x 0 = b i .Do mesmo modo, a restrição será inativa em x 0 se a i x 0 < b i .

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!