단사함수,injective_function Copy: 단사함수,injective_function has comma Hide Show AKA 일대일함수,one-to-one_function 단사,injection 함수,function def. 1. If $\displaystyle x_1\ne x_2,$ then $\displaystyle f(x_1)\ne f(x_2)$ def. 2. If $\displaystyle f(x_1)=f(x_2),$ then $\displaystyle x_1=x_2.$ (위 둘은 대우,contraposition임이 명확하게 보임) Cmp: 전사함수,surjective_function 전단사함수,bijective_function Rel 가산집합,countable_set은 자연수집합으로의 단사함수가 존재하는 집합.[1] Sources: 단사함수의 정의: 서검교 대학기초수학 https://youtu.be/dT1cRKMQ7BE?si=3ijEqg1lZRQnkGAi&t=2166 Twin: https://ko.wikipedia.org/wiki/단사_함수 ---- [1] 가산_집합
