편집을 취소할 수 있습니다. 이 편집을 되돌리려면 아래의 바뀐 내용을 확인한 후 게시해주세요.
최신판 | 당신의 편집 | ||
4번째 줄: | 4번째 줄: | ||
== 예시 == | == 예시 == | ||
예를 들어, [[함수]] ''f''를 다음과 같이 [[정의]]한다고 하자. | 예를 들어, [[함수 (수학)|함수]] ''f''를 다음과 같이 [[정의]]한다고 하자. | ||
:<math>f:\mathbb{Z}_2\to\mathbb{Z}_4,\quad f([n]_2)=[n]_4\text{ for each }n\in \mathbb{Z}</math> | :<math>f:\mathbb{Z}_2\to\mathbb{Z}_4,\quad f([n]_2)=[n]_4\text{ for each }n\in \mathbb{Z}</math> | ||
그러면 <math>([1]_2,[1]_4)\in f</math>이고 <math>([3]_2,[3]_4)\in f</math>이다. 그런데 <math>[1]_2=[3]_2</math>이고 <math>[1]_4\ne [3]_4</math>이므로, 함수의 정의에 모순된다. 따라서 ''f''는 잘 정의되지 않았다.<ref>함수 | 그러면 <math>([1]_2,[1]_4)\in f</math>이고 <math>([3]_2,[3]_4)\in f</math>이다. 그런데 <math>[1]_2=[3]_2</math>이고 <math>[1]_4\ne [3]_4</math>이므로, 함수의 정의에 모순된다. 따라서 ''f''는 잘 정의되지 않았다.<ref>함수 |