수학 에서 연산 (演算, 영어 : operation )은 공집합 이 아닌 집합에서, 집합에 속하는 임의의 두 원소로부터 제3의 원소를 만드는 것이다. 또는, 연산자 의 정의에 따라 한 개 이상의 피연산자 를 계산하여 하나의 결과값(답)을 구하는 것이다. 피연산자 또는 항이 하나일 때 단항연산, 두 개일 때 이항연산 , n개일 때 n항 연산이라고 한다.
집합
S
{\displaystyle S}
n
∈
Z
≥
0
{\displaystyle n\in \mathbb {Z} _{\geq 0}}
S
{\displaystyle S}
n
{\displaystyle n}
n
{\displaystyle n}
영어 : n-ary operation )은 다음과 같은 함수이다.
F
:
S
×
n
→
S
{\displaystyle F\colon S^{\times n}\to S}
즉, 이는 임의의
S
{\displaystyle S}
n
{\displaystyle n}
s
→
∈
S
×
n
{\displaystyle {\vec {s}}\in S^{\times n}}
S
{\displaystyle S}
F
(
s
→
)
∈
S
{\displaystyle F({\vec {s}})\in S}
S
{\displaystyle S}
영항 연산 (零項演算, 영어 : 0-ary operation )은
S
{\displaystyle S}
s
∈
S
{\displaystyle s\in S}
S
{\displaystyle S}
일항 연산 (一項演算, 영어 : unary operation ) 또는 단항 연산 (單項演算)은
S
{\displaystyle S}
S
→
S
{\displaystyle S\to S}
S
{\displaystyle S}
이항 연산 (二項演算, 영어 : binary operation )은
S
{\displaystyle S}
S
{\displaystyle S}
S
×
S
→
S
{\displaystyle S\times S\to S}
덧셈 또는 곱셈 이라고 하기도 한다. 이항 연산을 갖춘 집합을 마그마
S
{\displaystyle S}
삼항 연산 (三項演算, 영어 : ternary operation )은
S
{\displaystyle S}
S
{\displaystyle S}
S
×
S
×
S
→
S
{\displaystyle S\times S\times S\to S}
넓은 의미에서,
n
{\displaystyle n}
F
:
S
0
×
S
1
×
⋯
×
S
n
−
1
→
S
{\displaystyle F\colon S_{0}\times S_{1}\times \cdots \times S_{n-1}\to S}
또한, 무한 순서수 항수를 허용하여 연산의 개념을 일반화할 수 있다. 이 경우, 원래의 항수가 유한한 연산을 유한항 연산 (有限項演算, 영어 : finitary operation )이라고 하며, 항수가 무한한 연산을 무한항 연산 (無限項演算, 영어 : infinitary operation )이라고 한다.
구체적으로, 집합
S
{\displaystyle S}
순서수
α
∈
Ord
{\displaystyle \alpha \in \operatorname {Ord} }
S
{\displaystyle S}
α
{\displaystyle \alpha }
F
:
S
×
α
→
S
{\displaystyle F\colon S^{\times \alpha }\to S}
넓은 의미에서,
α
{\displaystyle \alpha }
F
:
∏
β
<
α
S
α
→
S
{\displaystyle F\colon \prod _{\beta <\alpha }S_{\alpha }\to S}
연산은 관계 의 특수한 경우이다.
집합
S
{\displaystyle S}
n
{\displaystyle n}
F
:
S
×
n
→
S
{\displaystyle F\colon S^{\times n}\to S}
S
{\displaystyle S}
부분 집합
T
⊂
S
{\displaystyle T\subset S}
T
{\displaystyle T}
F
{\displaystyle F}
F
{\displaystyle F}
영어 : closed under
F
{\displaystyle F}
)고 한다.
임의의
t
→
∈
T
×
n
{\displaystyle {\vec {t}}\in T^{\times n}}
f
(
t
→
)
∈
T
{\displaystyle f({\vec {t}})\in T}
또한,
T
⊂
S
{\displaystyle T\subset S}
F
:
S
×
n
→
S
{\displaystyle F\colon S^{\times n}\to S}
폐포 (閉包, 영어 : closure )
cl
F
T
{\displaystyle \operatorname {cl} _{F}T}
F
{\displaystyle F}
T
⊂
cl
F
T
⊂
S
{\displaystyle T\subset \operatorname {cl} _{F}T\subset S}
cl
F
T
=
T
∪
F
(
T
×
n
)
∪
F
(
(
T
∪
F
(
T
×
n
)
)
×
n
)
∪
⋯
{\displaystyle \operatorname {cl} _{F}T=T\cup F(T^{\times n})\cup F((T\cup F(T^{\times n}))^{\times n})\cup \cdots }
보다 일반적으로, 집합
S
{\displaystyle S}
F
⊂
⋃
n
=
0
∞
S
S
×
n
{\displaystyle \textstyle {\mathcal {F}}\subset \bigcup _{n=0}^{\infty }S^{S^{\times n}}}
T
⊂
S
{\displaystyle T\subset S}
F
{\displaystyle {\mathcal {F}}}
F
{\displaystyle {\mathcal {F}}}
영어 : closed under
F
{\displaystyle {\mathcal {F}}}
)고 한다.
임의의
F
∈
F
{\displaystyle F\in {\mathcal {F}}}
T
{\displaystyle T}
F
{\displaystyle F}
또한,
T
⊂
S
{\displaystyle T\subset S}
F
⊂
⋃
n
=
0
∞
S
S
×
n
{\displaystyle \textstyle {\mathcal {F}}\subset \bigcup _{n=0}^{\infty }S^{S^{\times n}}}
폐포 (閉包, 영어 : closure )
cl
F
T
{\displaystyle \operatorname {cl} _{\mathcal {F}}T}
F
{\displaystyle {\mathcal {F}}}
T
⊂
cl
F
T
⊂
S
{\displaystyle T\subset \operatorname {cl} _{\mathcal {F}}T\subset S}
cl
F
T
=
⋃
k
=
0
∞
⋃
F
∈
F
cl
F
⋃
F
∈
F
cl
F
⋯
⋃
F
∈
F
cl
F
⏞
k
T
{\displaystyle \operatorname {cl} _{\mathcal {F}}T=\bigcup _{k=0}^{\infty }\,\overbrace {\bigcup _{F\in {\mathcal {F}}}\operatorname {cl} _{F}\bigcup _{F\in {\mathcal {F}}}\operatorname {cl} _{F}\cdots \bigcup _{F\in {\mathcal {F}}}\operatorname {cl} _{F}} ^{k}\,T}
연산의 표기법은 함수 표기법 이외에도 여러 가지가 있다. 자주 사용되는 표기법으로는 연산자를 피연산자의 앞에 배치하여 표기하는 전위 표기법 (=폴란드 표기법 ), 연산자를 피연산자의 뒤에 배치하여 표기하는 후위 표기법 (=역폴란드 표기법 ), 연산자를 두 피연산자의 사이에 표기하는 중위 표기법 따위가 있다.
일항 연산은 전위 표기법
−
a
{\displaystyle -a}
반수 ),
¬
p
{\displaystyle \lnot p}
부정 ) 또는 후위 표기법
n
!
{\displaystyle n!}
계승 ) 또는 함수 표기법
sin
(
x
)
{\displaystyle \sin(x)}
사인 ) 등을 사용하여 표기할 수 있다. 연산자를 위 첨자 표기하는 방법
A
T
{\displaystyle A^{\operatorname {T} }}
전치 행렬 )도 있다. 제곱근
a
{\displaystyle {\sqrt {a}}}
이항 연산은 보통 함수 표기법
F
(
a
,
b
)
{\displaystyle F(a,b)}
중위 표기법
a
+
b
{\displaystyle a+b}
a
⋅
b
{\displaystyle a\cdot b}
a
b
{\displaystyle ab}
거듭제곱
a
b
{\displaystyle a^{b}}
위 첨자 표기한다. 전위 표기법
+
a
b
{\displaystyle +\ a\ b}
⋅
a
b
{\displaystyle \cdot \ a\ b}
후위 표기법
a
b
+
{\displaystyle a\ b\ +}
a
b
⋅
{\displaystyle a\ b\ \cdot }
실수 집합
R
{\displaystyle \mathbb {R} }
사칙 연산 가운데,
덧셈
+
:
R
×
R
→
R
{\displaystyle +\colon \mathbb {R} \times \mathbb {R} \to \mathbb {R} }
(
r
,
s
)
↦
r
+
s
{\displaystyle (r,s)\mapsto r+s}
R
{\displaystyle \mathbb {R} }
뺄셈
−
:
R
×
R
→
R
{\displaystyle -\colon \mathbb {R} \times \mathbb {R} \to \mathbb {R} }
(
r
,
s
)
↦
r
−
s
{\displaystyle (r,s)\mapsto r-s}
R
{\displaystyle \mathbb {R} }
곱셈
⋅
:
R
×
R
→
R
{\displaystyle \cdot \colon \mathbb {R} \times \mathbb {R} \to \mathbb {R} }
(
r
,
s
)
↦
r
s
{\displaystyle (r,s)\mapsto rs}
R
{\displaystyle \mathbb {R} }
그러나, 나눗셈
/
:
R
×
(
R
∖
{
0
}
)
→
R
{\displaystyle /\colon \mathbb {R} \times (\mathbb {R} \setminus \{0\})\to \mathbb {R} }
(
r
,
s
)
↦
r
/
s
{\displaystyle (r,s)\mapsto r/s}
0으로 나누기 가 정의되지 않았기 때문이다. 다만, 나눗셈은 넓은 의미에서 이항 연산이다. 자연수 집합
N
{\displaystyle \mathbb {N} }
N
{\displaystyle \mathbb {N} }
+
{\displaystyle +}
m
,
n
∈
N
{\displaystyle m,n\in \mathbb {N} }
m
+
n
∈
N
{\displaystyle m+n\in \mathbb {N} }
N
{\displaystyle \mathbb {N} }
−
{\displaystyle -}
3
,
5
∈
N
{\displaystyle 3,5\in \mathbb {N} }
3
−
5
=
−
2
∉
N
{\displaystyle 3-5=-2\not \in \mathbb {N} }
cl
−
N
=
Z
{\displaystyle \operatorname {cl} _{-}\mathbb {N} =\mathbb {Z} }
Z
{\displaystyle \mathbb {Z} }
정수 집합이다.)
N
{\displaystyle \mathbb {N} }
⋅
{\displaystyle \cdot }
m
,
n
∈
N
{\displaystyle m,n\in \mathbb {N} }
m
n
∈
N
{\displaystyle mn\in \mathbb {N} }
N
{\displaystyle \mathbb {N} }
/
{\displaystyle /}
2
,
5
∈
N
{\displaystyle 2,5\in \mathbb {N} }
2
/
5
∉
N
{\displaystyle 2/5\not \in \mathbb {N} }
cl
/
N
=
Q
{\displaystyle \operatorname {cl} _{/}\mathbb {N} =\mathbb {Q} }
Q
{\displaystyle \mathbb {Q} }
유리수 집합이다.)논리식의 논리합 과 논리곱 은 논리식 집합 위의 이항 연산이다. 논리식의 부정 은 논리식 집합 위의 일항 연산이다.
군
G
{\displaystyle G}
항등원
1
G
∈
G
{\displaystyle 1_{G}\in G}
G
{\displaystyle G}
곱셈
⋅
:
G
×
G
→
G
{\displaystyle \cdot \colon G\times G\to G}
(
g
,
h
)
↦
g
h
{\displaystyle (g,h)\mapsto gh}
G
{\displaystyle G}
이들에 의해 멱집합에 유도되는 연산들은 각각 다음과 같다.
자명군
{
1
G
}
⊂
G
{\displaystyle \{1_{G}\}\subset G}
임의의
H
,
K
⊂
G
{\displaystyle H,K\subset G}
H
K
=
{
h
k
|
h
∈
H
,
k
∈
K
}
⊂
G
{\displaystyle HK=\{hk|h\in H,\;k\in K\}\subset G}
특히, 임의의
g
∈
G
⊃
H
{\displaystyle g\in G\supset H}
g
H
=
{
g
h
|
h
∈
H
}
⊂
G
{\displaystyle gH=\{gh|h\in H\}\subset G}
체
K
{\displaystyle K}
벡터 공간
V
{\displaystyle V}
영벡터
0
V
∈
V
{\displaystyle 0_{V}\in V}
V
{\displaystyle V}
벡터 덧셈
+
:
V
×
V
→
V
{\displaystyle +\colon V\times V\to V}
(
v
,
w
)
↦
v
+
w
{\displaystyle (v,w)\mapsto v+w}
V
{\displaystyle V}
그러나, 스칼라 곱셈
⋅
:
K
×
V
→
V
{\displaystyle \cdot \colon K\times V\to V}
(
a
,
v
)
↦
a
v
{\displaystyle (a,v)\mapsto av}
a
⋅
:
V
→
V
{\displaystyle a\cdot \colon V\to V}
v
↦
a
v
{\displaystyle v\mapsto av}
a
∈
K
{\displaystyle a\in K}
이들은 각각 함수 집합
W
V
{\displaystyle W^{V}}
선형 변환 공간
hom
(
V
,
W
)
⊂
W
V
{\displaystyle \hom(V,W)\subset W^{V}}
hom
(
V
,
W
)
{\displaystyle \hom(V,W)}
영선형 변환
0
V
,
W
:
V
→
W
{\displaystyle 0_{V,W}\colon V\to W}
v
↦
0
W
{\displaystyle v\mapsto 0_{W}}
임의의 선형 변환
T
,
U
:
V
→
W
{\displaystyle T,U\colon V\to W}
v
∈
V
{\displaystyle v\in V}
(
T
+
U
)
(
v
)
=
T
(
v
)
+
U
(
v
)
{\displaystyle (T+U)(v)=T(v)+U(v)}
임의의 선형 변환
T
:
V
→
W
{\displaystyle T\colon V\to W}
v
∈
V
{\displaystyle v\in V}
a
∈
K
{\displaystyle a\in K}
(
a
T
)
(
v
)
=
a
T
(
v
)
{\displaystyle (aT)(v)=aT(v)}
n
{\displaystyle n}
R
⊆
S
×
n
{\displaystyle R\subseteq S^{\times n}}
은 다음과 같은 특수한
n
{\displaystyle n}
F
:
S
×
n
→
2
{\displaystyle F\colon S^{\times n}\to 2}
F
:
s
→
↦
{
1
s
→
∈
R
0
s
→
∉
R
{\displaystyle F\colon {\vec {s}}\mapsto {\begin{cases}1&{\vec {s}}\in R\\0&{\vec {s}}\not \in R\end{cases}}}
이 부분의 본문은 사칙 연산입니다.
