연산
1. 수학의 개념
1.1. 정의
수학에서 하나 이상의 피연산자를 연산자의 정의에 따라 계산하여 하나의 결과값을 도출해 내는 과정. 피연산자가 1개일 경우 단항연산, 2개일 경우 이항연산, n개일 경우 n항연산이라고 한다. 단항연산은 함수에 대응되는 개념이며 n항연산은 n개의 정의역으로 1개의 치역을 도출하는 사상에 대응되는 개념이라고 할 수 있다. (a1, a2, ... , an) → (b)
예를 들면 1 + 2 = 3 에서 1과 2가 피연산자, +가 연산자, 3이 결과값이라고 할 수 있다.
가장 유명한 연산으로 사칙연산을 꼽을 수 있다.
1.2. 단항연산
피연산자가 하나인 연산. 절대값 기호 $$\left| \cdot \right|$$[1]나 최대 정수 함수 $$\lfloor \cdot \rfloor$$[2], 최소 정수 함수 $$\lceil \cdot \rceil$$, 그리고 여집합 연산Ac 등이 있다. 복소수에서는 실수부와 허수부를 추출하는 $$\Re(z), \Im(z)$$[3]가 있다.
지수는 형태상으로 단항연산으로 착각하기 쉽지만 이항영산이다. 밑과 지수 두 피연산자를 받는다.
1.3. 이항연산
사칙연산을 비롯하여 거듭제곱(및 거듭제곱근), 테트레이션(tetration)[4] 등이 있다.
정말 특이한 연산[5]을 빼고는 삼항연산부터는 정의할 의미가 없는 게, A + B + C 같은 연산은 일단 A + B 를 구한 뒤 거기다가 + C 를 하면 되기 때문에 결국엔 이항연산으로 환원된다.
1.4. 항등원과 역원
예를 들어 연산 ◎에 대해 a ◎ e = a 가 성립할 때, e를 연산 ◎의 항등원이라고 한다. 덧셈의 항등원은 0, 곱셈의 항등원은 1이다.
연산 ◎에 대해 a ◎ x = e 가 성립할 때, x를 연산 ◎에 대한 a의 역원이라고 한다. 덧셈에 대한 a의 역원은 -a, 곱셈에 대한 a(a≠0)의 역원은 1/a이다.
또한, 항등원과 역원의 개수는 달라질수있는데 대표적으로 미분연산자가 있으며, 피연산자에 따라 달라질수도 있다.
1.5. 교환법칙과 결합법칙
연산 ◎에 대해 a ◎ b = b ◎ a가 성립할 때, 연산 ◎는 교환법칙을 만족한다. 연산 ◎에 대해 (a ◎ b ) ◎ c = a ◎ (b ◎ c)가 성립할 때, 연산 ◎는 결합법칙을 만족한다. 덧셈과 곱셈은 복소수 범위에서 교환법칙이 성립하나, 뺄셈과 나눗셈은 그렇지 않다.
1.6. 닫혀 있다
a와 b가 연산 ◎이 정의된 집합 A의 부분집합인 B에 속해 있을 때 연산 ◎에 대해 a ◎ b = c 역시 집합 B에 속할 때, 연산 ◎는 집합 B에 대해 닫혀 있다고 표현한다.
1.7. 관련 항목
2. 조선의 제 10대 임금 연산군의 군호
해당 항목 참고.
3. 대한민국의 지명
[1] 절대값 기호 속에 들어가는 수, 행렬, 벡터 등등을 정의에 따라 실수로 변환해 주는 연산. 이것을 일반화한 개념이 노름이다.[2] 안에 들어간 실수의 소수점 이하 부분을 제거하여 정수로 만드는 연산.[3] 고등학교/대학교 학부 수준에는 $$\mathrm{Re}(z), \mathrm{Im}(z)$$ 형태로 배우는데 $$\Re(z), \Im(z)$$가 비교적 낯선 형태이기 때문이다. $$\Re$$야 R에 꼬리(?)가 있는 형태라 못 알아볼 건 없지만 $$\Im$$는 블랙 레터에 친숙하지 않는 이상 선생님들조차 혼돈의 카오스에 빠질 정도로 생소한 형태이기 때문. 참고로 $$\Im$$는 허수부('''I'''maginary part)의 앞글자를 딴 I이다.[4] xx를 x↑↑2, x(x↑↑2)를 x↑↑3 이런 식으로 정의하는 연산. 지수로는 나타낼 수 없는 매우 큰 수를 나타날 때 쓰인다.[5] 행렬이나 델 연산, 적분 등