함수만들면됨
칸토어 베른슈타인 정리로 하거나 math stackexchange에 쳐보면 함수를 직접 볼 수 있음
수열 하나잡아서 그것만 조작하고 나머지는 그대로 매핑하면 됨
wlog, (0,1]에서 (0,1)로가는 bijection만 알려드림 f(1/n)=1/(n+1) if x=1/n for some n in N f(x)=x otherwise 이렇게 정의된 f는 bijection임. 이거랑 비슷한 방법으로 다른것도 보일 수 있음
함수만들면됨
칸토어 베른슈타인 정리로 하거나 math stackexchange에 쳐보면 함수를 직접 볼 수 있음
수열 하나잡아서 그것만 조작하고 나머지는 그대로 매핑하면 됨
wlog, (0,1]에서 (0,1)로가는 bijection만 알려드림 f(1/n)=1/(n+1) if x=1/n for some n in N f(x)=x otherwise 이렇게 정의된 f는 bijection임. 이거랑 비슷한 방법으로 다른것도 보일 수 있음