例えば、のところが間違えている気がしてきた

なんらかのmetricを決めたら不動点が決まると思っていたけれど、そういうmetricが存在するような空間では不動点はuniqueになるってことなのか(???