클리퍼드 대수: 두 판 사이의 차이

위키백과, 우리 모두의 백과사전.
내용 삭제됨 내용 추가됨
150번째 줄: 150번째 줄:
[[복소해석학]]의 여러 성질들을 클리퍼드 대수 값을 갖는 함수에 대하여 일반화할 수 있다.<ref>{{저널 인용|제목=Clifford analysis: history and perspective|이름=Richard|성=Delanghe|저널=Computational Methods and Function Theory|권=1|호=1|쪽=107–153|doi=10.1007/BF03320981|issn=1617-9447|날짜=2001|언어=en}}</ref><ref>{{서적 인용|제목=Clifford analysis|이름=F.|성=Brackx|이름2=R.|성2=Delanghe|이름3=F.|성3=Sommen|출판사=Pitman|날짜=1982|mr=0697564|zbl=0529.30001|언어=en}}</ref><ref>{{서적 인용|이름=J.|성=Gilbert|이름2=M.|성2=Murray|제목=Clifford algebras and Dirac operators in harmonic analysis|출판사=Cambridge University Press|날짜=1991|mr=1130821|zbl=0733.43001|언어=en}}</ref>
[[복소해석학]]의 여러 성질들을 클리퍼드 대수 값을 갖는 함수에 대하여 일반화할 수 있다.<ref>{{저널 인용|제목=Clifford analysis: history and perspective|이름=Richard|성=Delanghe|저널=Computational Methods and Function Theory|권=1|호=1|쪽=107–153|doi=10.1007/BF03320981|issn=1617-9447|날짜=2001|언어=en}}</ref><ref>{{서적 인용|제목=Clifford analysis|이름=F.|성=Brackx|이름2=R.|성2=Delanghe|이름3=F.|성3=Sommen|출판사=Pitman|날짜=1982|mr=0697564|zbl=0529.30001|언어=en}}</ref><ref>{{서적 인용|이름=J.|성=Gilbert|이름2=M.|성2=Murray|제목=Clifford algebras and Dirac operators in harmonic analysis|출판사=Cambridge University Press|날짜=1991|mr=1130821|zbl=0733.43001|언어=en}}</ref>


=== 디랙 작용소 ===
[[유클리드 공간]] <math>\mathbb R^n</math> 속의 [[열린집합]] <math>U\subseteq\mathbb R^n</math> 위의 <math>\mathcal C^1</math> 함수
[[유클리드 공간]] <math>\mathbb R^n</math> 속의 [[열린집합]] <math>U\subseteq\mathbb R^n</math> 위의 <math>\mathcal C^1</math> 함수
:<math>f\colon U\to\operatorname{Cl}(0,n;\mathbb R)</math>
:<math>f\colon U\to\operatorname{Cl}(0,n;\mathbb R)</math>
165번째 줄: 166번째 줄:
이므로, <math>iD</math>는 [[라플라스 연산자]] <math>\nabla^2</math>의 일종의 제곱근이다.
이므로, <math>iD</math>는 [[라플라스 연산자]] <math>\nabla^2</math>의 일종의 제곱근이다.


=== 코시 적분 공식 ===
클리퍼드 대수 값의 함수에 대하여 일종의 [[코시의 적분정리]]가 성립한다. 즉,
클리퍼드 대수 값의 함수에 대하여 일종의 [[코시의 적분정리]]가 성립한다. 즉,
* 두 [[열린집합]] <math>V\subseteq \operatorname{cl}(V)\subseteq U\subseteq\mathbb R^n</math>가 주어졌으며 (<math>\operatorname{cl}(V)</math>는 [[폐포 (위상수학)|위상수학적 폐포]])
* 두 [[열린집합]] <math>V\subseteq \operatorname{cl}(V)\subseteq U\subseteq\mathbb R^n</math>가 주어졌으며 (<math>\operatorname{cl}(V)</math>는 [[폐포 (위상수학)|위상수학적 폐포]])
183번째 줄: 185번째 줄:
:<math>\operatorname{vol}(\mathbb S^{n-1})=\frac{2\pi^{n/2}}{\Gamma(n/2)}</math>
:<math>\operatorname{vol}(\mathbb S^{n-1})=\frac{2\pi^{n/2}}{\Gamma(n/2)}</math>
는 <math>n-1</math>차원 단위 [[초구]]의 넓이이다.
는 <math>n-1</math>차원 단위 [[초구]]의 넓이이다.

=== 등각 변환 ===
[[리만 구]] <math>\hat{\mathbb C}</math> 위의 [[등각 변환]]은 복소수 계수의 [[뫼비우스 변환]]
:<math>z\mapsto\frac{az+b}{cz+d}\qquad(a,b,c,d\in\mathbb C,\;ad-bc\ne0)</math>
로 나타낼 수 있다. 마찬가지로, <math>\mathbb S^n=\widehat{\mathbb R^n}</math> 위의 [[등각 변환]]은 클리퍼드 대수 <math>\operatorname{Cl}(0,n;\mathbb R)</math> 계수의 [[뫼비우스 변환]]
:<math>x\mapsto\frac{ax+b}{cx+d}\qquad\left(a,b,c,d\in\operatorname{Cl}(0,n;\mathbb R)\right)</math>
으로 나타내어진다. 이 경우, 2×2 행렬
:<math>\begin{pmatrix}a&b\\c&d\end{pmatrix}</math>
를 [[등각 변환]]의 '''알포르스-팔렌 행렬'''({{llang|en|Ahlfors–Vahlen matrix}})이라고 한다. 이는 [[오스트리아]]의 카를 테오도어 팔렌({{llang|de|Karl Theodor Vahlen}})<ref>{{저널 인용|이름=Karl Theodor|성=Vahlen|제목=Ueber Bewegungen und complexe Zahlen|doi=10.1007/BF01450354|저널=Mathematische Annalen|날짜=1902|issn=0025-5831|권=55|호=4|쪽=585–593|언어=de}}</ref>이 1902년에 도입하였고 [[핀란드]]의 라르스 발레리안 알포르스({{llang|sv|Lars Valerian Ahlfors}})<ref>{{서적 인용|제목=Old and new in Möbius groups|이름=Lars V.|성=Ahlfors|저널=Annales Academiæ Scientiarum Fennicæ. Serie A.I. Mathematica|권=9|날짜=1984|쪽=93–105|url=http://www.acadsci.fi/mathematica/Vol09/vol09pp093-105.pdf|doi=10.5186/aasfm.1984.0900|issn=1239-629X|언어=en}}</ref><ref>{{저널 인용|이름=L. V.|성=Ahlfors|제목=Möbius transformations in <math>\mathbb R^n</math> expressed through 2×2 matrices of Clifford numbers|저널=Complex Variables, Theory and Application: An International Journal|권=5|날짜=1986|쪽=215–224|doi=10.1080/17476938608814142|issn=0278-1077|언어=en}}</ref><ref>{{서적 인용|제목=Clifford numbers and Möbius transformations in <math>\mathbb R^n</math>|이름=Lars V.|성=Ahlfors|doi=10.1007/978-94-009-4728-3_15|제목=Clifford Algebras and Their Applications in Mathematical Physics|isbn=978-94-010-8602-8|총서=North Atlantic Treaty Organization Advanced Science Institutes Series C: Mathematical and Physical Sciences|권=183|issn=1389-2185|출판사=Springer|언어=en}}</ref>가 재발견하였다.


== 응용 ==
== 응용 ==

2016년 3월 19일 (토) 06:57 판

추상대수학에서, 클리퍼드 대수(Clifford代數, 영어: Clifford algebra)는 이차 형식에 의하져 정의되는 단위 결합 대수의 한 종류이다. 복소수체사원수환의 일반화이며, 외대수양자화로 여길 수 있다.

정의

보편 성질

가환환 위의 가군 위의 이차 형식 가 주어졌다고 하자. 그렇다면 클리퍼드 대수 는 다음 공리를 만족시키는, 를 포함하는 가장 일반적인 -단위 결합 대수다.

즉, 범주론적으로 클리퍼드 대수는 다음과 같은 보편 성질을 만족시킨다. 위의 단위 결합 대수들의 범주 에서, 를 만족시키는 임의의 대수 가 주어지면, 다음 그림을 가환시키는 유일한 대수 준동형 가 존재한다.

여기서 는 보통 생략한다.

이는 이차 공간(이차 형식을 갖춘 가군)의 범주 에서 단위 결합 대수의 범주로 가는 함자를 정의한다.

(의 사상은 가군 준동형 가운데 인 것이다.)

구성

클리퍼드 대수는 구체적으로 다음과 같다.

여기서 에 대한 -텐서 대수

이며,

에 의하여 생성되는 양쪽 아이디얼이다.

이 경우

이므로, 두 벡터 원소의 반교환자의 연관 쌍선형 형식과 같다.

성질

가환환 위의 클리퍼드 대수 -가군으로서 외대수 와 동형이다. 만약 일 경우 외대수 와 대수로서 동형이지만, 일 경우 외대수와 대수로서 다르다. 따라서, 클리퍼드 대수는 외대수의 일종의 양자화로 생각할 수 있다.

만약

라면 (즉, 라면),

가 된다. 따라서, 만약 반단순 가군이라면 이므로 위와 같은 분해를 사용할 수 있다. 따라서, 반단순 가군일 때 클리퍼드 대수의 분해는 비특이 이차 형식인 경우로 귀결된다. 특히, (또는 유한 개의 들의 직접곱)라면, 모든 가군은 반단순 가군이 되므로 위와 같은 분해를 사용할 수 있다.

이며, 가 그 위의 유한 차원 벡터 공간이고, 그 차원이 이라고 하자. 그렇다면, 클리퍼드 대수 차원 벡터 공간이다. 기저라고 하자. 그렇다면 기저는 다음과 같이 주어진다.

등급

클리퍼드 대수는 -가군으로서 외대수 와 동형이므로, 자연수 등급을 갖는다. 그러나 클리퍼드 대수의 곱셈은 (이므로) 오직 등급만을 보존한다.

클리퍼드 대수 에서, 짝수 등급 부분 대수 역시 클리퍼드 대수를 이룬다. 만약

라면,

이다.

자기 동형

가환환 위의 클리퍼드 대수 위에, 다음과 같은 자기 동형이 존재한다.

(만약 가환환 표수가 2라면 이는 항등 함수이다.)

마찬가지로, 위에 다음과 같은 반자기 동형(영어: anti-automorphism)이 존재한다.

(여기서 반대환을 뜻한다.) 는 서로 가환하며, 이 둘을 합성하면 다음과 같은 클리퍼드 수반(영어: Clifford conjugation)을 얻는다.

이 연산들은 등급이 인 원소 에 대하여 다음과 같다.

즉, 이는 에 대하여 다음과 같이 의존한다.

연산

이차 형식

가환환 위의 클리퍼드 대수 위에 다음과 같은 쌍선형 형식이차 형식을 정의할 수 있다.

여기서 등급에서, 등급 0의 성분으로의 사영을 뜻한다.

이는 다음 성질을 만족시킨다.

클리퍼드 군

가환환 위의 클리퍼드 대수 클리퍼드 군(영어: Clifford group)은 다음과 같은 원소 로 구성된 부분 집합이다.

  • 가역원이다.
  • 이다.

정의에 따라, 클리퍼드 군 위의 -선형 표현을 갖는다. 이 작용은 이차 형식 를 보존하며, 따라서 다음과 같은 군 준동형이 존재한다.

클리퍼드 군 부분 집합으로 포함한다 (가역원군). 이 경우

이다. 즉, 의 작용은 를 축 에 대하여 반사시키는 것이다.

특히, 이며, 차원 실수 벡터 공간이며, 음의 정부호 이차 형식이라고 하자. 그렇다면, 는 두 개의 연결 성분을 가지며, 단위원을 포함하는 성분 지표 2의 부분군이다. 또한, 다음과 같은 군의 짧은 완전열이 존재한다.

분류

복소수 클리퍼드 대수

복소수체이며, 비퇴화 이차 형식이 주어진 유한 차원 복소수 벡터 공간이라고 하자. 복소수의 경우, 부호수의 개념이 존재하지 않고, 오직 만 고려하면 된다. 이에 대한 클리퍼드 대수를 로 쓰자. 낮은 차원의 복소 클리퍼드 대수들은 다음과 같다.

(테사린, tessarine)
(2×2 복소 행렬)

또한, 다음과 같은 보트 주기성이 존재한다.

따라서 모든 복소수 클리퍼드 대수를 분류할 수 있다.

실수 클리퍼드 대수

실수체이며, 가 유한 차원 실수 벡터 공간이고, 부호수비퇴화 이차 형식이라고 하자. 이 경우, 이에 대한 클리퍼드 대수를 로 쓰자. 낮은 차원의 실수 클리퍼드 대수들은 다음과 같다.

(실수)
(복소수)
(분할복소수)
(사원수)
(2×2 실수 행렬)

또한, 다음과 같은 주기 8의 보트 주기성이 성립한다.

이에 따라, 모든 유한 차원 및 부호수에서의 실수 클리퍼드 대수를 분류할 수 있다.

즉, 실수 클리퍼드 대수 들은 다음과 같은 클리퍼드 시계(Clifford時計, 영어: Clifford clock)로 나타낼 수 있다.

즉,

이 가리키는 방향에 적힌 대수 위의 행렬 대수이며, 행렬 대수의 크기는 으로부터 계산할 수 있다. 예를 들어, 일 때

이다.

클리퍼드 해석학

복소해석학의 여러 성질들을 클리퍼드 대수 값을 갖는 함수에 대하여 일반화할 수 있다.[1][2][3]

디랙 작용소

유클리드 공간 속의 열린집합 위의 함수

가 주어졌다고 하자. 그렇다면, 이러한 함수에 대하여 디랙 작용소

를 생각할 수 있다 (정규 직교 기저). 만약

를 만족시킨다면, 왼쪽 정칙 함수(영어: left holomorphic/monogenic/regular function)라고 하며, 만약

를 만족시킨다면, 오른쪽 정칙 함수(영어: right holomorphic/monogenic/regular function)라고 한다.

디랙 작용소의 제곱은

이므로, 라플라스 연산자 의 일종의 제곱근이다.

코시 적분 공식

클리퍼드 대수 값의 함수에 대하여 일종의 코시의 적분정리가 성립한다. 즉,

  • 열린집합 가 주어졌으며 (위상수학적 폐포)
  • 유계 집합이자 단일 연결 공간이며,
  • 경계 가 조각별 미분 가능 다양체를 이루며,
  • 함수이며,
  • 는 왼쪽 정칙 함수이며 는 오른쪽 정칙 함수라고 하자.

그렇다면, 다음이 성립한다.

여기서

  • 위의 바깥 방향 수직 단위 벡터이며,
  • 위의 르베그 측도이다.

또한, 다음이 성립한다.

여기서

차원 단위 초구의 넓이이다.

등각 변환

리만 구 위의 등각 변환은 복소수 계수의 뫼비우스 변환

로 나타낼 수 있다. 마찬가지로, 위의 등각 변환은 클리퍼드 대수 계수의 뫼비우스 변환

으로 나타내어진다. 이 경우, 2×2 행렬

등각 변환알포르스-팔렌 행렬(영어: Ahlfors–Vahlen matrix)이라고 한다. 이는 오스트리아의 카를 테오도어 팔렌(독일어: Karl Theodor Vahlen)[4]이 1902년에 도입하였고 핀란드의 라르스 발레리안 알포르스(스웨덴어: Lars Valerian Ahlfors)[5][6][7]가 재발견하였다.

응용

양자장론에서, 4차원 디랙 스피너를 다룰 때 등장하는 디랙 행렬들의 곱은 클리퍼드 대수 를 생성한다. 마찬가지로, 3차원 스피너를 다룰 때 등장하는 파울리 행렬들은 클리퍼드 대수 를 이룬다. 스피너의 벡터 공간은 이와 같은 클리퍼드 대수 위의 가군을 이룬다.

역사

영국의 기하학자 윌리엄 킹던 클리퍼드가 도입하였다. 클리퍼드는 1876년 3월 10일에 런던 수학회(영어: London Mathematical Society)에서 〈기하학적 대수의 분류에 대하여〉(영어: On the classification of geometric algebras)라는 제목의 강의를 하였으며,[8] 그 미출판 원고는 클리퍼드 사후에 발견되었다. 1878년에 클리퍼드는 미국의 수학 저널에 관련 논문을 출판하였다.[9]

클리퍼드 군은 루돌프 립시츠가 도입하였다.[10]:§17.2

참고 문헌

  1. Delanghe, Richard (2001). “Clifford analysis: history and perspective”. 《Computational Methods and Function Theory》 (영어) 1 (1): 107–153. doi:10.1007/BF03320981. ISSN 1617-9447. 
  2. Brackx, F.; Delanghe, R.; Sommen, F. (1982). 《Clifford analysis》 (영어). Pitman. MR 0697564. Zbl 0529.30001. 
  3. Gilbert, J.; Murray, M. (1991). 《Clifford algebras and Dirac operators in harmonic analysis》 (영어). Cambridge University Press. MR 1130821. Zbl 0733.43001. 
  4. Vahlen, Karl Theodor (1902). “Ueber Bewegungen und complexe Zahlen”. 《Mathematische Annalen》 (독일어) 55 (4): 585–593. doi:10.1007/BF01450354. ISSN 0025-5831. 
  5. Ahlfors, Lars V. (1984). 《Old and new in Möbius groups》 (PDF). 《Annales Academiæ Scientiarum Fennicæ. Serie A.I. Mathematica》 (영어) 9. 93–105쪽. doi:10.5186/aasfm.1984.0900. ISSN 1239-629X. 
  6. Ahlfors, L. V. (1986). “Möbius transformations in expressed through 2×2 matrices of Clifford numbers”. 《Complex Variables, Theory and Application: An International Journal》 (영어) 5: 215–224. doi:10.1080/17476938608814142. ISSN 0278-1077.  |제목=에 지움 문자가 있음(위치 27) (도움말)
  7. Ahlfors, Lars V. 《Clifford Algebras and Their Applications in Mathematical Physics》. North Atlantic Treaty Organization Advanced Science Institutes Series C: Mathematical and Physical Sciences (영어) 183. Springer. doi:10.1007/978-94-009-4728-3_15. ISBN 978-94-010-8602-8. ISSN 1389-2185. 
  8. Spottiswoode, W. (1876). “March 10th, 1876”. 《Proceedings of the London Mathematical Society》 (영어) 7: 135–136. doi:10.1112/plms/s1-7.1.119. ISSN 0024-6115. 
  9. Clifford, W. K. (1878). “Applications of Grassmann’s extensive algebra”. 《American Journal of Mathematics》 (영어) 1 (4): 350–358. doi:10.2307/2369379. ISSN 0002-9327. JSTOR 2369379. Zbl 10.0297.02. 
  10. Lounesto, Pertti (2001년 5월). 《Clifford algebras and spinors》. London Mathematical Society Lecture Note Series (영어) 286 2판. Cambridge: Cambridge University Press. doi:10.1017/CBO9780511526022. ISBN 978-0-521-00551-7. 

바깥 고리