상 (수학)

수학에서 상(像, )은 어떤 함수에 대한 정의역의 원소(들)에 대응하는 공역의 원소(들)이다. 반대로, 원상(原像, ) 또는 역상(逆像, )은 어떤 함수에 대한 공역의 원소(들)에 대응하는 정의역의 원소(들)이다.

정의 
정의역이 , 공역이 인 함수 를 생각하자.

정의역의 원소 의, 함수 에 대한 상은 공역의 원소

이다. 정의역의 부분 집합 의, 함수 에 대한 상은 공역의 부분 집합

이다.

공역의 원소 의, 함수 에 대한 원상은 정의역의 부분 집합

이다. 이는 정의역의 원소가 아니라, 정의역의 부분 집합이라는 데 주의하자.

공역의 부분 집합 의, 함수 에 대한 원상은 정의역의 부분 집합

이다.

정의역의 상을 치역이라고 한다. 반대로, 공역의 원상은 항상 정의역이다.

상과 원상의 표기는 다음과 같이 여러 가지가 있다.

성질 
함수  및 정의역의 부분 집합들  및 공역의 부분 집합들 에 대하여, 다음이 성립한다.
 
 
 
 
 
 
 
 
 라면, 
 라면,

외부 링크 
 
 
 
 
 
 

함수와 사상
집합론의 기본 개념