X가 topological group이고 d가 X의 위상을 만드는 metric이면 d는 translation invariant (즉, d(x, y) = d(x+z, y+z) = d(z+x, z+y) for all x, y, z ㅌ X) 인가?

아니라면 X가 아벨군이라는 가정을 넣으면 어떻게 됨?


쉬운 질문일 수도 있는데 모르겠다