외대수

외대수의 1차 · 2차 · 3차 원소는 기하학적으로 각각 방향을 갖춘 선분 · 평행사변형 · 평행육면체로 해석할 수 있다. 외대수 원소의 노름은 평행육면체의 부피와 같다.

추상대수학과 미분기하학에서 외대수(外代數, 영어: exterior algebra) 또는 그라스만 대수(Graßmann代數, 영어: Grassmann algebra)는 어떤 주어진 벡터 공간에 대하여, 그 벡터들의 완전 반대칭 조합들로 구성된 벡터 공간 및 그 위에 정의된 이항 연산으로 구성되는 단위 결합 대수이자 호프 대수이다. 기하학적으로, 이는 부호수를 갖는 넓이 또는 부피를 나타낸다.

정의

가환환 $K$ 위의 가군 $V$ 가 주어졌다고 하자. 그렇다면, 그 텐서 대수

T (V) = ⨁_{n = 0}^{\infty} T^{n} (V) = ⨁_{n = 0}^{\infty} \overset{n}{\overset{⏞}{V \otimes_{K} V \otimes_{K} \dots \otimes_{K} V}}

를 정의할 수 있다. 이 위에는 겹선형 이항 연산

\otimes : T^{m} (V) \otimes_{K} T^{n} (V) \to T^{m + n} (V)

(u_{1} \otimes u_{2} \otimes \dots u_{m}) \otimes (v_{1} \otimes v_{2} \otimes \dots v_{n}) = u_{1} \otimes u_{2} \otimes \dots u_{m} \otimes v_{1} \otimes v_{2} \otimes \dots v_{n})

이 정의되어 있으며, 이에 따라 $T (V)$ 는 이는 $K$ 위의 자연수 등급을 갖는 등급 단위 결합 대수를 이룬다.

$T (V)$ 의 다음과 같은 아이디얼을 생각하자.

I = ({v \otimes v : v \in V}) = Span {v_{1} \otimes v_{2} \otimes \dots v_{n} : \exists i, j : v_{i} = v_{j}}

그렇다면, 이 아이디얼에 대하여 몫대수를 취할 수 있으며, 이를 외대수

⋀ (V) = T (V) / I

⋀ (V) = ⨁_{n = 0}^{\infty} ⋀^{n} (V)

라고 한다. 아이디얼에 대하여 몫을 취했으므로, 이 역시 $K$ 위의 단위 결합 대수이다. 외대수에서의 이항 연산은 통상적으로

\land : ⋀^{m} V \otimes ⋀^{n} V \to ⋀^{m + n} V

α \land β = α \otimes β (\mod I)

로 쓰며, 쐐기곱(영어: wedge product) 또는 외적(外積, 영어: exterior product)이라고 한다.

외대수의 $n$ 차 원소 $a \in ⋀^{n} V$ 는 $n$ -블레이드(영어: $n$ -blade) 또는 $n$ -벡터(영어: $n$ -vector) 또는 $n$ -다중벡터(영어: $n$ -multivector) 따위로 불린다.

성질

체 $K$ 위의 벡터 공간 $V$ 위의 외대수 $⋀ (V)$ 는 $K$ 위의 단위 결합 대수이며, 자연수 등급을 갖는 등급 대수이다. 또한, 이항 연산은 등급 가환 법칙을 따른다. 즉, 임의의

a \in ⋀^{m} V

b \in ⋀^{n} V

에 대하여,

a \land b = (- 1)^{m n} b \land a

\deg (a \land b) = m + n

이다. 보다 일반적으로, 임의의

a_{i} \in ⋀^{n_{i}} V (i = 1, 2, \dots, k)

및 순열

σ \in Sym (k)

에 대하여,

a_{σ (1)} \land a_{σ (2)} \land \dots \land a_{σ (k)} = (- 1)^{σ} a_{1} \land a_{2} \land \dots a_{k}

이다. (이는 $K$ 의 표수가 2가 아니라면 쐐기곱의 등급 가환성과 동치이지만, 표수가 2일 경우에는 자명하지 않다.)

만약 $V$ 가 유한 차원 벡터 공간이며 $\dim_{K} V = d$ 라면,

\dim_{K} ⋀^{n} (V) = (\binom{d}{n})

\dim_{K} ⋀ (V) = \sum_{n = 0}^{d} (\binom{d}{n}) = 2^{d}

이다. 즉, $⋀ (V)$ 의 (자명하지 않은) 등급은 $0, 1, \dots, d$ 가 된다.

같은 체 위의 임의의 두 벡터 공간 $V$ , $W$ 에 대하여, 다음과 같은 표준적인 동형이 존재한다.

⋀ (V \oplus W) ≅ ⋀ V \otimes ⋀ W

⋀^{n} (V \oplus W) ≅ \sum_{p + q = n} ⋀^{p} V \otimes ⋀^{q} W

함자성

외대수는 벡터 공간의 범주 $K -Vect$ 에서, $K$ 위의 단위 결합 대수의 범주 $K -uAssoc$ 로 가는 함자를 정의한다. 구체적으로, 선형 변환

T : V \to W

에 대응하는 외대수 준동형은 다음과 같다.

⋀ T : ⋀ V \to ⋀ W

⋀ T : v_{1} \land \dots \land v_{n} \mapsto T (v_{1}) \land \dots \land T (v_{n})

또한, 외대수 함자는 왼쪽 완전 함자이다. 즉, 벡터 공간의 아벨 범주에서의 짧은 완전열

0 \to U \to V \to W \to 0

이 주어졌을 때,

0 \to ⋀ U \to ⋀ V

는 완전열이다. 또한,

0 \to ⋀^{1} U \land ⋀ V \to ⋀ V \to ⋀ W \to 0

역시 완전열이다.

호프 대수 구조

외대수는 단위 결합 대수의 구조뿐만 아니라, 호프 대수의 구조를 갖는다. 이 경우, 쌍대곱(영어: coproduct)은 다음과 같다.

Δ : ⋀^{n} V \to ⋀^{n} V \otimes ⋀^{n} V

Δ (v_{1} \land \dots \land v_{n}) = \sum_{p = 0}^{n} \sum_{σ \in Sh (p, n - p)} (- 1)^{σ} (v_{σ (1)} \land \dots \land v_{σ (p)}) \otimes (v_{σ (p + 1)} \land \dots \land v_{σ (k)})

여기서 $Sh (p, k - p) \subset Sym (n)$ 은 $(p, n - p)$ -셔플 순열의 집합이다.

쌍대단위원(영어: counit)은

ϵ : ⋀^{n} V \to K

ϵ : v \mapsto {\begin{matrix} 0 & v \in ⋀^{n} V, n > 0 \\ v & v \in ⋀^{0} V ≅ K \end{matrix}

이다. 앤티포드(영어: antipode)는

S : ⋀^{n} V \to ⋀^{n} V

S : v \mapsto (-)^{\deg v} v

이다. (모든 연산들은 혼합 등급을 갖는 원소에 대하여 선형으로 정의된다.)

내적과 호지 쌍대

$V$ 가 실수체 위의 유한 차원 내적 공간이라고 하자. 그렇다면 $⋀ V$ 위에도 자연스러운 내적이 존재하며, 다음과 같다. 임의의

a = u_{1} \land u_{2} \land \dots \land u_{m} \in ⋀^{m} V

b = v_{1} \land v_{2} \land \dots \land v_{n} \in ⋀^{n} V

에 대하여,

⟨ a, b ⟩ = {\begin{matrix} \det (⟨ a_{i}, b_{j} ⟩)_{i j} & m = n \\ 0 & m \neq n \end{matrix}

이다.

$V$ 에 추가로 방향이 주어졌다고 하자. 즉, 정규 직교 기저의 순서 $(𝐞_{1}, \dots, 𝐞_{d})$ 가 주어졌다고 하자. 그렇다면, $⋀ V$ 위에는 다음과 같은 호지 쌍대를 정의할 수 있다.

* : ⋀^{m} V \to ⋀^{d - m} V

* : 𝐞_{1} \land \dots \land 𝐞_{m} \mapsto 𝐞_{m + 1} \land \dots \land 𝐞_{d}

기하학적 해석

파일:Area parallellogram as determinant.svg

두 변의 좌표로 만든 행렬의 행렬식의 관점에서 평행사변형의 넓이

$V$ 가 실수체 위의 벡터 공간이라고 하자. 그렇다면 $⋀^{n} V$ 의 원소는 부호를 갖는 $n$ 차원 초부피로 해석할 수 있다. 구체적으로, 일차 독립 벡터들의 열

v_{1}, v_{2}, \dots, v_{n} \in V

이 주어졌을 때

v_{1} \land v_{2} \land \dots \land v_{n} \in ⋀^{n} V

는 ${v_{i}}_{i = 1, \dots, n}$ 을 변으로 하는 평행체(영어: parallelepiped)를 나타낸다. $V$ 가 내적을 가졌을 때, 내적으로 주어지는 노름

‖ v_{1} \land v_{2} \land \dots \land v_{n} \in ⋀^{n} V ‖

은 이 평행체의 초부피와 같다.

예를 들어, $n = 1$ 일 경우 $⋀^{1} V ≅ V$ 는 $V$ 속의 방향을 가리키며, 그 내적은 벡터의 길이와 같다. $n = 2$ 일 경우 $u \land v$ 는 $u$ 와 $v$ 를 변으로 하는 평행사변형을 나타내며, 노름을 취하면 평행사변형의 넓이를 얻는다.

3차원 벡터와의 관계

파일:Exterior calc cross product.svg

쐐기곱 (연보라색 평행사변형)과 관련지어 나타낸 벡터곱 (파란색 벡터). 평행한 단위 벡터 (빨간색)의 길이에 대한 벡터곱의 길이는 기준 평행사변형 (연한 빨간색)의 넓이에 대한 쐐기곱의 넓이가 된다.

3차원 유클리드 공간 $ℝ^{3}$ 에서의 외대수를 생각하자. 이 경우,

⋀^{0} ℝ^{3} ≅ ℝ

⋀^{1} ℝ^{3} ≅ ℝ^{3}

⋀^{2} ℝ^{3} ≅ ℝ^{3}

⋀^{3} ℝ^{3} ≅ ℝ

이므로, 호지 쌍대에 따라 외대수의 1차 및 2차 원소를 둘 다 3차원 벡터로 여길 수 있다.

이 경우, 외대수의 쐐기곱을 벡터의 벡터곱으로 다음과 같이 나타낼 수 있다.

𝐮 \times 𝐯 = * (𝐮 \land 𝐯) (u, v \in ℝ^{3})

즉, 3차원 벡터의 벡터곱은 쐐기곱의 특수한 경우이다. 그러나 3차원이 아닌 다른 차원에서는 $\dim ⋀^{1} V \neq \dim ⋀^{2} V$ 이므로, 두 벡터의 곱을 벡터로 여길 수 없다.

마찬가지로, 3차원 벡터의 삼중곱은 다음과 같이 쐐기곱으로 나타낼 수 있다.

𝐮 \cdot 𝐯 \times 𝐰 = * (𝐮 \land 𝐯 \land 𝐰)

역사

헤르만 그라스만이 1844년에 《선형 확장 이론: 수학의 새 분야》(독일어: Die Lineale Ausdehnungslehre, ein neuer Zweig der Mathematik)^[1]에서 도입하였다. 그라스만은 자신의 이론을 "확장 이론"(독일어: Ausdehnungslehre)이라고 불렀다. 이후 그라스만의 이론은 오랫동안 잊혀져 있다가, 1888년에 주세페 페아노가 그의 이론을 재발견하였고 재조명하였다. 이후, 앙리 푸앵카레 · 엘리 카르탕 · 가스통 다르부 등에 의해, 미분 형식의 형태로 현대 미분기하학의 핵심적인 위치를 차지하게 되었다.

응용

미분기하학에서는 접다발의 각 올인 접공간에 각각 외대수를 취하여 얻는 벡터 다발의 단면을 미분 형식이라고 한다. 미분 형식은 현대 미분기하학에서 핵심적인 위치를 차지한다.

물리학에서, 외대수는 페르미온 값을 갖는 장들을 나타내기 위하여 쓰인다. 이들은 반가환수의 값을 갖는데, 반가환수는 외대수의 원소로 정의할 수 있다. 또한, 초대칭 이론의 경우 초장들은 초다양체 위에 정의되는데, 이는 국소적으로 외대수를 갖춘 유클리드 공간 매끄러운 함수환과 동형인 층을 갖춘 위상 공간이다.

각주

↑ Graßmann, Hermann (1844). Die lineale Ausdehnungslehre 《Die Lineale Ausdehnungslehre: ein neuer Zweig der Mathematik: Dargestellt und durch Anwendungen auf die übrigen Zweige der Mathematik, wie auch auf die Statik, Mechanik, die Lehre vom Magnetismus und die Krystallonomie erläutert》 |url= 값 확인 필요 (도움말) (독일어). 라이프치히: Verlag von Otto Wigand.

Mac Lane, S.; Birkhoff, G. (1988). 《Algebra》 3판 (영어). American Mathematical Society. ISBN 978-0-8218-1646-2.
Bourbaki, Nicolas (1989). 《Algebra I: Chapters 1–3》 (영어). Elements of Mathematics. Springer. ISBN 978-3-540-64243-5.

외부 링크

Onishchik, A.L. (2001). “Exterior algebra” (영어). 《Encyclopedia of Mathematics》. Springer-Verlag. ISBN 978-1-55608-010-4.
Kuptsov, L.P. (2001). “Exterior product” (영어). 《Encyclopedia of Mathematics》. Springer-Verlag. ISBN 978-1-55608-010-4.
Eric Weisstein, Todd Rowland. “Exterior algebra” (영어). 《Wolfram MathWorld》. Wolfram Research.
Weisstein, Eric Wolfgang. “Wedge product” (영어). 《Wolfram MathWorld》. Wolfram Research.
“Exterior algebra”. 2015년 3월 11일에 원본 문서에서 보존된 문서. 2015년 3월 24일에 확인함.
이철희. “외대수(exterior algebra)와 다중선형대수(multilinear algebra)”. 《수학노트》.

같이 보기

[1] Graßmann, Hermann (1844). Die lineale Ausdehnungslehre 《Die Lineale Ausdehnungslehre: ein neuer Zweig der Mathematik: Dargestellt und durch Anwendungen auf die übrigen Zweige der Mathematik, wie auch auf die Statik, Mechanik, die Lehre vom Magnetismus und die Krystallonomie erläutert》 |url= 값 확인 필요 (도움말) (독일어). 라이프치히: Verlag von Otto Wigand.

[1]

v t e 선형대수학
기본 개념	스칼라 벡터 벡터 공간 스칼라 곱셈 벡터 사영 선형생성 선형 변환 사영작용소 일차 독립 집합 선형 결합 기저 기저 변경 행 벡터와 열 벡터 행 공간과 열 공간 직교 영공간 고윳값과 고유 벡터 외적 내적 공간 스칼라곱 전치행렬 그람-슈미트 과정 일차 방정식 기본 정리	Three dimensional Euclidean space
벡터 대수	벡터곱 삼중곱 7차원 외적
다중선형대수학	기하적 대수학 외대수 이중벡터 다중벡터 텐서 아우터모피즘
행렬	블록 행렬 행렬 분해 가역행렬 소행렬식 행렬 곱셈 계수 변환행렬 크라메르 공식 가우스 소거법 행렬식
대수적 구성	쌍대 공간 직합 함수 공간 몫공간 부분공간 텐서곱
수치선형대수학	부동소수점 수치적 안정성 BLAS(Basic Linear Algebra Subprogram) 희소행렬 선형대수학 라이브러리 비교 수치 분석 소프트웨어 비교
분류 분류 목록 문서 개요 포털 수학 포털 위키책 섬네일을 만드는 중 오류 발생: 위키배움터