مؤثر خطي موجب

في الرياضيات ، وتحديداً في التحليل الوظيفي ، هو مؤثر خطي موجب من فضاء متجهي مرتب مسبقاً(X،){\displaystyle (X,\leq )}إلى فضاء متجهي مرتب مسبقًا(Y،){\displaystyle (Y,\leq )}هو مؤثر خطيو{\displaystyle f}علىX{\displaystyle X}داخلY{\displaystyle Y}بحيث يكون ذلك لجميع العناصر الموجبةx{\displaystyle x}لX،{\displaystyle X,}إنهx0،{\displaystyle x\geq 0,}وهذا يعني أنو(x)0.{\displaystyle f(x)\geq 0.} بمعنى آخر، يقوم عامل خطي موجب بتحويل المخروط الموجب للمجال إلى المخروط الموجب للمجال المقابل .

كل دالة خطية موجبة هي نوع من أنواع المؤثرات الخطية الموجبة. وتكمن أهمية المؤثرات الخطية الموجبة في نتائج مثل نظرية تمثيل ريز-ماركوف-كاكوتاني .

تعريف

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

  1. x0{\displaystyle x\geq 0}يشير إلىو(x)0.{\displaystyle f(x)\geq 0.}
  2. لوxy{\displaystyle x\leq y}ثمو(x)و(y).{\displaystyle f(x)\leq f(y).}[ 1 ]

مجموعة جميع الأشكال الخطية الموجبة على فضاء متجهي ذي مخروط موجبج،{\displaystyle C,}يُطلق عليه اسم المخروط المزدوج ويُرمز إليه بـج*،{\displaystyle C^{*},}هو مخروط يساوي القطب لـ-ج.{\displaystyle -C.} الترتيب المسبق الناتج عن المخروط المزدوج على فضاء الدوال الخطية علىX{\displaystyle X}يُطلق عليه اسمطلب مسبق مزدوج . [ 1 ]

الفضاء الثنائي المرتب لفضاء متجهي مرتبX{\displaystyle X}هي المجموعة، ويرمز لها بـX+،{\displaystyle X^{+},}محدد بواسطةX+:=ج*-ج*.{\displaystyle X^{+}:=C^{*}-C^{*}.}

الترتيب المتعارف عليه

يترك(X،){\displaystyle (X,\leq )}و(Y،){\displaystyle (Y,\leq )}لتكن فضاءات متجهة مرتبة مسبقًا ولتكنل(X؛Y){\displaystyle {\mathcal {L}}(X;Y)}ليكن فضاء جميع التحويلات الخطية منX{\displaystyle X}داخلY.{\displaystyle Y.} المجموعةح{\displaystyle H}من بين جميع المؤثرات الخطية الموجبة فيل(X؛Y){\displaystyle {\mathcal {L}}(X;Y)}هو مخروط فيل(X؛Y){\displaystyle {\mathcal {L}}(X;Y)}هذا يحدد الطلب المسبق علىل(X؛Y){\displaystyle {\mathcal {L}}(X;Y)}. لوم{\displaystyle M}هو فضاء متجهي جزئي منل(X؛Y){\displaystyle {\mathcal {L}}(X;Y)}وإذاحم{\displaystyle H\cap M}إذا كان مخروطًا صحيحًا، فإن هذا المخروط الصحيح يُعرّفالترتيب الجزئي المتعارف عليهم{\displaystyle M}تحضيرم{\displaystyle M}إلى فضاء متجهي مرتب جزئياً. [ 2 ]

لو(X،){\displaystyle (X,\leq )}و(Y،){\displaystyle (Y,\leq )}هي فضاءات متجهة طوبولوجية مرتبة، وإذاجي{\displaystyle {\mathcal {G}}}هي عائلة من المجموعات الجزئية المحدودة منX{\displaystyle X}يشمل اتحادهX{\displaystyle X}ثم المخروط الموجبح{\displaystyle {\mathcal {H}}}فيل(X؛Y){\displaystyle L(X;Y)}، وهو فضاء جميع التحويلات الخطية المتصلة منX{\displaystyle X}داخلY،{\displaystyle Y,}مغلق فيل(X؛Y){\displaystyle L(X;Y)}متىل(X؛Y){\displaystyle L(X;Y)}يتمتع بـجي{\displaystyle {\mathcal {G}}}-الطوبولوجيا . [ 2 ] لـح{\displaystyle {\mathcal {H}}}ليكون مخروطًا مناسبًا فيل(X؛Y){\displaystyle L(X;Y)}يكفي أن يكون المخروط الموجب لـX{\displaystyle X}كن كاملا فيX{\displaystyle X}(أي مدى المخروط الموجب لـX{\displaystyle X}كن كثيفًا فيX{\displaystyle X}). لوY{\displaystyle Y}إذا كان الفضاء محدبًا محليًا وله بُعد أكبر من صفر، فإن هذا الشرط ضروري أيضًا. [ 2 ] وبالتالي، إذا كان المخروط الموجب لـX{\displaystyle X}إجمالي فيX{\displaystyle X}وإذاY{\displaystyle Y}إذا كان الفضاء محدبًا محليًا، فإن الترتيب الكنسي لـل(X؛Y){\displaystyle L(X;Y)}محدد بواسطةح{\displaystyle {\mathcal {H}}}هو طلب عادي. [ 2 ]

ملكيات

الفرضية : لنفترض أنX{\displaystyle X}وY{\displaystyle Y}هي فضاءات متجهة طوبولوجية محدبة محليًا مرتبة معX{\displaystyle X}كونها فضاء ماكي الذي تكون فيه كل دالة خطية موجبة متصلة. إذا كان المخروط الموجب لـY{\displaystyle Y}هو مخروط طبيعي ضعيف فيY{\displaystyle Y}ثم كل مؤثر خطي موجب منX{\displaystyle X}داخلY{\displaystyle Y}متصلة. [ 2 ]

الفرضية : لنفترضX{\displaystyle X}هو فضاء متجهي طوبولوجي مرتب ذو شكل برميلي (TVS) مع مخروط موجبج{\displaystyle C}ذلك يرضيX=ج-ج{\displaystyle X=CC}وY{\displaystyle Y}هو جهاز TVS شبه انعكاسي مرتب ذو مخروط موجبد{\displaystyle D}هذا مخروط طبيعي . أعطِل(X؛Y){\displaystyle L(X;Y)}ترتيبها القانوني ودعيو{\displaystyle {\mathcal {U}}}أن تكون مجموعة جزئية منل(X؛Y){\displaystyle L(X;Y)}أي موجه للأعلى، ويكون إما مهيمناً (أي محدوداً من الأعلى بعنصر ما منل(X؛Y){\displaystyle L(X;Y)}) أو ببساطة محدودة. ثمu=رشفةيو{\displaystyle u=\sup {\mathcal {U}}}موجود وفلتر القسمF(يو){\displaystyle {\mathcal {F}}({\mathcal {U}})}يتقارب إلىu{\displaystyle u}بشكل موحد على كل مجموعة فرعية مضغوطة مسبقًا منX.{\displaystyle X.}[ 2 ]

انظر أيضاً

مراجع

  • ناريسي، لورانس؛ بيكنشتاين، إدوارد (2011). فضاءات المتجهات الطوبولوجية . الرياضيات البحتة والتطبيقية (  الطبعة الثانية). بوكا راتون، فلوريدا: مطبعة سي آر سي. رقم ISBN 978-1584888666. OCLC 144216834 . 
  • شيفر، هيلموت هـ .؛ وولف، مانفريد ب. (1999). فضاءات المتجهات الطوبولوجية . سلسلة GTM . المجلد  8 (  الطبعة الثانية). نيويورك، نيويورك: سبرينغر نيويورك. رقم ISBN 978-1-4612-7155-0. OCLC 840278135 .