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