집합론 탐방(2) | |||||
작성자 | 하** | 작성일 | 2017-07-07 | 조회수 | 443 |
---|---|---|---|---|---|
1-2 사상 정의 1. 일반적으로 사상은 기호 를 항등사상이라 한다. 사상 또한, 사상 이것의 대우는
이다. 사상 전단사 문. 사상 정의 2. 두 함수 로 나타낸다. 즉, 정리 7. 두 함수 (1) (2) 증명. 연습문제로 □ 따름정리. 모두 전단사이면, 증명. 정리 7로부터 나온다.□ 정리 8. 증명. 역함수의 정의와 따름정리로부터 나온다.□ 일반적으로, 집합 로 나타낸다. 이 동등에 관하여 다음 정리는 자명하다. 정리 9. 집합사이의 동등에 관하여 다음 성질이 성립한다. (1) (2) (3) 증명. (3)은 |