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

תוכן שנמחק תוכן שנוסף

בשורה

גרסה מ־17:56, 18 בספטמבר 2021

בהינתן מרחב טופולוגי וחבורה הפועלת עליו, אוסף התמונות של נקודה יחידה (תחת פעולת החבורה) מהווה מסלול של הפעולה. תחום יסודי (באנגלית: Fundamental domain) של המרחב ביחס לפעולת החבורה הנתונה הוא תת-קבוצה של המרחב המכילה בדיוק נקודה אחת מכל אחד מהמסלולים הללו. התחום היסודי משמש כמימוש גאומטרי של קבוצת הנציגים של המסלולים.

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

הגדרה פורמלית

בהינתן חבורה $G$ הפועלת על מרחב טופולוגי $X$ , תחום יסודי עבור הפעולה הזאת הוא קבוצה $D$ הכוללת בדיוק נציג אחד מכל מסלול. באופן פורמלי, תחום יסודי $D$ של מרחב $X$ ביחס לפעולת חבורה $G$ מקיים את התכונות הבאות:

לכל $g\in G$ , החיתוך של $D$ ו- $gD$ הוא ריק;
כל מסלול חותך את הסגור של $D$ .

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

דוגמאות

דוגמאות במרחב האוקלידי התלת-ממדי R³ כוללות את:

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

תחום יסודי עבור החבורה המודולרית

התרשים משמאל מציג (באפור) את התחום היסודי תחת פעולת החבורה המודולרית Γ על חצי המישור העליון H.

תרשים מפורסם זה מופיע בכל הספרים הקלאסיים על פונקציות מודולריות. הוא היה ידוע לקרל פרידריך גאוס, אשר עסק בתחומים יסודיים במסגרת מחקריו על תורת הרדוקציה של תבניות ריבועיות בינאריות. כאן, התחום היסודי U הוא משולש היפרבולי עם קודקוד "אידיאלי" אחד (קודקוד אחד באינסוף), ושתי זוויות של $\pi /3$ כל אחת. הוא מוגבל מלמטה על ידי מעגל היחידה ומוגבל מן הצדדים על ידי שני קווים אנכיים המרוחקים יחידה אופקית זה מזה; באופן פורמלי:

U=\left\{z\in H:\left|z\right|>1,\,\left|\,{\mbox{Re}}(z)\,\right|<{\frac {1}{2}}\right\}.

קישורים חיצוניים

שגיאות פרמטריות בתבנית:MathWorld
פרמטרים [ urlname, title ] לא מופיעים בהגדרת התבנית תחום יסודי, באתר MathWorld (באנגלית)

@@ שורה 1: / שורה 1: @@
 בהינתן [[מרחב טופולוגי]] ו[[פעולת חבורה|חבורה הפועלת]] עליו, אוסף ה[[תמונה (מתמטיקה)|תמונות]] של נקודה יחידה (תחת פעולת החבורה) מהווה [[פעולת חבורה#מסלולים ומייצבים|מסלול]] של הפעולה. '''תחום יסודי''' (ב[[אנגלית]]: '''Fundamental domain''') של המרחב ביחס לפעולת החבורה הנתונה הוא תת-קבוצה של המרחב המכילה בדיוק נקודה אחת מכל אחד מהמסלולים הללו. התחום היסודי משמש כמימוש גאומטרי של קבוצת הנציגים של המסלולים.
-ישנן דרכים רבות לבחור תחום יסודי. באופן טיפוסי, נדרש מהתחום היסודי לקיים מספר תכונות נאות המקלות על הטיפול בו, כגון שיהיה תת-קבוצה [[מרחב קשיר|קשירה]] של המרחב יחד עם הגבלות מסוימות על השפה שלו, כגון שתהיה חלקה או ליניארית למקוטעין. תחת פעולת החבורה, התמונות של התחום היסודי שנבחר [[ריצוף של המישור|מרצפות]] את המרחב כולו.
+ישנן דרכים רבות לבחור תחום יסודי. באופן טיפוסי, נדרש מהתחום היסודי לקיים מספר תכונות נאות המקלות על הטיפול בו, כגון שיהיה תת-קבוצה [[מרחב קשיר|קשירה]] של המרחב, יחד עם הגבלות מסוימות על השפה שלו, כגון שתהיה [[פונקציה חלקה|חלקה]] או [[פונקציה ליניארית למקוטעין|ליניארית למקוטעין]]. תחת פעולת החבורה, התמונות של התחום היסודי שנבחר [[ריצוף של המישור|מרצפות]] את המרחב כולו.
 == הגדרה פורמלית ==
-בהינתן חבורה ''G'' הפועלת על מרחב טופולוגי ''X'', תחום יסודי עבור הפעולה הזאת הוא קבוצה ''D'' של נציג אחד מכל מסלול. באופן פורמלי, תחום יסודי ''D'' של מרחב ''X'' ביחס לפעולת חבורה ''G'' מקיים את התכונות הבאות:
+בהינתן חבורה <math>G</math> הפועלת על מרחב טופולוגי <math>X</math>, תחום יסודי עבור הפעולה הזאת הוא קבוצה <math>D</math> הכוללת בדיוק נציג אחד מכל מסלול. באופן פורמלי, תחום יסודי <math>D</math> של מרחב <math>X</math> ביחס לפעולת חבורה <math>G</math> מקיים את התכונות הבאות:
-* לכל ''g'', ה[[חיתוך (מתמטיקה)|חיתוך]] של ''D'' ו-''gD'' הוא [[קבוצה ריקה|ריק]], כאשר ''g'' איבר בחבורה ''G''.
+* לכל <math>g \in G</math>, ה[[חיתוך (מתמטיקה)|חיתוך]] של <math>D</math> ו-<math>gD</math> הוא [[קבוצה ריקה|ריק]];
-* כל מסלול חותך את ה[[סגור (טופולוגיה)|סגור]] של ''D''.
+* כל מסלול חותך את ה[[סגור (טופולוגיה)|סגור]] של <math>D</math>.
 על תכונות אלו נוספת דרישה להתנהגות טופולוגית "יפה" של התחום היסודי. למשל, בהינתן חבורת ההזזות המקושרת ל[[סריג (גאומטריה)|סריג]] במרחב אוקלידי ''n'' ממדי (חבורה שמספר ה[[קבוצת יוצרים (תורת החבורות)|יוצרים]] שלה הוא כממד המרחב), טבעי לבחור את התחום היסודי להיות המקבילון היסודי של הסריג. אולם, יכולנו גם לבחור את התחום היסודי להיות מורכב מחצי ממקבילון יסודי אחד, ומהחצי המשלים שלו ממקבילון יסודי אחר - כך מתקבל תחום יסודי שאינו קבוצה קשירה, אך העונה לשתי הדרישות הראשונות. לכן, בבחירת תחום יסודי בדרך כלל נדרש ממנו להיות קבוצה קשירה.
@@ שורה 21: / שורה 22: @@
 התרשים משמאל מציג (באפור) את התחום היסודי תחת פעולת [[חבורה מודולרית|החבורה המודולרית]] Γ על חצי המישור העליון ''H''.
-תרשים מפורסם זה מופיע בכל הספרים הקלאסיים על [[תבנית מודולרית|פונקציות מודולריות]]. הוא היה ידוע ל[[קרל פרידריך גאוס]], אשר עסק בתחומים יסודיים במסגרת מחקריו על תורת הרדוקציה של [[תבנית ריבועית בינארית|תבניות ריבועיות בינאריות]]. כאן, התחום היסודי ''U'' הוא [[גאומטריה היפרבולית|משולש היפרבולי]] עם קודקוד "אידיאלי" אחד (קודקוד אחד באינסוף), ושתי זוויות של
+תרשים מפורסם זה מופיע בכל הספרים הקלאסיים על [[תבנית מודולרית|פונקציות מודולריות]]. הוא היה ידוע ל[[קרל פרידריך גאוס]], אשר עסק בתחומים יסודיים במסגרת מחקריו על תורת הרדוקציה של [[תבנית ריבועית בינארית|תבניות ריבועיות בינאריות]]. כאן, התחום היסודי ''U'' הוא [[גאומטריה היפרבולית|משולש היפרבולי]] עם קודקוד "אידיאלי" אחד (קודקוד אחד באינסוף), ושתי זוויות של <math>\pi/3</math> כל אחת. הוא מוגבל מלמטה על ידי מעגל היחידה ומוגבל מן הצדדים על ידי שני קווים אנכיים המרוחקים יחידה אופקית זה מזה; באופן פורמלי:
-<math>\pi/3</math> כל אחת. הוא מוגבל מלמטה על ידי מעגל היחידה ומוגבל מן הצדדים על ידי שני קווים אנכיים המרוחקים יחידה אופקית זה מזה; באופן פורמלי:
 :<math>U = \left\{ z \in H: \left| z \right| > 1,\, \left| \,\mbox{Re}(z) \,\right| < \frac{1}{2} \right\}.</math>