1.6.20 (나)인데
대각선논법으로 어떻게 해보려고 난리치는중이었음
일단 떠오른 방향은 실수집합이 더크다고했던걸 귀류법으로 했던것처럼
f:X->P(X)인 전단사 f가 존재한다 가정하고 모순을 이끌어내려하였음
그럴려면 X에 속하는 임의의 원소 x에 대해서
f(x)가 P(X)에 속하지 않는 경우를 보이면되는데
P(X)는 X의 부분집합들의 집합이니 즉,,
X의 어떤 부분집합은 어떠한 f(x)에도 속하지 않음을 보이면 된다...는 결론을 냄
그러면 집합 P={x | X에 속하는 x, f(x)에 속하지않는 x}
이렇게하면 P는 X의 부분집합인데 f(x)에는 속하지않으니 뭐이걸로어떻게될거같은데 여기서 좀 막혔음.
일단 여기까지 방향 올바르게잡은거맞음?
- dc official App
ㅇㅇ