d : Z x Z -> R

d(x, y)=1/(2^k), k=max{ l∈N∪{0} | 5^l | |x-y| }

0 , x=y

으로 정의된 위상공간 (Z, d) 에 대해 d(3, 10Z+8)을 구하는게 목표입니다.

답은 제공되지 않았어요 ㅠ_ㅠ


[풀이] 10n+8인 nZ이 존재

5^l | 10n+8-3=10n+5

먼저 l=0, 1일 때 자명하게 성립한다.

l>1이라 가정하자.

10n+5=0 (mod5^l)

2n+1=0 (mod5^(l-1))

(2, 5^(l-1))=1이므로 각 l마다 n이 존재하므로

inf{d(3, a) | a ∈10Z+8 } =1/2^∞=0


라고 풀었는데 맞을까요??