최근 수정 시각 : 2024-01-01 11:33:16

이항연산

연산
Numbers and Operations
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)"
{{{#!folding [ 펼치기 · 접기 ]
{{{#!wiki style="margin: -5px -1px -11px"
<colbgcolor=#765432> 수 체계 자연수 (홀수 · 짝수 · 소수 · 합성수) · 정수 · 유리수 (정수가 아닌 유리수) · 실수 (무리수 · 초월수) · 복소수 (허수) · 사원수
표현 숫자 (아라비아 숫자 · 로마 숫자 · 그리스 숫자) · 기수법(과학적 기수법 · E 표기법 · 커누스 윗화살표 표기법 · 콘웨이 연쇄 화살표 표기법 ·BEAF· 버드 표기법) · 진법 (십진법 · 이진법 · 8진법 · 12진법 · 16진법 · 60진법) · 분수 (분모 · 분자 · 기약분수 · 번분수 · 연분수 · 통분 · 약분) · 소수 {유한소수 · 무한소수 (순환소수 · 비순환소수)} · 환원 불능 · 미지수 · 변수 · 상수
연산 사칙연산 (덧셈 · 뺄셈 · 곱셈 구구단 · 나눗셈) · 역수 · 절댓값 · 제곱근 (이중근호) · 거듭제곱 · 로그 (상용로그 · 자연로그 · 이진로그) · 검산 · 연산자 · 교환자
방식 암산 · 세로셈법 · 주판 · 산가지 · 네이피어 계산봉 · 계산기 · 계산자
용어 이항연산(표기법) · 항등원과 역원 · 교환법칙 · 결합법칙 · 분배법칙
기타 수에 관련된 사항 (0과 1 사이의 수 · 음수 · 작은 수 · 큰 수) · 혼합 계산 (48÷2(9+3) · 111+1×2=224 · 2+2×2) · 0으로 나누기(바퀴 이론) · 0의 0제곱 }}}}}}}}}

1. 개요2. 수학적 정의3. 결합법칙4. 항등원5. 역원6. 군(group), 환(ring), 체(field)7. 고등학교 교육과정

1. 개요

/ binary operation

두 개의 항으로부터 결과를 얻어내는 연산. 가장 간단한 예로 덧셈, 곱셈, 지수 등이 있다. 기본적으로 우리가 사용하는 연산은 대부분 이항 연산이다. [math(1+2+3)]은 얼마냐고 물어봤을 때 세 개를 동시에 계산하여 삼항연산(?)을 통해 [math(6)]이 된다고 생각하겠지만, 우선 앞에 두 수를 더해서 [math((1+2)+3)]이 되고 다시 두 수를 더해 [math(3+3)]이 되어 [math(6)]이 되는 것이다. 초등학교를 나온 사람이라면 기본적으로 덧셈이라는 연산에 대해 훈련이 되어 있기 때문에 이 과정을 의식하지 못하는 것뿐이다.

2. 수학적 정의

집합 [math(S)]가 있을 때, [math(S)]에서 닫혀 있는 이항 연산은 다음과 같은 함수를 말한다.
[math(*: S \times S \to S)][1]
[math(S)]의 원소 [math(a)], [math(b)]를 이항연산한 결과를 일반적인 함수처럼 전위표기법을 써서 [math(* \left( a, b \right))]으로 나타낼 수도 있지만, 보통의 이항연산은 중위표기법을 사용해 [math(a * b)]와 같이 많이 나타낸다.

3. 결합법칙

[math(\left( a * b \right) * c = a * \left( b * c \right))]가 항상 성립할 때, 이 이항연산은 결합법칙을 만족한다고 한다.

4. 항등원

집합 [math(S)]의 원소 중에 원소 [math(e)]가 존재하여 [math(a * e = e * a = a)]가 항상 성립할 때 [math(e)]를 이 이항연산의 항등원이라고 부른다.

5. 역원

항등원 [math(e)]가 있을 때, [math(a * a' = a' * a = e)]가 성립하는 [math(a')][2]이 있으면 [math(a')]을 [math(a)]의 역원이라고 한다. [math(a')]은 [math(a)]의 값에 따라 다를 수 있다.

6. 군(group), 환(ring), 체(field)

1. 집합 [math(G)]에 이항연산 [math(*)]가 정의되어 있고, (물론 닫혀 있어야 한다.)
2. [math(*)]가 결합법칙을 만족시키고,
3. [math(G)]가 항등원을 가지고 있고,
4. [math(G)]의 모든 원소들이 각각 역원을 가지고 있을 때,
[math(\left( G, * \right))]가 군(group)을 이룬다고 한다. 여기서 이항연산이 [math(*)]인 것이 뻔할 때에는 그냥 "[math(G)]가 군을 이룬다", 혹은 "[math(G)]는 군이다"라고 한다.

[math(a*b = b*a)]가 항상 성립할 때 교환가능하다고 하는데, 이런 연산을 가진 그룹은 가환군(Abelian group)이라고 부르며, 정수라는 집합에 주어진 덧셈이 가장 잘 알려진 예제다. 항등원은 [math(0)], [math(n)]의 역원은 [math(-n)]. 이에 착안하여 가환군의 연산은 보통 +로 표기한다. 가환군에 또다른 연산인 곱셈이 정의되어 분배법칙이 성립하고, 곱셈에 결합법칙이 성립하면 환(ring)이라고 하며, 0을 제외한 원소들에 곱셈에 대한 역원이 있고 가환이면 체(field)라고 한다. 여기서 곱셈의 가환 조건을 만족하지 않으면 꼬인 체(skew field)라고 한다.

7. 고등학교 교육과정

이항연산과 행렬 등이 수학교육학에서 갖는 의의는, 교환법칙이나 결합법칙 등이 실수 외의 체계에서는 성립하지 않을 수도 있다는 점이다. 그래선지 이를 간과하면 틀릴 수도 있는 상황을 행동 영역(쉽게 말해 문제 학습)에 제시하는 편이다.

그래선지 고등학교 1학년 과정 초반에 '항등원과 역원' 등과 함께 기초적으로 제시되는 내용이었으나, 2009 개정 교육과정에서 '행렬'을 탈락시켰고 '항등원과 역원'의 필연성이 저하됨에 따라 함께 빠졌다. 수능 미출제 과목인 고급 수학Ⅰ·Ⅱ에서조차 다루지 않는다. 2022 개정 교육과정에서 '행렬' 부활이 확정적으로 논의됨에 따라 '이항연산'까지는 아니더라도 '항등원과 역원'은 다시 복귀할 가능성이 커졌다.


[1] [math(S \times S = \left \{ \left( x, y \right) |x, y \in S \right \})][2] [math(a^{-1})]로 표기하기도 한다.

분류