topologia:exemplo:supnotcompact