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