topologia:exemplo:sorgenfreycompmetrizavel