항등원: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
항등원의 약자의 유래를 편집했습니다 |
어감을 바꿨다 |
||
1번째 줄: | 1번째 줄: | ||
[[군론]]을 비롯한 [[대수학]]에서, '''항등원'''({{lang|ko-Hani|恒等元}}, Identity element)이란 [[집합]] 내의 어떤 [[원소]]와 [[연산]]을 취해도 자기 자신이 되게 하는 원소를 말한다.항등원이 e가 된 유래는 저명한 수학자 오일러(Leonhard Euler, 1707~1783)의 앞 글자를 따서 |
[[군론]]을 비롯한 [[대수학]]에서, '''항등원'''({{lang|ko-Hani|恒等元}}, Identity element)이란 [[집합]] 내의 어떤 [[원소]]와 [[연산]]을 취해도 자기 자신이 되게 하는 원소를 말한다.항등원이 e가 된 유래는 저명한 수학자 오일러(Leonhard Euler, 1707~1783)의 앞 글자를 따서 쓴것이다. 항등원이 무엇인지는 그 집합과 [[이항연산]]의 종류에 따라 달라진다. 쉽게 말해서, 1개의 양을 전혀 달라 보이는 다른 양과 같게 만드는 [[수학|수학적]] 관계를 말한다고 생각하면 된다. [[피타고라스의 정리]]와 같이, 항상 참이 되는 것이 [[방정식]]을 의미하기도 한다. |
||
== 정의 == |
== 정의 == |
2019년 1월 15일 (화) 12:01 판
군론을 비롯한 대수학에서, 항등원(恒等元, Identity element)이란 집합 내의 어떤 원소와 연산을 취해도 자기 자신이 되게 하는 원소를 말한다.항등원이 e가 된 유래는 저명한 수학자 오일러(Leonhard Euler, 1707~1783)의 앞 글자를 따서 쓴것이다. 항등원이 무엇인지는 그 집합과 이항연산의 종류에 따라 달라진다. 쉽게 말해서, 1개의 양을 전혀 달라 보이는 다른 양과 같게 만드는 수학적 관계를 말한다고 생각하면 된다. 피타고라스의 정리와 같이, 항상 참이 되는 것이 방정식을 의미하기도 한다.
정의
집합 S와 S에 대해 닫혀 있는 이항연산 *로 이루어진 마그마 (S, *)가 주어졌을 때,
- S의 모든 원소 a에 대해 eL * a = a가 성립한다면, eL을 좌항등원이라 한다.
- S의 모든 원소 a에 대해 a * eR = a가 성립한다면, eR을 우항등원이라 한다.
- 만약 좌항등원과 우항등원이 같다면, e = eL = eR을 항등원이라 한다.
환론과 체론 등에서는 특별히 덧셈에 대한 항등원과 곱셈에 대한 항등원을 구분하기도 하며, 특별히 곱셈에 대한 항등원을 단위원(單位元, unity)이라고 부르기도 한다.
항등원의 예
집합 | 연산자 | 항등원 |
---|---|---|
실수 | + (덧셈) | 0 |
실수 | × (곱셈) | 1 |
정사각행렬 | 행렬의 덧셈 | 영행렬 |
정사각행렬 | 행렬의 곱셈 | 단위행렬 |
함수 | 합성함수 | 항등함수 |
같이 읽기
이 글은 수학에 관한 토막글입니다. 여러분의 지식으로 알차게 문서를 완성해 갑시다. |