일대일 함수와 일대일 대응의 정의, 판별 방법, 그래프와 표 예시를 통해 차이를 정리합니다.
먼저 구분할 두 개념
함수는 정의역의 각 원소에 대응값을 하나씩 정하는 약속이다. 일대일 함수는 서로 다른 입력값이 같은 출력값으로 모이지 않는 함수라는 뜻이다. 입력 a와 b가 다르면 f(a)와 f(b)도 달라야 하며, 반대로 f(a)=f(b)라면 a=b라고 말할 수 있다. 핵심은 출력값의 중복 여부다.
일대일 대응은 일대일 함수에 공역까지 빠짐없이 채워진 조건을 더한 말이다. 정의역의 원소 하나와 공역의 원소 하나가 남김없이 짝을 이루므로 두 집합의 원소 수를 비교하거나 역함수를 생각할 때 특히 중요하다. 일대일 함수는 공역에 남는 원소가 있어도 성립하지만, 일대일 대응에는 남는 원소가 없다.
따라서 문제를 읽을 때는 정의역과 공역을 함께 표시하는 습관이 필요하다. 같은 식이라도 공역을 어떻게 정하는가에 따라 일대일 함수이지만 일대일 대응이 아닐 수 있다. 용어를 외우기보다 입력의 겹침, 출력의 빈자리, 역방향 대응 가능성을 차례로 확인하면 개념이 분명해진다.
일대일 함수 판별: 출력의 중복을 찾기
일대일 함수는 서로 다른 두 입력이 같은 출력에 도착하지 않는지 확인하면 된다. 표에서는 출력 열에 같은 값이 두 번 나타나는지 살피고, 화살표 그림에서는 한 개의 공역 원소로 화살표가 두 개 이상 들어오는지 확인한다. 하나라도 발견되면 일대일 함수가 아니다.
식으로 주어졌다면 f(a)=f(b)를 놓고 a=b가 따라오는지 보는 방법이 기본이다. 예를 들어 f(x)=2x+3에서 2a+3=2b+3이면 a=b이므로 일대일이다. 반면 f(x)=x²를 실수 전체에서 보면 f(2)=f(-2)=4이므로 서로 다른 입력이 같은 출력으로 가서 일대일이 아니다.
그래프에는 수평선 판별법을 쓸 수 있다. 어떤 수평선도 그래프와 두 점 이상에서 만나지 않으면 일대일 함수다. 다만 그래프의 범위와 정의역을 함께 보아야 한다. x²도 정의역을 0 이상으로 제한하면 증가하므로 일대일 함수가 될 수 있다.
일대일 대응 판별: 공역의 빈자리까지 확인
일대일 대응인지 판단하려면 먼저 일대일 함수인지 확인한 뒤 공역의 모든 원소가 실제 출력으로 사용됐는지 본다. 이 두 조건은 각각 단사성과 전사성으로도 표현한다. 단사성은 출력 중복이 없다는 뜻이고, 전사성은 공역에 남는 원소가 없다는 뜻이다.
정의역 {1,2,3}, 공역 {a,b,c}에서 1→a, 2→b, 3→c라면 모든 화살표가 한 번씩 연결되어 일대일 대응이다. 그러나 공역이 {a,b,c,d}라면 d에 도착하는 입력이 없으므로 같은 대응 규칙이어도 일대일 대응은 아니다. 공역 표기가 결론을 바꾸는 이유가 여기에 있다.
유한 집합에서는 정의역과 공역의 원소 수가 같고 일대일 함수라면 자동으로 일대일 대응이다. 반대로 원소 수가 같은 두 유한 집합에서 공역을 모두 채웠다면 출력 중복도 생길 수 없다. 문제 풀이에서는 집합의 크기 정보가 있는지 먼저 찾으면 계산을 줄일 수 있다.
대표 예시로 보는 차이
실수 전체에서 f(x)=x+1은 서로 다른 x가 서로 다른 값을 만들고, 모든 실수 y에 대해 x=y-1을 잡을 수 있다. 공역을 실수 전체로 두면 일대일 대응이며 역함수는 f⁻¹(x)=x-1이다. 직선 그래프가 모든 수평선을 한 번씩 만나는 모습을 떠올리면 된다.
f(x)=eˣ는 실수 전체에서 일대일 함수지만 공역을 실수 전체로 잡으면 음수와 0이 출력되지 않는다. 그래서 일대일 대응이 아니다. 공역을 양의 실수로 바꾸면 모든 양수 y에 대해 x=ln y가 존재하므로 일대일 대응이 된다. 식 자체보다 공역이 중요하다는 좋은 사례다.
f(x)=x²는 실수 전체에서는 일대일 함수가 아니지만, 정의역을 0 이상으로 바꾸고 공역을 0 이상으로 두면 일대일 대응이 된다. 이처럼 정의역 제한은 역함수를 만들기 위한 자연스러운 절차다. 함수 이름만 보고 판단하지 말고 문제에 적힌 집합과 범위를 정확히 옮겨 적어야 한다.
역함수와 연결해 이해하기
일대일 함수라면 원래 함수의 출력값 범위에서는 입력을 되돌리는 역함수를 정의할 수 있다. 출력 하나가 입력 하나만 가리키기 때문에 역방향에서 선택이 흔들리지 않는다. 다만 공역 전체에서 역함수를 함수로 만들려면 그 공역의 모든 원소가 출력되어야 하므로 일대일 대응 조건이 필요하다.
화살표를 반대로 그려 보는 방법은 직관적이다. 원래 그림에서 한 공역 원소로 화살표가 여러 개 들어오면 뒤집었을 때 한 입력에서 여러 출력으로 나가므로 함수가 되지 않는다. 공역에 화살표가 하나도 들어오지 않으면 뒤집었을 때 그 원소의 대응값이 없으므로 전체 공역을 대상으로 한 역함수가 완성되지 않는다.
교과서에서 역함수의 존재를 말할 때 정의역과 치역을 구분하는 까닭도 이 때문이다. 일대일 함수는 치역을 공역으로 삼으면 역함수를 가질 수 있고, 처음부터 공역까지 일치하면 일대일 대응으로서 양방향 대응이 완결된다. 용어 사이의 연결을 그림으로 반복하면 암기 부담이 줄어든다.
시험에서 실수 줄이는 체크리스트
첫째, 정의역과 공역을 동그라미로 표시한다. 둘째, 같은 출력으로 들어오는 화살표나 같은 함수값을 만드는 서로 다른 입력이 있는지 확인한다. 셋째, 공역의 각 원소가 적어도 한 번은 출력으로 쓰였는지 찾는다. 이 순서는 표, 그래프, 식 어느 형식에도 그대로 적용된다.
그래프 문제에서는 수직선 판별법으로 함수 여부를 먼저 확인하고, 그 다음 수평선 판별법으로 일대일성을 점검한다. 수직선이 두 번 만나면 애초에 함수가 아니며, 수평선이 두 번 만나면 함수이지만 일대일은 아니다. 마지막으로 그래프의 y값 범위가 공역과 같은지 비교하면 일대일 대응 여부까지 판단할 수 있다.
객관식에서는 보기의 집합 크기와 공역 표기를 놓치기 쉽다. 출력값이 모두 달라도 공역에 빈 원소가 하나 있으면 일대일 대응이라는 말은 틀린다. 반대로 유한 집합에서 정의역과 공역의 원소 수가 같다면 일대일 함수인지 확인하는 것만으로 충분한 경우가 많다. 이유를 한 문장으로 설명하는 연습도 도움이 된다.
핵심 요약과 학습 확장
일대일 함수의 질문은 서로 다른 입력이 같은 출력으로 모이는가이다. 일대일 대응의 질문은 거기에 더해 공역의 모든 원소가 정확히 한 번씩 사용되는가이다. 두 질문을 분리하면 복잡한 기호나 그림도 안정적으로 읽을 수 있다. 단사, 전사, 전단사라는 용어도 같은 구조를 가리킨다.
개념을 익힌 뒤에는 같은 식의 정의역과 공역을 바꾸어 보자. x², 절댓값, 지수함수처럼 범위가 중요한 함수를 골라 표와 그래프를 함께 만들면 조건 변화가 선명해진다. 특히 역함수 그래프는 y=x 직선에 대한 대칭이라는 성질까지 연결하면 함수의 방향과 대응 관계를 한 번에 복습할 수 있다.
정확한 수학 용어와 교육과정 자료는 공식 교육기관 자료로 다시 확인하는 습관이 좋다. 문제의 조건을 끝까지 읽고, 출력 중복과 공역 빈자리를 각각 표시해 보자. 이 작은 확인만으로 일대일 함수와 일대일 대응을 혼동하는 대표적인 실수를 줄일 수 있다.
표와 화살표 그림을 읽는 방법
표 형식에서는 왼쪽 열이 정의역, 오른쪽 열이 함수값인지 먼저 확인한다. 서로 다른 행에 같은 함수값이 반복되면 일대일 함수가 아니다. 반대로 출력값이 모두 다르더라도 공역이 별도로 제시되어 있고 그 안에 표에 한 번도 나오지 않은 값이 있다면 일대일 대응이 아니다. 표의 범위와 공역을 분리해 표시하면 판단이 빨라진다.
화살표 그림에서는 출발점마다 화살표가 정확히 하나인지로 함수 여부를 확인한다. 이어서 도착점에 두 화살표가 모이는지를 살피면 일대일 함수 여부를 알 수 있다. 마지막에는 공역의 모든 점에 적어도 한 화살표가 닿는지 확인한다. 도착점마다 정확히 하나의 화살표가 닿으면 가장 보기 쉬운 일대일 대응 그림이 된다.
집합의 원소가 많아 복잡해 보일 때는 공역 원소에 작은 체크 표시를 하며 세면 좋다. 화살표가 두 개 들어온 원소에는 중복 표시를 하고, 하나도 들어오지 않은 원소에는 빈자리 표시를 한다. 이 두 표시는 각각 단사성 실패와 전사성 실패를 알려 준다. 기호 계산 전에 그림을 정리하는 습관은 실수를 예방한다.
정의역 제한이 만드는 변화
함수의 성질은 식 하나만으로 정해지지 않는다. 같은 f(x)=x²라도 정의역이 실수 전체이면 좌우 대칭 때문에 출력이 겹치지만, 정의역을 0 이상으로 제한하면 값이 계속 커져서 출력 중복이 사라진다. 이때 공역을 0 이상으로 맞추면 빈자리도 없어져 일대일 대응이 된다. 조건의 작은 변화가 결론을 바꾸는 사례다.
절댓값 함수도 비슷하다. 실수 전체에서 |x|는 x와 -x가 같은 값을 만들므로 일대일 함수가 아니다. 그러나 정의역을 0 이상으로 정하면 |x|=x가 되어 일대일이 된다. 공역까지 0 이상으로 정하면 일대일 대응이다. 정의역 제한은 억지 규칙이 아니라 역함수를 한 값으로 정하기 위한 수학적 선택이다.
문제에서 정의역이 생략된 듯 보여도 문맥상 실수 전체인지, 자연수인지, 특정 구간인지 확인해야 한다. 그래프에 그려진 일부 구간만 대상으로 하는지 역시 중요하다. 판단 문장을 쓸 때는 어떤 집합에서의 함수인지 함께 말하면 논리가 분명해진다. 이 원칙은 다항함수뿐 아니라 삼각함수와 로그함수에도 그대로 적용된다.
단사·전사·전단사 용어 정리
일대일 함수는 현대 수학에서 단사 함수라고 부른다. 단사는 서로 다른 두 원소가 같은 곳으로 가지 않는 성질이며, f(a)=f(b)라면 a=b라는 조건으로 쓴다. 전사 함수는 공역의 모든 원소가 적어도 하나의 정의역 원소에서 도달되는 함수다. 학교 과정의 일대일 대응은 단사와 전사를 동시에 만족하는 전단사 함수와 같은 뜻으로 이해할 수 있다.
단사와 전사를 분리해서 생각하면 오류를 고치기 쉽다. 출력값이 겹쳤다면 단사가 실패한 것이고, 공역에 남는 값이 있다면 전사가 실패한 것이다. 두 실패는 독립적이다. 어떤 함수는 단사이지만 전사가 아닐 수 있고, 전사이지만 단사가 아닐 수도 있다. 일대일 대응은 두 실패가 모두 없는 특별한 경우다.
용어가 낯설다면 화살표 개수로 바꾸어 읽어도 된다. 단사는 도착점으로 들어오는 화살표가 최대 하나라는 말이고, 전사는 모든 도착점으로 적어도 하나가 들어온다는 말이다. 둘을 합치면 모든 도착점에 정확히 하나가 들어온다. 이 표현은 유한 집합의 표와 그림에서 특히 직관적이며 문제 풀이에 바로 쓸 수 있다.
스스로 점검하는 연습 문제
연습으로 정의역 {1,2,3}, 공역 {a,b,c}에 1→b, 2→c, 3→a를 대응시켜 보자. 출력이 중복되지 않고 공역의 세 원소가 모두 사용되므로 일대일 대응이다. 이번에는 공역에 d를 하나 더 넣어 보자. 대응 화살표는 변하지 않지만 d가 남으므로 일대일 함수이면서 일대일 대응은 아닌 예가 된다.
식 연습에서는 f(x)=3x-2를 실수에서 실수로 보는 경우를 확인해 보자. f(a)=f(b)에서 3a-2=3b-2이므로 a=b이고, 임의의 실수 y에 대해 x=(y+2)/3을 고르면 f(x)=y다. 따라서 단사와 전사를 모두 만족한다. 계산의 목적은 공식을 길게 전개하는 것이 아니라 두 조건을 각각 보이는 데 있다.
마지막으로 답안을 검토할 때는 일대일 함수와 일대일 대응이라는 말을 바꾸어 읽어 본다. 출력 중복이 없다는 근거만 썼다면 일대일 함수까지의 설명이다. 공역이 모두 사용됐다는 근거까지 썼는지 확인해야 일대일 대응 결론이 완성된다. 조건과 결론의 범위를 맞추는 이 점검이 서술형에서 감점을 줄여 준다.
그래프와 식을 함께 확인하는 이유
그래프는 출력의 겹침을 눈으로 확인하게 해 주고, 식은 그 이유를 논리적으로 설명하게 해 준다. 예를 들어 증가함수는 정의역 전체에서 값이 커지는 방향이 유지되므로 수평선이 한 번만 만나 일대일 함수가 된다. 하지만 증가한다는 사실만으로 공역 전체를 채운다고 말할 수는 없다. 그래프의 실제 y값 범위와 문제의 공역을 비교하는 마지막 단계가 필요하다.
유리함수나 루트함수처럼 정의되지 않는 값이 있는 식에서는 정의역을 먼저 정리해야 한다. 분모가 0이 되는 값, 루트 안이 음수가 되는 값은 애초에 입력으로 쓸 수 없다. 이후 출력 범위를 구하고 공역과 대조하면 전사성 여부를 판단할 수 있다. 단순히 모양을 암기하기보다 정의역·치역·공역을 차례로 적는 풀이가 안전하다.
수학적 언어는 조건을 정확히 전달하는 도구다. 일대일 함수라고 할 때는 입력과 출력의 유일성을, 일대일 대응이라고 할 때는 두 집합의 완전한 짝짓기를 말한다. 그래프, 표, 식 중 어느 표현을 만나도 같은 질문으로 번역해 보자. 출력 중복은 없는가, 공역의 빈자리는 없는가라는 두 질문이 가장 실용적인 기준이 된다.
한 문장으로 정리하기
일대일 함수는 서로 다른 입력이 서로 다른 출력으로 가는 함수이고, 일대일 대응은 그 조건에 더해 공역의 모든 원소가 빠짐없이 한 번씩 짝지어지는 함수다. 이 문장을 기준으로 표의 출력 중복, 화살표의 도착점 개수, 그래프의 수평선 교점, 식의 역방향 해 존재 여부를 차례로 확인하면 대부분의 기본 문제를 일관되게 풀 수 있다.
학습 노트에는 함수 이름 옆에 정의역과 공역을 함께 적어 두는 것이 좋다. 특히 같은 식을 서로 다른 집합에서 다룬 예시를 나란히 놓으면 왜 일대일성이나 전사성이 바뀌는지 쉽게 비교할 수 있다. 답을 낸 뒤에는 공역의 빈자리를 확인했는지 마지막으로 되묻자. 이 확인이 일대일 함수와 일대일 대응의 경계를 분명하게 만든다.
공식 교육 자료와 교과서의 정의를 기준으로 용어를 확인하고, 어려운 증명은 작은 유한 집합의 화살표 그림으로 먼저 바꾸어 보자. 그림에서 정확히 한 번씩 연결되는 모습을 이해한 다음 기호 표현으로 돌아오면 단사와 전사, 역함수의 관계도 자연스럽게 이어진다. 반복 연습에서는 결론보다 판별 순서를 말로 설명하는 데 초점을 두면 개념이 오래 남는다.