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

בקומבינטוריקה, '''מישור פרויקטיבי סופי''' הוא [[מישור פרויקטיבי]] בעל מספר סופי של נקודות (זה שקול לכך שקבוצת הישרים סופית, וגם לכך שעל אחד הישרים יש מספר סופי של נקודות). כל מישור פרויקטיבי סופי הוא [[מערכת שטיינר]] מן הצורה <math>S(2,n+1,n^2+n+1)</math>.

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

== הסדר של מישור פרויקטיבי ==

במישור פרויקטיבי נתון, יש על כל ישר אותו מספר נקודות, וזה גם מספר הישרים העוברים דרך כל נקודה. למעשה, אם על ישר יש <math>n+1 </math> נקודות, אז מספר הנקודות במישור הוא <math>\ n^2+n+1</math>. מישור כזה הוא '''מסדר n'''.

את ההתאמה בין שני ישרים אפשר לראות באופן הבא.
* נניח שעל הישר <math>l </math> נמצאות בדיוק <math>n+1 </math> נקודות. לכל ישר <math>l' \ne\ l </math> אפשר לבחור נקודה <math>\ Q </math> שאינה על שני הישרים, ולהגדיר העתקה מ-<math>l </math> ל-<math>l' </math> על ידי חיתוך הישר העובר דרך <math>Q </math> ו-<math>p_i </math> כלשהי, עם הישר <math>l' </math>. העתקה כזו היא הפיכה, ולכן מספר הנקודות על <math>l </math> ועל <math>l' </math> שווה. מכאן רואים, שבכל ישר במרחב ישנו אותו המספר של נקודות.
* בהינתן נקודה <math>P </math> וישר <math>l </math> שאינו עובר דרכה, כל נקודה <math>Q \in\ l </math> משרה ישר יחיד העובר דרך <math>P </math> ו-<math>Q </math>. מכאן שמספר הנקודות על <math>l </math> שווה למספר הישרים העוברים דרך <math>P </math>. בפרט, דרך כל הנקודות במרחב עובר אותו מספר ישרים.
* נבחן את מספר הנקודות במרחב פרויקטיבי כלשהו מעל שדה סופי. נסמן ב-<math>n+1 </math> את מספר הנקודות הנמצאות על כל ישר (שהוא גם מספר הישרים העובר דרך נקודה כלשהי). נבחר נקודה <math>P </math> כלשהי ונצייר את כל הישרים העוברים דרכה - ישנם <math>n+1 </math> כאלו. כאמור, בכל ישר כזה ישנן <math>n+1 </math> נקודות. מכיוון של-<math>n </math> הישרים ישנה נקודה המשותפת לכולם, היא <math>P </math>, נקבל סה"כ <math>\ n^2+n+1 </math> נקודות. מכיוון שדרך כל נקודה במישור עובר ישר החותך את <math>\ P </math>, קבלנו שזהו מספר הנקודות במישור.
* שיקול דומה יראה כי מספר הישרים במישור שוה למספר הנקודות במישור.

== המישור הפרויקטיבי מסדר 2==

[[תמונה:ProjectiveGeometry8.PNG|שמאל|120px|מישור פאנו (אינו ניתן לשיכון במישור האוקלידי)]]
במישור הפרויקטיבי הקטן ביותר יש <math>2^2+2+1=7</math> נקודות. יש רק מישור אחד כזה - '''[[מישור פאנו]]''' (ע"ש המתמטיקאי [[ג'ינו פאנו]]), המתואר בציור שמשמאל.

== סדרים אפשריים ==

המישור הקלאסי מעל שדה סופי מספק מישור פרויקטיבי מסדר <math>n</math>, לכל <math>n</math> שהוא חזקת-ראשוני (לכל סדר כזה יש מישור קלאסי אחד, משום שכל ה[[שדה סופי|שדות מאותו סדר]] [[איזומורפיזם|איזומורפיים]]). עד לסדר 8, זוהי הבנייה היחידה למישור פרויקטיבי; אבל יש 4 מישורים שונים מסדר 9, ולפחות 22 מסדר 16{{הערה|http://www.uwyo.edu/moorhouse/pub/planes/}}. משערים שהסדר של כל מישור פרויקטיבי הוא חזקת ראשוני. לפי '''משפט Bruck-Ryser''', אם <math>n</math> שקול ל-1 או ל-2 מודולו 4, אז n הוא [[סכום של שני ריבועים]]. בפרט, אין מישורים פרויקטיביים מסדר 6 או 14. [[הוכחה באמצעות מחשב|הוכחה מפרכת באמצעות מחשב]] הראתה שגם מישורים מסדר 10 אינם קיימים{{הערה|https://cms.math.ca/cjm/v41/cjm1989v41.1117-1123.pdf}}. המקרה הפתוח הראשון הוא של מישורים מסדר 12.

==השקילות למערכת אורתוגונלית של ריבועים לטיניים==

זוג [[ריבוע לטיני|ריבועים לטיניים]] <math>(a_{ij}), (b_{ij})</math>, בגודל <math>n</math>-על-<math>n</math>, הם '''אורתוגונליים''', אם הזוגות <math>(a_{ij},b_{ij})</math> שונים זה מזה. נראה שמישור פרויקטיבי שקול למערכת של <math>n-1</math> ריבועים לטיניים בגודל <math>n</math>-על-<math>n</math> שהם [[אורתוגונליות|אורתוגונליים]] בזוגות. כלומר, קיים מישור פרויקטיבי מסדר <math>n</math> אם ורק אם קיימים <math>n-1</math> ריבועים לטיניים מאונכים בזוגות מסדר <math>n</math>.

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

== מישורים סימטריים ==

מיון המישורים הפרויקטיביים נעשה בשכבות: ככל שמניחים סימטריות חזקה יותר, כך נעשה המיון מדויק יותר. מתברר שחבורת הסימטריות [[פעולת חבורה על קבוצה|פועלת]] על קבוצת הנקודות במישור באופן [[פעולה טרנזיטיבית|טרנזיטיבי]], 2-טרנזיטיבי או רגולרי (=טרנזיטיבי בחדות) אם ורק אם היא פועלת באותו אופן על אוסף הישרים. נסמן <math>N = n^2+n+1</math>.

=== תיאור לפי קבוצות הפרֶשים ===
יש משפחה רחבה של מישורים פרויקטיביים הנמצאים בהתאמה לקבוצות הפרשים של חבורות. קבוצה <math>D</math> של איברים בחבורה <math>G </math> נקראת '''קבוצת הפרֶשים''' אם כל איבר שונה מ-1 בחבורה אפשר להציג באופן יחיד כמנה <math>\ xy^{-1}</math> עבור <math>\ x, y\in D</math> שונים. 
כל חבורה <math>G </math> (מסדר > 3) עם קבוצת הפרשים <math>D</math> מגדירה מישור פרויקטיבי באופן הבא: הנקודות והישרים נמצאים בהתאמה לאברי <math>G </math>, והנקודה המתאימה ל-<math>a</math> נמצאת על הישר המתאים ל-<math>b</math>, אם ורק אם <math>ab^{-1} \in D</math>. מן הבניה יוצא ש-<math>G </math> פועלת רגולרית על הנקודות (והישרים) של המישור הזה. בכיוון ההפוך, אם <math>G </math> פועלת רגולרית על הנקודות במישור <math>P </math> ([[חבורה (מבנה אלגברי)|חבורה]] כזו נקראת '''חבורת זינגר'''), אז לכל נקודה <math>p</math> וישר <math>\ \ell</math>, <math>\{g \in G : g(p) \in \ell\}</math> מהווה קבוצת הפרשים של <math>G </math>; המישור המתאים לקבוצת ההפרשים הזו איזומורפי ל-<math>P </math>.

=== פעולה פרימיטיבית על הנקודות ===
נניח ש-<math>P </math> הוא מישור לא קלאסי מסדר <math>n</math>, שיש חבורה <math>G </math> הפועלת פרימיטיבית על הנקודות שלו. 
אז <math>n</math> זוגי, <math>N</math> ראשוני, וסדר החבורה מחלק את <math>nN</math> או את <math>(n+1)N</math>. 

=== פעולה טרנזיטיבית על הדגלים ===
נניח ש-<math>P </math> הוא מישור לא קלאסי מסדר <math>n</math>, שיש חבורה <math>G </math> הפועלת טרנזיטיבית על ה[[דגל (מתמטיקה)|דגלים]] שלו (דגל הוא זוג הכולל נקודה וישר העובר דרכה). זהו מקרה פרטי של המקרה הקודם, משום שכל חבורה הפועלת טרנזיטיבית על הדגלים פועלת [[פעולה פרימיטיבית|פרימיטיבית]] על הנקודות. אז <math>n</math> מתחלק ב-8 אבל אינו חזקה של 2, ו-<math>N</math> ראשוני<!-- משפט 3.8 ב-Thas-->. נוסף לזה, פעולת <math>G </math> על הדגלים היא חדה <!-- משפט 2.7 ב-Thas--> (לכן היא מסדר <math>(n+1)N</math>), ובפעולתה על הנקודות <math>G </math> היא [[חבורת פרובניוס]]<!-- משפט 2.6 ב-Thas--> והיא מכילה [[תת-חבורה נורמלית]] (ציקלית) מסדר <math>N</math> שפעולתה על הנקודות רגולרית<!-- ראה אחרי משפט 3.7 ב-Thas-->. כך אפשר לתאר מישור כזה באמצעות קבוצת הפרשים, כפי שהוסבר לעיל.

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

==הערות שוליים==
{{הערות שוליים}}
[[קטגוריה:גאומטריה פרויקטיבית]]
[[קטגוריה:קומבינטוריקה]]
[[קטגוריה:הוכחה באמצעות מחשב]]