تخمين سميث

في الرياضيات ، تنص فرضية سميث على أنه إذا كان f عبارة عن تماثل تفاضلي للكرة ثلاثية الأبعاد ذات رتبة محدودة ، فإن مجموعة النقاط الثابتة لـ f لا يمكن أن تكون عقدة غير تافهة .

أظهر بول أ. سميث ( 1939 ، ملاحظة بعد النظرية 4) أن أي تماثل تفاضلي غير تافه يحافظ على التوجيه من رتبة محدودة بنقاط ثابتة يجب أن تكون مجموعة نقاطه الثابتة مساوية لدائرة، وتساءل في ( إيلنبرغ 1949 ، المسألة 36) عما إذا كان من الممكن عقد مجموعة النقاط الثابتة. أثبت فريدهيلم فالدهاوزن ( 1969 ) حدسية سميث للحالة الخاصة للتماثلات التفاضلية من الرتبة 2 (وبالتالي أي رتبة زوجية). وصف جون مورغان وهيمان باس ( 1984 ) برهان الحالة العامة ، والذي اعتمد على العديد من التطورات الرئيسية في نظرية المشعبات ثلاثية الأبعاد ، ولا سيما عمل ويليام ثورستون حول البنى الزائدية على المشعبات ثلاثية الأبعاد، ونتائج ويليام ميكس وشينغ تونغ ياو حول الأسطح الدنيا في المشعبات ثلاثية الأبعاد، مع بعض المساعدة الإضافية من باس وكاميرون غوردون وبيتر شالين وريك ليثرلاند.   

قدّم دين مونتغمري وليو زيبين ( 1954 ) مثالًا على انعكاس مستمر للكرة ثلاثية الأبعاد، حيث تكون مجموعة نقاطه الثابتة عبارة عن دائرة متداخلة بشكل كبير، مما يجعل تخمين سميث خاطئًا في الفئة الطوبولوجية (وليس في الفئة الملساء أو فئة PL). وأظهر تشارلز جيفن ( 1966 ) أن نظير تخمين سميث في الأبعاد الأعلى خاطئ: إذ يمكن أن تكون مجموعة النقاط الثابتة لتشاكل دوري لكرة ذات بُعد 4 على الأقل كرة معقودة ذات بُعد مشترك 2.  

انظر أيضاً

مراجع