نظرية بونيه

في مجال الهندسة التفاضلية ، تتناول النظرية الأساسية لنظرية السطح مسألة تحديد البيانات الهندسية لمتشعب فرعي من الفضاء الإقليدي . وقد أثبتها بيير أوسيان بونيه لأول مرة عام 1867، ومنذ ذلك الحين تم توسيع نطاقها لتشمل أبعادًا أعلى وسياقات غير إقليدية.

أي سطح في الفضاء الإقليدي ثلاثي الأبعاد له شكل أساسي أول وشكل أساسي ثان ، وهما مرتبطان تلقائيًا بمعادلات غاوس-كوداتزي . وتؤكد نظرية بونيه عكسًا محليًا لهذه النتيجة. ^{[ 1 ]}

بفرض وجود منطقة مفتوحة D في الفضاء ^R² ، ولتكن g و h موترين متناظرين من الرتبة 2 على D ، مع اشتراط أن تكون g موجبة التحديد. إذا كانت هذه ^{الموترات} سلسة وتُحقق معادلات غاوس-كوداتزي، فإن نظرية بونيه تنص على أن D مغطاة بمجموعات مفتوحة يمكن تضمينها بسلاسة في R³ باستخدام الشكل الأساسي الأول g والشكل الأساسي الثاني h (بالنسبة لأحد الخيارين لحقل متجه الوحدة العمودي) . علاوة على ذلك، فإن كل تضمين من هذه التضمينات مُحدد بشكل فريد حتى حركة صلبة في R³ ^.

تُعتبر نظرية بونيه نتيجة لنظرية فروبينيوس ، وذلك عند النظر إلى معادلات غاوس-كوداتزي كنظام من المعادلات التفاضلية الجزئية من الدرجة الأولى لمشتقات الإحداثيين لمتجه الموضع للتضمين، بالإضافة إلى المتجه العمودي. ^{[ 2 ]}

أظهر كلٌّ من هـ. بلين لوسون وريناتو دي أزيفيدو تريبوزي أنه بالنسبة لسطح متراص ، فإن تحديد الشكل الأساسي الأول ( المقياس المستحث ) مع دالة انحناء متوسطة غير ثابتة على السطح (متوسط ​​الانحناءات الرئيسية، أو ما يعادل نصف أثر مؤثر الشكل ) ينتج عنه على الأكثر غمرين أملسين متراصين في الفضاء ثلاثي الأبعاد ^R³ حتى التطابق، وغمر واحد على الأكثر للأسطح من الرتبة الصفرية . ^{[ 4 ]} عندما يحقق غمران غير متطابقين نفس الشكل الأساسي الأول ونفس دالة الانحناء المتوسطة، فإنهما يشكلان زوج بونيه متراص. في عام 2025، قام كلٌّ من بوبينكو وهوفمان وساجمان-فورناس بإنشاء أول أزواج بونيه متراصة صريحة، تتكون من حلقتين مغمورتين في الفضاء ثلاثي ^{الأبعاد} R³ . ^{[ 3 ] [ 5 ]}

يمكن صياغة نظرية بونيه بشكل طبيعي للأسطح الفائقة في فضاء إقليدي ذي أي بُعد، وتبقى النتيجة صحيحة في هذا السياق. علاوة على ذلك، يمكن توسيع النظرية من صياغة بونيه المحلية إلى صياغة شاملة ، مما يسمح بأن يكون D أي مشعب أملس متصل وبسيط الاتصال ، وتؤكد النتيجة وجود وتفرد (حتى حركة صلبة) غمر أملس لـ D كسطح فائق في فضاء إقليدي ذي شكل أساسي أول g وشكل أساسي ثانٍ h . تعتمد فكرة البرهان على استخدام نظرية الوجود من الصياغة المحلية لإنشاء الغمر على طول منحنيات عشوائية تنطلق من نقطة واحدة. يُستخدم مصطلح "بسيط الاتصال" للدلالة على أن أي منحنيين من هذا النوع لهما نقطة نهاية مشتركة متماثلان (عبر مسارات تثبت نقاط النهاية)، ويشير التفرد من الصياغة المحلية إلى أن قيمة الغمر عند نقطة النهاية يجب أن تكون ثابتة من خلال التماثل، بحيث ينتج غمر مُعرَّف جيدًا على المشعب بأكمله. ^{[ 6 ]}

في هذا السياق العالمي، لا يتحقق الوجود عمومًا إذا أُزيل شرط الاتصال البسيط. ويتضح ذلك من عدم وجود غمر سطحي فائق للحلقة التي يكون شكلها الأساسي الأول مسطحًا وشكلها الأساسي الثاني صفرًا. ^{[ 7 ]}

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

في هذا السياق العام، يمكن أيضًا استبدال الفضاء الإقليدي المحيط بأي مشعب ريماني متصل وكامل جيوديسيًا ذي انحناء ثابت ، والذي (كما هو الحال مع الحالة الأكثر خصوصية ذات البعد المشترك الأعلى) يتطلب صياغة موسعة مناسبة لمعادلات جاوس-كوداتزي. ^{[ 8 ]}

• بوبينكو، ألكسندر آي.؛ هوفمان، تيم؛ ساجيمان-فورناس، أندرو أو. (2025). "أزواج بونيه المدمجة: أسطح طورية متساوية القياس ذات انحناءات متماثلة" . منشورات الرياضيات للمعهد العالي للدراسات العليا . 142 (1): 241-293 . doi : 10.1007/s10240-025-00159-z .
• بونيه، O. (1867). "ذاكرة حول نظرية الأسطح المطبقة على سطح ما". مجلة مدرسة البوليتكنيك . 42 : 72 – 92.
• كاتس، إليز (20 يناير 2026). "شكلان ملتويان يحلان لغزًا طوبولوجيًا عمره قرون" . مجلة كوانتا . تم الاطلاع عليه بتاريخ 22 يناير 2026 .
• دو كارمو، مانفريدو ب. (2016). الهندسة التفاضلية للمنحنيات والأسطح (الطبعة الثانية المنقحة والمحدثة من  الطبعة الأصلية لعام 1976). مينولا، نيويورك: منشورات دوفر. ISBN 978-0-486-80699-0. السيد 3837152 . زبل 1352.53002 .  
• كوباياشي، شوشيتشي ؛ نوميزو، كاتسومي (1969). أسس الهندسة التفاضلية. المجلد الثاني . سلسلة إنترساينس في الرياضيات البحتة والتطبيقية. المجلد  15. نيويورك - لندن: جون وايلي وأولاده، المحدودة. ISBN 0-471-15732-5. السيد 0238225 . زبل 0175.48504 .  
• لوسون، إتش. بلين الابن ؛ تريبوزي، ريناتو دي أزيفيدو (1981). "حول دالة الانحناء المتوسط ​​للأسطح المدمجة". مجلة الهندسة التفاضلية . 16 : 179-183 . doi : 10.4310/jdg/1214436095 .
• سبيفاك، مايكل (1999أ). مقدمة شاملة في الهندسة التفاضلية. المجلد الثالث (الطبعة الثالثة من  الطبعة الأصلية لعام 1975). ويلمنجتون، ديلاوير: دار النشر Publish or Perish, Inc. رقم ISBN 0-914098-72-1. السيد 0532832 . زبل 1213.53001 .  
• سبيفاك، مايكل (1999ب). مقدمة شاملة في الهندسة التفاضلية. المجلد الرابع (الطبعة الثالثة من  الطبعة الأصلية لعام 1975). دار النشر Publish or Perish, Inc. رقم ISBN 0-914098-73-X. السيد 0532833 . زبل 1213.53001 .  
• ستريك، ديرك ج. (1961). محاضرات في الهندسة التفاضلية الكلاسيكية (الطبعة الثانية من  الطبعة الأصلية لعام 1950). لندن: شركة أديسون-ويسلي للنشر. ISBN 0-486-65609-8. السيد 0939369 . زبل 0105.14707 .  {{cite book}}عدم توافق رقم ISBN / التاريخ ( مساعدة )