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

نجد في الرياضيات فكرة وهي إن طول القطعة المستقيمة في المستوى \mathbf{R}^\mathbf{2} ونقطتي النهاية لهذه القطعة مستقيمة هما (0,0) وأي زوج مرتب \ x =(\beta , \alpha)
ففكرة إيجاد طول المتجه \ x  فكرة بديهية ويمكن تعميمها لأى فراغ اتجاهى حقيقى \mathbf{R}^\mathbf{n} وهذه هي الخصائص لطول المتجه \ x  ويرمز له بالرمز \|x\| :

thumb|هذا وصف لطول المتجه x في المستوى

 
1- أي متجه طوله موجب
     
2- المتجه الصفرى طوله صفر وأيضا إذا كان طول المتجه صفر فيكون هو المتجه الصفرى
   
3- ضرب متجه في قيمة قياسية يغير طوله بنفس مقدار القيمة المطلقة دون تغير اتجاه المتجه

حيث أن هذه القيمة القياسية إذا كانت تقع في الفترة \ {(-1 , 1)}  فإن طول المتجه \ x  ينكمش وإذا كانت تاخذ أي قيمة تقع في الفترة \mathbf{R}-(-1 , 1)  فإن طول المتجه \ x  يتمدد
            
4- متباينة المثلث متحققه حيث أن طول أي ضلع في المثلث لا يزيد عن مجموع طولى الضلعين الآخرين

thumb|هذا توضيح لمتباينة المثلث في المستوى

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

## نبذة تاريخية

أول من تكلم على مفهوم المعيار هو عالم الرياضيات النمساوى هيلى ( E.Helly( 1884 - 1943 ولكنه لم يستخدم اسم المعيار ولا رمز المعيار \|.\| ، كان يعرفها كأى دالة ، وتحقق شروط المعيار ، وقد كتب مقالة في عام 1912 تكلم فيها عن حالة خاصة من نظرية هان - بناخ حيث أنه قام بتفسير نتائج لم يفسرها ريس (F. Riesz ( 1880 – 1956 من قبل وأيضا قام هيلى بعمل اثبات مختلف عن ريس لمد الداليات الخطية ولم يقم بنشر أي مقالات لمدة 9 سنوات بسبب الحرب العالمية الأولى وكان حينئذ سجين الحرب في روسيا ، وقام بعمل مقالة في عام 1921 ، وهذه المقالة تعتبر علامة بارزة في تاريخ التحليل الدالى حيث أنه بدل النظر إلى فراغ معين مثل C[a,b] و*L<sup>p</sup>* و\ell^p فهو أول من تعامل بصفة عامة مع «الفراغات المعيارية للمتتابعات» باستخدام الأساليب التي لا تعتمد على صفات خاصة للفراغ أي أن بواسطة هيلى في عام 1921 قام بتعميم نظرية نظام من المعادلات الخطية من الفراغ \ell^p إلى أي فراغ جزئي معيارى من \mathbf{c}^\mathbf{N} وهو فراغ كل المتتابعات من الأعداد المركبة وقد قام هيلى بتعريف مفهوم التحدب على الفراغات المعيرة وكان منيكوفسكى ( 1909-1864)Minkowski في عام 1911 ذكر مفهوم التحدب في هندسة الأعداد.

في عام 1920 عرف ما يسمى فراغ بناخ وطرحت فكرة فراغ بناخ من قبل بعض العلماء ، وعلى سبيل المثال وينر (1964 -1894)Norbert Wiener قدم المفاهيم ، ولكنه لم يؤسس النظريات والذي صاغ اسم فراغ بناخ هو فريشيه وأهمية اسهام بناخ انه طور منهجية نظرية التحليل الدالى حيث أنه كان يوجد نتائج معزولة تطورت فيما بعد لتتلاءم مع النظرية الجديدة .واتخذت خطوة أخرى في التجريد من قبل بناخ في عام 1932 عندما انتقل من فراغ الضرب القياسى إلى فراغ المعيار ، وأخذ بناخ الداليات الخطية لفريشيه ، وأوضح أن لديهم وضعا طبيعيا في فراغات المعيار ، وأثبت بناخ عددا من النتائج الأساسية في الفراغات الخطية المعيـرة ، وعديد من النظريات الهامة تسمى باسمه من بعده .
و هناك نظرية هان - بناخ بشأن تمديد الداليات الخطية المتصلة ونظرية بناخ - شتاينهاوس ونظرية بناخ للنقطة الثابتة.

## التعريف
المعيار(المنظم) : المعيار على فضاء متجهي x هي دالة,\mathbf{R}\rightarrow  \ X : \|.\|
, التي تحقق هذه الخواص :

لكل \ x  , \ y  تنتمى للفضاء المتجهي  \ X  ولكل \alpha تنتمى للحقل\mathbf{k} (\mathbf{R} or \mathbf{C})

1- \|x\|> 0 إذا كان x\ne0 (المعيار موجب )

2- \|x\|= 0 إذا كان وفقط إذا كان \ {x=0}  (المعيار محدد)

3- \|\alpha x\|=|\alpha| \|x\| (المعيار متجانس إيجابيا)

4- \|x+y\| \le \|x\|+\|y\| (المعيار يحقق المتباينة المثلثية)

 
-الفضاء  المعياري (أو المزود بمعيار) هو الزوج (\|.\|,\ X ) عندما يكون \ X  فضاء متجهي معرف عليه معيار

-الفضاء شبه المعياري هو الزوج (\ p ,\ X ) عندما تكون \ X  فضاء متجهي و\ p  شبه معيار على X

شبه معياري هو الذي يحقق الشروط ( 1 )و( 3 )و( 4 )

-أي فضاء معياري (\|.\|,\ X ) يكون فراغ المسافة وهذا يتحقق من خواص المعيار مباشرة ودالة المسافة \ d  وهي المسافة بين متجهين\ x  , \ y  تنتمى \ X  ومعرف بهذه الصورة :

d(x,y) = \| x-y\|

ولكن ليس كل فضاء، المسافة فضاء معياري ويوجد نظرية مساعدة تبين ان دالة المسافة \ d  على الفضاء المتجهي \ X  الناتج بواسطة المعيار ولابد ان تحقق هذين الشرطين وهما :

أ) d(x,y) = d(x+a,y+a) (إزاحة ثابته)

ب) d(\alpha x, \alpha y) = |\alpha| d(x,y) ( التجانس )

وهذا يعنى أنه إذا لم يتحقق واحد من الشرطين يترتب على هذا أنه لا يمكننا تعريف معيار على هذا الفضاء المتجهي \ X 

و باستخدام دالة المسافة يمكننا تعريف اتصال دالة المعيار

-دالة المعيار \|.\| دالة متصلة وهذا ينتج من المتباينة التالية:

\|x-y\| \ge | \|x\|-\|y\| | 
لكل \ x  , \ y  تنتمى للفضاء المتجهي \ X 

- ليكن الزوج (\|.\|,\ X ) فضاء معياري

التقارب - المتتابعة 	\ {(x_n)}_n  في \ X  تكون تقاربية ل \ x  في \ X  إذا كان لكل \epsilon >0  يوجد \mathbf{N} \in n_0 لكل \mathbf{N} \inn 
بحيث لكل n_0 n 
\Leftarrow
\|x_n - x\|
\epsilon > 

المتتالية \ {(x_n)}_n  في \ X  تكون  متتالية كوشي إذا كان لكل \epsilon >0  يوجد\mathbf{N} \in n_0 لكل 
\mathbf{N} \inn,m بحيث لكل
n_0 n ,m
\Leftarrow
\|x_n - x_m\|
\epsilon > 

-فضاء بناخ هو كل فضاء معياري كامل وهذا يعنى ان كل متتابعة كوشية لها نهاية تنتمي إلى هذا الفضاء.

## أمثلة

* الفراغ الإقليدي \mathbf{R}^\mathbf{n} هو فراغ كامل ومعرف عليه معيار كالتالي :
\|\boldsymbol{x}\| = \sqrt{x_1^2 + \cdots + x_n^2} عندما
\boldsymbol{x} = (*x*1, *x*2, ..., *x**n*)

وبالتالي هذا الفراغ فراغ بناخى

* الفراغ المركب \mathbf{C}^\mathbf{n} هو فراغ كامل ومعرف عليه معيار كالتالي :
\|\boldsymbol{z}\| = \sqrt{|z_1|^2 + \cdots + |z_n|^2}= \sqrt{z_1 \bar z_1 + \cdots + z_n \bar z_n}

وبالتالي هذا الفراغ فراغ بناخى

* معيار تشيبيشيف ويسمى أيضًا بمعيار {L}^\inftyوهو معيار L''p عندما \scriptstyle p \,\to\, \infty وهو فراغ كامل ومعرف علية معيار كالتالى :
\lim_{p\rightarrow\infty}\|x\|_p=\lim_{p\rightarrow\infty} \left(|x_1|^p+|x_2|^p+\dotsb+|x_n|^p\right)^{\frac{1}{p}}=\|x\|_\infty=\max \left\

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

* المسافة المنفصلة ٍ\rho  معرف على \ X  كالتالى:

\rho(x,y) = 
\left\{\begin{matrix} 
1 &\mbox{if}\ x\neq y  \\
0 &\mbox{if}\ x = y
\end{matrix}\right.

لكل \ y  ,\ x  \ni \ X 

وهذه المسافة المنفصلة لا يمكننا تعريف معيار عليه هذا يتضح باستخدام النظرية المساعدة حيث أن الشرط (ب) لم يتحقق وبالتالي، إذًا الفراغ لم يكن فراغ بناخى

## التطبيقات

* يستخدم الفراغ المعيارى وفراغ بناخ في الاقتصاد وفي التطبيقات المالية http://books.google.com.eg/books?id=KR0Rbi8o4QQC&pg=PA121&lpg=PA121&dq=application+of+normed+space+in++Economics&source=bl&ots=GjzzGJ8wNz&sig=wcADHH_ATSL4ElrPZqyA_rtdMkE&hl=ar&sa=X&ei=7DebT_fBKYbB0QXGl_XvDg&ved=0CCkQ6AEwAA#v=onepage&q=application%20of%20normed%20space%20in%20%20Economics&f=falsehttp://books.google.com.eg/books?id=KUYPome1SxwC&pg=PA460&lpg=PA460&dq=application+of+normed+space+in++Economics&source=bl&ots=NCdR1Z3HYI&sig=VVBE73LyhqCpUwLVXO84DUHSoVc&hl=ar&sa=X&ei=7DebT_fBKYbB0QXGl_XvDg&ved=0CCwQ6AEwAQ#v=onepage&q=application%20of%20normed%20space%20in%20%20Economics&f=false
* ويطبق أيضا في علم الوراثة http://www.mitpressjournals.org/doi/abs/10.1162/10636560151075103?journalCode=evco
* ويطبق في الفيزياء http://books.google.com.eg/books?id=BCMLOp6DyFIC&pg=PA31&lpg=PA31&dq=application+of+normed+space+in+physics&source=bl&ots=fYS7jNuVmm&sig=La40zS9u2f1CqkHXb1so-g3yaNc&hl=ar&sa=X&ei=vjmbT8yVI8TL0QXsv_SGDw&ved=0CEwQ6AEwAw#v=onepage&q=application%20of%20normed%20space%20in%20physics&f=false http://books.google.com.eg/books?id=hUWEXphqLo8C&pg=PA58&lpg=PA58&dq=application+of+normed+space+in+physics&source=bl&ots=6sg-WnlNqL&sig=bRYK9nRkwxPvwFd33PMv-Z8UYVE&hl=ar&sa=X&ei=vjmbT8yVI8TL0QXsv_SGDw&ved=0CEcQ6AEwAg#v=onepage&q=application%20of%20normed%20space%20in%20physics&f=false
* ويطبق في الهندسة الكيميائية http://books.google.com.eg/books?id=edkwQvvHbwEC&pg=PA348&dq=application+of+normed+space+in+chemistry&hl=ar&sa=X&ei=6TybT7CMNcGv0QXNkbnkDg&ved=0CDUQ6AEwAA#v=onepage&q=application%20of%20normed%20space%20in%20chemistry&f=false ويطبق أيضا في كيمياء الكم http://books.google.com.eg/books?id=jREPAulfoDsC&pg=PA121&dq=application+of+normed+space+in+chemistry&hl=ar&sa=X&ei=6TybT7CMNcGv0QXNkbnkDg&ved=0CEAQ6AEwAg#v=onepage&q=application%20of%20normed%20space%20in%20chemistry&f=false صفحة 139
* ويطبق في الإحصاء http://www.kurims.kyoto-u.ac.jp/EMIS/journals/IJOPCM/Vol/09/IJOPCM(vol.2.2.10.J.9).pdf
* ويستخدم في نظرية التحكم الأمثل http://books.google.com.eg/books?id=LfwU3PuBoj0C&pg=PA92&dq=Functional%2Banalysis%2Band%2Bcontrol%2Btheory(minimize+norm&hl=ar&sa=X&ei=eOmmT6mYOoGHhQf7lajeAg&ved=0CDgQ6AEwAQ#v=onepage&q=Functional%2Banalysis%2Band%2Bcontrol%2Btheory(minimize%20norm&f=falsehttp://books.google.com.eg/books?id=GMCcfS02BbMC&pg=PA266&lpg=PA266&dq=application+of+normed+space+in++Economics&source=bl&ots=kMPFGUDo1Y&sig=frzNSPFoGwNlERjmr_HYg6rvHkQ&hl=ar&sa=X&ei=7DebT_fBKYbB0QXGl_XvDg&ved=0CEMQ6AEwBA#v=onepage&q=application%20of%20normed%20space%20in%20%20Economics&f=false
*

## انظر أيضا

* فراغات حاصل الضرب القياسى وفراغات هيلبرت
* التحليل الدالى
* نظريات هامة في التحليل الدالى
* ستيفان بناخ

## المراجع

* J. Dieudonné, History of Functional Analysis, North-Holland, 1981 http://books.google.com.eg/books?id=mg7r4acKgq0C&pg=PR3&lpg=PR3&dq=history+of+functional+analysis&source=bl&ots=74uUiVHYHu&sig=n2gk9FRzd1ErpGZO9vzta7zECn0&hl=ar&sa=X&ei=0SiXT9qmIMiLhQfN7rXUDQ&ved=0CGsQ6AEwBw#v=onepage&q=history%20of%20functional%20analysis&f=false
* E. Kreyszig, Introductory Functional Analysis with Applications, Wiley , 1978 http://www.amazon.com/Introductory-Functional-Analysis-Applications-Kreyszig/dp/0471504599
* Y. Eidelman, V. Milman and A. Tsolomitis, Functional Analysis: An Introduction, AMS , 2004 http://books.google.com.eg/books?id=bzUgKyoaQocC&printsec=frontcover&dq=Functional+Analysis++Eidelman&hl=ar&sa=X&ei=Xi2XT8LYOMbN8QO88tT0CQ&redir_esc=y#v=onepage&q=Functional%20Analysis%20%20Eidelman&f=false%20
* K. Saxe, Beginning Functional Analysis, Springer , 2002 http://books.google.com.eg/books?id=QALoZC64ea0C&printsec=frontcover&dq=Beginning+Functional+Analysis&hl=ar&sa=X&ei=mi2XT6bYOtPD8QOF-dmYCg&ved=0CC8Q6AEwAA#v=onepage&q=Beginning%20Functional%20Analysis&f=false
* Mario J. Mirand , Paul L. Fackler , Applied Computational Economics And Finance , the MIT press , 2002
* Pier Carlo Nicola , Mainstream Mathematical Economics in the 20th Century, Springer , 2000
* Yvonne Choquet-Bruhat, Cécile DeWitt-Morette, Margaret Dillard Bleick, Analysis, manifolds, and physics, North Holland , 1977
* Sadri Hassani, Mathematical Physics: A Modern Introduction to Its Foundations, springer , 1999
* Peter Wolenski , Martin A. Hjortso, Linear Mathematical Models In Chemical Engineering ,world scientific , 2010
* 2011 , .Advances in Quantum Chemistry,Elsevier Inc, John R. Sabin ,Erkki J. Brändas
* 2010 , Alexander J. Zaslavski ,Optimization on Metric and Normed spaces, springer
* 1980 , .James R. Leigh , Functional Analysis and Linear Control Theory , ACADEMIC PRESS INC

تصنيف:رياضيات تطبيقية