מידה משותפת

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

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

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

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

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

מידה משותפת באלגברה מופשטת[עריכת קוד מקור | עריכה]

בתורת החבורות, לשתי תת חבורות \ G_1,G_2 של חבורה G יש מידה משותפת (באנגלית: commensurable) אם לחיתוך \ G_1\cap G_2 יש אינדקס סופי בכל אחת מהן. זוהי הכללה של המושג המקביל למספרים ממשיים, משום שהמספרים a ו- b הם בעלי מידה משותפת אם ורק אם תת-החבורות \ \{na: n\in \mathbb{Z}\} ו- \ \{nb: n\in \mathbb{Z}\} של שדה המספרים הממשיים (כחבורה חיבורית) הן בעלות מידה משותפת. מקיומה של מידה משותפת נובע שהחבורות הן דמוי-איזומורפיות (יש להן תת-חבורות מאינדקס סופי שהן איזומורפיות זו לזו), אבל באופן כללי ההיפך אינו נכון. לחבורות נוצרות סופית בעלות מדה משותפת יש גרפי קיילי קוואזי-איזומטריים (אבל יש חבורות קוואזי-איזומטריות שאינן בעלות מדה משותפת). ראו קוואזי-איזומטריה של חבורות להשלכות של תכונה זו.

הגדרה דומה תקפה עבור תת-מודולים: \ M_1,M_2 הם בעלי מידה משותפת אם לחיתוך \ M_1\cap M_2 יש אינדקס סופי בכל אחד מהם. למשל, אם R הוא חוג דדקינד, אז כל שני תת-מודולים מדרגה מקסימלית של המודול החופשי \ R^n הם בעלי מידה משותפת.

שני מרחבים טופולוגיים, בעלי אותו מרחב כיסוי אוניברסלי, הם בעלי מידה משותפת אם יש להם מרחב כיסוי משותף, בעל אינדקס סופי מעל כל אחד מהם. אם החבורה G פועלת על מרחב פשוט קשר X, ו- \ G_1,G_2 הן תת-חבורות, אז מרחבי המנה \ X/G_1 ו- \ X/G_2 בעלי מידה משותפת אם ורק אם \ G_1 בעלת מידה משותפת עם תת-חבורה צמודה ל- \ G_2. בהקשרים גאומטריים, נקראת לפעמים תכונה זו "מידה משותפת", אף-על-פי שהיא חלשה יותר מקיום מידה משותפת במובן הקודם בין תת-החבורות.