[obm-l] Supporting Hyperplane

["Domingos Jr." <dopikas@xxxxxxxxxx>]

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
=========================================================================