정의역 문서 원본 보기

{{위키데이터 속성 추적}}
[[파일:Codomain2.SVG|right|섬네일|250px|함수 <math>f\colon X\to Y</math>이다. 빨간색 점의 집합 {{mvar|X}}는 함수 {{mvar|f}}의 정의역이다.]]

[[수학]]에서 어떤 [[함수]]의 '''정의역'''(定義域, {{llang|en|domain}})은 함수가 어떤 값을 대응시키는지가 정의된 원소들로 구성된 [[집합]]이다.

== 정의 ==
[[수학]]에서, [[함수]] <math>f\colon X\to Y</math>는 [[집합]] <math>X</math>의 각 원소에 대하여 <math>Y</math>의 한 원소를 [[대응 (수학)|대응]]시키는 수학적 대상이다. 이 경우 <math>X</math>를 <math>f</math>의 '''정의역'''이라고 한다. 반면, <math>Y</math>는 <math>f</math>의 [[공역]]이다.

== 예 ==
예를 들어, [[함수]] <math>y</math>=1.5<math>x</math>에 대해 [[변수 (수학)|변수]] <math>x</math>,<math>y</math>가 각각 <math>X</math>={1, 2, 3}, <math>Y</math>={1.5, 3, 4.5}의 [[원소 (수학)|원소]]라고 할 때, [[집합]] <math>X</math>를 [[함수]] <math>y</math>=1.5<math>x</math>의 정의역이라고 할 수 있다.

:<math>y=1.5x  (1 \leqq  x  \leqq 3)    </math>
== 같이 보기 ==
* [[공역]]
* [[상 (수학)]]
* [[소박한 집합론]]
* [[치역]]
* [[지지집합]]

{{집합론}}
{{토막글|수학}}

[[분류:함수와 사상]]
[[분류:집합론의 기본 개념]]