정의역

함수 $f:X\to Y$이다. 빨간색 점의 집합 틀:Mvar는 함수 틀:Mvar의 정의역이다.

수학에서 어떤 함수의 정의역(定義域, 틀:Llang)은 함수가 어떤 값을 대응시키는지가 정의된 원소들로 구성된 집합이다.

정의

수학에서, 함수 $f:X\to Y$는 집합 $X$의 각 원소에 대하여 $Y$의 한 원소를 대응시키는 수학적 대상이다. 이 경우 $X$를 $f$의 정의역이라고 한다. 반면, $Y$는 $f$의 공역이다.

예

예를 들어, 함수 $y$=1.5$x$에 대해 변수 $x$,$y$가 각각 $X$={1, 2, 3}, $Y$={1.5, 3, 4.5}의 원소라고 할 때, 집합 $X$를 함수 $y$=1.5$x$의 정의역이라고 할 수 있다.

$y=1.5x(1\leqq x\leqq 3)$

같이 보기

• 공역
• 상 (수학)
• 소박한 집합론
• 치역
• 지지집합