الفضاء فوق البورنولوجي

في التحليل الوظيفي ، فضاء متجهي طوبولوجي (TVS)X{\displaystyle X}يُطلق عليه اسم "فوق بورنولوجيا" إذا كان كل مؤثر خطي محدود منX{\displaystyle X}الانتقال إلى فضاء TVS آخر يكون بالضرورة مستمرًا . ينطبق شكل عام من نظرية الرسم البياني المغلق على الفضاءات فوق البورنولوجية. وقد قدم ألكسندر غروتينديك مفهوم الفضاءات فوق البورنولوجية (غروتينديك [1955، ص 17] "espace du type (β)"). [ 1 ]

التعريفات

يتركX{\displaystyle X}ليكن فضاء متجهي طوبولوجي (TVS).

التصفيات

القرص عبارة عن مجموعة محدبة ومتوازنة . قرص في جهاز TVSX{\displaystyle X}يُطلق عليه اسم "بورنيفوروس" [ 2 ] إذا كان يمتص كل مجموعة جزئية محدودة منX.{\displaystyle X.}

يُطلق على الخريطة الخطية بين اثنين من TVSs اسم infrabounded [ 2 ] إذا كانت تقوم بربط أقراص Banach بأقراص محدودة.

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

  1. د{\displaystyle D}يستوعب كل أقراص باناش فيX.{\displaystyle X.}

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

  1. مقياسد{\displaystyle D}هي خريطة ذات حدود داخلية؛ [ 2 ]

بينما إذاX{\displaystyle X}إذا كانت محدبة محليًا وذات خاصية هاوسدورف، فيمكننا إضافة ما يلي إلى هذه القائمة:

  1. د{\displaystyle D}يستوعب جميع الأقراص المدمجة؛ [ 2 ] أي،د{\displaystyle D}هو "مُتَشَبِّع بالتوافق".

الفضاء فوق البورنولوجي

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

  1. كل قرص من أقراص التغذية على الأنسجة الداخلية فيX{\displaystyle X}[ 2 ] هو حي الأصل؛

بينما إذاX{\displaystyle X}إذا كان الفضاء محدبًا محليًا، فيمكننا إضافة ما يلي إلى هذه القائمة:

  1. كل مؤثر خطي محدود منX{\displaystyle X}إن تحويل TVS إلى TVS قابل للقياس بالكامل هو بالضرورة مستمر؛
  2. كل قرص يتغذى على المواد تحت الجلد هو جوار للصفر؛
  3. X{\displaystyle X}ليكن الحد الاستقرائي للفراغاتXد{\displaystyle X_{D}}حيث يختلف D عبر جميع الأقراص المدمجة فيX{\displaystyle X}؛
  4. شبه معيار فيX{\displaystyle X}إن الدالة المحدودة على كل قرص باناخ تكون بالضرورة متصلة؛
  5. لكل فضاء محدب محليًاY{\displaystyle Y}وكل خريطة خطيةu:XY،{\displaystyle u:X\to Y,}لوu{\displaystyle u}إذا كانت محدودة على كل قرص باناشu{\displaystyle u}متصل؛
  6. لكل مساحة باناشY{\displaystyle Y}وكل خريطة خطيةu:XY،{\displaystyle u:X\to Y,}لوu{\displaystyle u}إذا كانت محدودة على كل قرص باناشu{\displaystyle u}متصل.

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

  1. X{\displaystyle X}[ 2 ] هو حد استقرائي لفضاءات باناخ؛

ملكيات

كل فضاء محدب محليًا فائق البورنولوجي هو فضاء برميلي ، [ 2 ] فضاء شبه برميلي فائق ، وفضاء بورنولوجي ، ولكن توجد فضاءات بورنولوجية ليست فائقة البورنولوجي.

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

إنّ حاصل الضرب المحدود للفضاءات فوق البورنولوجيّة المحدبة محليًا هو فضاء فوق بورنولوجي. [ 2 ] النهايات الاستقرائية للفضاءات فوق البورنولوجيّة هي فضاءات فوق بورنولوجيّة.

كل فضاء بورنولوجي كامل متسلسل لهاوسدورف هو فضاء بورنولوجي فائق. [ 2 ] وبالتالي، فإن كل فضاء بورنولوجي كامل لهاوسدورف هو فضاء بورنولوجي فائق. وعلى وجه الخصوص، فإن كل فضاء فريشيه هو فضاء بورنولوجي فائق. [ 2 ]

الفضاء الثنائي القوي لفضاء شوارتز الكامل هو فضاء فوق بورنولي.

كل فضاء بورنولوجي هاوسدورف شبه كامل هو فضاء بورنولوجي فائق.

أمثلة مضادة

توجد فضاءات فائقة التعقيد ليست فائقة التعقيد. وتوجد فضاءات فائقة التعقيد ليست فائقة التعقيد.

انظر أيضاً

مراجع