סריגי בראבה – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
←‏הגדרה פורמלית: שינויים בניסוח
שורה 6:
: ''הסריג נראה אותו דבר, מכל נקודה בסריג בה מביטים עליו.''
 
ניתןהגדרה להראותנוספת, שתכונהושקולה זו שקולה להגדרה המתמטית הבאהלקודמת, שמראהמראה כיצד ליצור בפועל סריג בראבה <math>n</math>-[[ממד (מתמטיקה)|ממדי]] בדרך קונסטרוקטיבית.: נבחר <math>n</math> [[וקטור (פיזיקה)|וקטור]]ים [[תלות לינארית|בלתי תלויים לינארית]], <math>\vec{e_1},\vec{e_2},\cdots,\vec{e_n}</math>. (קבוצה זו נקראת "[[בסיס פרימיטיבי]] לסריג", או (לפעמים "בסיס ראשוני"), ואז סריג בראבה שהיא מייצרת הוא. הקבוצה הבאה
 
:: <math>\ L = \left\{ \vec{R} = \lambda_1 \vec{e_1} + \cdots + \lambda_n \vec{e_n} \ | \ \lambda_1 , \cdots , \lambda_n \in \mathbb{Z} \right\} </math>
 
כלומרהיא סריג בראבה. במילים אחרות, הסריג [[פרישה לינארית|נפרש]] על ידי כל [[צירוף לינארי|הצירופים הלינאריים]] ב[[מספר שלם|מקדמים שלמים]] של וקטורי הבסיס הפרימיטיבי. קבוצה זו סגורה ביחס לחיבור וחיסור וקטורי סריג, וכן ביחס לכפל בסקלר שהוא [[מספר שלם]].
 
הסריג <math>L</math> ואיבריו (הנקראים וקטורי סריג), מקיימים מספר תכונות:
סריג בראבה הוא סימטרי ביחס להזזה בווקטור סריג. כלומר: לכל נקודה בסריג, אם נזיז את הסריג בווקטור פרימיטיבי(כלמר בווקטור של הבסיס הפרימיטיבי), אז נקבל בחזרה את אותו סריג. באופן מתמטי: <math>L+v=L</math>. כמו כן הוא סימטרי ביחס לשיקוף מלא (כלומר: <math>\ \vec{R} \to - \vec{R}</math>).
* <math>L</math> סגור ביחס לחיבור וחיסור וקטורי סריג, וכן ביחס לכפל בסקלר שהוא [[מספר שלם]].
::במילים אחרות: אם <math>v_1,v_2</math> הם וקטורי סריג, ו-<math>n,m</math> מספרים שלמים, אז גם <math>n v_1 + m v_2</math> הוא וקטור סריג.
* הסריג סימטרי ביחס להזזה בווקטור סריג. כלומר: אם נזיז את כל נקודות הסריג בווקטור סריג, נקבל בחזרה את אותו סריג.
::באופן מתמטי: אם <math>v\in L</math>, אז <math>L+v=L</math>.
* הסריג סימטרי ביחס לשיקוף מלא (כלומר: <math>\ L = - L</math>).
 
מתכונות אלו נובע שהבחירה בבסיס הפרימיטיבי <math>{e_i}</math> היא שרירותית, וניתן לבחור כבסיס לסריג כל <math>n</math> וקטורים, בתנאי שהם בלתי תלויים לינארית, וכל אחד מהם הוא צירוף לינארי במספרים שלמים של <math>{e_i}</math>.
לעתים קרובות הסריג סימטרי גם ביחס ל[[סיבוב|סיבובים]] בזוויות מסוימות. זוויות אלה נקבעות על ידי מבנה הסריג עצמו.
 
לעתים קרובות הסריג סימטרי גם ביחס ל[[סיבוב|סיבובים]]ים בזוויות מסוימות. זוויות אלה נקבעות על ידי מבנה הסריג עצמו.
n-וקטורים אלו מגדירים לנו פאון מקבילי היוצר "[[תא יחידה פרימיטיבי]]" שאיתו אפשר [[ריצוף (גאומטריה)|לרצף]] באופן מחזורי ושלם את הסריג.
 
<math>n-וקטורים</math> אלוהוקטורים בבסיס הפרימיטיבי מגדירים לנו פאון מקבילי היוצר "[[תא יחידה פרימיטיבי]]" שאיתו אפשר [[ריצוף (גאומטריה)|לרצף]] באופן מחזורי ושלם את הסריג. בחירה בבסיס פרימיטיב שונה לסריג עשויה להגדיר תא יחידה פרימיטיבי שונה.
 
== דוגמה: סריג קובי ==