외대수

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

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

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

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

의 다음과 같은 아이디얼을 생각하자.

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

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

로 쓰며, 쐐기곱() 또는 외적(外積, )이라고 한다.

외대수의 차 원소 는 -블레이드() 또는 -벡터() 또는 -다중벡터() 따위로 불린다.

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

에 대하여,

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

및 순열

에 대하여,

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

만약 가 유한 차원 벡터 공간이며 라면,

이다. 즉, 의 (자명하지 않은) 등급은 가 된다.

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

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

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

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

이 주어졌을 때,

는 완전열이다. 또한,

역시 완전열이다.

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

여기서 은 -셔플 순열의 집합이다.

쌍대단위원()은

이다. 앤티포드()는

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

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

에 대하여,

이다.

에 추가로 방향이 주어졌다고 하자. 즉, 정규 직교 기저의 순서 가 주어졌다고 하자. 그렇다면,  위에는 다음과 같은 호지 쌍대를 정의할 수 있다.

기하학적 해석 

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

이 주어졌을 때

는 을 변으로 하는 평행체()를 나타낸다. 가 내적을 가졌을 때, 내적으로 주어지는 노름

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

예를 들어, 일 경우 는  속의 방향을 가리키며, 그 내적은 벡터의 길이와 같다. 일 경우 는 와 를 변으로 하는 평행사변형을 나타내며, 노름을 취하면 평행사변형의 넓이를 얻는다.

3차원 벡터와의 관계 

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

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

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

즉, 3차원 벡터의 벡터곱은 쐐기곱의 특수한 경우이다. 그러나 3차원이 아닌 다른 차원에서는 이므로, 두 벡터의 곱을 벡터로 여길 수 없다.

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

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

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

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

참고 문헌

외부 링크

같이 보기 
 클리퍼드 대수
 리 대수
 미분 형식
 호지 쌍대
 코쥘 복합체

다중선형대수학
미분 형식
대수