equivalenza topologia quoziente e topologia data dalla mentrica