단사함수,injective_function in RRWiki

Difference between r1.3 and the current

@@ -18,7 +18,9 @@

[[전사함수,surjective_function]]
[[전단사함수,bijective_function]]

----

Rel

[[가산집합,countable_set]]은 자연수집합으로의 '''단사함수'''가 존재하는 집합.[* WpKo:가산_집합]

----
Sources:
단사함수의 정의:

AKA 일대일함수,one-to-one_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임이 명확하게 보임)

Rel
가산집합,countable_set은 자연수집합으로의 단사함수가 존재하는 집합.[1]

Sources:

단사함수의 정의:

----