(새 문서: 恒等元. Identity element(또는 그냥 identity). 수학에서 항등원이란 거칠게 말하면 연산해 보았자 그대로인 원소를 말한다. 정식 정의는 다음...) |
잔글 (불필요한 공백 제거) |
||
| (사용자 6명의 중간 판 7개는 보이지 않습니다) | |||
| 1번째 줄: | 1번째 줄: | ||
恒等元. Identity element(또는 그냥 identity). | |||
'''恒等元. Identity element'''(또는 그냥 '''identity'''). | |||
수학에서 항등원이란 거칠게 말하면 연산해 보았자 그대로인 원소를 말한다. | 수학에서 항등원이란 거칠게 말하면 연산해 보았자 그대로인 원소를 말한다. | ||
| 7번째 줄: | 9번째 줄: | ||
* [''S''의 모든 원소 ''a''에 대해 ''a''∗''e''=''a'']인 ''S''의 원소 ''e''가 존재하면, 이를 '''우항등원(right identity)'''이라 한다. | * [''S''의 모든 원소 ''a''에 대해 ''a''∗''e''=''a'']인 ''S''의 원소 ''e''가 존재하면, 이를 '''우항등원(right identity)'''이라 한다. | ||
* ''S''의 원소 ''e''가 좌항등원이자 우항등원이면, '''양쪽 항등원(two‐sided identity)''' 혹은 그냥 '''항등원'''이라 한다. | * ''S''의 원소 ''e''가 좌항등원이자 우항등원이면, '''양쪽 항등원(two‐sided identity)''' 혹은 그냥 '''항등원'''이라 한다. | ||
항등원은 존재하면 유일하므로, 그냥 ''e'' 혹은 혼동의 여지가 있을 때는 ''e''<sub>''S''</sub>와 같이 표기한다. 한편, 이항연산이 덧셈일 때는 [[정수]]에서의 예에 따라 0으로, 곱셈일 때는 역시 정수에서의 예에 따라 1로 표기하는 경우가 많다. | 항등원은 존재하면 유일하므로, 그냥 ''e'' 혹은 혼동의 여지가 있을 때는 ''e''<sub>''S''</sub>와 같이 표기한다. 한편, 이항연산이 덧셈일 때는 [[정수]]에서의 예에 따라 0으로, 곱셈일 때는 역시 정수에서의 예에 따라 1로 표기하는 경우가 많다. | ||
==항등원의 특성== | ==항등원의 특성== | ||
마그마 (''S'', ∗)에 좌항등원과 우항등원이 모두 존재하면 둘은 서로 같다. | 마그마 (''S'', ∗)에 좌항등원과 우항등원이 모두 존재하면 둘은 서로 같다. | ||
(증명) 좌항등원을 ''e'', 우항등원을 ''f''라 적으면 정의에 의해 ''e''=''e''∗''f''=''f''이기 때문이다. 따라서 ''e''=''f''는 ''S''의 (양쪽) 항등원이 된다. | :(증명) 좌항등원을 ''e'', 우항등원을 ''f''라 적으면 정의에 의해 ''e''=''e''∗''f''=''f''이기 때문이다. | ||
따라서 ''e''=''f''는 ''S''의 (양쪽) 항등원이 된다. | |||
위 명제에 따라 항등원은 존재하면 유일함을 금방 알 수 있다. | 위 명제에 따라 항등원은 존재하면 유일함을 금방 알 수 있다. | ||
마그마에는 좌항등원이 여럿 존재하거나, 우항등원이 여럿 존재할 수 있다. 그러나 좌항등원과 우항등원이 모두 존재하는 경우, 위 명제에 따라 양쪽 항등원 하나만을 유일하게 갖게 된다. | |||
==관련 문서== | |||
* [[역원]] | |||
----<references /> | ----<references /> | ||
[[분류:대수학]] | |||
2021년 6월 16일 (수) 01:14 기준 최신판
恒等元. Identity element(또는 그냥 identity).
수학에서 항등원이란 거칠게 말하면 연산해 보았자 그대로인 원소를 말한다.
정식 정의는 다음과 같다. (S, ∗)가 마그마(magma)[1]일 때,
- [S의 모든 원소 a에 대해 e∗a=a]인 S의 원소 e가 존재하면, 이를 좌항등원(left identity)이라 한다.
- [S의 모든 원소 a에 대해 a∗e=a]인 S의 원소 e가 존재하면, 이를 우항등원(right identity)이라 한다.
- S의 원소 e가 좌항등원이자 우항등원이면, 양쪽 항등원(two‐sided identity) 혹은 그냥 항등원이라 한다.
항등원은 존재하면 유일하므로, 그냥 e 혹은 혼동의 여지가 있을 때는 eS와 같이 표기한다. 한편, 이항연산이 덧셈일 때는 정수에서의 예에 따라 0으로, 곱셈일 때는 역시 정수에서의 예에 따라 1로 표기하는 경우가 많다.
항등원의 특성[편집 | 원본 편집]
마그마 (S, ∗)에 좌항등원과 우항등원이 모두 존재하면 둘은 서로 같다.
- (증명) 좌항등원을 e, 우항등원을 f라 적으면 정의에 의해 e=e∗f=f이기 때문이다.
따라서 e=f는 S의 (양쪽) 항등원이 된다.
위 명제에 따라 항등원은 존재하면 유일함을 금방 알 수 있다.
마그마에는 좌항등원이 여럿 존재하거나, 우항등원이 여럿 존재할 수 있다. 그러나 좌항등원과 우항등원이 모두 존재하는 경우, 위 명제에 따라 양쪽 항등원 하나만을 유일하게 갖게 된다.
관련 문서[편집 | 원본 편집]
- ↑ ∗는 S 위의 이항연산이라는 것 외에 아무 조건이 없는 대수구조(algebraic structure). “S 위의 이항연산”이라 하였으므로 S가 ∗에 관해 닫혀 있어야 함은 물론이다.