"클리포드 대수와 스피너"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
 
(같은 사용자의 중간 판 8개는 보이지 않습니다)
7번째 줄: 7번째 줄:
  
 
==클리포드 대수==
 
==클리포드 대수==
−
 
+
* <math>K:</math> 표수가 2가 아닌 체
 +
* <math>V:</math> <math>K</math>위에 정의된 유한차원 벡터공간
 
* 이차형식이 주어진 벡터공간 <math>(V,Q)</math>
 
* 이차형식이 주어진 벡터공간 <math>(V,Q)</math>
−
* Q : non-degenerate quadratic form 으로부터 symmetric bilinear form <math>\langle x,y \rangle</math> 을 얻는다
+
** <math>Q:</math>  <math>V</math>에 정의된 비퇴화된 이차형식
−
* 클리포드 대수: V의 원소들로 생성되는 결합대수(associative algebra)로 다음 관계를 만족시킨다<br>
+
** 대칭겹선형 형식 <math>\langle x,y \rangle</math>
 +
* 클리포드 대수는 <math>V</math>의 원소들로 생성되는 결합대수(associative algebra)로 다음 관계를 만족시킨다
 
** <math>v^2=Q(v)</math>
 
** <math>v^2=Q(v)</math>
 
** <math>vw+wv=2\langle w,v\rangle</math>
 
** <math>vw+wv=2\langle w,v\rangle</math>
 
* [[외대수(exterior algebra)와 겹선형대수(multilinear algebra)|외대수(exterior algebra,그라스만 대수)]]의 양자화로 이해하기도 한다
 
* [[외대수(exterior algebra)와 겹선형대수(multilinear algebra)|외대수(exterior algebra,그라스만 대수)]]의 양자화로 이해하기도 한다
−
 
−
 
−
 
−
 
−
 
  
 
==스피너==
 
==스피너==
50번째 줄: 47번째 줄:
 
* [[디랙 행렬]]
 
* [[디랙 행렬]]
  
−
 
  
 +
===디랙의 동기===
 +
* 디랙은 양자역학의 상대론적 파동방정식([[디랙 방정식]])을 찾는 과정에서 디랙 스피너를 도입하였다
 +
* 여기서 [[라플라시안(Laplacian)]] 연산자의 제곱근을 찾는 문제를 생각하게 된다
 +
:<math>
 +
\sqrt{\frac{\partial^2f}{\partial x_1^2} + \cdots+\frac{\partial^2 f}{\partial x_n^2}}=?
 +
</math>
 +
* 이 문제는 이차형식 <math>Q</math>이 선형형식의 완전제곱으로 쓰여질 수 있다는 클리포드 대수의 일반적인 성질과 관련이 있다
 +
* <math>n</math>차원 벡터공간 <math>V</math>의 기저를 <math>e_1,\cdots, e_n</math>라 두면, 클리포드 대수에서 다음 등식이 성립한다
 +
:<math>
 +
Q(a_1e_1+\cdots+a_ne_n)=(a_1e_1+\cdots+a_ne_n)^2
 +
</math>
 +
* 디랙 스피너를 도입하면 라플라시안의 제곱근에 해당하는 대상을 찾을 수 있게 된다
 
   
 
   
  
78번째 줄: 86번째 줄:
 
* [[하이젠베르크 군과 대수]]
 
* [[하이젠베르크 군과 대수]]
  
−
 
−
 
−
 
−
 
−
 
−
 
−
 
−
 
−
 
  
 
   
 
   
96번째 줄: 95번째 줄:
 
* http://en.wikipedia.org/wiki/Clifford_algebra
 
* http://en.wikipedia.org/wiki/Clifford_algebra
 
* http://en.wikipedia.org/wiki/Spinors_in_three_dimensions
 
* http://en.wikipedia.org/wiki/Spinors_in_three_dimensions
−
* [http://eom.springer.de/default.htm The Online Encyclopaedia of Mathematics]
 
−
* [http://dlmf.nist.gov/ NIST Digital Library of Mathematical Functions]
 
−
* [http://eqworld.ipmnet.ru/ The World of Mathematical Equations]
 
−
 
−
 
  
 
   
 
   
  
−
==리뷰논문, 에세이, 강의노트==
+
==리뷰, 에세이, 강의노트==
 +
* James M. Chappell, Azhar Iqbal, John G. Hartnett, Derek Abbott, The vector algebra war: a historical perspective, arXiv:1509.00501 [physics.hist-ph], August 29 2015, http://arxiv.org/abs/1509.00501, 10.1109/ACCESS.2016.2538262, http://dx.doi.org/10.1109/ACCESS.2016.2538262, IEEE Access , vol.PP, no.99, pp.1-1, 2016
 +
* Chappell, James M., Azhar Iqbal, John G. Hartnett, and Derek Abbott. “The Vector Algebra War: A Historical Perspective.” arXiv:1509.00501 [physics], August 29, 2015. http://arxiv.org/abs/1509.00501.
 +
* Sobczyk, Garret. “Part II: Spacetime Algebra of Dirac Spinors.” arXiv:1507.06609 [math-Ph, Physics:quant-Ph], July 21, 2015. http://arxiv.org/abs/1507.06609.
 +
* ———. “Part I: Vector Analysis of Spinors.” arXiv:1507.06608 [math-Ph, Physics:quant-Ph], July 21, 2015. http://arxiv.org/abs/1507.06608.
 
*Peter Woit의 강의 노트
 
*Peter Woit의 강의 노트
 
**[http://www.math.columbia.edu/~woit/notes17.pdf Clifford Algebras]
 
**[http://www.math.columbia.edu/~woit/notes17.pdf Clifford Algebras]
115번째 줄: 113번째 줄:
 
* Coquereaux, Robert. 2005. “Clifford algebras, spinors and fundamental interactions : Twenty Years After”. <em>arXiv:math-ph/0509040</em> (9월 19). http://arxiv.org/abs/math-ph/0509040.
 
* Coquereaux, Robert. 2005. “Clifford algebras, spinors and fundamental interactions : Twenty Years After”. <em>arXiv:math-ph/0509040</em> (9월 19). http://arxiv.org/abs/math-ph/0509040.
 
[[분류:리군과 리대수]]
 
[[분류:리군과 리대수]]
 +
[[분류:수리물리학]]
 +
 +
==메타데이터==
 +
===위키데이터===
 +
* ID :  [https://www.wikidata.org/wiki/Q1196652 Q1196652]
 +
===Spacy 패턴 목록===
 +
* [{'LOWER': 'exterior'}, {'LEMMA': 'algebra'}]
 +
* [{'LOWER': 'grassmann'}, {'LEMMA': 'algebra'}]

2021년 2월 17일 (수) 05:03 기준 최신판

개요



클리포드 대수

  • \(K:\) 표수가 2가 아닌 체
  • \(V:\) \(K\)위에 정의된 유한차원 벡터공간
  • 이차형식이 주어진 벡터공간 \((V,Q)\)
    • \(Q:\) \(V\)에 정의된 비퇴화된 이차형식
    • 대칭겹선형 형식 \(\langle x,y \rangle\)
  • 클리포드 대수는 \(V\)의 원소들로 생성되는 결합대수(associative algebra)로 다음 관계를 만족시킨다
    • \(v^2=Q(v)\)
    • \(vw+wv=2\langle w,v\rangle\)
  • 외대수(exterior algebra,그라스만 대수)의 양자화로 이해하기도 한다

스피너

  • 클리포드 대수의 벡터공간 \(W\) 에서의 표현(representation)을 생각하자
  • W의 원소를 스피너라 부른다



파울리 스피너

  • 실수체 위에 정의된 8차원 클리포드 대수
  • 파울리 행렬 로부터 구성할 수 있다
  • 3차원 유클리드 공간 \(E_{3}\)의 클리포드 대수 \(C(E_{3})\)와 동형이다
  • SO(3)의 사영표현을 얻을 수 있다



디랙 스피너

  • 16차원 실대수
  • 4차원 민코프스키 공간 \(E_{3,1}\)의 클리포드 대수 \(C(E_{3,1})\) 와 동형
  • \(\gamma_{\mu}^2=\epsilon_{\mu}\), \(\gamma_{\mu}\gamma_{\nu}+\gamma_{\nu}\gamma_{\mu}=0\), \(\epsilon_{0}=1, \epsilon_{i}=-1\)
  • 4차원 표현이 존재한다
  • 로렌츠 군의 사영표현을 얻을 수 있다
  • 로렌츠 군의 universal covering \(H=SL(2,\mathbb{C})\) 의 표현
  • 디랙 행렬


디랙의 동기

  • 디랙은 양자역학의 상대론적 파동방정식(디랙 방정식)을 찾는 과정에서 디랙 스피너를 도입하였다
  • 여기서 라플라시안(Laplacian) 연산자의 제곱근을 찾는 문제를 생각하게 된다

\[ \sqrt{\frac{\partial^2f}{\partial x_1^2} + \cdots+\frac{\partial^2 f}{\partial x_n^2}}=? \]

  • 이 문제는 이차형식 \(Q\)이 선형형식의 완전제곱으로 쓰여질 수 있다는 클리포드 대수의 일반적인 성질과 관련이 있다
  • \(n\)차원 벡터공간 \(V\)의 기저를 \(e_1,\cdots, e_n\)라 두면, 클리포드 대수에서 다음 등식이 성립한다

\[ Q(a_1e_1+\cdots+a_ne_n)=(a_1e_1+\cdots+a_ne_n)^2 \]

  • 디랙 스피너를 도입하면 라플라시안의 제곱근에 해당하는 대상을 찾을 수 있게 된다


역사



메모



관련된 항목들



사전 형태의 자료


리뷰, 에세이, 강의노트

메타데이터

위키데이터

Spacy 패턴 목록

  • [{'LOWER': 'exterior'}, {'LEMMA': 'algebra'}]
  • [{'LOWER': 'grassmann'}, {'LEMMA': 'algebra'}]
원본 주소 "https://wiki.mathnt.net/index.php?title=클리포드_대수와_스피너&oldid=52504"