Ball separation characterization of ball dentability and related properties
Basu, Seal
In Euclidean spaces, every closed, bounded, convex set can be characterized by two equivalent notions of separation properties. This is not true in general for arbitrary Banach spaces. In this work, we present a ball separation characterization for spaces where the unit ball is dentable. We also explore related properties.
academic
गेंद पृथक्करण: गेंद दंतीयता और संबंधित गुणों का अभिलक्षण
यूक्लिडीय अंतरिक्ष में, प्रत्येक बंद परिबद्ध उत्तल समुच्चय को दो समतुल्य पृथक्करण गुणों के माध्यम से अभिलक्षित किया जा सकता है। हालांकि, सामान्य बनच अंतरिक्ष में यह समतुल्यता मान्य नहीं है। यह पेपर उन बनच अंतरिक्षों के लिए गेंद पृथक्करण अभिलक्षण प्रदान करता है जिनकी इकाई गेंद दंतीय है, और संबंधित गुणों की खोज करता है।
कार्यात्मक विश्लेषण में, शास्त्रीय पृथक्करण प्रमेय यह सुनिश्चित करते हैं कि बंद परिबद्ध उत्तल समुच्चय के बाहर के बिंदुओं को हाइपरप्लेन द्वारा अलग किया जा सकता है। गेंद पृथक्करण गुण इस बात पर विचार करता है: क्या हम बंद गेंदों (अर्ध-स्थान के बजाय) का उपयोग करके बिंदुओं को बंद परिबद्ध उत्तल समुच्चय से अलग कर सकते हैं।
आयाम अंतर: सीमित आयामी अंतरिक्ष में, हाइपरप्लेन पृथक्करण और गेंद पृथक्करण समतुल्य हैं; लेकिन अनंत आयामी बनच अंतरिक्ष में, यह समतुल्यता विफल हो जाती है, जो गहरे द्वैत संबंधों को प्रकट करती है
ज्यामितीय गुण: गेंद पृथक्करण गुण बनच अंतरिक्ष के महत्वपूर्ण ज्यामितीय गुणों (जैसे दंतीयता, मज़ूर प्रतिच्छेदन गुण) से निकटता से संबंधित हैं
सैद्धांतिक मूल्य: बनच अंतरिक्ष की स्थानीय ज्यामितीय संरचना को वैश्विक पृथक्करण गुणों से जोड़ता है
मज़ूर प्रतिच्छेदन गुण (MIP): मज़ूर ने पहले अध्ययन किया कि क्या बंद परिबद्ध उत्तल समुच्चय को बंद गेंदों के प्रतिच्छेदन के रूप में प्रदर्शित किया जा सकता है; Giles आदि ने साबित किया कि MIP द्वैत इकाई गेंद पर w*-denting बिंदुओं के द्वैत इकाई गेंद के सतह पर मानदंड-सघन होने के समतुल्य है
Chen-Lin का कार्य: एकल w*-denting बिंदु या w*-PC बिंदु के अस्तित्व और कमजोर गेंद पृथक्करण गुणों के बीच संबंध स्थापित किया; गुण (II) का परिचय दिया
अनुसंधान अंतराल:
दंतीय इकाई गेंद वाले बनच अंतरिक्षों के बड़े वर्ग के लिए, व्यवस्थित गेंद पृथक्करण अभिलक्षण की कमी है
इन गुणों के बिंदु-वार संस्करण (pointwise variants) गेंद पृथक्करण ढांचे में व्यवस्थित रूप से अध्ययन नहीं किए गए हैं
उपरोक्त अंतराल को भरना, दंतीय इकाई गेंद वाले बनच अंतरिक्षों के लिए संपूर्ण गेंद पृथक्करण अभिलक्षण प्रदान करना, और परिणामों को अधिक व्यापक ज्यामितीय गुणों के वर्ग तक विस्तारित करना।
छोटे व्यास गुणों का गेंद पृथक्करण अभिलक्षण (अनुभाग 3): बनच अंतरिक्ष के BDP, BHP, BSCSP (और उनके w*-संस्करण) के लिए आवश्यक और पर्याप्त शर्तें प्रदान करता है, विशिष्ट कार्यात्मक पंथों के अस्तित्व और गेंद कवरिंग गुणों के माध्यम से संबंध स्थापित करता है
बिंदु-वार गुणों का परिचय और अभिलक्षण (अनुभाग 4):
semi PC और semi SCS बिंदुओं की अवधारणा का परिचय (semi denting बिंदुओं को सामान्यीकृत करता है)
इन बिंदु-वार गुणों का गेंद पृथक्करण अभिलक्षण प्रदान करता है
साबित करता है कि गुण (II) द्वैत इकाई गेंद के सतह पर प्रत्येक बिंदु के semi w*-PC बिंदु होने के समतुल्य है
A-SCS बिंदुओं का अध्ययन (अनुभाग 5):
A-Small Combination of Slice बिंदु को परिभाषित करता है, w*-SCS बिंदुओं को सामान्यीकृत करता है
A-SCS बिंदु अस्तित्व के लिए आवश्यक गेंद पृथक्करण शर्तें स्थापित करता है
साबित करता है कि जब A-SCS बिंदुओं का रैखिक विस्तार τ_A टोपोलॉजी के तहत सघन हो, तो संगत समुच्चय A में सभी बंद परिबद्ध उत्तल समुच्चय गेंद-उत्पन्न हैं
एकीकृत ढांचा: Chen-Lin, Giles आदि के कई परिणामों को एकीकृत ज्यामितीय ढांचे में एकीकृत करता है
यह पेपर द्वैत विधि का उपयोग करता है, मूल अंतरिक्ष में ज्यामितीय गुणों और द्वैत अंतरिक्ष में कार्यात्मक पंथों के गुणों के बीच संबंध स्थापित करके गेंद पृथक्करण गुणों को अभिलक्षित करता है।
किसी भी ε > 0 के लिए, x₀* ∈ SX* मौजूद है जैसे कि: BX में inf x₀*(C) > ε को संतुष्ट करने वाले उपसमुच्चय C के लिए, एक बंद गेंद B मौजूद है जैसे कि C ⊂ B और inf x₀*(B) > 0
(द्विगुण संस्करण)
प्रमाण विचार:
(i)⇒(ii): w*-स्लाइस के छोटे व्यास गुण का उपयोग करते हुए, Lemma 3.3 के माध्यम से C को समाहित करने वाली गेंद का निर्माण करता है, विरोधाभास द्वारा साबित करता है कि C वास्तव में गेंद में है
(ii)⇒(i): दिए गए ε के लिए, समुच्चय Kδ = {x ∈ BX : x₀*(x) > ε+δ} का निर्माण करता है, शर्त से गेंद B प्राप्त करता है, फिर w*-स्लाइस S का निर्माण करता है और Lemma 3.2 का उपयोग करके इसके व्यास का अनुमान लगाता है
एकीकृत प्रमाण तकनीक: w*-टोपोलॉजी और मानदंड टोपोलॉजी के बीच संबंध के माध्यम से, मूल अंतरिक्ष गुणों को द्वैत अंतरिक्ष गुणों में व्यवस्थित रूप से परिवर्तित करता है
बिंदु-वार विधि: गुणों के "semi" संस्करण का परिचय, बिंदु को समुच्चय में होने की आवश्यकता को शिथिल करता है, अधिक सूक्ष्म अभिलक्षण प्राप्त करता है
संगत समुच्चय ढांचा: संगत शर्तों का परिचय देकर, गेंद पृथक्करण गुणों को अधिक सामान्य परिबद्ध समुच्चय परिवारों तक विस्तारित करता है
गुण (II) का नया अभिलक्षण: साबित करता है कि गुण (II) "द्वैत इकाई गेंद के सतह पर प्रत्येक बिंदु semi w*-PC बिंदु है" के समतुल्य है (Theorem 4.14), जो Chen-Lin के "w*-PC बिंदु मानदंड-सघन" से अधिक मजबूत है
Theorem 5.7: यदि A संगत समुच्चय है और A-SCS बिंदुओं का रैखिक विस्तार τA टोपोलॉजी में X* में सघन है, तो A में प्रत्येक बंद परिबद्ध उत्तल समुच्चय गेंद-उत्पन्न है।
विशेष रूप से, A को सभी परिबद्ध समुच्चयों के रूप में लेते हुए, 2, Proposition 2.5 के परिणाम को पुनः प्राप्त करता है।
Theorem 3.11 और 4.16 में (ii)⇒(i) का विपरीत निहितार्थ अज्ञात है
BSCSP और गैर-शून्य SCS बिंदु अस्तित्व के बीच संबंध स्पष्ट नहीं है
संगत समुच्चय की प्रतिबंधा: Theorem 5.7 को A संगत समुच्चय होने की आवश्यकता है, यह शर्त कुछ अनुप्रयोगों में बहुत मजबूत हो सकती है
w-SCS बिंदुओं की मानदंड-सघनता*: Remark 4.22 इंगित करता है कि "सभी बिंदु semi w*-SCS" से "w*-SCS बिंदु मानदंड-सघन" निकाला जा सकता है या नहीं, यह खुली समस्या है
यह एक उच्च गुणवत्ता का कार्यात्मक विश्लेषण सैद्धांतिक पेपर है, जो गेंद पृथक्करण अभिलक्षण की कई महत्वपूर्ण समस्याओं को व्यवस्थित रूप से हल करता है। मुख्य लाभ सैद्धांतिक गहराई, तकनीकी कठोरता और एकीकरण हैं; मुख्य कमियां आंशिक परिणाम अधूरेपन और विशिष्ट अनुप्रयोगों की कमी हैं। पेपर बनच अंतरिक्ष ज्यामिति सिद्धांत में वास्तविक योगदान देता है, विशेष रूप से गुण (II) का नया अभिलक्षण (Theorem 4.14) और A-SCS बिंदु ढांचा (Section 5) उच्च सैद्धांतिक मूल्य रखते हैं। अनुशंसा है कि बाद के कार्य खुली समस्याओं के समाधान और विशिष्ट अंतरिक्षों में सिद्धांत के अनुप्रयोग पर ध्यान केंद्रित करें।