هندسة منتهية
الهندسة المنتهية Finite geometry هي أي نظام هندسي رياضي يحوي عدد منتهي (محدد) من النقاط. على سبيل المثال، فإن الهندسة الإقليدية هي هندسة غير منتهية، حيث حتى المستقيم الإقليدي يحتوي عدد لا نهائي من النقاط. من الممكن للهندسة المنتهية حتى تمتلك عدد منته من الأبعادوإسقاطي
المستويات المنتهية
هناك نوعان من المستويات المنتهية، أفيني وإسقاطي. حيث من الممكن وصف هذين النوعين باستخدام بديهيات بسيطة.
يتألف المستوي الأفيني من مجموعة غير خالية من النقاط X مع مجموعة غير خالية من المستقيمات L وهي مجموعة جزئية من X، بحيث يتحقق ما يلي:
- من أجل أي نقطتين، هناك مستقيم واحد فقط يصل بينهما.
- تتحقق مسلمة التوازي من أجل جميع مستقيم ونقطة ليست على هذا المستقيم.
- يوجد مجموعة من أربع نقاط، بحيث لاقد يكون ثلاثة من هذه النقاط ينتمي إلى ذات المستقيم.
البديهية الأخيرة تعمل على حتى لا تكون المجموعة خالية، بينما تحدد البديهيتان الأوليتان صفات الهندسة.
أبسط شكل للمستوي الأفيني فيه أربعة نقاط، ويسمى المستوي الأفيني من الدرجة الثانية. بما أنه لا يوجد أي ثلاث نقاط على مستقيم واحد، فإن جميع نقطتين ستحددان مستقيم فيكون عدد المستقيمات 6. بشكل عام فإن مستوي أفيني من الدرجة سيحتوي على نقطة و مستقيم، بحيث حتى جميع مستقيم يقع عليه نقطة، وكل نقطة تكون على مستقيم.
يتألف المستوي الإسقاطي الهندسي من مجموعة غير خالية من النقاط X مع مجموعة غير خالية من المستقيمات L وهي مجموعة جزئية من X، بحيث يتحقق ما يلي:
- من أجل أي نقطتين مختلفتين، يوجد فقط مستقيم واحد يحوي كلتا النقطتين.
- إن تقاطع أي مستقيمين يحوي على نقطة واحدة فقط.
- يوجد مجموعة من أربع نقاط، بحيث لاقد يكون ثلاثة من هذه النقاط ينتمي إلى ذات المستقيم.
بينما الشرط الثالث يحتاج وجود فقط أربع نقاط، إلا حتى أبسط شكل للمستوي يجب حتى يتضمن سبع نقاط جميع نقطة منها تقع على ثلاث مستقيمات، وكل مستقيم يضم ثلاث نقاط. يدعى هذا المستوي باسم مستوي فانو.
إذا تم إزالة أي من المستقيمات من هذا المستوي مع نقاطه، سينتج لدينا مستوي أفيني من الدرجة الثانية. لذلك فإن مستوي فانويدعي باسم المستوي الإسقاطي من الدرجة الثانية. وبشكل عام فإن المستوي الإسقاطي من الدرجة n يمتلك n2+n+ 1 نقطة، ونفس العدد من المستقيمات، جميع مستقيم منها يحتوي n+1 نقطة، وكل نقطة n+1 مستقيم.
