مجموعة آكلة للحوم

في التحليل الوظيفي ، مجموعة جزئية من فضاء متجهي حقيقي أو مركبX{\displaystyle X}ذلك له علم ولادة ناقل مرتبطب{\displaystyle {\mathcal {B}}}يُطلق عليه اسم "بورنيفور" أو "بورنيفور" إذا امتص كل عنصر من عناصرب.{\displaystyle {\mathcal {B}}.} لوX{\displaystyle X}إذا كان فضاء متجهًا طوبولوجيًا (TVS)، فإن مجموعة جزئيةS{\displaystyle S}لX{\displaystyle X}يُعتبر الكائن آكلاً للحوم إذا كان كذلك فيما يتعلق بعلم بورنولوجيا فون نيومان.X{\displaystyle X}.

تلعب المجموعات البورنيفورية دورًا مهمًا في تعريفات العديد من فئات الفضاءات المتجهة الطوبولوجية، وخاصة الفضاءات البورنيولوجية .

التعريفات

لوX{\displaystyle X}إذا كان TVS فهو مجموعة فرعيةS{\displaystyle S}لX{\displaystyle X}يُطلق عليه اسمبورنفوروس [ 1 ] و أإذا كان حيوانًا من فصيلة بورنيفورS{\displaystyle S}يستوعب كل مجموعة فرعية محدودة منX.{\displaystyle X.}

يكون القرص الممتص في فضاء محدب محليًا قرصًا ممتصًا إذا وفقط إذا كانت دالة مينكوفسكي الخاصة به محدودة محليًا (أي أنها تحول المجموعات المحدودة إلى مجموعات محدودة). [ 1 ]

مجموعات تتغذى على ما تحت الحدود وخرائط محدودة بما تحت الحدود

يُطلق على التحويل الخطي بين نظامين افتراضيين اسم[ 2 ] مقيد بالبنية التحتية إذا كان يربطأقراص باناشبأقراص محدودة.

قرص فيX{\displaystyle X}يُطلق عليه اسم[ 3 ] يتغذى على المواد تحت الأرضية إذاامتصكلقرص باناش.

يكون القرص الممتص في فضاء محدب محليًا "مُستَقبِلًا للداخل" إذا وفقط إذا كانت دالة مينكوفسكي الخاصة به محدودة من الداخل. [ 1 ] يكون القرص في فضاء هاوسدورف المحدب محليًا " مُستَقبِلًا للداخل" إذا وفقط إذا كان يمتص جميع الأقراص المدمجة (أي إذا كان "" ). [ 1 ]

ملكيات

كل مجموعة فرعية من مجموعة البورنيفوروس ومجموعة البورنيفوروس الفرعية في نظام TVS هي مجموعة ماصة . في نظام TVS شبه قابل للقياس ، كل بورنيفوروس هو جوار للأصل. [ 4 ]

تتشابه المجموعات الجزئية المحدودة لبنيتين من طوبولوجيات TVS على نفس الفضاء المتجهي إذا وفقط إذا كان لهما نفس الكائنات الأولية. [ 5 ]

يفترضم{\displaystyle M}هو فضاء متجهي جزئي ذو بُعد مشترك محدود في فضاء محدب محليًاX{\displaystyle X}وبم.{\displaystyle B\subseteq M.}لوب{\displaystyle B}هو برميل (أو برميل آكل للحوم، قرص آكل للحوم) فيم{\displaystyle M}ثم يوجد برميل (أو برميل آكل للحوم، قرص آكل للحوم)ج{\displaystyle C}فيX{\displaystyle X}بحيثب=جم.{\displaystyle B=C\cap M.}[ 6 ]

أمثلة وشروط كافية

كل جوار للأصل في نظام TVS هو جوار بورنيفوري. الغلاف المحدب، والغلاف المحدب المغلق، والغلاف المتوازن لمجموعة بورنيفورية هي أيضًا بورنيفورية. الصورة العكسية لمجموعة بورنيفورية تحت تطبيق خطي محدود هي بورنيفورية. [ 7 ]

لوX{\displaystyle X}إذا كان لدينا فضاء متجهي ذو أبعاد محدودة يحتوي على كل مجموعة جزئية محدودة، فإن كل مجموعة ماصة هي مجموعة بورنيوفور. [ 5 ]

أمثلة مضادة

يتركX{\displaystyle X}يكونR2{\displaystyle \mathbb {R} ^{2}}كفضاء متجهي على الأعداد الحقيقية. إذاS{\displaystyle S}هو الهيكل المتوازن للقطعة المستقيمة المغلقة بين(-1،1){\displaystyle (-1,1)}و(1،1){\displaystyle (1,1)}ثمS{\displaystyle S}ليس من آكلات اللحوم، ولكن الغلاف المحدب لـS{\displaystyle S}هو من آكلات اللحوم. إذاتي{\displaystyle T}هو المثلث المغلق و"المملوء" ذو الرؤوس(-1،-1)،(-1،1)،{\displaystyle (-1,-1),(-1,1),}و(1،1){\displaystyle (1,1)}ثمتي{\displaystyle T}هي مجموعة محدبة ليست من النوع الذي يتغذى على الثمار، ولكن هيكلها المتوازن من النوع الذي يتغذى على الثمار.

انظر أيضاً

مراجع

فهرس