מערכת חילה

בגאומטריית חילה, מערכת חילה היא מבנה מופשט שבאמצעותו ניתן לחקור מבנים גאומטריים שונים כגון המרחב האוקלידי, המרחב הפרויקטיבי, המרחב ההיפרבולי ועוד. מערכת החילה מתארת את היחסים בין ישרים ונקודות במרחב ומשמשת לניסוח אקסיומטי של יחסים אלו. במקורות מסוימים נקראת גם מבנה חילה. מערכת חילה היא שלישייה C = ( P , L , I ) {\displaystyle C=(P,L,I)} , כאשר P {\displaystyle P} ו- L {\displaystyle L} הן קבוצות זרות זו לזו המציינות נקודות וישרים בהתאמה, ו- I {\displaystyle I} היא יחס בין P {\displaystyle P} ל- L {\displaystyle L} , כלומר I ⊆ P × L {\displaystyle I\subseteq P\times L} . בהינתן נקודה p ∈ P {\displaystyle p\in P} וישר l ∈ L {\displaystyle l\in L} מגדירים כי p {\displaystyle p} נמצאת על l {\displaystyle l} וש- l {\displaystyle l} עובר דרך p {\displaystyle p} אם ורק אם ( p , l ) ∈ I {\displaystyle (p,l)\in I} . קבוצת נקודות A ⊆ P {\displaystyle A\subseteq P} תקרא קבוצה קוליניארית אם ורק אם קיים ישר כלשהו l ∈ L {\displaystyle l\in L} כך שלכל p ∈ A {\displaystyle p\in A} מתקיים ש- ( p , l ) ∈ I {\displaystyle (p,l)\in I} . קבוצת ישרים B ⊆ L {\displaystyle B\subseteq L} תקרא קבוצת ישרים נחתכים בנקודה אם ורק אם קיימת נקודה כלשהי p ∈ P {\displaystyle p\in P} כך שלכל l ∈ B {\displaystyle l\in B} מתקיים ש- ( p , l ) ∈ I {\displaystyle (p,l)\in I} . זוג ישרים l 1 , l 2 ∈ L {\displaystyle l_{1},l_{2}\in L} ייקראו ישרים נחתכים אם ורק אם הם שונים זה מזה l 1 ≠ l 2 {\displaystyle l_{1}\neq l_{2}} וקיימת נקודה כלשהי p ∈ P {\displaystyle p\in P} כך ש- ( p , l 1 ) ∈ I {\displaystyle (p,l_{1})\in I} ו- ( p , l 2 ) ∈ I {\displaystyle (p,l_{2})\in I} . C {\displaystyle C} תקרא מערכת חילה סופית אם ורק אם P {\displaystyle P} ו- L {\displaystyle L} הן קבוצות סופיות. בהינתן מערכות החילה C 1 = ( P 1 , L 1 , I 1 ) {\displaystyle C_{1}=(P_{1},L_{1},I_{1})} ו- C 2 = ( P 2 , L 2 , I 2 ) {\displaystyle C_{2}=(P_{2},L_{2},I_{2})} מגדירים כי C 1 {\displaystyle C_{1}} היא תת-מערכת חילה של C 2 {\displaystyle C_{2}} אם ורק אם מתקיימים התנאים הבאים: P 1 ⊆ P 2 {\displaystyle P_{1}\subseteq P_{2}} L 1 ⊆ L 2 {\displaystyle L_{1}\subseteq L_{2}} I 1 = I 2 ∩ ( P 1 × L 1 ) {\displaystyle I_{1}=I_{2}\cap (P_{1}\times L_{1})} מערכות החילה C 1 = ( P 1 , L 1 , I 1 ) {\displaystyle C_{1}=(P_{1},L_{1},I_{1})} ו- C 2 = ( P 2 , L 2 , I 2 ) {\displaystyle C_{2}=(P_{2},L_{2},I_{2})} תקראנה מערכות חילה איזומורפיות אם ורק אם קיימות זוג פונקציות הפיכות φ : P 1 → P 2 {\displaystyle \varphi :P_{1}\to P_{2}} ו- ψ : L 1 → L 2 {\displaystyle \psi :L_{1}\to L_{2}} כך שלכל p ∈ P 1 , l ∈ L 1 {\displaystyle p\in P_{1},l\in L_{1}} מתקיים ש- ( p , l ) ∈ I 1 ⇔ ( φ ( p ) , ψ ( l ) ) ∈ I 2 {\displaystyle (p,l)\in I_{1}\Leftrightarrow (\varphi (p),\psi (l))\in I_{2}} . ניתן להוכיח כי יחס האיזומורפיות הוא יחס שקילות. בהינתן מערכת חילה C = ( P , L , I ) {\displaystyle C=(P,L,I)} מגדירים את מערכת החילה הדואלית ל- C {\displaystyle C} בתור מערכת החילה C ∗ = ( L , P , I ∗ ) {\displaystyle C^{*}=(L,P,I^{*})} כך ש- p I l ⇔ l I ∗ p {\displaystyle pIl\Leftrightarrow lI^{*}p} , כלומר במערכת החילה הדואלית הנקודות הופכות לישרים, הישרים הופכים לנקודות, והיחס שביניהם מוחלף ביחס ההופכי. ניתן להראות כי C ∗ ∗ = C {\displaystyle C^{**}=C} , כלומר שיחס הדואליות הוא יחס אינוולוטי. מערכת חילה C {\displaystyle C} תקרא דואלית-עצמית אם ורק אם המערכת הדואלית C ∗ {\displaystyle C^{*}} איזומורפית ל- C {\displaystyle C} . בהינתן ש- C {\displaystyle C} מערכת חילה סופית וש- P {\displaystyle P} ו- L {\displaystyle L} הן מגודל n {\displaystyle n} ו- m {\displaystyle m} בהתאמה, ניתן לסמן את איברי P {\displaystyle P} בתור p 1 , … , p n {\displaystyle p_{1},\dots ,p_{n}} ואיברי L {\displaystyle L} בתור l 1 , … , l m {\displaystyle l_{1},\dots ,l_{m}} . במקרה זה מטריצת החילה היא המטריצה M {\displaystyle M} מגודל n × m {\displaystyle n\times m} כך שלכל 1 ≤ i ≤ n , 1 ≤ j ≤ m {\displaystyle 1\leq i\leq n,1\leq j\leq m} : M i j := { 1  if  ( p i , l j ) ∈ I 0  otherwise  {\displaystyle M_{ij}:={\begin{cases}1{\text{ if }}(p_{i},l_{j})\in I\\0{\text{ otherwise }}\end{cases}}} מטריצה זו מאפשרת לקודד את מרחב החילה. ערך מורחב – גרף (תורת הגרפים) מערכת חילה תקרא גרף אם ורק אם כל ישר במערכת עובר דרך שתי נקודות בדיוק. הגדרה זו מתלכדת עם הגדרת הגרף מתורת הגרפים, כאשר צמתים שקולים לנקודות וקשתות שקולות לישרים. מערכת חילה תקרא מרחב ליניארי חלקי אם ורק אם היא מקיימת את התנאים הבאים: כל ישר עובר דרך שתי נקודות לפחות. דרך כל שתי נקודות עובר ישר אחד לכל היותר. מערכת חילה תקרא מרחב ליניארי אם ורק אם היא מקיימת את התנאים הבאים: כל ישר עובר דרך שתי נקודות לפחות. דרך כל שתי נקודות עובר בדיוק ישר אחד. ניתן להראות כי כל מרחב ליניארי הוא מרחב ליניארי חלקי. אין להתבלל עם המונח מרחב ליניארי מאלגברה ליניארית, אשר משמש לעיתים כשם נרדף למרחב וקטורי. ערך מורחב – מרחב פרויקטיבי מערכת חילה C = ( P , L , I ) {\displaystyle C=(P,L,I)} תקרא מרחב פרויקטיבי אם ורק אם היא מקיימת את התנאים הבאים: ישנן לפחות שלוש נקודות שונות במערכת. על כל ישר ישנן לכל הפחות שלוש נקודות. דרך כל שתי נקודות עובר בדיוק ישר אחד. בהינתן הנקודות p 1 , p 2 ∈ P {\displaystyle p_{1},p_{2}\in P} מסמנים את הישר הזה בתור p 1 p 2 {\displaystyle p_{1}p_{2}} . אקסיומת ובלן-יאנג: בהינתן הנקודות a , b , c , d ∈ P {\displaystyle a,b,c,d\in P} כך שהישרים a b {\displaystyle ab} ו- c d {\displaystyle cd} נחתכים, מתקיים ש- a c {\displaystyle ac} ו- b d {\displaystyle bd} נחתכים ניתן להוכיח שכל מרחב פרויקטיבי הוא מרחב ליניארי. קיימת הגדרה אלטרנטיבית למרחב פרויקטיבי מחוץ למסגרת של גאומטריית חילה אשר עושה שימוש במרחבים וקטוריים. לפי הגדרה זו, המרחב הפרויקטיבי מוגדר להיות מרחב וקטורי ללא הראשית שלו שבו כל ישר העובר דרך הראשית (שהוסרה) מזוהה כנקודה במרחב. משפט ובלן-יאנג (Veblen–Young theorem) קובע שבמידה ובמרחב יש לכל הפחות שני ישרים אשר אינם נחתכים, שתי ההגדרות שקולות. המרחב הפרויקטיבי הוא המרחב הנחקר במסגרת הגאומטריה הפרויקטיבית. מישור פאנו (Fano plane) הוא דוגמה למערכת חילה עם שבע נקודות ושבעה ישרים כמתואר בסרטוט. במסגרת מישור פאנו גם המעגל שבמרכז האיור נחשב לישר אחד. מישור פאנו הוא מרחב פרויקטיבי, ולמעשה הוא המרחב הפרויקטיבי עם מספר הנקודות (והישרים) הקטן ביותר האפשרי: שבע נקודות. ניתן להוכיח כי לכל מרחב פרויקטיבי קיימת תת-מערכת חילה איזומורפית למישור פאנו. מישור פאנו הוא מערכת דואלית-עצמית, שכן המרחב הדואלי לו איזומורפי אליו. במישור פאנו כל ישר מכיל שלוש נקודות בדיוק. ניתן להשתמש במישור פאנו כדי לספק תצוגה ויזואלית לאלגברת האוקטוניונים של קיילי. גאומטריית חילה גאומטריה מרחב פולרי incidence structure, planetmath.org Incidence system, Encyclopedia of Mathematics Incidence matrix, Encyclopedia of Mathematics (partial) linear space, planetmath.org