पैकिंग आयाम

गणित में, पैकिंग आयाम कई अवधारणाओं में से एक है जिसका उपयोग मीट्रिक स्थान के उपसमूहों के आयाम को परिभाषित करने के लिए किया जा सकता है। पैकिंग आयाम कुछ अर्थों में हॉसडॉर्फ आयाम के लिए द्वैत (गणित) है, क्योंकि पैकिंग आयाम दिए गए उपसमूहों के अंदर छोटी खुली गेंदों द्वारा दिए गए उपसमूहों को कवर करके किया जाता है। पैकिंग आयाम को 1982 में सी ट्रिकॉट जूनियर द्वारा पेश किया गया था।

परिभाषाएँ
मान लीजिए (X, d) एक उपसमुच्चय S ⊆ X के साथ एक मीट्रिक स्थान है और s ≥ 0 एक वास्तविक संख्या है। S के 'आयामी पैकिंग पूर्व-माप' को परिभाषित किया गया है


 * $$P_0^s (S) = \limsup_{\delta \downarrow 0}\left\{ \left. \sum_{i \in I} \mathrm{diam} (B_i)^s \right| \begin{matrix} \{ B_i \}_{i \in I} \text{ is a countable collection} \\ \text{of pairwise disjoint closed balls with} \\ \text{diameters } \leq \delta \text{ and centres in } S \end{matrix} \right\}.$$

दुर्भाग्य से, यह केवल एक पूर्व-मापन है और X के उपसमूहों पर सही माप (गणित) नहीं है, जैसा कि घने सेट, गणनीय सेट उपसमूहों पर विचार करके देखा जा सकता है। हालाँकि, पूर्व-उपाय एक वास्तविक माप की ओर ले जाता है: S' का s'-आयामी पैकिंग माप 'के रूप में परिभाषित किया गया है


 * $$P^s (S) = \inf \left\{ \left. \sum_{j \in J} P_0^s (S_j) \right| S \subseteq \bigcup_{j \in J} S_j, J \text{ countable} \right\},$$

यानी, S का पैकिंग माप, S के गणनीय कवरों के पैकिंग पूर्व-उपायों से कम है।

ऐसा करने के बाद, 'पैकिंग आयाम'P मंद हो जाता है S के (S) हॉसडॉर्फ आयाम के अनुरूप परिभाषित किया गया है:


 * $$\begin{align}

\dim_{\mathrm{P}} (S) &{} = \sup \{ s \geq 0 | P^s (S) = + \infty \} \\ &{} = \inf \{ s \geq 0 | P^s (S) = 0 \}. \end{align}$$

एक उदाहरण
निम्नलिखित उदाहरण सबसे सरल स्थिति है जहां हॉसडॉर्फ और पैकिंग आयाम भिन्न हो सकते हैं।

अनुक्रम नियत करें $$(a_n)$$ ऐसा है कि $$a_0=1$$ और $$0<a_{n+1}<a_n/2$$. आगमनात्मक रूप से नेस्टेड अनुक्रम को परिभाषित करें $$E_0 \supset E_1 \supset E_2 \supset \cdots$$ वास्तविक रेखा के सघन उपसमुच्चयों की संख्या इस प्रकार है: मान लीजिए $$E_0=[0,1]$$. के प्रत्येक जुड़े घटक के लिए $$E_n$$ (जो निश्चित रूप से लंबाई का अंतराल होगा $$a_n$$), लंबाई के मध्य अंतराल को हटा दें $$a_n - 2a_{n+1}$$, लंबाई के दो अंतराल प्राप्त करना $$a_{n+1}$$, जिसे जुड़े घटकों के रूप में लिया जाएगा $$E_{n+1}$$. अगला, परिभाषित करें $$K = \bigcap_n E_n$$. तब $$K$$ स्थैतिक रूप से एक कैंटर सेट है (यानी, एक कॉम्पैक्ट पूरी तरह से डिस्कनेक्ट किया गया सही स्थान)। उदाहरण के लिए, $$K$$ सामान्य मध्य-तिहाई कैंटर सेट होगा यदि $$a_n=3^{-n}$$.

यह दिखाना संभव है कि हौसडॉर्फ और सेट के पैकिंग आयाम $$K$$ क्रमशः दिए गए हैं:


 * $$\begin{align}

\dim_{\mathrm{H}} (K) &{} = \liminf_{n\to\infty} \frac{n \log 2}{- \log a_n} \,, \\ \dim_{\mathrm{P}} (K) &{} = \limsup_{n\to\infty} \frac{n \log 2}{- \log a_n} \,. \end{align}$$ यह दिए गए नंबरों का आसानी से अनुसरण करता है $$0 \leq d_1 \leq d_2 \leq 1$$, कोई एक क्रम चुन सकता है $$(a_n)$$ ऊपर जैसा कि संबद्ध (स्थलीय) कैंटर सेट है $$K$$ हॉसडॉर्फ आयाम है $$d_1$$ और पैकिंग आयाम $$d_2$$.

सामान्यीकरण
व्यास की तुलना में s के लिए आयाम कार्यों को अधिक सामान्य माना जा सकता है: किसी भी कार्य h : [0, +∞) → [0, +∞] के लिए, 'आयाम फ़ंक्शन के साथ' S का 'पैकिंग पूर्व-माप' h दिया जाए द्वारा


 * $$P_0^h (S) = \lim_{\delta \downarrow 0} \sup \left\{ \left. \sum_{i \in I} h \big( \mathrm{diam} (B_i) \big) \right| \begin{matrix} \{ B_{i} \}_{i \in I} \text{ is a countable collection} \\ \text{of pairwise disjoint balls with} \\ \text{diameters } \leq \delta \text{ and centres in } S \end{matrix} \right\}$$

और डायमेंशन फंक्शन h के साथ S के पैकिंग माप को परिभाषित करें


 * $$P^h (S) = \inf \left\{ \left. \sum_{j \in J} P_0^h (S_j) \right| S \subseteq \bigcup_{j \in J} S_j, J \text{ countable} \right\}.$$

फलन h को S के लिए एक 'सटीक' ('पैकिंग') 'आयाम फलन' कहा जाता है यदि Ph(S) परिमित और पूर्ण रूप से धनात्मक दोनों है।

गुण

 * यदि S, n-विम यूक्लिडियन अंतरिक्ष 'R' का उपसमुच्चय हैn अपने सामान्य मीट्रिक के साथ, तो S का पैकिंग आयाम S के ऊपरी संशोधित बॉक्स आयाम के बराबर है: $$\dim_{\mathrm{P}} (S) = \overline{\dim}_\mathrm{MB} (S).$$ यह परिणाम दिलचस्प है क्योंकि यह दिखाता है कि माप (पैकिंग आयाम) से प्राप्त आयाम माप (संशोधित बॉक्स आयाम) का उपयोग किए बिना व्युत्पन्न के साथ कैसे सहमत होता है।

हालाँकि, ध्यान दें कि पैकिंग आयाम बॉक्स आयाम के बराबर नहीं है। उदाहरण के लिए, परिमेय संख्या 'Q' के सेट का बॉक्स आयाम एक और पैकिंग आयाम शून्य है।

यह भी देखें

 * हॉसडॉर्फ आयाम
 * मिन्कोव्स्की-बोलीगैंड आयाम