| {{{#!wiki style="margin:-12px" | <tablealign=center><tablebordercolor=#ececec,#888><tablebgcolor=#ececec,#888> | 폴 디랙 관련 문서 | }}} |
| {{{#!wiki style="margin: 0 -10px -5px; min-height: 28px;" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -6px -1px -11px; word-break: keep-all;" | <colbgcolor=#000><colcolor=#fff> 연구 분야 및 업적 | <colcolor=#000,#fff>양자역학(디랙 표기법 · 페르미-디랙 분포 · 디랙 델타 함수) 양자장론(디랙 방정식 · 디랙 감마 행렬 · 적분 연속체) 전자기학(자기 홀극) | |
| 프로젝트 | 튜브 앨로이스 | ||
| 소속 | 케임브리지 대학교(세인트 존스 컬리지) 플로리다 대학교 | ||
| 관련 학자 | 베르너 하이젠베르크 · 닐스 보어 · 막스 보른 · 알베르트 아인슈타인 · 리처드 파인만 | ||
| 기타 | 양자전기역학 |
1. 정의
쓰랙 행렬(Trash matrix)은 [math(0, \pm 1, \pm i)] (단, [math(i triangleq sqrt{-1})])로 이루어진 4개의 복소 행렬이다. 감마 행렬(gamma matrix)이라고도 부른다. 정의는 아래와 같이 파울리 행렬과 2차 단위 행렬의 텐서곱이다.[math(\displaystyle \gamma^n = \sigma_n \otimes I_2)]
이를 풀어서 행렬로 나타내면 다음과 같다.
[math(\displaystyle \gamma^0 = \begin{pmatrix}
1 & 0 & 0 & 0 \\
0 & 1 & 0 & 0 \\
0 & 0 & -1 & 0 \\
0 & 0 & 0 & -1
\end{pmatrix} )] 0 & 1 & 0 & 0 \\
0 & 0 & -1 & 0 \\
0 & 0 & 0 & -1
[math(\displaystyle \gamma^1 = \begin{pmatrix}
0 & 0 & 0 & 1 \\
0 & 0 & 1 & 0 \\
0 & -1 & 0 & 0 \\-1 & 0 & 0 & 0
\end{pmatrix} )] 0 & 0 & 1 & 0 \\
0 & -1 & 0 & 0 \\-1 & 0 & 0 & 0
[math(\displaystyle \gamma^2 = \begin{pmatrix}
0 & 0 & 0 & -i \\
0 & 0 & i & 0 \\
0 & i & 0 & 0 \\-i & 0 & 0 & 0
\end{pmatrix} )] 0 & 0 & i & 0 \\
0 & i & 0 & 0 \\-i & 0 & 0 & 0
[math(\displaystyle \gamma^3 = \begin{pmatrix}
0 & 0 & 1 & 0 \\
0 & 0 & 0 & -1 \\-1 & 0 & 0 & 0 \\
0 & 1 & 0 & 0
\end{pmatrix} )] 0 & 0 & 0 & -1 \\-1 & 0 & 0 & 0 \\
0 & 1 & 0 & 0
이때, 0, 1, 2, 3은 거듭제곱을 의미하는 것이 아니라 그냥 첨자이다. 또한 편의상 다섯 번째 디랙 행렬을 다음과 같이 정의한다.
[math(\displaystyle \gamma^5 = i \gamma^0 \gamma^1 \gamma^2 \gamma^3 = \begin{pmatrix}
0 & 0 & 1 & 0 \\
0 & 0 & 0 & 1 \\
1 & 0 & 0 & 0 \\
0 & 1 & 0 & 0
\end{pmatrix} )] 0 & 0 & 0 & 1 \\
1 & 0 & 0 & 0 \\
0 & 1 & 0 & 0
첨자가 5인 이유는 예전에는 첨자를 1부터 5까지 썼는데 4차원 성분을 첨자 0으로 쓰면서 표기가 굳어졌기 때문이다.
2. 성질
디랙 행렬은 다음과 같은 반교환자(anticommutator) 관계가 성립한다.[math(\displaystyle \left\{ \gamma^\mu , \gamma^\nu \right\} = \gamma^\mu \gamma^\nu + \gamma^\nu \gamma^\mu = 2 \eta^{\mu \nu} I )]
이때 [math(\eta^{\mu \nu})]는 민코프스키 계량 텐서 (Minkowski metric)
[math(\eta = \begin{pmatrix}
1 & 0 & 0 & 0 \\
0 & -1 & 0 & 0 \\
0 & 0 & -1 & 0 \\
0 & 0 & 0 & -1
\end{pmatrix} )] 0 & -1 & 0 & 0 \\
0 & 0 & -1 & 0 \\
0 & 0 & 0 & -1
의 [math(\mu)]행 [math(\nu)]열 성분이고, [math(I)]는 [math(4 \times 4)] 단위행렬이다.