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

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

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

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

== חבורות סימטריה נקודתיות והסריגים שלהן ==

אפשר לתאר סריג ב[[המרחב האוקלידי|מרחב האוקלידי]] <math>\ \mathbb{R}^n</math> באמצעות [[מטריצה|מטריצות]]. אם <math>\ \Lambda</math> הוא סריג, אפשר לכתוב כל נקודה עליו כצירוף שלם של וקטורים <math>\ v_1,\dots,v_n</math> (כלומר, <math>\ \Lambda = \{a_1 v_1 + \cdots + a_n v_n : a_1,\dots,a_n \in \mathbb{Z}\}</math>). כעת אפשר לאסוף את הווקטורים <math>\ v_1,\dots,v_n</math> לעמודות של [[מטריצה ריבועית]] L, והסריג שווה לאוסף הנקודות <math>\ \Lambda = L \mathbb{Z}^n</math>, כאשר <math>\ \mathbb{Z}^n</math> הוא אוסף וקטורי העמודה באורך n עם רכיבים שלמים.

חבורת הסימטריות של הסריג מורכבת מסיבובים והזזות, ומ[[הרכבת פונקציות|הרכבות]] של אלו. הסיבובים שומרים על נקודת האפס של הסריג במקומה. סימטריה של סיבוב אפשר לתאר כפעולת [[כפל מטריצות|כפל]] (משמאל) ב[[מטריצה אורתוגונלית]], כלומר, מטריצה השייכת ל[[חבורה קומפקטית|חבורה הקומפקטית]] <math>\ O_n(\mathbb{R}) = \{A \in \operatorname{GL}_n(\mathbb{R}): A^tA = I\}</math>. כפל במטריצה A כזו שומר על הסריג <math>\ \Lambda = L \mathbb{Z}^n</math>, אם ורק אם קיימת [[מטריצה הפיכה]] מעל השלמים, <math>\ P\in \operatorname{GL}_n(\mathbb{Z})</math>, כך ש- <math>\ AL=LP</math>, דהיינו, אם <math>\ A \in L\cdot \operatorname{GL}_n(\mathbb{Z})\cdot L^{-1}</math>. מכאן שחבורת סימטריות הסיבובים של <math>\ \Lambda = L \mathbb{Z}^n</math> שווה ל[[חיתוך (מתמטיקה)|חיתוך]] <math>\ O_n(\mathbb{R}) \cap L\cdot \operatorname{GL}_n(\mathbb{Z})\cdot L^{-1}</math>. החיתוך הזה סופי, משום שהחבורה הראשונה קומפקטית והשנייה דיסקרטית.

כאמור לעיל, "חבורת סימטריות נקודתית" (מממד n) היא תת-חבורה של <math>\ O_n(\mathbb{R}) \cap L\cdot \operatorname{GL}_n(\mathbb{Z})\cdot L^{-1}</math>, עבור מטריצה הפיכה L כלשהי. במילים אחרות, מדובר בתת-חבורות של <math>\ O_n(\mathbb{R})</math>, המוכלות גם בתת-חבורה צמודה ל- <math>\ \operatorname{GL}_n(\mathbb{Z})</math>.

=== טיפוסים ===

בחבורה <math>\ O_n(\mathbb{R})</math> יש מטריצות בעלות [[דטרמיננטה]] 1 (השומרות על זוויות וכיוונים) ודטרמיננטה <math>\ -1</math> (השומרות על זוויות אבל הופכות יד ימנית לשמאלית). תת-החבורה <math>\ SO_n(\mathbb{R}) = O_n(\mathbb{R}) \cap \operatorname{SL}_n(\mathbb{R})</math>, הכוללת מטריצות מן הסוג הראשון בלבד, נקראת 'החבורה האורתוגונלית המיוחדת'. זוהי תת-חבורה מ[[אינדקס (תורת החבורות)|אינדקס]] 2 של <math>\ O_n(\mathbb{R})</math>.

חבורת סימטריות נקודתיות היא מ"טיפוס ראשון", אם היא מוכלת ב- <math>\ SO_n(\mathbb{R})</math>, ומ"טיפוס שני" אם לא. אם G חבורת סימטריות מטיפוס שני, אז <math>\ G \cap SO_n(\mathbb{R})</math> היא תת-חבורה מאינדקס 2 של G.

כאשר n אי זוגי, מטריצת השיקוף <math>\ -I</math> אינה שייכת ל- <math> SO_n</math>, ואז <math>\ O_n(\mathbb{R}) = SO_n(\mathbb{R})\cdot \langle -I \rangle</math> ([[מכפלה ישרה פנימית]]). במקרה כזה, אפשר להראות שכל חבורת סימטריות נקודתיות מטיפוס שני, שאינה מכילה את I-, [[איזומורפיזם|איזומורפית]] (כחבורה מופשטת) לחבורת סימטריות נקודתית מטיפוס ראשון. מכאן יוצא שבמיון החבורות המופשטות העשויות להופיע כחבורות סימטריה נקודתיות, אפשר להניח שהחבורה היא מטיפוס ראשון בעצמה, או שהיא מן הצורה <math>\ G_1 \times \langle -I \rangle</math>, כאשר <math>\ G_1</math> מטיפוס ראשון.

יש להבחין כי שתי חבורות צמודות מוכרחות להיות מאותו טיפוס (משום שפעולת ההצמדה שומרת על הדטרמיננטה). באותו אופן, אם חבורה מכילה את השיקוף <math>\,-I</math>, אז גם כל חבורה צמודה לה מכילה אותו (משום שזוהי [[מטריצה סקלרית]], המתחלפת עם כל פעולת הצמדה).

== חבורות הסימטריה הנקודתיות מממד 2 ==
=== סקירה ===

יש 10 חבורות סימטריה נקודתיות מממד 2: 5 מטיפוס ראשון, ו-5 מטיפוס שני. חבורות אלה איזומורפיות ל-9 חבורות מופשטות: ה[[חבורה ציקלית|חבורות הציקליות]] מ[[סדר של חבורה|סדר]] 1,2,3,4 ו- 6, והחבורות הדיהדרליות שסדרן 4,6,8 ו- 12. מכל אלה, רק החבורה הציקלית מסדר 2 מופיעה בשתי הצגות שונות: סימטריית הסיבוב ב-180 מעלות, <math>\ \left(\begin{array}{cc}-1 & 0 \\ 0 & -1\end{array}\right)</math>, וסימטריית השיקוף <math>\ \left(\begin{array}{cc}1 & 0 \\ 0 & -1\end{array}\right)</math>. מאלה, רק ארבע חבורות עשויות להופיע כחבורות סימטריה נקודתיות מלאות של סריג, כפי שיתואר בהמשך.

=== פרטים והסבר נוסף ===

[[קובץ:Lattice classification 2d.png|שמאל|ממוזער|250px|מיון הסריגים הדו-ממדיים לפי מיקומה של הנקודה השנייה במרחקה מן הראשית]]
החבורה האורתוגונלית המיוחדת <math>\ SO_2(\mathbb{R})</math> מורכבת מסיבובים של המישור, שהמטריצות המייצגות אותן הן
<math>\ \left(\begin{array}{cc}\cos(\alpha) & \sin(\alpha) \\ - \sin(\alpha) & \cos(\alpha)\end{array}\right)</math>. אם מטריצה כזו שייכת, לאחר הצמדה, לחבורה <math>\ SL_2(\mathbb{Z})</math>, אז העקבה שלה, <math>\ 2\cos(\alpha)</math>, היא [[מספר שלם]]. מכאן נובע שהסיבוב הוא בזוויות של 0, 60, 90, 120 או 180 מעלות. מאידך, כל תת-חבורה סופית של <math>\ SO_2(\mathbb{R})</math> היא ציקלית, ולכן חבורות הסימטריה הנקודתיות מטיפוס ראשון, מממד 2, הן החבורות הציקליות מסדר 1,2,3,4 ו- 6.

חבורת סימטריות מטיפוס שני אפשר להצמיד, כך שהיא תכיל את השיקוף ביחס לציר x. נובע מכאן שחבורות הסימטריה מטיפוס שני הן ה[[חבורה דיהדרלית|חבורות הדיהדרליות]] <math>\ D_1=C_2, D_2 = C_2 \times C_2, D_3, D_4</math> ו- <math>\ D_6</math> (כאשר ה[[סדר של חבורה|סדר]] של <math>\ D_n</math> הוא 2n).

=== מיון הסריגים הדו-ממדיים לפי חבורות הסימטריה שלהם ===

נקבע נקודה בסריג L במרחב האוקלידי הדו-ממדי. את הסריג אפשר להזיז, כך שנקודה זו ממוקמת בראשית (הנקודה השחורה השמאלית בתרשים). בסריג יש נקודה קרובה ביותר לראשית, שאפשר לסמן ב-a. לאחר מתיחה, וסיבוב מתאים, אפשר להניח שהווקטור מן הראשית לנקודה זו הוא וקטור יחידה A המצביע ימינה מהראשית, כמתואר בחץ השחור בתחתית התרשים משמאל. בסריג יש נקודות נוספות; אפשר לבחור כזו שהיא קרובה ביותר למעט הראשונה, ולסמנה ב-b. מכיוון שלנקודה הזו אפשר להוסיף כפולות (שלמות) של A, שעור ה-x שלה מוכרח להיות בין 1/2- ל-1/2, כך שהיא נמצאת בין שני הקווים האנכיים הקיצוניים בציור. מכיוון שהנקודה הראשונה שבחרנו הייתה הקרובה ביותר, הנקודה השנייה נמצאת מחוץ ל[[מעגל היחידה]], המאויר באפור; כלומר, היא נמצאת בתחום הירקרק, או על אחד הקווים התוחמים אותו (למעשה, על ידי הזזה ב-A אפשר להניח ש-b איננה על הקו התוחם השמאלי).
{{-}}
# אם הנקודה b נמצאת באחת הנקודות הירוקות, התא היסודי בסריג הוא '''משושה''', וחבורת הסימטריות הנקודתית המלאה שלו היא <math>\ D_6</math>, מסדר 12.
# אם b היא הנקודה החומה במרכז, אז הסריג '''ריבועי''', וחבורת הסימטריות המלאה שלו היא <math>\ D_4</math>, מסדר 8.
# אם b היא כל נקודה אחרת על הקשת האדומה (שהנקודות עליה במרחק 1 מן הראשית, בדומה ל-a), אז קיימת סימטריית שיקוף (בקו החוצה את הזווית שבין a ל-b מנקודת הראשית), והחבורה היא <math>\ D_2</math>, מסדר 4. התא היסודי הוא '''מעוין'''. אם b שייכת לאחד הקווים הכחולים האנכיים, אז מותרת סימטריה של שיקוף גם בציר x וגם בציר y, והחבורה היא שוב <math>\ D_2</math>. במקרה זה התא היסודי הוא '''מלבן''' (אם b על הקו הכחול האמצעי), או '''מקבילית מלבנית''' (שבה הבסיס העליון מוסט ביחס לתחתון בדיוק במחצית אורך הבסיס).
# בכל מקרה אחר (היינו, b שייכת לאזור הירקרק), אין לסריג סימטריות מלבד הסיבוב ב-180 מעלות, והחבורה מסדר 2.

== חבורות הסימטריה הנקודתיות מממד 3 ==

כמו בכל בעיית מיון, יש לקבוע היטב מתי שני אובייקטים מן הקבוצה שאותה מבקשים למיין, נחשבים שקולים זה לזה. נאמר ששתי חבורות סימטריה נקודתיות <math>\ G_1</math> ו-<math>\ G_2</math> הן '''צמודות''', אם קיימת העתקה אורתוגונלית A, כך ש- <math>\ G_2 = A G_1 A^{-1}</math>. חבורות צמודות הן גם [[איזומורפיזם|איזומורפיות]] כחבורות מופשטות, אך ההפך אינו נכון. (חבורה מופשטת מתוארת על ידי לוח הכפל שלה, אבל היא יכולה לפעול על המרחב האוקלידי בדרכים שונות באופן מהותי. למשל, הפעולות "שיקוף" ו"סיבוב ב-180 מעלות" של המישור, אינן צמודות, אף-על-פי שהחבורה המופשטת שהן יוצרות היא בשני המקרים החבורה היחידה מסדר 2).

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

=== תכונות מפתח ===

נניח ש- G חבורת סימטריות נקודתיות מטיפוס ראשון. כל איבר של G הוא מטריצת סיבוב תלת-ממדית; אם המטריצה מסובבת בזווית t סביב ציר מסוים, אז ה[[עקבה (אלגברה ליניארית)|עקבה]] שלה היא <math>\ 1+2 \cos(t)</math>, וזה מוכרח להיות מספר שלם. מכאן יוצא שזווית הסיבוב היא 0, 60, 90, 120 או 180 [[מעלה (גאומטריה)|מעלות]], וה[[סדר של איבר בחבורה)|סדר]] של האיבר הוא 1,2,3,4 או 6. מעובדה זו, בצירוף הדרישה שכל [[טבלת קרקטרים|טבלת הקרקטרים]] של החבורה תהיה שלמה, אפשר להסיק שסדר החבורה הוא מחלק של 24. יש 32 חבורות מופשטות מסדר כזה, והמיון מתקבל מסקירת ההצגות של כל אחת ואחת מהן (הפרטים לא יינתנו כאן).

=== סקירת המיון ===

יש 32 חבורות סימטריה נקודתיות ([[עד כדי (מתמטיקה)|עד כדי]] צמידות). 11 מאלה הן מטיפוס ראשון, ועוד 21 מטיפוס שני. בין החבורות מטיפוס שני, יש 11 הכוללות את השיקוף <math>\ -I</math>, ועוד 10 שאינן כוללות אותו.

כל חבורה מן הטיפוס הראשון איזומורפית לחבורה מופשטת משלה, המיוצגת באופן הזה רק פעם אחת. טענה דומה נכונה גם לחבורות מן הטיפוס השני הכוללות את השיקוף <math>\ -I</math>. בין 10 החבורות הנותרות מן הטיפוס השני, יש שני זוגות של חבורות איזומורפיות, ועוד שש שאינן איזומורפיות זו לזו. בסך הכל, יש 18 חבורות מופשטות המיוצגות כחבורות סימטריה נקודתיות (מטיפוס ראשון או שני).

=== חבורות מופשטות שיש להן הצגה כחבורת סימטריה נקודתית ===

כל חבורת סימטריה נקודתית תלת-ממדית איזומורפית לאחת מן הבאות (בסוגריים נתון מספר ההצגות הלא-צמודות מהטיפוס הראשון, מספר ההצגות הלא-צמודות מהטיפוס השני הכוללות את השיקוף <math>\ -I</math>, ומספר ההצגות הלא-צמודות מהטיפוס השני שאינן כוללות שיקוף זה):
<math>\ C_1</math> (מטיפוס ראשון בלבד, היינו 1+0+0);
<math>\ C_2</math> (מטיפוס ראשון, או מטיפוס שני בשני אופנים לא צמודים: 1+1+1);
<math>\ C_3</math> (1+0+0);
<math>\ C_4</math> (1+0+1);
<math>\ C_2 \times C_2</math> (1+1+1);
<math>\ C_6</math> (1+1+1);
<math>\ D_3</math> (1+0+1);
<math>\ D_4</math> (1+0+2);
<math>\ C_2 \times C_4</math> (0+1+0);
<math>\ C_2\times C_2 \times C_2</math> (0+1+0);
<math>\ D_6</math> (1+1+2);
<math>\ A_4</math> (1+0+0);
<math>\ C_2 \times C_6</math> (0+1+0);
<math>\ C_2 \times D_4</math> (0+1+0);
<math>\ S_4</math> (1+0+1);
<math>\ C_2 \times D_6</math> (0+1+0);
<math>\ C_2 \times A_4</math> (0+1+0); ו-
<math>\ C_2 \times S_4</math> (0+1+0).
כאן, <math>\ C_n</math> היא ה[[חבורה ציקלית|חבורה הציקלית]] מסדר n,
<math>\ D_n</math> היא ה[[חבורה דיהדרלית|חבורה הדיהדרלית]], מסדר 2n,
<math>\ S_4</math> היא [[החבורה הסימטרית]] בת 24 איברים, ו- <math>\ A_4</math> היא [[חבורת התמורות הזוגיות]], בת 12 איברים.

=== המיון למחלקות ===

רק 7 מכל חבורות הסימטריה הנקודתיות כוללות את כל הסימטריות הנקודתיות של סריג כלשהו. אלו הן
* <math>\ C_2</math> (טריקלינית, 2),
* <math>\ C_2 \times C_2</math> (מונוקלינית, 3),
* <math>\ C_2 \times C_2 \times C_2</math> (מעוינת, 3),
* <math>\ D_6</math> (משולשת, 5),
* <math>\ C_2 \times D_4</math> (טטרגונלית, 7),
* <math>\ C_2 \times D_6</math> (הקסגונלית, 7), ו-
* <math>\ C_2 \times S_4</math> (קובית, 5) 
בכל המקרים, מיוצגות כחבורות מטיפוס שני עם השיקוף <math>\ -I</math> (כצפוי, משום ששיקוף זה הוא סימטריה של כל סריג). בהתאם לכך, ממיינים את 32 החבורות ל-7 מחלקות: חבורת סימטריות נקודתית G שייכת למחלקה הנשלטת על ידי חבורת סימטריות מלאה H, שהיא הקטנה ביותר מבין ה-7 המכילה את G. בסוגריים לעיל נתונים שמות המחלקות, ומספר החבורות השייכות לכל מחלקה.

===היסטוריה===
בשנת [[1830]] הוכיח הקריסטלוגרף הגרמני [[יוהאן פרידריך כריסטיאן הסל]] (Johann Friedrich Christian Hessel{{כ}} 1871-1796) שבגביש יכולים להיות שלושים ושתיים חבורות סימטריות נקודתיות, כתוצאה מתבקשת מ"חוק האינדקסים היחסיים של פאות הגביש" של [[רנה ז'יסט אאיאי]]. עבודתו נשכחה עד שב-[[1867]] הגיע ה[[מינרלוגיה|מינרלוג]] ה[[פינלנד|פיני]] [[אקסל גדולין]] (Axel Gadolin{{כ}} 1892-1828) לאותה תוצאה.

== מקורות ==
* Applications of Finite Groups, J.S. Lomont.
== ראו גם ==
* [[חבורת סימטריות מרחבית]]

==קישורים חיצוניים==
{{ויקישיתוף בשורה}}
* {{בריטניקה}}
* {{MathWorld}}

{{בקרת זהויות}}

[[קטגוריה:קריסטלוגרפיה]]
[[קטגוריה:תורת החבורות]]