مساحة مميزة

في التحليل الوظيفي والمجالات ذات الصلة في الرياضيات ، تعتبر الفضاءات المميزة فضاءات متجهة طوبولوجية (TVSs) لها الخاصية المتمثلة في أن المجموعات الفرعية المحدودة الضعيفة* من ثنائياتها (أي الفضاء الثنائي القوي لفضائها الثنائي القوي) موجودة في الإغلاق الضعيف* لبعض المجموعات الفرعية المحدودة من الثنائي.

تعريف

لنفترض أنX{\displaystyle X}هي فضاء محدب محليًا ولتكنX{\displaystyle X^{\prime }}وXب{\displaystyle X_{b}^{\prime }}يشير إلى الثنائي القوي لـX{\displaystyle X}(أي الفضاء الثنائي المتصل لـX{\displaystyle X}(مزودة بالطوبولوجيا الثنائية القوية ). ليكنX{\displaystyle X^{\prime \prime }}يرمز إلى الفضاء الثنائي المتصل لـXب{\displaystyle X_{b}^{\prime }}ودعXب{\displaystyle X_{b}^{\prime \prime }}يشير إلى الثنائي القوي لـXب.{\displaystyle X_{b}^{\prime }.} يتركXσ{\displaystyle X_{\sigma }^{\prime \prime }}دلX{\displaystyle X^{\prime \prime }}مزود بطوبولوجيا ضعيفة* ناتجة عنX،{\displaystyle X^{\prime },}حيث يُشار إلى هذه الطوبولوجيا بـσ(X،X){\displaystyle \sigma \left(X^{\prime \prime },X^{\prime }\right)}(أي، طوبولوجيا التقارب النقطي علىX{\displaystyle X^{\prime }}نقول إن مجموعة جزئيةدبليو{\displaystyle W}لX{\displaystyle X^{\prime \prime }}يكونσ(X،X){\displaystyle \sigma \left(X^{\prime \prime },X^{\prime }\right)}-محدود إذا كانت مجموعة جزئية محدودة منXσ{\displaystyle X_{\sigma }^{\prime \prime }}ونسمي إغلاقدبليو{\displaystyle W}في TVSXσ{\displaystyle X_{\sigma }^{\prime \prime }}الσ(X،X){\displaystyle \sigma \left(X^{\prime \prime },X^{\prime }\right)}إغلاقدبليو{\displaystyle W}. لوب{\displaystyle B}هي مجموعة فرعية منX{\displaystyle X}ثم القطبية لـب{\displaystyle B}يكونب:={xX:رشفةببب،x1}.{\displaystyle B^{\circ }:=\left\{x^{\prime }\in X^{\prime }:\sup _{b\in B}\left\langle b,x^{\prime }\right\rangle \leq 1\right\}.}

فضاء هاوسدورف المحدب محليًاX{\displaystyle X}يُطلق عليه اسم الفضاء المتميز إذا استوفى أيًا من الشروط المتكافئة التالية:

  1. لودبليوX{\displaystyle W\subseteq X^{\prime \prime }}هوσ(X،X){\displaystyle \sigma \left(X^{\prime \prime },X^{\prime }\right)}مجموعة فرعية محدودة منX{\displaystyle X^{\prime \prime }}إذن توجد مجموعة جزئية محدودةب{\displaystyle B}لXب{\displaystyle X_{b}^{\prime \prime }}لمنσ(X،X){\displaystyle \sigma \left(X^{\prime \prime },X^{\prime }\right)}- الإغلاق يحتويدبليو{\displaystyle W}[ 1 ]
  2. لودبليوX{\displaystyle W\subseteq X^{\prime \prime }}هوσ(X،X){\displaystyle \sigma \left(X^{\prime \prime },X^{\prime }\right)}مجموعة فرعية محدودة منX{\displaystyle X^{\prime \prime }}إذن توجد مجموعة جزئية محدودةب{\displaystyle B}لX{\displaystyle X}بحيثدبليو{\displaystyle W}موجود فيب:={xX:رشفةxبx،x1}،{\displaystyle B^{\circ \circ }:=\left\{x^{\prime \prime }\in X^{\prime \prime }:\sup _{x^{\prime }\in B^{\circ }}\left\langle x^{\prime },x^{\prime \prime }\right\rangle \leq 1\right\},}وهو القطب (بالنسبة للازدواجية )X،X{\displaystyle \left\langle X^{\prime },X^{\prime \prime }\right\rangle }) لب.{\displaystyle B^{\circ }.}[ 1 ]
  3. الثنائية القوية لـX{\displaystyle X}هو مساحة أسطوانية . [ 1 ]

بالإضافة إلى ذلكX{\displaystyle X}إذا كان فضاء متجه طوبولوجي محدب محليًا وقابلًا للقياس، فيمكن توسيع هذه القائمة لتشمل ما يلي:

  1. ( غروتينديك ) الثنائية القوية لـX{\displaystyle X}هو فضاء بورنولوجي . [ 1 ]

شروط كافية

جميع الفضاءات المعيارية والفضاءات شبه الانعكاسية هي فضاءات مميزة. [ 2 ] فضاءات LF هي فضاءات مميزة.

المساحة المزدوجة القويةXب{\displaystyle X_{b}^{\prime }}مساحة فريشيهX{\displaystyle X}يتم تمييزها إذا وفقط إذاX{\displaystyle X}شبه برميلي . [ 3 ]

ملكيات

كل فضاء مميز محدب محليًا هو فضاء H. [ 2 ]

أمثلة

توجد فضاءات باناخ مميزة ليست شبه انعكاسية . [ 1 ] إن الفضاء الثنائي القوي لفضاء باناخ مميز ليس بالضرورة قابلاً للفصل ؛ل1{\displaystyle l^{1}}هذا فضاء من هذا القبيل. [ 4 ] الفضاء الثنائي القوي لفضاء فريشيه المميز ليس بالضرورة قابلاً للقياس . [ 1 ] يوجد فضاء ماكي مميز شبه انعكاسي، غير انعكاسي ، وغير شبه أسطوانيX{\displaystyle X}الفضاء الثنائي القوي له هو فضاء باناخ غير انعكاسي. [ 1 ] توجد فضاءات H ليست فضاءات مميزة. [ 1 ]

مساحات فريشيه مونتيل هي مساحات مميزة.

انظر أيضاً

مراجع

فهرس