النقاط و الخطوط و الثنائية

برنامج الهندسة استخدم منظوراً لا يظهر في الإثباتات الإقليدية الكلاسيكية. الفكرة: بدلاً من مقارنة المثلث ABC بمثلث مُنشأ ثانٍ، قارن ABC مع نفسه مع تبديل رؤوس القاعدة - التطابق A↔A، B↔C، C↔B.

هذا حجة تماثل هندسي: المثلث متساوي الساقين متماثل تحت الانعكاس عبر الارتفاع من القمة. البرنامج لم ينشئ الانعكاس بشكل صريح؛ استخدم التطابق كتجريد.

المبدأ العام وراء هذا هو الثنائية الإسقاطية: في المستوى الإسقاطي، لكل نظرية حول النقاط و الخطوط نظرية ثنائية يتم الحصول عليها بتبديل كلمات 'نقطة' و 'خط' في جميع أنحاء المستند.

قاموس الثنائية:

- نقطة ↔ خط

- النقطة تقع على الخط ↔ الخط يمر عبر النقطة

- نقطتان تحددان خطاً فريداً ↔ خطان يحددان نقطة فريدة

- نقاط مترابطة ↔ خطوط متزامنة

إثبات واحد لنظرية حول النقاط يحقق تلقائياً إثبات النظرية الثنائية حول الخطوط - و العكس صحيح. الإثباتان لهما نفس البنية و نفس الطول و نفس خطوات الاستدلال. غالباً ما يكشف العثور على المنظور الثنائي عن إثبات أبسط للأصل.

تطبيق الثنائية

نظرية ديسارجيس: إذا كان مثلثان في منظور من نقطة (الخطوط الثلاثة عبر الرؤوس المتناظرة تلتقي جميعها عند نقطة واحدة)، فهما في منظور من خط (التقاطعات الثلاثة للأضلاع المتناظرة تقع جميعها على خط واحد).

هذه النظرية ثنائية ذاتياً: تبديل النقاط و الخطوط يعطي بالضبط نفس بيان النظرية.

معدل العينات و فضاء التكرار

نظام الموسيقى الحاسوبية في Bell Labs اعتمد على نظرية رياضية واحدة: نظرية أخذ العينات من نيكويست و شانون.

البيان: إشارة محدودة النطاق بتكرار أقصى f_max يمكن إعادة بنائها بشكل مثالي من عينات مأخوذة بمعدل لا يقل عن 2 × f_max عينة في الثانية.

التفسير الهندسي: إشارة محدودة النطاق تعيش في فضاء فرعي ذو بعد محدود من فضاء جميع الدوال المستمرة. أخذ عينات بمعدل 2f_max يوفر إحداثيات كافية لتحديد نقطة فريدة في ذلك الفضاء الفرعي.

التعرّج: هندسة فشل أخذ العينات

تحت معدل نيكويست، التكرارات فوق f_max تتعرج - تظهر كتكرارات أقل في الإشارة المأخوذ عينات منها. تصبح إشارتان مختلفتان غير قابلة للتمييز بعد أخذ العينات. هندسياً: عامل أخذ العينات يعرّج فضاء الإشارة على فضاء أقل بعداً، مما يسبب تصادم إشارات مختلفة.

للصوت الرقمي (جودة CD): f_max = 22050 هرتز (أعلى قليلاً من حد السمع البشري 20000 هرتز)، معدل العينات = 44100 عينة/الثانية. للهاتف: f_max = 4000 هرتز، معدل العينات = 8000 عينة/الثانية.

حسابات معدل نيكويست

نظرية نيكويست تحدد الحد الأدنى لمعدل العينات اللازمة لتجنب فقدان المعلومات.

فضاء الإثبات و فضاء الإشارة: هندسة مشتركة

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

تقليل طول الإثبات: ابحث عن أقصر مسار (أقل خطوات استدلال) عبر رسم بياني الإثبات من المقدمات إلى الاستنتاج. قلل إثبات التطابق الذاتي طول المسار بالاستفادة من التماثل.

أخذ عينات الإشارة: ابحث عن الحد الأدنى من عدد العينات (أقل معدل عينات) التي تحافظ على جميع المعلومات في إشارة محدودة النطاق. نظرية نيكويست تقلل التمثيل باستغلال حدود النطاق الترددي.

تعيش كلا المسألتين في فضاءات لها بنية تمكن من نتائج الحد الأدنى من التمثيل. كلاهما يفشل عندما تنهار تلك البنية: الإثباتات تصبح أطول عندما ينظم فضاء البديهيات بشكل سيء؛ يحدث التعرج عندما لا تكون الإشارة محدودة النطاق.