<xbody bgcolor="white" text="black" link="blue" vlink="purple" alink="red">
<p>전사함수,단사함수가 이해가 잘 안되네여</p>
<p>Def. A function f:A→B is a rule that assigns to each element x∈A
the unique element y∈B.</p>
<p>함수의 정의는 잘 이해하시죠?</p>
<p>Def. A function f:A→B is called injective(단사) if x₁≠x₂ with x₁,
x₂∈A ⇒ f(x₁)≠f(x₂).</p>
<p>Def. A fucntion f:A→B is called surjective(전사) if f(A)=B.</p>
<p>Def. A fucntion f:A→B is called bijective(전단사) if it is both
injective and surjective.</p>
<p>용어의 사용은 대개 분야에 따라 애용하는 것이 있습니다. 위에서 언급한 injective등은 대수학에서 주로 사용합니다. 해석학에서는 주로
ono-to-one(일대일함수=단사함수), onto(위로의함수=전사함수),
one-to-one and onto(one-to-one correspondence(일대일대응함수=전단사함수))를 사용합니다. </p>
<p>참고로, 어떤 함수가 어떤 두 벡터공간을 정의역과 공역으로 가지고,
그 함수가 일대일 대응이면, 그 함수를 isomorphic하다고 합니다. 약간 다르지만 비슷한 것을 살펴보면, 어떤 함수가 어떤 두 군(group)을
정의역과 공역으로 가지고, 일대일 대응이면서, 또한 각 군에 정의된
연산(binary operation)이 어떤 조건을 만족시키면, 우리는 그 함수를
group isomorphism이라고 부릅니다. 참고하세요.</p>
</xbody>
<!-- -->
