많은 분들이 일대일함수와 일대일대응의 차이를 헷갈려 합니다. 간단히 말해, 일대일함수는 정의역의 각 원소가 공역의 서로 다른 원소에 대응되는 것이고, 일대일대응은 일대일함수이면서 공역과 치역이 같은 함수를 의미합니다. 이 둘의 정확한 차이와 항등함수, 상수함수까지 완벽하게 이해하는 방법을 알려드립니다.
일대일함수와 일대일대응, 무엇이 다를까요?
일대일함수(Injective function)는 정의역의 서로 다른 두 원소가 공역의 서로 다른 두 원소에 대응되는 함수입니다. 즉, $x_1 \neq x_2$ 이면 $f(x_1) \neq f(x_2)$를 만족해야 합니다. 하지만 일대일함수는 공역의 모든 원소가 치역에 포함되지 않을 수도 있습니다. 반면, 일대일대응(Bijective function)은 일대일함수의 조건을 만족하면서, 공역과 치역이 일치하는 함수를 말합니다. 즉, 공역의 모든 원소가 정의역의 한 원소와 정확히 하나씩 대응됩니다. 이 차이를 명확히 이해하는 것이 중요합니다.
예를 들어, 함수 $f(x) = x^2$을 실수 전체의 집합에서 실수 전체의 집합으로 정의하면, $f(1) = 1$이고 $f(-1) = 1$이므로 일대일함수가 아닙니다. 또한, 음수 값은 치역에 포함되지 않으므로 일대일대응도 아닙니다. 하지만 함수 $f(x) = 2x$를 실수 전체의 집합에서 실수 전체의 집합으로 정의하면, $x_1 \neq x_2$ 일 때 $2x_1 \neq 2x_2$이므로 일대일함수이며, 모든 실수를 대응시키므로 일대일대응이기도 합니다. 이처럼 함수의 정의역, 공역, 치역을 모두 고려해야 정확한 판별이 가능합니다.
항등함수와 상수함수, 그리고 함수 판별법
관련 글
항등함수(Identity function)는 정의역의 각 원소를 자기 자신에게 대응시키는 함수로, $f(x) = x$로 표현됩니다. 항등함수는 항상 일대일대응의 조건을 만족합니다. 상수함수(Constant function)는 정의역의 모든 원소를 공역의 한 원소에만 대응시키는 함수로, $f(x) = c$ (상수)로 표현됩니다. 상수함수는 정의역의 원소가 두 개 이상일 경우 일대일함수가 될 수 없습니다. 함수가 일대일함수인지, 일대일대응인지 판별하는 가장 확실한 방법은 그래프를 이용하는 것입니다. 가로줄 판정법(Horizontal Line Test)을 통해 그래프와 수평선이 오직 한 점에서만 만나는지 확인하면 일대일함수 여부를 알 수 있습니다.
더 나아가, 함수가 일대일대응이 되려면 일대일함수이면서 동시에 치역과 공역이 같아야 합니다. 만약 함수가 정의역과 공역이 유한 집합인 경우, 정의역의 원소 개수와 공역의 원소 개수가 같고 일대일함수라면 자동으로 일대일대응이 됩니다. 하지만 정의역과 공역이 무한 집합인 경우에는 이 조건만으로는 부족하며, 치역이 공역과 일치하는지 별도로 확인해야 합니다. 이러한 판별법들을 숙지하면 다양한 함수의 성질을 정확히 이해할 수 있습니다.
함수 판별 시 주의할 점과 오개념
일대일함수와 일대일대응을 판별할 때 가장 흔한 실수는 공역과 치역의 관계를 간과하는 것입니다. 예를 들어, 정의역과 공역을 실수 전체로 하는 함수 $f(x) = x^2$은 일대일함수가 아니지만, 만약 정의역을 양의 실수 전체로 제한한다면 $f(x) = x^2$은 일대일함수가 됩니다. 하지만 이 경우에도 치역은 양의 실수 전체이므로 공역과 일치하지 않아 일대일대응은 아닙니다. 또한, 항등함수는 항상 일대일대응이지만, 모든 일대일대응이 항등함수인 것은 아닙니다. 상수함수는 일대일함수가 아니므로 일대일대응도 될 수 없습니다. 이러한 오개념을 바로잡는 것이 중요합니다.
함수 개념을 확실히 다지고 싶다면 원본 글을 참고하세요.
