تكوين هيس

في الهندسة، يُعرف تكوين هيس بأنه تكوين يتكون من 9 نقاط و12 خطًا، حيث يمر كل خط بثلاث نقاط، ويمر أربعة خطوط بكل نقطة. ويمكن تمثيله بالصيغة (9 4 12 3 ) أو مصفوفة التكوين.[94312]{\displaystyle \left[{\begin{smallmatrix}9&4\\3&12\\\end{smallmatrix}}\right]}. إنه متناظر (متعدي على النقطة والخط) مع 432 شكلاً ذاتياً .

يمكن تمثيلها في المستوى الإسقاطي المركب كمجموعة نقاط انعطاف لمنحنى إهليلجي ، لكنها لا تُمثَّل في المستوى الإقليدي . وقد قدّمها كولين ماكلورين ودرسها هيسه ( 1844 ) ، [ 1 ] وتُعرف أيضًا باسم هندسة يونغ ، [ 2 ] نسبةً إلى أعمال جون ويسلي يونغ اللاحقة في الهندسة المنتهية. [ 3 ] [ 4 ] 

وصف

يتمتع تكوين هيس بنفس علاقات التلاقي التي تربط الخطوط والنقاط في المستوى الأفيني على حقل مكون من 3 عناصر . أي أن نقاط تكوين هيس يمكن تمثيلها بأزواج مرتبة من الأعداد بتردد 3، ويمكن تمثيل خطوط التكوين، بالمقابل، بثلاثيات النقاط ( س ، ص ) التي تحقق المعادلة الخطية أ س + ب ص = ج (بتردد 3) . أو بدلاً من ذلك، يمكن تمثيل نقاط التكوين بمربعات لوحة لعبة إكس-أو ، ويمكن تمثيل الخطوط بخطوط وأقطار اللوحة المتقطعة .

تنتمي كل نقطة إلى أربعة خطوط: في تفسير لعبة إكس أو لهذا التكوين، يكون أحد الخطوط أفقيًا، والآخر رأسيًا، واثنان قطريان أو قطريان متقطعان. يحتوي كل خط على ثلاث نقاط. في لغة التكوينات، يُرمز لتكوين هيس بالرمز (9 4 12 3 )، مما يعني وجود 9 نقاط، و4 خطوط لكل نقطة، و12 خطًا، و3 نقاط لكل خط.

باستخدام نقاط مُفهرسة من 1 إلى 9 في شبكة 3x3، يمكن إنشاء جدول تكوين. الأعمدة عبارة عن خطوط، تُفهرس النقاط.

أفقيرَأسِيّالتشخيص-1التشخيص-2
147123123123
258456564645
369789978897

يحتوي تكوين هيس على 18 × 4! = 432 من التشاكلات الذاتية ، مما يضاعف تناظرات مجموعة هيسيان ذات الصلة .

كل زوج من النقاط متصل بخط واحد. ويتضح ذلك في مصفوفة التجاور الكاملة :

[011111111101111111110111111111011111111101111111110111111111011111111101111111110]{\displaystyle \left[{\begin{smallmatrix}0&1&1&1&1&1&1&1&1\\1&0&1&1&1&1&1&1\\1&1&0&1&1&1&1&1&1\\1&1&1&0&1&1&1&1&1\\1&1&1&1&0&1&1&1&1\\1&1&1&1&1&0&1&1\\1&1&1&1&1&1&0&1\\1&1&1&1&1&1&1&0\\\end{smallmatrix}}\right]}
التكوينات ذات الصلة مع التشاكلات الذاتية
اتصال الهاتف

يمكن أن يكون للتكوين المزدوج (12 3 9 4 )، حيث يتم فهرسة النقاط من 1 إلى 12، جدول تكوين:

111223344
258575667
36989109810
4710111212111211
تكوين موبيوس-كانتور

يؤدي حذف أي نقطة وخطوطها الأربعة المتصلة بها من تكوين هيس إلى تكوين ثنائي ذاتي (8 3 ) أو[8338]{\displaystyle \left[{\begin{smallmatrix}8&3\\3&8\\\end{smallmatrix}}\right]}، تكوين موبيوس-كانتور . [ 5 ] [ 6 ] [ 7 ] يحتوي على 48 شكلاً ذاتياً.

( 8 3 ) هو تكوين دوري، يتم تعريفه بواسطة خط مولد واحد على أنه { 0,1,3 } 8 ، مع الخطوط التالية ذات المؤشرات المتزايدة modulo 8.

(8 3 ) جدول التكوين
01234567
12345670
34567012

تكوين بابوس

في تكوين هيس، يمكن تجميع الخطوط الاثني عشر في أربع مجموعات ثلاثية من الخطوط المتوازية (غير المتقاطعة)، (9 3 3 3 +3 3 +3 3 +3 3 ). ويُنظر إلى هذا على أنه خطوط أفقية ورأسية ومجموعتين من الخطوط القطرية.

يؤدي حذف الخطوط الثلاثة التي تنتمي إلى ثلاثية واحدة من تكوين هيس إلى تكوين ثنائي ذاتي (9 3 ) أو[9339]{\displaystyle \left[{\begin{smallmatrix}9&3\\3&9\\\end{smallmatrix}}\right]}، تكوين بابوس . [ 6 ] [ 7 ] يحتوي تكوين بابوس على 18 × 3! = 108 من التشاكلات الذاتية.

تكوين باباس (9 3 )
أفقيرَأسِيّالتشخيص-1
147123123
258456564
369789978
ثنائي الرسم البياني K 3,3
التكوين (9 2 6 3 )

إزالة نصف الثلاثيات من تكوين هيس يترك (9 2 6 3 ) أو[9236]{\displaystyle \left[{\begin{smallmatrix}9&2\\3&6\\\end{smallmatrix}}\right]}، والذي يُمثَّل في المضلع المركب المنتظم 3{4}2، ذي 9 رؤوس و6 حواف ثلاثية. وهو أيضًا التكوين الثنائي للرسم البياني الثنائي الكامل ، K 3,3 ، والذي يُسمى الرسم البياني للمنفعة (أو رسم تومسن البياني)، (6 3 9 2 ) أو[6329]{\displaystyle \left[{\begin{smallmatrix}6&3\\2&9\\\end{smallmatrix}}\right]}، مع 2×(3!) 2 = 72 من التشاكلات الذاتية.

(9 2 6 3 ) التكوين
أفقيرَأسِيّ
147123
258456
369789

PG(2,3)

(13 4 ) التكوين، وأيضًا PG(2,3)

يمكن بدوره زيادة تكوين هيس بإضافة أربع نقاط، نقطة واحدة لكل ثلاثية من الخطوط غير المتقاطعة، وخط واحد يحتوي على النقاط الأربع الجديدة، لتشكيل تكوين ثنائي ذاتي (13 4 ) أو[134413]{\displaystyle \left[{\begin{smallmatrix}13&4\\4&13\\\end{smallmatrix}}\right]}.

وهو متماثل مع PG(2,3)، وهي مجموعة النقاط والخطوط في المستوى الإسقاطي فوق الحقل ثلاثي العناصر. [ 8 ] [ 9 ]

يحتوي PG(2, k ) على ( k 3 -1)( k 3 - k )( k 3 - k 2 )/( k -1) من التشاكلات الذاتية مع العدد الأولي k ، هنا (3 3 -1)(3 3 -3)(3 3 -3 2 )/(2-1)=26⋅24⋅18/2 = 5616 تشاكلًا ذاتيًا، وهو أعلى بمقدار 13 مرة من تكوين هيس.

(13 4 ) التكوين
التشخيص-1أفقيالتشخيص-2رَأسِيّجديد
12314712312310
64525856445611
89736997878912
10101011111112121213131313

(13 4 ) هو أيضًا تكوين دوري، مع "خط" مولد على النحو التالي { 0,1,4,6 } 13 . (تزيد الخطوط المتسلسلة مؤشرات الرؤوس بمقدار 1 modulo 13.)

(13 4 ) التكوين الحلقي
0123456789101112
1234567891011120
4567891011120123
6789101112012345

إمكانية التحقيق

يمكن تمثيل تكوين هيس في المستوى الإسقاطي المركب على أنه النقاط التسع لانعطاف منحنى إهليلجي والخطوط الاثني عشر المارة بثلاثيات من نقاط الانعطاف. [ 3 ] إذا كانت مجموعة معينة من تسع نقاط في المستوى المركب هي مجموعة انعطافات منحنى إهليلجي C ، فإنها تمثل أيضًا مجموعة انعطافات كل منحنى في حزمة منحنيات مولدة بواسطة C ومنحنى هيس الخاص بـ C ، أي حزمة هيس . [ 10 ]

المجسم متعدد السطوح الهيس هو تمثيل لتكوين هيس في المستوى المركب.

تتشابه بنية هيس مع بنية موبيوس-كانتور في خاصية امتلاكها تمثيلاً معقداً، لكنها لا تُمثَّل بنقاط وخطوط مستقيمة في المستوى الإقليدي . في بنية هيس، تتصل كل نقطتين بخط من البنية (وهي الخاصية المميزة لبنية سيلفستر-غالاي )، وبالتالي فإن كل خط يمر بنقطتين منها يحتوي على نقطة ثالثة. أما في المستوى الإقليدي، فإن كل مجموعة منتهية من النقاط إما أن تكون على استقامة واحدة، أو تتضمن زوجاً من النقاط لا يحتوي خطها على أي نقاط أخرى من المجموعة؛ وهذه هي نظرية سيلفستر-غالاي . ولأن بنية هيس لا تنطبق عليها نظرية سيلفستر-غالاي، فليس لها تمثيل إقليدي. يوضح هذا المثال أيضاً أنه لا يمكن تعميم نظرية سيلفستر-غالاي على المستوى الإسقاطي المعقد. مع ذلك، في الفضاءات المعقدة، يجب أن تقع بنية هيس وجميع بنيات سيلفستر-غالاي ضمن فضاء فرعي ثنائي الأبعاد مسطح. [ 11 ]

مراجع

  1. ^ Hesse، O. (1844)، “Über die Eliminating der Variabeln aus drei algebraischen Gleichungen vom zweiten Grade mit zwei Variabeln” (PDF) ، Journal für die Reine und Angewandte Mathematik (بالألمانية)، 28 : 68–96 ، دوى : 10.1515/crll.1844.28.68 ، ISSN 0075-4102 .
  2. والاس، إدوارد سي؛ ويست، ستيفن إف (2015)، طرق إلى الهندسة ( الطبعة الثالثة)، دار نشر ويڤلاند، الصفحات 23-24 ، رقم ISBN   9781478632047
  3. 1 2 ماكنيش، إتش إف (1942)، "أربع هندسات منتهية"، المجلة الرياضية الأمريكية الشهرية ، 49 : 15-23 ، doi : 10.2307/2303772 ، MR 0005625 
  4. فيبلين، أوزوالد ؛ يونغ، جون ويسلي (1910)، الهندسة الإسقاطية ، المجلد الأول، جين وشركاه، ص 249  
  5. دولغاتشيف، إيغور ف. (2004)، "التكوينات المجردة في الهندسة الجبرية"، مؤتمر فانو ، جامعة تورينو، تورينو، ص 423-462 ، arXiv : math.AG/0304258 ، MR 2112585  .
  6. 1 2 كوكسيتر، إتش إس إم (1950)، "التكوينات ذاتية الازدواجية والرسوم البيانية المنتظمة"، نشرة الجمعية الرياضية الأمريكية ، 56 (5): 413-455 ، doi : 10.1090/S0002-9904-1950-09407-5.
  7. 1 2 كولينان، ستيفن هـ. (2011)، التكوينات والمربعات.
  8. باتن، لين مارغريت (1997)، توافقية الهندسات المنتهية ، المجلد الثاني، جامعة كامبريدج، ص 41-42  
  9. حول مخطط ليفي لتكوينات النقاط والخطوط ، جيسيكا هاوشيلد، جازمين أورتيز وأوسكار فيغا (2015)
  10. ^ أرتيباني ، ميشيلا. Dolgachev، Igor (2009)، “قلم هيس للمنحنيات المكعبة المستوية”، L’Enseignement Mathématique ، 2e Série، 55 (3): 235–273 ، أرخايف : math/0611590 ، دوى : 10.4171/lem/55-3-3 ، MR 2583779 .
  11. إلكيس، نوام ؛ بريتوريوس، لو م.؛ سوانيبويل، كونراد ج. (2006)، "نظريات سيلفستر-غالاي للأعداد المركبة والرباعيات"، الهندسة المنفصلة والحسابية ، 35 (3): 361-373 ، arXiv : math/0403023 ، doi : 10.1007/s00454-005-1226-7 ، MR 2202107 .