الفراغات المعيرة وفراغات بناخ

نجد في الرياضيات فكرة وهي إن طول القطعة المستقيمة في المستوى  ونقطتي النهاية لهذه القطعة مستقيمة هما (0,0) وأي زوج مرتب =( , )
ففكرة إيجاد طول المتجه  فكرة بديهية ويمكن تعميمها لأى فراغ اتجاهى حقيقى  وهذه هي الخصائص لطول المتجه  ويرمز له بالرمز  :
 
1- أي متجه طوله موجب
2- المتجه الصفرى طوله صفر وأيضا إذا كان طول المتجه صفر فيكون هو المتجه الصفرى
3- ضرب متجه في قيمة قياسية يغير طوله بنفس مقدار القيمة المطلقة دون تغير اتجاه المتجه
حيث أن هذه القيمة القياسية إذا كانت تقع في الفترة  فإن طول المتجه  ينكمش وإذا كانت تاخذ أي قيمة تقع في الفترة  فإن طول المتجه  يتمدد
4- متباينة المثلث متحققه حيث أن طول أي ضلع في المثلث لا يزيد عن مجموع طولى الضلعين الآخرين
و بتجريد هذه الخصائص لأى فراغ اتجاهى نحصل على مفهوم المعيار ألا وهو كمية مجرده ، فمن الممكن أن تصف طول أو حجم أو مدى أي فراغ وبالتالى يكون المعيار مفهوم المسافة في الفراغ الخطى وهذا يتيح لنا معرفة تقارب متسلسلة لانهائية في هذا الفراغ ، وهذا نهتم به في حل عدد لانهائي من المعادلات الخطية ومن هنا كانت بداية التحليل الدالى عندما تعثر الجبر الخطى في حل تلك المعادلات اللانهائية وعلى سبيل المثال عند تحويل معادلة تكاملية إلى نظام من المعادلات الخطية اللانهائية فهنا يظهر لنا متسلسلات لانهائية وبالتالى نريد معرفه تقاربها ، حيث نشأت نظرية بواسطة إسهامات فوليترا (1940-1860)Volterra وفريدهولم (1927-1866 )Fredholm وهيلبرت (1943-1862)Hilbert في المعادلات التكاملية.

نبذة تاريخية

أول من تكلم على مفهوم المعيار هو عالم الرياضيات النمساوى هيلى ( E.Helly( 1884 - 1943 ولكنه لم يستخدم اسم المعيار ولا رمز المعيار  ، كان يعرفها كأى دالة ، وتحقق شروط المعيار ، وقد كتب مقالة في عام 1912 تكلم فيها عن حالة خاصة من نظرية هان - بناخ حيث أنه قام بتفسير نتائج لم يفسرها ريس (F. Riesz ( 1880 – 1956 من قبل وأيضا قام هيلى بعمل اثبات مختلف عن ريس لمد الداليات الخطية ولم يقم بنشر أي مقالات لمدة 9 سنوات بسبب الحرب العالمية الأولى وكان حينئذ سجين الحرب في روسيا ، وقام بعمل مقالة في عام 1921 ، وهذه المقالة تعتبر علامة بارزة في تاريخ التحليل الدالى حيث أنه بدل النظر إلى فراغ معين مثل  وLᵖ و فهو أول من تعامل بصفة عامة مع "الفراغات المعيارية للمتتابعات" باستخدام الأساليب التي لا تعتمد على صفات خاصة للفراغ أي أن بواسطة هيلى في عام 1921 قام بتعميم نظرية نظام من المعادلات الخطية من الفراغ  إلى أي فراغ جزئي معيارى من  وهو فراغ كل المتتابعات من الأعداد المركبة وقد قام هيلى بتعريف مفهوم التحدب على الفراغات المعيرة وكان منيكوفسكى ( 1909-1864)Minkowski في عام 1911 ذكر مفهوم التحدب في هندسة الأعداد.
في عام 1920 عرف ما يسمى فراغ بناخ وطرحت فكرة فراغ بناخ من قبل بعض العلماء ، وعلى سبيل المثال وينر (1964 -1894)Norbert Wiener قدم المفاهيم ، ولكنه لم يؤسس النظريات والذي صاغ اسم فراغ بناخ هو فريشيه وأهمية اسهام بناخ انه طور منهجية نظرية التحليل الدالى حيث أنه كان يوجد نتائج معزولة تطورت فيما بعد لتتلاءم مع النظرية الجديدة .واتخذت خطوة أخرى في التجريد من قبل بناخ في عام 1932 عندما انتقل من فراغ الضرب القياسى إلى فراغ المعيار ، وأخذ بناخ الداليات الخطية لفريشيه ، وأوضح أن لديهم وضعا طبيعيا في فراغات المعيار ، وأثبت بناخ عددا من النتائج الأساسية في الفراغات الخطية المعيـرة ، وعديد من النظريات الهامة تسمى باسمه من بعده .
و هناك نظرية هان - بناخ بشأن تمديد الداليات الخطية المتصلة ونظرية بناخ - شتاينهاوس ونظرية بناخ للنقطة الثابتة.

التعريف

المعيار(النظيم) : المعيار على فراغ اتجاهى x هي دالة, : 
, التي تحقق هذه الخواص :
لكل  ,  تنتمى للفراغ الاتجاهى  ولكل  تنتمى للحقل ( or )
1-  إذا كان  (المعيار موجب )
2-  إذا كان وفقط إذا كان  (المعيار محدد)
3-  (المعيار متجانس إيجابيا)
4-  (المعيار يحقق متباينة المثلث)
 
-الفراغ المعيارى هو الزوج (,) عندما يكون  فراغ اتجاهى معرف عليه معيار
-الفراغ الشبه معيارى هو الزوج (,) عندما تكون  فراغ اتجاهى و شبة معيار على X
شبه معيارى هو الذي يحقق الشروط ( 1 )و( 3 )و( 4 )
-أي فراغ معيارى (,) يكون فراغ المسافة وهذا يتحقق من خواص المعيار مباشرة ودالة المسافة  وهي المسافة بين متجهين ,  تنتمى  ومعرف بهذه الصورة :
ولكن ليس كل فراغ المسافة فراغ معيارى ويوجد نظرية مساعدة تبين ان دالة المسافة  على الفراغ الاتجاهى  الناتج بواسطة المعيار ولابد ان تحقق هذين الشرطين وهما :
أ)  (إزاحة ثابته)
ب)  ( التجانس )
وهذا يعنى أنه إذا لم يتحقق واحد من الشرطين يترتب على هذا أنه لا يمكننا تعريف معيار على هذا الفراغ الاتجاهى 
و باستخدام دالة المسافة يمكننا تعريف اتصال دالة المعيار
-دالة المعيار  دالة متصلة وهذا ينتج من المتباينة التالية:
 
لكل  ,  تنتمى للفراغ الاتجاهى 
- ليكن الزوج (,) فراغ معيارى
التقارب - المتتابعة  في  تكون تقاربية ل  في  إذا كان لكل  يوجد    لكل   
بحيث لكل  <  
الكوشية - المتتابعة  في  تكون كوشية إذا كان لكل  يوجد   لكل 
 , بحيث لكل
 <  ,
-فراغ بناخ هو فراغ معيارى كامل وهذا يعنى ان كل متتابعة كوشية لها نهاية في هذا الفراغ.