▲chabulhwi 4달전 | parent | favorite | on: 타입을 이용하여 안전한 코딩을 위한 Type-Driven Development(kciter.so) 단사 함수는 변환된 값의 집합이 공역과 치역이 일치하지 않는 경우를 말한다. 이를 조금 더 단순하게 표현하면 범위가 작은 타입에서 큰 타입으로 변환하는 것을 말한다. 단사 함수란 임의의 서로 다른 두 변수의 상이 서로 다른 함수를 가리킵니다. 즉, 단사 함수 f의 정의역 X에 속하는 모든 원소 a와 b에 대해, a ≠ b이면 f(a) ≠ f(b)입니다. 한국 고교 수학에서 '일대일 함수'라고 부르는 것이 단사 함수입니다. ▲kciter1 4달전 [-]상세한 설명 감사합니다. :) 제가 잘못 이해하고 있었네요. 안그래도 몇 번 지적받은 부분이라 조금 더 공부해서 내용을 다시 정리하겠습니다. 답변달기
단사 함수란 임의의 서로 다른 두 변수의 상이 서로 다른 함수를 가리킵니다. 즉, 단사 함수
f의 정의역X에 속하는 모든 원소a와b에 대해,a ≠ b이면f(a) ≠ f(b)입니다. 한국 고교 수학에서 '일대일 함수'라고 부르는 것이 단사 함수입니다.