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

مبرهنة هان-باناخ

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث
Question book-new.svg
المحتوى هنا ينقصه الاستشهاد بمصادر. يرجى إيراد مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (مارس 2016)

هي إحدى النظريات الأساسية للتحليل الدالي، وسميت على اسمي من صاغاها: العالم النمساوى هانز هان Hans Hahn والعالم البولندي ستيفان باناخ Stefan Banach.

نظرية هان-بناخ[عدل]

تُعنى النظرية في الأساس بفكرة إيجاد امتداد للداليات الخطية و قد ظهرت في صورتها الأولى في عام 1927 في أعمال الرياضي النمساوى هانز هان Hans Hahn ثم أعيدت صياغتها في عام 1929 في صورتها المتعلقة بالفراغات الاتجاهية الحقيقية على يد الرياضي البولندى ستيفان بناخ Stefan Banach و من ثم التعميم لحالة الفراغات الاتجاهية المركبة في عام 1938 ، و توجد أيضاً صياغة للنظرية في حالة الفراغات المعيرة .

نظرية هان-بناخ (1927-1929)[عدل]

ليكن فراغاً اتجاهياً حقيقياً و دالية تحت خطية معرفة عليه ، ولتكن دالية خطية معرفة على الفراغ الجزئي وتحقق أن

وذلك لكل ؛ عندئذ يمكن إيجاد دالية خطية معرفة على كل الفراغ بحيث :

( أي أنها تمثل امتداداً لـ )

و

نظرية هان-بناخ (1938)[عدل]

ليكن فراغاً اتجاهياً حقيقياً أو مركباً و دالية ذات قيم حقيقية معرفة على بحيث أن لأى و أي كمية قياسية يتحقق أن

و

، ولتكن دالية خطية معرفة على الفراغ الجزئي وتحقق أن وذلك لكل ؛ عندئذ يمكن إيجاد دالية خطية معرفة على كل الفراغ بحيث

( أي أنها تمثل امتداداً لـ )

و

باستخدام هاتين النظريتين نحصل على

نظرية هان-بناخ للفراغات المعيرة[عدل]

لتكن دالية خطية محدودة معرفة على الفراغ الجزئي من الفراغ المعير ، إذن توجد دالية خطية محدودة معرفة على كل الفراغ بحيث تمثل امتداداً لـ ولهما نفس المعيار أي أن

حيث

و

.