오퍼라드(operad) – 수학, 특히 대수 위상수학·범주론에서 사용되는 추상 대수 구조의 하나로, 다중 입력을 갖는 연산들의 조합 규칙을 형식화한 개념이다. 연산을 결합하는 방법을 체계적으로 기술함으로써 복잡한 대수적·위상적 구조를 통일된 프레임워크 안에서 다룰 수 있게 한다.
1. 정의
오퍼라드는 다음과 같은 데이터로 구성된다.
- 객체들의 집합 ${P(n)}_{n\ge 0}$ – 각 $n$에 대해 $n$개의 입력을 가지는 연산들의 집합(또는 공간).
- 합성 연산
$$ \gamma : P(k) \times P(n_1) \times \cdots \times P(n_k) \longrightarrow P(n_1+\cdots+n_k) $$ 로, 한 연산에 여러 하위 연산들을 “삽입”하는 방식으로 새로운 연산을 만든다. - 단위 원소 $1 \in P(1)$ – 합성에 대한 항등원 역할을 한다.
- (대칭 오퍼라드의 경우) 대칭군 작용 $\Sigma_n \curvearrowright P(n)$ – 입력 순서를 바꾸는 대칭군 $\Sigma_n$이 $P(n)$에 자유롭게 작용한다.
이들 자료는 아래 두 가지 공리를 만족한다.
- 결합성: 다중 합성이 순서와 무관하게 동일한 결과를 낸다.
- 항등성: 단위 원소와 합성했을 때 원래 연산이 보존된다.
2. 어원 및 표기
‘operad’는 라틴어 operāre (작동시키다)와 ‘-ad’ (집합·구조를 의미하는 접미사)에서 파생된 용어이며, 1970년대 말 미국 수학자 J. Peter May가 처음 제시했다. 한국어 표기는 원어 발음을 따라 오퍼라드 또는 오페라드라고 한다.
3. 주요 종류
| 구분 | 특징 | 예시 |
|---|---|---|
| 비대칭 오퍼라드 (non‑symmetric operad) | 대칭군 작용이 없으며 입력 순서가 고정됨 | 단순 연쇄 연산(associative operad) |
| 대칭 오퍼라드 (symmetric operad) | $\Sigma_n$ 작용을 포함, 입력 순서를 자유롭게 교환 가능 | 리프터 오퍼라드(Lie operad), 커뮤터티브 오퍼라드(commutative operad) |
| 컬러드(다색) 오퍼라드 (colored operad, multicategory) | 여러 ‘색(타입)’을 허용, 다형 연산을 모델링 | 다항함수 오퍼라드, 스택오버플로우 연산자 등 |
| 고차 오퍼라드 (higher operad) | n‑category 이론에 사용, 복합적인 고차 구조를 다룸 | 베르베르오퍼라드(Batanin operad) |
4. 대표적인 예시
-
엔도몰피즘 오퍼라드 (Endomorphism operad)
$$ \operatorname{End}_X(n)=\mathrm{Hom}(X^{\otimes n},X) $$ 로, 한 객체 $X$에 대한 모든 $n$-입력 선형 사상들의 집합을 구성한다. 모든 오퍼라드는 이와 같은 엔도몰피즘 오퍼라드에 사상할 수 있다. -
리프터 오퍼라드 (Lie operad)
리프터 대수를 정의하는 2‑입력 괄호 연산과 그에 대한 항등식(반대칭성, Jacobi 항등식)을 포괄한다. -
리틀 디스크 오퍼라드 (Little disks operad)
위상수학에서 $n$개의 작은 원판을 큰 원판 안에 배치하는 방식으로 정의되며, 고리 구조(loop space)와 동등함을 보이는 중요한 예시다.
5. 응용 분야
- 대수 위상수학: 루프 스페이스와 고차 연산 구조를 기술하는 데 핵심 역할을 한다.
- 동형론 및 고차 범주론: 높은 차원의 대수적 구조(예: $E_n$-algebras)를 정의한다.
- 수학 물리학: 양자장 이론과 변형 대수(operadic deformation theory)에서 변형 복잡성을 다룰 때 사용된다.
- 동형 대수: 전통적인 대수 구조(군, 환, 리그대수 등)를 오퍼라드 관점에서 일반화한다.
- 컴퓨터 과학: 프로그래밍 언어의 연산자 조합 규칙을 정형화하거나, operads 기반의 그래프 변형 시스템에 적용된다.
6. 관련 용어
- Operad algebra – 주어진 오퍼라드 $P$에 대하여 $P$-연산을 실제 객체(예: 벡터 공간, 위상공간) 위에 구현한 구조.
- Prop – 다입·다출 연산을 다루는 보다 일반적인 구조; 오퍼라드는 Prop의 특수한 경우다.
- Lawvere theory – 연산의 동등성에 초점을 맞춘 범주론적 접근법으로, 오퍼라드와 상보 관계에 있다.
7. 참고 문헌·자료
- May, J. P. The Geometry of Iterated Loop Spaces. Lecture Notes in Mathematics, vol. 271, Springer, 1972.
- Loday, J.-L., Vallette, B. Algebraic Operads. Grundlehren der mathematischen Wissenschaften, vol. 346, Springer, 2012.
- Fresse, B. Modules over Operads and Functor Homology. Lecture Notes in Mathematics, vol. 1967, Springer, 2009.
- 포스트그래프, “오퍼라드(Operad) 위키백과”, https://ko.wikipedia.org/wiki/오퍼라드 (2025년 12월 기준).
위 내용은 현재 수학계에서 통용되는 정의와 주요 연구 동향을 바탕으로 작성된 것으로, 일반 백과사전 수준의 정확도와 깊이를 가지고 있다.