同種粒子のソースを表示

[[File:Interaction particules identiques.jpg|thumb|同種の粒子１と粒子２が衝突した時、衝突の過程(a)と(b)は同じ結果となる。同種粒子は区別ができないので、(a)と(b)どちらが起こったのかも確かめようがない。]]

'''同種粒子'''（どうしゅりゅうし、Identical particles）は原理的に区別することができない粒子のことである。同種粒子に含まれるものとして、[[電子]]などの[[素粒子]]や、[[原子]]や[[分子]]などの複合粒子がある<ref>同種複合粒子の定義は「何を複合粒子とするか」による。なぜなら複合粒子は素粒子よりも多くの内部自由度（量子数など）があるからである。例えば、原子[[エネルギー準位]]間の遷移を無視し、原子の基底状態のような特定の状態だけを考えた場合、複数の基底状態の原子は同種で区別できない。</ref>。

粒子が区別できないという事実は、[[統計力学]]に重要な影響を与える。統計力学の計算では[[確率論|確率]]が大きく関係しており、確率は考えている対象が区別できるかどうかで決定的な違いが現れる。その結果、同種粒子は区別できる粒子とは大きく異なる統計的振る舞いを示す。その例が[[ギブズのパラドックス]]である。

== 概要 ==
[[量子論]]において、複数の同種粒子を含む系の[[状態ベクトル]]や物理量（[[オブザーバブル]]）は、一定の[[対称性]]を持つものに限られる。その対称性は、基本変数を粒子の「[[位置]]と[[運動量]]」にとった量子論（[[量子力学]]）では、少し不自然にも見える（[[波動関数]]の対称性、反対称性など）。その理由は、個々の粒子に別々の「位置と運動量」を割り当てるのは、粒子を区別できることが前提であるのに、区別ができない粒子にそれを適用しているためである。そこで、基本変数を「[[場]]」とその共役運動量にとれば、同種粒子の区別がつかないことや、状態ベクトルや物理量の対称性などが理論に組み込まれ、すっきりしたものになる。

同種粒子は[[ボゾン]]と[[フェルミオン]]に大別できる。ボゾンは量子状態を共有でき、フェルミオンは[[パウリの排他原理]]のため量子状態を共有できない。ボゾンの例として、[[光子|フォトン]]、[[グルーオン]]、[[フォノン]]、[[ヘリウムの同位体|<sup>4</sup>He原子]]がある。フェルミオンの例として、[[電子]]、[[ニュートリノ]]、[[クォーク]]、[[陽子]]、[[中性子]]、[[ヘリウムの同位体|<sup>3</sup>He原子]]がある。

==量子論による記述==
===一粒子状態と多粒子状態===
同種粒子は区別することができないため、それぞれの粒子に「位置」を割り振ることができない。なぜなら位置を割り振った時点で粒子が区別できてしまうからである。この性質を'''不可弁別性'''という。よって一般に粒子の位置の関数である波動関数を用いる方法は少し不自然なものになる。

そこで'''占有数'''を用いた方法で同種多粒子系を表現する方法が一般に用いられる。この方法は'''数表示'''（'''占有数表示'''）の方法と呼ばれる。この方法では同種多粒子系を、「'''一粒子状態'''がいくつかあって、その一粒子状態にある同種粒子の個数（'''占有数'''）を数える」と考える。占有数という名前からわかるように、これは一粒子状態を「座席」のように扱い、その座席に座る同種粒子の個数を数えるという考えである。この方法は波動関数を用いる方法と同じ情報をもっている。なお「一粒子状態」とは言っているが、その状態の同種粒子の数は０または 1 とは限らない。たとえばボゾンの場合はある一粒子状態には粒子がいくつでも入ることができる。このボゾンの性質からも、この方法が便利であることがわかる。

===スピン統計定理===
{{main|スピン統計定理}}
エネルギーに下限があること、ローレンツ変換しても物理法則が変わらないことから次の'''[[スピン統計定理]]'''が成り立つ。

:[[1粒子状態]]の[[占有数]]<math>n_\nu</math>の取りうる値は
:* <math>\quad n_\nu=0,1 \ </math>
:* <math>\quad n_\nu=0,1,2,\ldots \ </math>
:のいずれかに限られる。粒子の[[スピン角運動量|スピン]]の大きさは、前者（'''フェルミ粒子'''）の場合は <math>\hbar \ </math> の半奇数（奇数の1/2倍）倍で、後者（'''ボース粒子'''）の場合は<math>\hbar \ </math>の整数倍である。この定理から、フェルミ粒子とボーズ粒子の状態の数え方に違いが生まれ、統計的なふるまいも違ってくる。

===多粒子状態の波動関数===
{{main|多体波動関数}}
{{mvar|N}} 粒子系を考える。仮にそれぞれの粒子に名前を {{math|1, 2, ..., ''N''}} とつけたとすると、それぞれの粒子の位置が決まる。多粒子状態を座標表示による波動関数は、ボース粒子の場合は
:<math>\Psi_{n_1 n_2 \cdots n_N} (\mathbf{r}_1, \mathbf{r}_2, \ldots, \mathbf{r}_N)
= N \sum_p \psi_{p(1)}(\mathbf{r}_1) \psi_{p(2)}(\mathbf{r}_2) \cdots \psi_{p(N)}(\mathbf{r}_N),</math>
フェルミ粒子の場合は、
:<math>\Psi_{n_1 n_2 \cdots n_N} (\mathbf{r}_1, \mathbf{r}_2, \ldots, \mathbf{r}_N)
= \frac{1}{\sqrt{N!}} \sum_p \mathrm{sgn}(p) \psi_{p(1)}(\mathbf{r}_1) \psi_{p(2)}(\mathbf{r}_2) \cdots \psi_{p(N)}(\mathbf{r}_N)</math>
となる。ここで <math>p \ </math> は[[対称群|置換]]を表す。

== 脚注==
{{reflist}}

==参考文献==
* {{Cite book|和書|author=清水明|authorlink=清水明|year=2004|title=新版 量子論の基礎―その本質のやさしい理解のために―|publisher=[[サイエンス社]]|id=ISBN 4-7819-1062-9}}
* {{Cite book|和書|author=田崎晴明|authorlink=田崎晴明|year=2008|title=統計力学I|publisher=[[培風館]]|id=ISBN 4563024376}}

== 関連項目 ==

* [[ボース粒子]]
* [[フェルミ粒子]]

== 外部リンク ==
* [http://www.av8n.com/physics/exchange.htm Exchange of Identical and Possibly Indistinguishable Particles] by John S. Denker
* [http://plato.stanford.edu/entries/qt-idind/ Identity and Individuality in Quantum Theory] ([[Stanford Encyclopedia of Philosophy]])

{{DEFAULTSORT:とうしゆりゆうし}}

[[Category:統計力学]]
[[Category:量子力学]]
[[Category:場の量子論]]