행위

항등원

조무위키

이 문서는 이과가 작성했거나, 또는 이과에 대해 다룹니다.
무슨 생각으로 작성한 건지는 잘 모르겠습니다만 맞는말임은 틀림 없습니다.
이과는 아다를 못 떼 마법을 쓰니까 말이죠...

정의[편집]

어떤 연산 @와 임의의 수 a에 대해

a @ x = x @ a = a를 만족하는 x를 연산 @의 항등원이라 한다.

예시[편집]

덧셈의 경우에는

임의의 수 a에 대해

a + 0 = 0 + a = a이기 때문에 덧셈의 항등원은 0이다.

참고로 곱셈의 항등원은 1이다. 귀찮아서 증명은 생략.

관련 문서[편집]