הצגת המקור של הדף "חלקיקים מובחנים ובלתי מובחנים"

[[קובץ:חלקיקים_לא_מובחנים_בקופסה.png|ממוזער|250x250 פיקסלים|מערכת אחת בשני זמנים שונים.{{ש}}
חלקיקים בלתי מובחנים: בין החלקיקים הלבנים לבין עצמם לא ניתן להבדיל. למשל אם נתבונן בחלקיק העליון משמאל באיור השמאלי, לא נדע לאן פנה והיכן הוא בזמן שמוצג באיור הימני.{{ש}}
לעומתם, חלקיקים מובחנים הם חלקיקים שניתן להבחין ביניהם. למשל, מכיוון שיש רק חלקיק כחול אחד במערכת שבאיורים, נוכל לדעת איפה הוא בכל זמן.]]
כאשר דנים במערכת של N [[חלקיק]]ים זהים יש להפריד לשני מקרים: חלקיקים מובחנים וחלקיקים בלתי-מובחנים.

'''חלקיקים בלתי-מובחנים''' – במכניקת הקוונטים הם חלקיקים אשר עקרונית לא ניתן להבדיל ביניהם והם מוגדרים רק בסקלות קוונטיות.

'''חלקיקים מובחנים''' – חלקיקים שניתן להבדיל ביניהם, ולהתחקות אחר ההתפתחות בזמן של כל אחד ואחד מהם.

היכולת להבחין בין חלקיקים היא תכונה יסודית של המערכת, אשר קובעת כיצד יש לספור [[מצב מיקרוסקופי (מכניקה סטטיסטית)|מצבים מיקרוסקופיים]]. ב[[פיזיקה קלאסית]] (וכן באינטואיציה שלנו) חלקיקים תמיד מובחנים. לכן, גם אם נבחר לא להבחין ביניהם (לדוגמה: הוצאת כדורים זהים משק) הסטטיסטיקה היא של חלקיקים מובחנים כי תמיד נוכל לבחור לצבוע אותם בצבע שונה או לתייג כל אחד בתווית אחרת. ב[[פיזיקה קוונטית]], לעומת זאת, חלקיקים זהים הם בלתי מובחנים בהגדרה, כגון: [[חלקיק אלמנטרי|חלקיקים אלמנטרים]], [[חלקיק תת-אטומי|חלקיקים תת-אטומים]], [[אטום|אטומים]] ו[[מולקולה|מולקולות]]. קיימות תכונות אינהרנטיות באמצעותן ניתן להבדיל בין חלקיקים גם בפיזיקה קוונטית והן: [[מסה]], [[מטען חשמלי|מטען]] ו[[ספין (פיזיקה)|ספין]]. זאת, לעומת תכונות דינמיות, כגון: מיקום, תנע ואנרגיה, שמאפשרות הבחנה בפיזיקה הקלאסית, אך לא בפיזיקה הקוונטית.

== רקע פילוסופי ==
בתום [[המאה ה-17]] התנהל ויכוח בין הפילוסוף [[גוטפריד וילהלם לייבניץ]] לבין [[סמואל קלארק]] (תלמידו של ניוטון). על פי התפיסה הניוטונית העולם מורכב מאינספור חלקיקים זהים בתכונותיהם הנמצאים במקומות שונים בחלל וכל חלקיק שומר על זהותו העצמית ונותר הוא עצמו במשך התהליכים בו משתתף (נציין כי הזהות העצמית היוותה מונח בסיס ב[[מכניקה קלאסית]]). לייבניץ, לעומת זאת, התנגד לקיומם של חלקיקים זהים ולכך טענות [[לוגיקה|לוגיות]] הנובעות מתפיסה פילוסופית דתית. טענתו היא כי האל בורא את הטוב ביותר מבין העולמות האפשריים. חרף זאת, אין סיבה מספקת שהאל יבחר לשים אטום אחד במקום מסוים על פני האחר אם הם זהים ובעלי אותה השפעה. ולכן, לדידו אין זה ייתכן כי האל יברא שני חלקיקים זהים בדיוק וכתוצאה מכך טען כי אטומים זהים לא קיימים. תורת הקוונטים עוקפת את טענתו של לייבניץ בדרך נאה ומחוכמת ומפרה את תכונת הזהות העצמית של חלקיקים.

== תיאור במכניקת הקוונטים ==
חלקיקים שונים כגון פרוטון ואלקטרון ניתנים להבחנה. לכן, ניתן יהיה לכתוב עבורם [[מצב מקום]] בשלושה ממדים:<math>|\overrightarrow{r_p},\overrightarrow{r_e}\rangle</math>. אולם, עבור חלקיקים בלתי מובחנים המצב שונה כיוון שלא ניתן להבדיל בניהם. לאחר החלפתם המצב הפיזיקלי לא השתנה, כלומר נותרנו באותו [[מצב קוונטי]] עד כדי פאזה, ולכן אם נבצע מדידת מקום ונמצא כי קיים חלקיק אחד במיקום <math>x_1</math> וחלקיק אחר ב- <math>x_2</math>,מפני שהם [[קומוטטור|חילופיים]] – לא נדע מי זה מי. קרי, לאחר המדידה ייתכן ומצב המיקום הוא: <math>|{x_1},{x_2}\rangle</math> או <math>|{x_2},{x_1}\rangle</math> או [[צירוף ליניארי]] ([[סופרפוזיציה]]) של המצבים הללו. עבור הסופרפוזיציה ניתן להראות כי קיימות רק שתי אפשרויות:

# מצב סימטרי (s): <math>|{x_1}{x_2}\rangle_s=\frac{1}{\sqrt{2}}\left[|{x_1}{x_2}\rangle+|{x_2}{x_1}\rangle\right]</math>. במצב זה החלפת החלקיקים כלל לא משנה, ולכן:<math>\Psi_+(\overrightarrow{r_1},\overrightarrow{r_2})=\Psi_+(\overrightarrow{r_2},\overrightarrow{r_1})</math>.
# מצב אנטי סימטרי (a): <math>|{x_1}{x_2}\rangle_a=\frac{1}{\sqrt{2}}\left[|{x_1}{x_2}\rangle-|{x_2}{x_1}\rangle\right]</math>. במצב זה החלפת החלקיקים הופכת את הסימן, ולכן:<math>\Psi_-(\overrightarrow{r_1},\overrightarrow{r_2})=-\Psi_-(\overrightarrow{r_2},\overrightarrow{r_1})</math>.

כאשר המקדם <math>\frac{1}{\sqrt{2}}</math> דואג ל[[וקטור יחידה|נרמול]] המצב.

למעשה בעולם קוונטי בשלושה ממדים ניתן לסווג את החלקיקים בטבע לשני סוגים בעלי התנהגות סטטיסטית שונה ([[משפט ספין-סטטיסטיקה]]):
* [[בוזון|בוזונים]]: בעלי פונקציית גל סימטרית (דהיינו, מצב סימטרי). ביניהם נמנים בין היתר:[[פוטון|פוטונים]], [[גלואון|גלואונים]], [[פונון|פונונים]], [[הליום-4]] וכל ה[[מזון (חלקיק)|מזונים]]. עבור חלקיקים אלו הספין הוא מספר שלם.
* [[פרמיון|פרמיונים]]: בעלי פונקציית הגל האנטי-סימטרית. ביניהם נמנים בין היתר: [[אלקטרון|אלקטרונים]], חלקיקי ה[[נייטרינו]], [[הליום-3]], [[קווארק]]ים ו[[פרוטון|פרוטונים]]. עבור חלקיקים אלו הספין הוא מספר חצי שלם (במילים אחרות, כפולה אי-זוגית של חצי).

יצוין כי במערכת בשני ממדים קיימים גם [[אניון (קואזי-חלקיק)|אניונים]] (anyons) להם תכונות פחות מגבילות מאשר ל[[בוזון|בוזונים]] ול[[פרמיון|פרמיונים]].

== תכונות בפיזיקה הסטטיסטית ==
[[פיזיקה סטטיסטית]] מסתמכת על חישובי הסתברות עבורם חשוב מאוד להבדיל בין חלקיקים מובחנים לבין חלקיקים בלתי מובחנים:
* התפלגות הסיכויים המתאימה לחלקיקים מובחנים היא [[התפלגות מקסוול-בולצמן]].
* ל[[בוזון|בוזונים]] זהים הסתברות גבוהה יותר להימצא באותו [[מצב קוונטי]] מאשר לחלקיקים מובחנים (דוגמה לכך היא "[[עיבוי בוז-איינשטיין]]"), והתפלגות הסיכויים המתאימה היא [[התפלגות בוז-איינשטיין]].
* לעומת בוזונים, [[פרמיון|פרמיונים]] זהים לעולם לא נמצאים באותו מצב קוונטי, עובדה זו מוכרת כ[[עקרון האיסור של פאולי]], והתפלגות הסיכויים המתאימה היא [[התפלגות פרמי-דיראק]].
[[קובץ:חלקיקים_ממוספרים.png|ממוזער|202x202 פיקסלים|מספור חלקיקים זהים]]
כאשר מדובר בחלקיקים בלתי-מובחנים, פעולה רגילה בפיזיקה הקלאסית כמו מספור החלקיקים (למשל, "חלקיק 1" ו"חלקיק 2") היא חסרת משמעות, היות שבעת החלפת המספרים של החלקיקים, הפיזיקה של המערכת לא משתנה. למשל, באיור הסמוך (וראו טבלה להלן), ה[[מצב קוונטי|מצב הקוונטי]] של חלקיקים 1 ו-3 זהה, ולכן החלפה בין המספרים היא חסרת משמעות. יתרה מכך, אין אפילו חשיבות להחלפה בין שמות החלקיקים 2 ו-1, מכיוון שמצב המערכת יוותר כפי שהוא.
{| class="wikitable"
| colspan="3" |מספר קוונטי
|
|-
|n<sub>x</sub>
|n<sub>y</sub>
|n<sub>z</sub>
|שם החלקיק
|-
|19
|65
|1
|1
|-
|2
|18
|5
|2
|-
|19
|65
|1
|3
|}
===דוגמה===
לשם המחשה, ניעזר ב[[פונקציית חלוקה (פיזיקה)|פונקציית חלוקה]] הקנונית: <math>Z(\beta)=\sum_{s}\exp(-\tfrac{\epsilon_s}{k_BT})</math>, כאשר המערכת מצומדת לאמבט תרמי בטמפרטורה <math>T</math> ולמצב מיקרוסקופי של המערכת, s, יש אנרגיה <math>\epsilon_s</math>.

עבור חלקיקים מובחנים, האנרגיה של המערכת היא סכום האנרגיות החד חלקיקיות, ולכן פונקציית החלוקה מקיימת: <math>Z_{\mathrm{total}}=\left(Z_{\mathrm{single}}\right)^N</math> .

עבור חלקיקים בלתי מובחנים, בגבול [[אכלוס דליל]] (כלומר כאשר יש מעט חלקיקים ביחס למספר רמות האנרגיה כך שהסיכוי למציאת שני חלקיקים באותה רמה נמוך):<math>Z_{tot}=\frac{\left(Z_{\mathrm{single}}\right)^N}{N!}</math>.

דוגמה בה ההבחנה בין חלקיקים מובחנים ובלתי מובחנים חשובה היא בחישוב [[פונקציית חלוקה (פיזיקה)|פונקציית החלוקה]] הקנונית הכוללת (Z<sub>total</sub>) של גז אידיאלי מונואטומי בעל N חלקיקים (בקופסה). הפתרון הנכון הוא הפתרון של גיבס (ראה [[פרדוקס גיבס]]) המניח כי החלקיקים בלתי מובחנים (במצבים קוונטים שונים). הפתרון התקין לוקח בחשבון את חוסר המשמעות להחלפה בין החלקיקים ולכן מחלק את הפתרון השגוי במספר האפשריות לסידור החלקיקים-<math>N!</math>. כלומר, '''לא נוכל''' לרשום שפונקציית החלוקה הכוללת היא: <math>Z_{\mathrm{total}}=\left(Z_{\mathrm{single}}\right)^N</math>, '''אלא:''' <math display="block">Z_{\mathrm{total}}=\frac{(Z_{single})^N}{N!}</math>.

כאשר קיימים חלקיקים שבנוסף הם בעלי אותו מצב קוונטי צריך לכפול את פונקציית החלוקה הקנונית פי מספר ה[[פרמוטציה|פרמוטציות]], p, בין החלקיקים אשר באותו מצב מצב קוונטי, כלומר:<math display="block">Z_{\mathrm{total}}=\frac{(Z_{single})^N}{N!/p}</math>.

== ראו גם ==
* [[עקרון האיסור של פאולי]]
* [[סימון דיראק]]
* [[פיזיקה סטטיסטית]]
* [[פרמיון]]
* [[בוזון]]
* [[פרדוקס גיבס]]
* [[אינטראקציית שחלוף]]
* [[התפלגות פרמי-דיראק]]
* [[משפט ספין-סטטיסטיקה]]

== לקריאה נוספת ==
* יואב בן-דב, '''תורת הקוונטים – מציאות ומסתורין''', תל אביב: דביר, הוצאה לאור בע"מ, 1997.
<div class="mw-content-ltr">
* .J.Griffiths, ''Introduction To Quantum Mechanics'', United Kingdom: Cambridge Universiversity Press,Third edition, 2018
</div>

[[קטגוריה:מכניקת הקוונטים]]
[[קטגוריה:עקרון האיסור של פאולי]]
[[קטגוריה:חלקיקים אלמנטריים]]