2025-11-23T21:40:16.367384

Metric Topologies on Multiset Spaces as Topological Monoids and Their Group Completion

Kim
We construct a multiset space $\mathbb{N}[X]$ over a metric space $X$ that simultaneously enjoys desirable topological properties and admits a natural matching metric $d_{\mathbb{N}[X]}$, making it a metrizable abelian topological monoid whose structure is compatible with the original metric on $X$. This framework extends naturally to the free abelian group $\mathbb{Z}[X]$, where a metric $d_{\mathbb{Z}[X]}$ induces a metrizable abelian topological group structure. We further identify the metric completion of $\mathbb{N}[X]$, showing that it carries a canonical extension of the matching metric.
academic

मल्टीसेट स्पेस पर मेट्रिक टोपोलॉजी टोपोलॉजिकल मोनॉयड्स के रूप में और उनका ग्रुप कम्पलीशन

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

  • पेपर आईडी: 2510.10080
  • शीर्षक: Metric Topologies on Multiset Spaces as Topological Monoids and Their Group Completion
  • लेखक: डोंगहान किम (KAIST, दक्षिण कोरिया)
  • वर्गीकरण: math.MG (मेट्रिक ज्यामिति)
  • प्रकाशन तिथि: 11 अक्टूबर 2025
  • पेपर लिंक: https://arxiv.org/abs/2510.10080

सारांश

यह पेपर मेट्रिक स्पेस XX पर मल्टीसेट स्पेस N[X]\mathbb{N}[X] का निर्माण करता है, जो आदर्श टोपोलॉजिकल गुणों को धारण करता है और प्राकृतिक मिलान मेट्रिक dN[X]d_{\mathbb{N}[X]} को स्वीकार करता है, जिससे यह एक मेट्रिकयोग्य एबेलियन टोपोलॉजिकल मोनॉयड बन जाता है, जिसकी संरचना XX पर मूल मेट्रिक के साथ संगत है। यह ढांचा स्वाभाविक रूप से मुक्त एबेलियन समूह Z[X]\mathbb{Z}[X] तक विस्तारित होता है, जहां मेट्रिक dZ[X]d_{\mathbb{Z}[X]} मेट्रिकयोग्य एबेलियन टोपोलॉजिकल समूह संरचना को प्रेरित करता है। हम आगे N[X]\mathbb{N}[X] के मेट्रिक पूर्णता को निर्धारित करते हैं, यह साबित करते हुए कि यह मिलान मेट्रिक के विहित विस्तार को वहन करता है।

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

समस्या की पृष्ठभूमि

  1. मल्टीसेट का महत्व: मल्टीसेट दोहराव की अनुमति देने वाले वस्तुओं के संग्रह हैं, जिनके बीजगणित, संयोजन विज्ञान और कंप्यूटर विज्ञान में महत्वपूर्ण अनुप्रयोग हैं, जिनमें डेटाबेस शब्दार्थ, क्वेरी भाषाएं और डेटा विश्लेषण शामिल हैं।
  2. टोपोलॉजिकल संरचना समस्या: जब अंतर्निहित स्पेस XX एक टोपोलॉजिकल स्पेस है, तो इसके मल्टीसेट स्पेस को संगत टोपोलॉजिकल संरचना कैसे प्रदान करें, यह एक प्राकृतिक प्रश्न है। शास्त्रीय निर्माणों में डोल्ड-थॉम की अनंत सममित उत्पाद और मैकॉर्ड का वर्गीकरण स्पेस शामिल हैं।
  3. मेट्रिकयोग्यता समस्या: हालांकि शास्त्रीय निर्माण XX कॉम्पैक्ट रूप से उत्पन्न होने पर मल्टीसेट स्पेस को एबेलियन टोपोलॉजिकल मोनॉयड संरचना प्रदान कर सकते हैं, लेकिन यहां तक कि जब XX मेट्रिकयोग्य हो, अनंत सममित उत्पाद आमतौर पर मेट्रिकयोग्य नहीं होता है।

मूल समस्या

अनुसंधान प्रेरणा: दिए गए मेट्रिक स्पेस (X,d)(X,d) के लिए, क्या संबंधित मल्टीसेट स्पेस पर एक मेट्रिक का निर्माण किया जा सकता है, जो:

  • XX के समदूरस्थ एम्बेडिंग को स्वीकार करे (मूल मेट्रिक के साथ संगत)
  • जोड़ने की संक्रिया को सतत बनाए, जिससे यह एबेलियन टोपोलॉजिकल मोनॉयड बन जाए

मूल योगदान

  1. मेट्रिकयोग्य मल्टीसेट स्पेस का निर्माण: मेट्रिक स्पेस (X,d)(X,d) के लिए मल्टीसेट स्पेस N[X]\mathbb{N}[X] का निर्माण किया गया, जिसे मिलान दूरी dN[X]d_{\mathbb{N}[X]} से सुसज्जित किया गया, जिससे यह एक मेट्रिकयोग्य टोपोलॉजिकल एबेलियन मोनॉयड बन गया।
  2. टोपोलॉजिकल समतुल्यता शर्तें स्थापित कीं: यह साबित किया गया कि जब आधार बिंदु ee अलग-थलग हो, तो N[X]\mathbb{N}[X] अनंत सममित उत्पाद SP(X)SP(X) के साथ मेल खाता है; जब ee अलग-थलग न हो, तो SP(X)SP(X) प्रथम गणनीय नहीं हो सकता है, इसलिए मेट्रिकयोग्य नहीं है।
  3. मुक्त एबेलियन समूह तक विस्तार: निर्माण को मुक्त एबेलियन समूह Z[X]\mathbb{Z}[X] तक विस्तारित किया गया, मेट्रिक dZ[X]d_{\mathbb{Z}[X]} को परिभाषित किया गया, जिससे Z[X]\mathbb{Z}[X] एक मेट्रिकयोग्य एबेलियन टोपोलॉजिकल समूह बन गया।
  4. समदूरस्थ एम्बेडिंग अनुक्रम: यह साबित किया गया कि विहित मानचित्र X↪N[X]↪Z[X]X \hookrightarrow \mathbb{N}[X] \hookrightarrow \mathbb{Z}[X] समदूरस्थ एम्बेडिंग का अनुक्रम है।
  5. पूर्णता का लक्षण वर्णन: पूर्णता मानदंड स्थापित किए गए, N[X]\mathbb{N}[X] की पूर्णता को विस्तारित मिलान मेट्रिक dℓd_\ell से सुसज्जित स्पेस N[X]‾\overline{\mathbb{N}[X]} के रूप में लक्षित किया गया।

विधि विस्तार

कार्य परिभाषा

इनपुट: आधार बिंदु के साथ मेट्रिक स्पेस (X,e,d)(X,e,d)
आउटपुट: मेट्रिकयोग्य मल्टीसेट स्पेस N[X]\mathbb{N}[X] और मुक्त एबेलियन समूह Z[X]\mathbb{Z}[X], दोनों संगत मेट्रिक संरचना से सुसज्जित

मूल निर्माण

1. मल्टीसेट स्पेस पर मिलान दूरी

SP(X)SP(X) में तत्वों [x1,…,xm][x_1,\ldots,x_m] और [y1,…,yn][y_1,\ldots,y_n] के लिए, मिलान दूरी को परिभाषित करें:

परिभाषा 3.1: N≥m+nN \geq m+n चुनें, भरी हुई सूचियां बनाएं: xN:=[x1,…,xm,e,…,e⏟N−m],yN:=[y1,…,yn,e,…,e⏟N−n]x_N := [x_1,\ldots,x_m,\underbrace{e,\ldots,e}_{N-m}], \quad y_N := [y_1,\ldots,y_n,\underbrace{e,\ldots,e}_{N-n}]

मिलान दूरी को इस प्रकार परिभाषित किया गया है: dN[X]([x1,…,xm],[y1,…,yn]):=inf⁡N≥m+nmin⁡σ∈SN∑i=1Nd(xN(i),yN(σ(i)))d_{\mathbb{N}[X]}([x_1,\ldots,x_m],[y_1,\ldots,y_n]) := \inf_{N\geq m+n} \min_{\sigma \in S_N} \sum_{i=1}^N d(x_N(i), y_N(\sigma(i)))

2. मुक्त एबेलियन समूह पर मेट्रिक

Z[X]\mathbb{Z}[X] में तत्वों के लिए, सकारात्मक और नकारात्मक भागों का अपघटन उपयोग करें:

परिभाषा 5.1: x,y∈Z[X]x,y \in \mathbb{Z}[X] के लिए, x=x+−x−x = x^+ - x^-, y=y+−y−y = y^+ - y^- सेट करें, परिभाषित करें: dZ[X](x,y):=dN[X](x++y−,y++x−)d_{\mathbb{Z}[X]}(x,y) := d_{\mathbb{N}[X]}(x^+ + y^-, y^+ + x^-)

तकनीकी नवाचार बिंदु

  1. मेट्रिक की सुपरिभाषितता: आगमन द्वारा साबित किया गया कि मिलान दूरी आधार बिंदु ee की पुनरावृत्ति की संख्या के चुनाव पर निर्भर नहीं करती है।
  2. टोपोलॉजिकल मोनॉयड संरचना: यह साबित किया गया कि जोड़ने की संक्रिया 1-लिप्सचिट्ज़ सतत है, इसलिए सतत है।
  3. समदूरस्थ एम्बेडिंग: SPn(X)↪N[X]↪Z[X]SP^n(X) \hookrightarrow \mathbb{N}[X] \hookrightarrow \mathbb{Z}[X] के समदूरस्थ एम्बेडिंग श्रृंखला को स्थापित किया गया।

सैद्धांतिक परिणाम

मुख्य प्रमेय

प्रमेय 3.4 (एबेलियन टोपोलॉजिकल मोनॉयड संरचना): मेट्रिक dN[X]d_{\mathbb{N}[X]} N[X]\mathbb{N}[X] पर एबेलियन टोपोलॉजिकल मोनॉयड संरचना को प्रेरित करता है।

प्रमेय 3.8 (टोपोलॉजिकल समतुल्यता): मान लीजिए आधार बिंदु e∈Xe \in X अलग-थलग है, तब मेट्रिक dN[X]d_{\mathbb{N}[X]} द्वारा SP(X)SP(X) पर प्रेरित टोपोलॉजी प्रत्यक्ष सीमा टोपोलॉजी के समान है।

प्रमेय 5.3 (एबेलियन टोपोलॉजिकल समूह संरचना): मेट्रिक dZ[X]d_{\mathbb{Z}[X]} Z[X]\mathbb{Z}[X] पर एबेलियन टोपोलॉजिकल समूह संरचना को प्रेरित करता है।

प्रमेय 4.10 (मेट्रिक पूर्णता): यदि (X,d)(X,d) पूर्ण है, तो (N[X],dN[X])(\mathbb{N}[X], d_{\mathbb{N}[X]}) की मेट्रिक पूर्णता (N[X]‾,dℓ)(\overline{\mathbb{N}[X]}, d_\ell) के समदूरस्थ है।

टोपोलॉजिकल गुण

प्रस्ताव 4.1:

  • यदि XX जुड़ा हुआ है, तो N[X]\mathbb{N}[X] जुड़ा हुआ है
  • यदि XX पथ-जुड़ा हुआ है, तो N[X]\mathbb{N}[X] पथ-जुड़ा हुआ है

प्रतिउदाहरण विश्लेषण

उदाहरण 3.11: X=[0,1]X = [0,1], आधार बिंदु e=0e = 0 सेट करें। समुच्चय K:={[1],[1/2],[1/3],…}K := \{[1], [1/2], [1/3], \ldots\} पर विचार करें। प्रत्यक्ष सीमा टोपोलॉजी में KK बंद है, लेकिन dN[X]d_{\mathbb{N}[X]}-मेट्रिक में अनुक्रम ([1/n])([1/n]) [e][e] में परिवर्तित होता है, जो दर्शाता है कि मेट्रिक टोपोलॉजी प्रत्यक्ष सीमा टोपोलॉजी से सख्ती से मोटी है।

पूर्णता सिद्धांत

ℓ¹-मल्टीसेट स्पेस

परिभाषा 4.5: समतुल्यता संबंध को परिभाषित करें, N[X]‾\overline{\mathbb{N}[X]} को अनुक्रम स्पेस X∗X^* का भागफल, जहां: X∗={x=(xi)i∈N:∑i=1∞d(xi,e)<∞}X^* = \{x = (x_i)_{i \in \mathbb{N}} : \sum_{i=1}^{\infty} d(x_i, e) < \infty\}

विस्तारित मिलान दूरी: dℓ([x],[y]):=inf⁡σ∈S∞∑i=1∞d(xi,yσ(i))d_\ell([x], [y]) := \inf_{\sigma \in S_{\infty}} \sum_{i=1}^{\infty} d(x_i, y_{\sigma(i)})

प्रस्ताव 4.8: यदि (X,d)(X,d) पूर्ण है, तो (N[X]‾,dℓ)(\overline{\mathbb{N}[X]}, d_\ell) पूर्ण है।

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

  1. शास्त्रीय निर्माण: डोल्ड-थॉम अनंत सममित उत्पाद और मैकॉर्ड वर्गीकरण स्पेस मल्टीसेट स्पेस के लिए टोपोलॉजिकल संरचना प्रदान करते हैं, लेकिन आमतौर पर मेट्रिकयोग्य नहीं होते हैं।
  2. मेट्रिक अर्धसमूह: हाल के कार्य बानाच और संयोजन पृष्ठभूमि में मल्टीसेट के मेट्रिक अर्धसमूहों का अध्ययन करते हैं।
  3. मिलान मेट्रिक: मल्टीसेट की तुलना आमतौर पर मिलान या पृथ्वी-गतिविधि प्रकार की मेट्रिक्स का उपयोग करके की जाती है।

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

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

यह पेपर मेट्रिक स्पेस पर मल्टीसेट स्पेस की मेट्रिकयोग्यता समस्या को सफलतापूर्वक हल करता है, ऐसी मेट्रिक संरचना का निर्माण करता है जो मूल मेट्रिक संगतता को संरक्षित करती है और अच्छे टोपोलॉजिकल गुण रखती है।

सैद्धांतिक महत्व

  1. बीजगणित और टोपोलॉजी को जोड़ना: बीजगणितीय संरचना (अर्धसमूह, समूह) को मेट्रिक ज्यामिति के साथ स्वाभाविक रूप से संयोजित करना।
  2. पूर्णता सिद्धांत: मल्टीसेट स्पेस की मेट्रिक पूर्णता का स्पष्ट लक्षण वर्णन प्रदान करना।
  3. टोपोलॉजिकल समतुल्यता शर्तें: स्पष्ट करना कि नए निर्माण कब शास्त्रीय निर्माणों के साथ मेल खाते हैं।

सीमाएं

  1. पूर्णता: N[X]\mathbb{N}[X] भले ही XX पूर्ण हो, पूर्ण नहीं हो सकता है।
  2. आधार बिंदु निर्भरता: निर्माण आधार बिंदु के चुनाव पर निर्भर करता है।
  3. कम्प्यूटेशनल जटिलता: मिलान दूरी की गणना में संयोजन अनुकूलन समस्याएं शामिल होती हैं।

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

  1. अधिक सामान्य मेट्रिक स्पेस वर्गों पर सामान्यीकरण का अध्ययन करना
  2. मिलान दूरी की गणना के लिए कुशल एल्गोरिदम की खोज करना
  3. ठोस गणितीय और कंप्यूटर विज्ञान समस्याओं पर अनुप्रयोग

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

शक्तियां

  1. सैद्धांतिक पूर्णता: बुनियादी परिभाषाओं से पूर्णता सिद्धांत तक, एक पूर्ण सैद्धांतिक ढांचा बनाया गया है।
  2. तकनीकी कठोरता: प्रमाण विस्तृत हैं, विशेष रूप से मेट्रिक स्वयंसिद्धों का सत्यापन और टोपोलॉजिकल समतुल्यता की स्थापना।
  3. नवाचार: मेट्रिक स्पेस पर मल्टीसेट के लिए पहली बार व्यवस्थित मेट्रिकयोग्यता सिद्धांत।
  4. अनुप्रयोग क्षमता: डेटाबेस सिद्धांत, संयोजन अनुकूलन आदि क्षेत्रों के लिए नए गणितीय उपकरण प्रदान करता है।

कमियां

  1. व्यावहारिक अनुप्रयोग: ठोस अनुप्रयोग उदाहरणों का प्रदर्शन अभाव है।
  2. कम्प्यूटेशनल पहलू: मिलान दूरी गणना जटिलता पर चर्चा अपर्याप्त है।
  3. सामान्यीकरण: अधिक सामान्य सेटिंग्स (जैसे छद्ममेट्रिक स्पेस) पर चर्चा सीमित है।

प्रभाव

यह एक उच्च गुणवत्ता का शुद्ध गणित पेपर है, जो मेट्रिक ज्यामिति और बीजगणितीय टोपोलॉजी के अंतर्विषय क्षेत्र में महत्वपूर्ण योगदान देता है, जो संबंधित अनुप्रयुक्त गणित क्षेत्रों को प्रभावित कर सकता है।

लागू परिदृश्य

  1. सैद्धांतिक गणित: मेट्रिक ज्यामिति, बीजगणितीय टोपोलॉजी अनुसंधान
  2. कंप्यूटर विज्ञान: डेटाबेस सिद्धांत, एल्गोरिदम डिजाइन
  3. अनुप्रयुक्त गणित: अनुकूलन सिद्धांत, डेटा विश्लेषण

संदर्भ

पेपर टोपोलॉजी, संयोजन विज्ञान, कंप्यूटर विज्ञान आदि कई क्षेत्रों के 22 संबंधित संदर्भों का हवाला देता है, जो अनुसंधान के लिए एक मजबूत सैद्धांतिक आधार प्रदान करता है।