역연산 (inverse operation)
역연산(逆演算, inverse operation)은 어떤 연산의 결과로부터 그 연산이 수행되기 이전의 원래 값으로 되돌리는 연산을 의미한다. '역산'(逆算)이라고도 한다. 수학에서 연산(operation)이 주어졌을 때, 그 역연산은 해당 연산의 효과를 상쇄하여 항등원(identity element)으로 되돌리는 작용을 한다.
정의
집합 S 위에서 정의된 이항 연산 ∗에 대하여, 연산 ∗의 역연산은 임의의 두 원소 a, b에 대해 a ∗ b를 대응시키는 연산의 효과를 거꾸로 되돌리는 연산이다. 즉, a ∗ b = c일 때, c로부터 a 또는 b를 복원할 수 있게 하는 연산이 ∗의 역연산에 해당한다.
예시
실수 체계에서의 대표적인 역연산 관계는 다음과 같다.
- 덧셈과 뺄셈: 뺄셈은 덧셈의 역연산이며, 덧셈은 뺄셈의 역연산이다. 예를 들어, a + b = c일 때 c − b = a가 성립한다.
- 곱셈과 나눗셈: 나눗셈은 곱셈의 역연산이며, 곱셈은 나눗셈의 역연산이다. 예를 들어, a × b = c일 때(b ≠ 0) c ÷ b = a가 성립한다.
- 거듭제곱과 제곱근: 제곱근을 구하는 연산은 거듭제곱의 역연산이다. 예를 들어, a² = b일 때 √b = a(a ≥ 0)가 성립한다.
- 지수와 로그: 로그 연산은 지수 연산의 역연산이다. aˣ = b일 때 logₐb = x가 성립한다.
관련 개념
역연산은 역원(inverse element) 및 항등원(identity element)의 개념과 밀접하게 연관된다. 연산 ∗에 대한 항등원 e가 존재할 때, 원소 a의 역원 a⁻¹은 a ∗ a⁻¹ = e를 만족하는 원소이다. 역연산은 이러한 역원을 구하는 과정으로 이해할 수 있다.
또한 역함수(inverse function)는 함수적 관점에서의 역연산 개념으로, 함수 f: X → Y에 대하여 f(x) = y일 때 f⁻¹(y) = x를 만족하는 함수 f⁻¹을 f의 역함수라 한다.
활용
역연산의 개념은 초등 산술에서부터 고등 수학에 이르기까지 폭넓게 활용된다. 방정식을 풀 때 미지수를 구하는 과정은 본질적으로 적용된 연산의 역연산을 순차적으로 수행하는 것이다. 선형대수학에서는 역행렬(inverse matrix)이 행렬 곱셈의 역연산에 해당하며, 미적분학에서는 미분과 적분이 서로 역연산 관계에 있다(미적분학의 기본 정리).
같이 보기
- 역원(inverse element)
- 역함수(inverse function)
- 역행렬(inverse matrix)
- 항등원(identity element)
- 연산(operation)
