치역 | aka.page

함수에서 치역은 입력값에 대응하여 실제로 나타나는 모든 출력값들의 집합을 의미한다.

1. 개요

함수에서 치역은 입력값에 대응하여 실제로 나타나는 모든 출력값들의 집합을 의미한다.^[1] 수학적 관계에서 정의역에 속하는 각 원소가 특정한 규칙에 따라 대응될 때, 그 결과로 도출되는 실수 값들의 모임을 뜻한다.^[2] 이는 함수가 가질 수 있는 모든 가능한 결과값의 범위를 나타내는 핵심적인 개념이다.

함수의 구조를 정의할 때는 정의역과 공역을 함께 설정하는 것이 일반적이다.^[3] 공역은 함수가 가질 수 있는 잠재적인 출력값들의 전체 집합을 의미하지만, 치역은 그중에서 실제로 함수의 규칙에 의해 선택된 값들로만 구성된다.^[5] 따라서 치역은 항상 공역의 부분집합 관계를 유지하며, 공역과 치역이 일치하는 경우를 전사 함수라고 부른다.

수학적 모델을 구축할 때 치역을 파악하는 것은 함수의 성질을 규명하는 데 필수적이다. 예를 들어, 이차함수 $f (x) = x [^{2}]$ 의 경우 정의역이 모든 실수일지라도 치역은 0 이상의 실수로 제한된다.^[3] 또한 삼각함수 중 하나인 사인 함수 $f (x) = sin x$ 의 치역은 -1에서 1 사이의 값으로 결정된다.^[3] 이처럼 치역은 함수의 출력 범위를 명확히 규정하여 모델의 물리적 또는 수학적 타당성을 검토하는 기준이 된다.

치역의 범위는 함수의 식과 정의역의 설정에 따라 매우 다양하게 변동될 수 있다. 일차함수 $f (x) = 5 x + 3$ 과 같이 모든 실수를 입력할 수 있는 경우에는 치역 역시 모든 실수가 된다.^[2] 반면, 입력 가능한 값의 범위가 제한되거나 함수의 특성에 따라 특정 구간으로 출력이 고정될 수 있으므로, 함수를 다룰 때는 반드시 치역의 범위를 정확히 산출해야 한다.

2. 정의역 및 공역과의 관계

함수가 성립하기 위해서는 입력값과 출력값이 속할 집합이 사전에 정의되어야 한다. 정의역은 함수에 입력될 수 있는 모든 가능한 x값들의 집합을 의미하며, 함수가 실수를 출력하도록 설계된 경우 입력값은 실수 범위 내에서 결정된다.^[2] 예를 들어 $f (x) = 5 x + 3$ 과 같은 함수에서 $x$ 에 대입할 수 있는 값은 양수, 음수, 0을 포함한 모든 실수가 된다.^[2]

공역은 함수를 통해 도출될 수 있는 후보군인 출력값들의 집합으로 정의된다. 이는 관계를 설정할 때 함수가 가질 수 있는 맥락을 제공하기 위해 집합 $A$ 와 $B$ 사이의 데카르트 곱의 부분집합으로서 정의되는 요소이다.^[5] 공역은 함수가 실제로 도달할 수 있는 값뿐만 아니라, 규칙에 따라 대응될 가능성이 있는 모든 값을 포함하는 개념이다.

치역은 공역의 부분집합으로서, 정의역의 원소들이 함수 규칙에 따라 실제로 대응되어 나타나는 결과값들의 집합이다.^[3] 공역이 출력 가능한 전체 후보군을 나타낸다면, 치역은 그중에서 실제로 선택된 값들의 모임이다. 예를 들어 정의역이 실수 전체인 $f (x) = x [^{2}]$ 함수에서 공역은 실수 전체가될수 있으나, 실제 출력되는 값은 0 이상의 실수이므로 치역은 0 이상의 실수 집합이 된다.^[3]

정의역, 공역, 치역은 함수의 성질을 결정하는 상호 유기적인 관계를 형성한다. 함수는 정의역의 각 원소를 공역의 특정 원소에 대응시키는 규칙이며, 이 과정에서 치역은 반드시 공역의 부분집합이 되어야 한다.^[5] 삼각함수인 $f (x) = sin x$ 의 경우, 정의역이 실수 전체일 때 실제 출력되는 값의 범위인 치역은 $- 1$ 에서 $1$ 사이의 실수로 제한된다.^[3]

3. 공역과 치역의 차이

함수를 정의할 때 공역과 치역은 서로 밀접하게 연관되어 있으나 수학적으로 엄밀히 구분되는 개념이다. 공역은 함수가 가질 수 있는 모든 가능한 출력값의 집합을 의미하며, 함수가 성립하기 위해 사전에 설정되어야 하는 대상 집합이다.^[1] 반면 치역은 정의역의 원소들이 대응 규칙에 따라 실제로 도출해낸 결과값들의 집합을 뜻한다.^[2] 즉, 공역은 결과값이 속할 수 있는 전체 범위를 나타내는 틀의 역할을 수행한다.

두 집합 사이에는 포함 관계가 존재한다. 치역은 항상 공역의 부분집합이 되며, 함수에 따라 치역과 공역이 일치할 수도 있고 치역이 공역보다 작을 수도 있다. 예를 들어 실수 전체를 공역으로 설정한 함수 $f (x) = x [^{2}]$ 의 경우, 실제 도출되는 값인 치역은 0 이상의 실수 집합이 된다. 이처럼 공역은 함수가 출력할 수 있는 후보군을 모두 포함하지만, 치역은 그중에서 실제로 선택된 값들만을 모은 것이다.

이러한 개념의 차이는 함수의 성질을 분석할 때 매우 중요하다. 삼각함수 중 하나인 $sin x$ 를 실수 전체 범위에서 다룰 때, 공역을 실수 전체로 설정하더라도 실제 치역은 $- 1$ 과 $1$ 사이의 값으로 제한된다.^[3] 이처럼 공역과 치역을 혼동하면 함수의 정확한 범위를 파악하는 데 오류가 생길 수 있다. 따라서 수학적 관계를 명확히 규정하기 위해서는 입력값의 집합인 정의역과 함께, 잠재적 결과값인 공역과 실제 결과값인 치역을 분리하여 이해해야 한다.

4. 수학적 예시와 계산

이차함수의 형태를 띠는 $f (x) = x [^{2}]$ 를 예로 들어 치역의 산출 과정을 살펴볼 수 있다. 이 함수에서 정의역이 실수 전체 집합인 경우, 입력값 $x$ 에 어떠한 실수를 대입하더라도 그 결과값인 $y$ 는 항상 0보다 크거나 같은 값을 가진다.^[3] 따라서 이 함수의 치역은 0을 포함한 모든 양의 실수 집합이 된다. 이를 구간 표기법을 사용하여 나타내면 $[0, \infty)$ 로 표현할 수 있으며, 부등식으로는 $f (x) \geq 0$ 으로 기술한다.^[3]

삼각함수 중 하나인 사인 함수 $f (x) = sin x$ 의 경우에도 치역을 통해 함수의 특성을 파악할 수 있다. 정의역이 실수 전체일 때, 사인 함수의 출력값은 항상 -1과 1 사이의 범위 내에서 결정된다.^[3] 이러한 결과는 함수의 그래프가 특정 수직 범위를 벗어나지 않음을 의미하며, 치역이 $[- 1, 1]$ 이라는 구체적인 집합으로 정의됨을 보여준다. 이처럼 함수의 종류와 설정된 정의역에 따라 치역은 서로 다른 집합의 형태를 띠게 된다.

관계를 함수로 정의하기 위해서는 적절한 공역과 정의역의 설정이 필수적이다.^[1] 함수는 입력값 $x$ 를 받아 특정 규칙에 따라 출력값 $y$ 를 산출하는 과정이며, 이때 실제로 도출된 $y$ 값들의 모임이 치역을 구성한다.^[2] 만약 $f (x) = 5 x + 3$ 과 같은 일차함수를 다룬다면, $x$ 에 양수, 음수, 0을 포함한 모든 실수를 대입할 수 있으므로 치역 또한 실수 전체의 집합이 된다.^[2] 이와 같이 치역의 계산은 함수의 식과 입력 가능한 값의 범위를 분석함으로써 이루어진다.

5. 함수의 이미지와 원상

함수 $f : A \to B$ 가 정의될 때, 정의역 $A$ 의 특정 부분집합 $S$ 를 고려하면 해당 집합에 속하는 원소들을 함수에 대입하여 얻을 수 있는 결과값들의 집합을 정의할 수 있다. 이를 상 또는 이미지라고 부른다. 만약 $S$ 가 정의역 $A$ 전체와 같다면, 이 이미지의 집합은 앞서 다룬 치역과 동일한 개념이 된다.^[1] 즉, 이미지는 함수의 대응 규칙에 의해 결정되는 출력값들의 모임을 의미하며, 이는 공역의 부분집합으로서 존재한다.

이미지의 개념을 역방향으로 확장하면 원상 또는 역상이라는 개념이 도출된다. 공역 $B$ 의 임의의 원소 $y$ 에 대하여, 함수 $f$ 를 통해 $y$ 로 대응되는 정의역 $A$ 의 원소들을 모두 모은 집합을 원상이라 한다. 이는 특정 결과값이 나타나게 만드는 입력값들의 집합을 찾는 과정과 같다. 따라서 함수는 정의역의 원소를 공역의 원소로 연결하는 대응 관계를 형성하며, 이 과정에서 상과 원상은 서로 대응되는 논리적 구조를 가진다.

이러한 상과 원상의 관계는 함수의 성질을 분석하는 데 핵심적인 역할을 한다. 예를 들어, 공역의 모든 원소가 함수의 상에 포함된다면 해당 함수는 전사 함수의 성질을 갖는다. 또한, 하나의 원상이 오직 하나의 원소에 의해서만 생성된다면 이는 단사 함수의 특성과 연관된다. 이러한 대응 관계의 구조적 특징을 파악함으로써 수학적 모델링에서 입력과 출력 사이의 정밀한 관계를 규명할 수 있다.^[2]

6. 직관적 이해를 위한 비유

함수의 작동 원리를 일상적인 사물에 비유하면 치역의 개념을 더욱 쉽게 파악할 수 있다. 대표적인 예로 자판기 모델을들수 있다. 자판기에 동전이나 지폐를 넣는 행위는 정의역의 원소를 입력하는 과정에 해당하며, 자판기 내부의 연산 규칙에 따라 특정 음료수가 나오는 것은 출력값을 얻는 과정과 유사하다. 이때 자판기에서 실제로 배출되어 사용자가 손에쥘수 있는 모든 음료수의 종류를 모아놓은 집합이 바로 치역이 된다.^[1]

이 비유에서 자판기가 보유하고 있는 전체 음료수 목록은 공역의 개념으로 설명할 수 있다. 자판기 기계 안에는 콜라, 사이다, 주스 등 다양한 종류의 음료수가 들어있지만, 사용자가 특정 버튼을 눌렀을 때 실제로 나오는 음료수는 그중 일부에 한정될 수 있다. 예를 들어, 사용자가 투입한 입력값에 대응하여 기계가 실제로 내놓은 결과물들의 집합만이 치역으로 정의된다.^[2] 만약 자판기에 주스가 들어있더라도 어떤 입력값에 대해서도 주스가 나오지 않는다면, 그 주스는 공역에는 포함되지만 치역에는 포함되지 않는다.

이러한 대응 관계를 통해 수학적 모델을 시각화하면 함수의 구조를 명확히 이해할 수 있다. 실수 전체를 입력값으로 사용하는 함수에서 결과값이 특정 범위 내에 머무는 현상은 자판기에서 특정 버튼을 눌렀을 때 정해진 음료수만 나오는 것과 같다. 따라서 치역은 단순히 가능한 모든 값의 집합이 아니라, 입력된 값들이 대응 규칙을 거쳐 실제로 도달한 결과들의 집합임을알수 있다.