2025-11-22T06:37:16.139718

Compact subspaces of the space of separately continuous functions with the cross-uniform topology

Maslyuchenko, Myronyk, Ivasiuk
We consider two natural topologies on the space $S(X\times Y,Z)$ of all separately continuous functions defined on the product of two topological spaces $X$ and $Y$ and ranged into a topological or metric space $X$. These topologies are the cross-open topology and the cross-uniform topology. We show that these topologies coincides if $X$ and $Y$ are pseudocompacts and $Z$ is a metric space. We prove that a compact space $K$ embeds into $S(X\times Y,Z)$ for infinite compacts $X$, $Y$ and a metrizable space $Z\supseteq\mathbb{R}$ if and only if the weight of $K$ is less than the sharp cellularity of both spaces $X$ and $Y$.
academic

अलग-अलग सतत कार्यों के स्थान के सघन उप-स्थान क्रॉस-एकसमान सांस्थिति के साथ

बुनियादी जानकारी

  • पेपर ID: 2406.05705
  • शीर्षक: Compact subspaces of the space of separately continuous functions with the cross-uniform topology
  • लेखक: Oleksandr Maslyuchenko, Vadym Myronyk, Roman Ivasiuk
  • वर्गीकरण: math.GN (सामान्य सांस्थिति)
  • प्रकाशन समय: 11 जून 2024
  • पेपर लिंक: https://arxiv.org/abs/2406.05705

सारांश

यह पेपर दो सांस्थितिक स्थानों XX और YY के गुणनफल पर परिभाषित और सांस्थितिक या मीट्रिक स्थान ZZ में मान लेने वाले सभी अलग-अलग सतत कार्यों के स्थान S(X×Y,Z)S(X\times Y,Z) पर दो प्राकृतिक सांस्थितियों का अध्ययन करता है: क्रॉस-खुली सांस्थिति और क्रॉस-एकसमान सांस्थिति। लेखकों ने प्रमाणित किया कि जब XX और YY छद्म-सघन स्थान हैं और ZZ एक मीट्रिक स्थान है, तो ये दोनों सांस्थितियां संपाती होती हैं। मुख्य परिणाम दर्शाते हैं: अनंत सघन स्थानों XX, YY और R\mathbb{R} युक्त मेट्रिज़ेबल स्थान ZZ के लिए, सघन स्थान KK को S(X×Y,Z)S(X\times Y,Z) में अंतःस्थापित किया जा सकता है यदि और केवल यदि KK का भार XX और YY की तीव्र कोशिकीयता से कम है।

अनुसंधान पृष्ठभूमि और प्रेरणा

  1. अनुसंधान समस्या: यह पेपर मुख्य रूप से अलग-अलग सतत कार्यों के स्थान की सांस्थितिक संरचना का अध्ययन करता है, विशेष रूप से इसमें सघन उप-स्थानों के लक्षण वर्णन की समस्या। अलग-अलग सतत कार्य वे कार्य हैं जो प्रत्येक निश्चित चर के लिए दूसरे चर पर सतत होते हैं।
  2. समस्या की महत्ता: अलग-अलग सतत कार्य बहुचर कार्य सिद्धांत में महत्वपूर्ण स्थान रखते हैं। इन कार्य स्थानों की सांस्थितिक गुणों का कार्य अभिसरण और सातत्य को समझने के लिए महत्वपूर्ण है। सघन उप-स्थानों का लक्षण वर्णन इन कार्य स्थानों की समग्र संरचना को समझने में सहायता करता है।
  3. मौजूदा अनुसंधान की सीमाएं: हालांकि यह ज्ञात है कि Baire एक-वर्गीय कार्य स्थान B1(X)B_1(X) के सघन उप-स्थान Rosenthal सघन हैं, अलग-अलग सतत कार्य स्थानों की सघन उप-स्थान संरचना के बारे में सीमित जानकारी है।
  4. अनुसंधान प्रेरणा: लेखकों को अलग-अलग सतत कार्य स्थानों में Rosenthal-प्रकार के सघन स्थान खोजने की अपेक्षा थी, लेकिन उन्होंने पाया कि वास्तविक सांस्थितिक संरचना अधिक सरल है, जिसने सघन उप-स्थानों के पूर्ण लक्षण वर्णन को प्रेरित किया।

मुख्य योगदान

  1. सांस्थितिक समतुल्यता प्रमेय: प्रमाणित किया कि जब XX और YY छद्म-सघन स्थान हैं और ZZ एक मीट्रिक स्थान है, तो क्रॉस-खुली सांस्थिति और क्रॉस-एकसमान सांस्थिति संपाती होती हैं।
  2. सघन अंतःस्थापन का पूर्ण लक्षण वर्णन: अनंत सघन स्थानों XX, YY और R\mathbb{R} युक्त मेट्रिज़ेबल स्थान ZZ के लिए, पूरी तरह से लक्षण वर्णित किया कि कौन से सघन स्थान S(X×Y,Z)S(X\times Y,Z) में अंतःस्थापित हो सकते हैं।
  3. भार सीमा प्रमेय: प्रमाणित किया कि सघन स्थान KK को S(X×Y,Z)S(X\times Y,Z) में अंतःस्थापित करने की आवश्यक और पर्याप्त शर्त w(K)<min⁡{c♯(X),c♯(Y)}w(K) < \min\{c^♯(X), c^♯(Y)\} है।
  4. Eberlein सघन का भूमिका: सामान्य सघन स्थानों से Eberlein सघन स्थानों तक एक अपचयन विधि स्थापित की, जिससे समस्या का विश्लेषण सरल हुआ।

विधि विवरण

बुनियादी परिभाषाएं और संकेतन

सांस्थितिक स्थान के गुणनफल P=X×YP = X \times Y के लिए, समुच्चय E⊆PE \subseteq P का क्रॉस निम्नानुसार परिभाषित किया जाता है: crE=(prX(E)×Y)∪(X×prY(E))\text{cr}E = (\text{pr}_X(E) \times Y) \cup (X \times \text{pr}_Y(E))

जहां prX\text{pr}_X और prY\text{pr}_Y निर्देशांक प्रक्षेपण हैं।

दोनों सांस्थितियों की परिभाषा

  1. क्रॉस-खुली सांस्थिति: उप-आधार {s∈S:s(A)⊆W}\{s \in S : s(A) \subseteq W\} द्वारा उत्पन्न, जहां A=G∩CA = G \cap C, C=cr{p}C = \text{cr}\{p\}, GG CC में खुला समुच्चय है, WW ZZ में खुला समुच्चय है।
  2. क्रॉस-एकसमान सांस्थिति: मीट्रिक स्थान (Z,d)(Z,d) के लिए, पड़ोस उप-आधार {t∈S:d(s(p),t(p))<ε सभी p∈crE के लिए}\{t \in S : d(s(p),t(p)) < \varepsilon \text{ सभी } p \in \text{cr}E \text{ के लिए}\} द्वारा उत्पन्न, जहां EE PP का एक परिमित उप-समुच्चय है।

मुख्य तकनीकी विधियां

1. सांस्थितिक समतुल्यता का प्रमाण

प्रस्ताव 2.1 का प्रमाण द्विदिशात्मक समावेशन की विधि का उपयोग करता है:

  • पहले प्रमाणित किया कि क्रॉस-खुली सांस्थिति क्रॉस-एकसमान सांस्थिति से कमजोर है, छद्म-सघनता का उपयोग करके s(K)s(K) की सघनता सुनिश्चित करते हुए
  • फिर प्रमाणित किया कि क्रॉस-एकसमान सांस्थिति क्रॉस-खुली सांस्थिति से कमजोर है, परिमित आवरण द्वारा खुले पड़ोस का निर्माण करके

2. Eberlein सघन में अपचयन

लेम्मा 4.3 एक महत्वपूर्ण अपचयन चरण प्रदान करता है:

  • किसी भी सघन उप-स्थान K⊆S(X×Y,Z)K \subseteq S(X \times Y, Z) के लिए, Eberlein सघन स्थान X~\tilde{X} का निर्माण करता है
  • प्रमाणित करता है कि KK को S(X~×Y,Z)S(\tilde{X} \times Y, Z) में अंतःस्थापित किया जा सकता है, जहां X~\tilde{X} XX का सतत प्रतिबिंब है
  • यह सामान्य स्थिति को Eberlein सघन स्थिति में अपचयित करता है

3. भार अनुमान

सतत कार्य स्थान Cp(X,M)C_p(X,M) (जहां M=C(Y,Z)M = C(Y,Z)) में अलग-अलग सतत कार्य स्थान को अंतःस्थापित करके, ज्ञात भार अनुमान परिणामों का उपयोग करते हुए: w(K)≤d(X)=c(X)<c(X)+=c♯(X)w(K) \leq d(X) = c(X) < c(X)^+ = c^♯(X)

प्रायोगिक सेटअप

यह पेपर शुद्ध सैद्धांतिक अनुसंधान है, जिसमें कोई संख्यात्मक प्रयोग नहीं हैं। सभी परिणाम कठोर गणितीय प्रमाणों के माध्यम से प्राप्त किए गए हैं।

मुख्य परिणाम

प्रमेय 6.2 (आवश्यकता)

कथन: मान लीजिए XX, YY अनंत सघन स्थान हैं, ZZ एक मेट्रिज़ेबल स्थान है, KK S(X×Y,Z)S(X\times Y,Z) का एक सघन उप-स्थान है, तो w(K)<min⁡{c♯(X),c♯(Y)}w(K) < \min\{c^♯(X), c^♯(Y)\}।

प्रमाण रणनीति:

  1. लेम्मा 4.3 का उपयोग करके Eberlein सघन स्थिति में अपचयन
  2. अंतःस्थापन Φ:S→Cp(X,M)\Phi: S \to C_p(X,M) का निर्माण, जहां M=C(Y,Z)M = C(Y,Z)
  3. प्रस्ताव 6.1 और 5.2 को लागू करके भार अनुमान प्राप्त करना

प्रमेय 7.1 (पर्याप्तता)

कथन: मान लीजिए XX, YY अनंत सघन स्थान हैं, ZZ R\mathbb{R} युक्त एक मेट्रिज़ेबल स्थान है। सघन स्थान KK को S(X×Y,Z)S(X\times Y,Z) में अंतःस्थापित किया जा सकता है यदि और केवल यदि w(K)<min⁡{c♯(X),c♯(Y)}w(K) < \min\{c^♯(X), c^♯(Y)\}।

प्रमाण रणनीति:

  1. आवश्यकता पहले से ही प्रमेय 6.2 द्वारा प्रमाणित है
  2. पर्याप्तता स्पष्ट अंतःस्थापन के निर्माण द्वारा प्रमाणित:
    • असंयुक्त खुले समुच्चय परिवारों का उपयोग करके कार्य परिवार (fi)i∈I(f_i)_{i \in I} का निर्माण
    • मानचित्र Φ:[0,1]I→S(X×Y)\Phi: [0,1]^I \to S(X \times Y) को परिभाषित करना
    • प्रमाणित करना कि Φ\Phi एक सतत एकैकी है

उपफल 7.2

अनंत मेट्रिज़ेबल सघन स्थानों XX, YY के लिए, सघन स्थान KK को S(X×Y,Z)S(X\times Y,Z) में अंतःस्थापित किया जा सकता है यदि और केवल यदि KK मेट्रिज़ेबल है।

संबंधित कार्य

  1. Baire एक-वर्गीय कार्य: यह ज्ञात है कि Polish स्थानों पर Baire एक-वर्गीय कार्य स्थान के सघन उप-स्थान Rosenthal सघन हैं
  2. Eberlein सघन सिद्धांत: Amir-Lindenstrauss प्रमेय Eberlein सघन का संरचनात्मक लक्षण वर्णन प्रदान करता है
  3. कार्य स्थान सांस्थिति: बिंदुवार सांस्थिति, एकसमान सांस्थिति आदि शास्त्रीय सांस्थितियों का सामान्यीकरण
  4. कोशिकीयता सिद्धांत: तीव्र कोशिकीयता c♯(X)c^♯(X) को मुख्य अपरिवर्तनीय के रूप में उपयोग करना

निष्कर्ष और चर्चा

मुख्य निष्कर्ष

  1. अलग-अलग सतत कार्य स्थानों में सघन उप-स्थानों की संरचना का पूर्ण लक्षण वर्णन
  2. प्रमाणित किया कि ये सघन उप-स्थान अपेक्षा से अधिक सरल हैं (जैसे मेट्रिज़ेबल सघन स्थिति में केवल मेट्रिज़ेबल सघन अंतःस्थापित हो सकते हैं)
  3. भार और तीव्र कोशिकीयता के बीच सटीक संबंध स्थापित किया

सीमाएं

  1. परिणाम मुख्य रूप से सघन स्थानों के लिए हैं, गैर-सघन स्थिति में सामान्यीकरण अभी भी खुली समस्या है
  2. कुछ प्रमाण स्थान में R\mathbb{R} युक्त होने की धारणा पर निर्भर करते हैं
  3. क्रॉस सांस्थिति का सामान्य सिद्धांत अभी भी विकास की आवश्यकता है

भविष्य की दिशाएं

पेपर तीन विशिष्ट खुली समस्याएं प्रस्तावित करता है:

  1. समस्या 1: सामान्य सांस्थितिक स्थानों की स्थिति में सघन अंतःस्थापन का वर्णन
  2. समस्या 2: क्या Rosenthal सघन कुछ Polish स्थानों पर अलग-अलग सतत कार्य स्थानों में अंतःस्थापित हो सकते हैं
  3. समस्या 3: क्या ऐसे Polish स्थान मौजूद हैं जिनके अलग-अलग सतत कार्य स्थानों में गैर-मेट्रिज़ेबल सघन उप-स्थान हों

गहन मूल्यांकन

लाभ

  1. सैद्धांतिक पूर्णता: सघन अंतःस्थापन समस्या का पूर्ण समाधान, परिणाम सटीक और इष्टतम हैं
  2. तकनीकी नवाचार: Eberlein सघन सिद्धांत और तीव्र कोशिकीयता अवधारणा का कुशल उपयोग
  3. विधि की सामान्यता: अपचयन तकनीक और अंतःस्थापन निर्माण विधि सामान्य मूल्य रखते हैं
  4. समस्या सेटअप: शास्त्रीय कार्य स्थान सिद्धांत का स्वाभाविक सामान्यीकरण

कमियां

  1. प्रयोज्य सीमा: मुख्य परिणाम सघन स्थानों तक सीमित हैं
  2. तकनीकी निर्भरता: कुछ प्रमाण विशिष्ट सांस्थितिक गुणों की धारणा पर निर्भर करते हैं
  3. व्यावहारिकता: शुद्ध सैद्धांतिक परिणाम के रूप में, व्यावहारिक अनुप्रयोग परिदृश्य सीमित हैं

प्रभाव

  1. सैद्धांतिक योगदान: अलग-अलग सतत कार्य स्थान सिद्धांत के लिए महत्वपूर्ण संरचना प्रमेय
  2. विधि मूल्य: अपचयन तकनीक और निर्माण विधि अन्य कार्य स्थान समस्याओं पर लागू हो सकती हैं
  3. समस्या प्रेरणा: प्रस्तावित खुली समस्याएं भविष्य के अनुसंधान के लिए दिशा निर्दिष्ट करती हैं

प्रयोज्य परिदृश्य

  1. कार्य स्थानों की सांस्थितिक संरचना अनुसंधान
  2. सघन स्थानों के अंतःस्थापन सिद्धांत
  3. बहुचर कार्यों की सातत्यता सिद्धांत
  4. सामान्य सांस्थिति में मूल संख्या कार्यों का अनुसंधान

संदर्भ

पेपर 17 महत्वपूर्ण संदर्भों का हवाला देता है, जिनमें मुख्य रूप से शामिल हैं:

  • Eberlein सघन पर Amir-Lindenstrauss के शास्त्रीय परिणाम
  • Engelking की सामान्य सांस्थिति पाठ्यपुस्तक
  • लेखकों के अलग-अलग सतत कार्य स्थानों पर पूर्व कार्य
  • Banach स्थानों के कमजोर सघन उप-समुच्चयों पर Benyamini-Rudin-Wage के परिणाम