مساحة ذات برميل داخلي

في التحليل الوظيفي ، وهو فرع من فروع الرياضيات، يُقال إن فضاء متجهي طوبولوجي محدب محليًا (TVS) يكون تحت برميلي (أو تحت برميلي ) إذا كان كل برميل محدود يمثل جوارًا للأصل. [ 1 ]

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

تعريف

مجموعة فرعيةب{\displaystyle B}من فضاء متجهي طوبولوجي (TVS)X{\displaystyle X}يُطلق عليه اسم "مُستَقبِل للحوم" إذا كان يستوعب جميع المجموعات الفرعية المحدودة منX{\displaystyle X}أي، إذا كان لكل مجموعة جزئية محدودةS{\displaystyle S}لX،{\displaystyle X,}يوجد بعض الكميات القياسيةر{\displaystyle r}بحيثSرب.{\displaystyle S\subseteq rB.} المجموعة البرميلية أو البرميل في فضاء TVS هي مجموعة محدبة ومتوازنة وممتصة ومغلقة . الفضاء شبه البرميلي هو فضاء TVS تكون فيه كل مجموعة برميلية متغذية على البور في هذا الفضاء جوارًا للأصل . [ 2 ] [ 3 ]

الخصائص

لوX{\displaystyle X}إذا كان فضاء هاوسدورف محدبًا محليًا، فإن الحقن الكنسي منX{\displaystyle X}يكون تضمينها الثنائي طوبولوجيًا إذا وفقط إذاX{\displaystyle X}[ 4 ]

فضاء متجهي طوبولوجي هاوسدورفX{\displaystyle X}يكون شبه برميلي إذا وفقط إذا كان كل مؤثر خطي مغلق ومحدود منX{\displaystyle X}تحويل TVS إلى متري كامل يكون مستمرًا. [ 5 ] بحسب التعريف، الخطيF:XY{\displaystyle F:X\to Y}يُطلق على المؤثر اسم "مغلق" إذا كان الرسم البياني الخاص به مجموعة فرعية مغلقة منX×Y.{\displaystyle X\times Y.}

للفضاء المحدب محليًاX{\displaystyle X}مع ثنائي مستمرX{\displaystyle X^{\prime }}ما يلي متكافئ:

  1. X{\displaystyle X}شبه برميلي.
  2. كل معيار شبه متصل سفلي محدود علىX{\displaystyle X}متصل.
  3. كلβ(X،X){\displaystyle \beta (X',X)}مجموعة جزئية محدودة من الفضاء الثنائي المتصلX{\displaystyle X^{\prime }}هي متصلة بشكل متساوٍ.

لوX{\displaystyle X}إذا كانت TVS قابلة للقياس ومحدبة محليًا، فإن ما يلي متكافئ:

  1. الثنائية القوية لـX{\displaystyle X}شبه برميلي.
  2. الثنائية القوية لـX{\displaystyle X}مُعبأ في برميل.
  3. الثنائية القوية لـX{\displaystyle X}هو بورنولوجي .

ملكيات

كل مساحة شبه كاملة ذات بنية تحت برميلية تكون برميلية. [ 1 ]

الفضاء شبه البرميلي هاوسدورف المحدب محليًا والمكتمل تسلسليًا هو فضاء برميلي. [ 6 ]

الفضاء شبه البرميلي هاوسدورف المحدب محليًا هو فضاء ماكي ، وشبه برميلي من النوع M ، وشبه برميلي قابل للعد. [ 7 ]

الفضاء شبه البرميلي المحدب محليًا والذي هو أيضًا فضاء برميلي من نوع σ هو بالضرورة فضاء برميلي . [ 3 ]

يكون الفضاء المحدب محلياً انعكاسياً إذا وفقط إذا كان شبه انعكاسي وشبه برميلي. [ 3 ]

أمثلة

كل فضاء ذي بنية برميلية يكون ذا بنية برميلية فرعية. [ 1 ] ومع ذلك، فإن الفضاء المتجهي المغلق الفرعي لفضاء ذي بنية برميلية فرعية ليس بالضرورة ذا بنية برميلية فرعية. [ 8 ]

كل ناتج ضرب ومجموع مباشر محدب محليًا لأي عائلة من الفضاءات ذات البنية الفرعية هو فضاء ذو ​​بنية فرعية. [ 8 ] كل خارج قسمة منفصل لفضاء ذي بنية فرعية هو فضاء ذو ​​بنية فرعية. [ 8 ]

كل فضاء هاوسدورف أسطواني الشكل وكل فضاء هاوسدورف بورنولوجي الشكل هو فضاء شبه أسطواني الشكل. [ 9 ] وبالتالي، فإن كل فضاء TVS قابل للقياس هو فضاء شبه أسطواني الشكل.

لاحظ أنه توجد فضاءات شبه برميلية ليست برميلية ولا بورنولجية. [ 3 ] توجد فضاءات ماكي ليست شبه برميلية. [ 3 ] توجد فضاءات مميزة ، وفضاءات DF ، وσ{\displaystyle \sigma }- مساحات برميلية الشكل ليست شبه برميلية الشكل. [ 3 ]

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

أمثلة مضادة

يوجد فضاء DF غير شبه برميلي. [ 3 ]

يوجد فضاء DF شبه برميلي غير بورنولوجي . [ 3 ]

يوجد فضاء شبه برميلي ليس فضاءً برميليًا من نوع سيجما . [ 3 ]

انظر أيضاً

مراجع

فهرس