x 와 x'이 다를때 f(x)와 f(x')이 다르다
모든 y에 대하여 어떤 x가 존재한다 : f(x) = y
친구니는 단사가 꼭 꺼꾸로 될 것 같은 것이다
즉, x가 같으면 y가 같다
그러나 y가 같으면 x가 같다이다 이것은 위의 p이면 q를 ~q이면 ~p 한 것이다
그리고
전사함수인데
모든 y를 Y집합의 원소들 모두
링크된 y를 말하는 것 같다
그리고 이것에 링크된 x가 있다는 것이다
x가 비워있으면 안되니 모든 x라고할 것 같은데 ...이것은 함수이기 때문에...
그래서 모든 y가 중요한 것이다
치역과 공역이 같다
(Y의 모든 원소가 어떤 x가 있다)
f(x)=y 이고 y=f(x)라고 적지 말자....
증명할 때 y=f(x) 보다 f(x) = y가 더 유용하다
단사와 전사
injective surjective
onetoone onto
연습문제를 증명해 보면 이해가 더 한층 편하다