편집
905
번
(새 문서: Theory of open quantum system이라는 책을 공부하다보니 확률론이 나오고 measure가 나오는데, 리만 measure와 르벡 measure가 다르다고하여 르벡 적분을 공부하려고 봤더니, 다시 집합론이 나온다. 무한 가산 집합의 크기? 가 알레프 넘버 0이라는 것을 이해하고, 실수 집합의 크기가 알레프 넘버 1이라는 것을 이해했다. Z+와 1:1대응이 이루어지면, 대등하다고 한다. 아...) |
|||
| 24번째 줄: | 24번째 줄: | ||
3. If there exists onto mapping from countable X to infinite Y, then Y is countable. | 3. If there exists onto mapping from countable X to infinite Y, then Y is countable. | ||
3의 증명 <math> D_y = { n | n \in Z+, f(n) = y } </math> | |||