Olá! Alguém sabe como demonstrar o teorema dos "supporting hyperplanes" ? Basicamente o teorema diz que dado um conjunto convexo X, se x* é ponto da fronteira de X, então existe um hiperplano H que contém x* e deixa o conjunto X inteiramente contido em um dos semi-espaços associados a H.
Eu vi um esboço de demonstração quando o espaço é um compacto (e aí é utilizada uma seqüência de pontos fora de X que converge para x*). [ ]'s ========================================================================= Instruções para entrar na lista, sair da lista e usar a lista em http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html =========================================================================