स्पेस-फिलिंग कर्व

गणितीय विश्लेषण में, एक अंतरिक्ष-भरने वाला  वक्र  एक वक्र होता है जिसके फ़ंक्शन की सीमा में संपूर्ण 2-आयामी  इकाई वर्ग  (या अधिक सामान्यतः एक एन-आयामी इकाई  अतिविम ) होता है। क्योंकि  ग्यूसेप पीनो  (1858-1932) विमान में अंतरिक्ष-भरने वाले वक्रों की खोज करने वाले पहले व्यक्ति थे (गणित) पीनो द्वारा पाया गया एक अंतरिक्ष-भराव वक्र का विशिष्ट उदाहरण।

परिभाषा
सहज रूप से, दो या तीन (या उच्चतर) आयामों में एक वक्र को निरंतर गतिमान बिंदु का पथ माना जा सकता है। इस धारणा की अंतर्निहित अस्पष्टता को खत्म करने के लिए, 1887 में केमिली जॉर्डन  ने निम्नलिखित कठोर परिभाषा पेश की, जिसे तब से वक्र की धारणा के सटीक विवरण के रूप में अपनाया गया है:

सबसे सामान्य रूप में, इस तरह के एक फ़ंक्शन की सीमा एक मनमाना टोपोलॉजिकल स्पेस  में हो सकती है, लेकिन सबसे अधिक अध्ययन किए गए मामलों में, रेंज  यूक्लिडियन स्पेस  में होगी जैसे कि 2-आयामी विमान (एक तलीय वक्र) या 3-आयामी अंतरिक्ष (अंतरिक्ष वक्र)।

कभी-कभी, वक्र को फ़ंक्शन के बजाय Image_(mathematics)#Image_of_a_function (फ़ंक्शन के सभी संभावित मानों का सेट) से पहचाना जाता है। वास्तविक रेखा  (या खुले इकाई अंतराल पर) पर निरंतर कार्य होने के लिए अंतराल के बिना वक्रों को परिभाषित करना भी संभव है(0, 1)).

इतिहास
1890 में, पीनो  ने एक सतत वक्र की खोज की, जिसे अब पीनो वक्र कहा जाता है, जो इकाई वर्ग के प्रत्येक बिंदु से होकर गुजरता है। उनका उद्देश्य  इकाई अंतराल  से इकाई वर्ग पर एक  सतत मानचित्रण  का निर्माण करना था। पीनो को  जॉर्ज कैंटोर  के पहले के प्रति-सहज परिणाम से प्रेरित किया गया था कि एक इकाई अंतराल में अंकों की अनंत संख्या समान  प्रमुखता  है, जैसे कि किसी भी परिमित-आयामी  विविध  में अनंत संख्या में अंक, जैसे कि इकाई वर्ग। पीनो द्वारा हल की गई समस्या यह थी कि क्या ऐसा मानचित्रण निरंतर हो सकता है; यानी, एक वक्र जो एक स्थान को भरता है। पीनो का समाधान इकाई अंतराल और इकाई वर्ग के बीच निरंतर एक-से-एक पत्राचार स्थापित नहीं करता है, और वास्तव में ऐसा कोई पत्राचार मौजूद नहीं है (देखें  नीचे)।

पतलेपन और 1-आयामीता की अस्पष्ट धारणाओं को वक्रों से जोड़ना आम बात थी; सभी सामान्य रूप से सामने आने वाले वक्र टुकड़े-टुकड़े अलग-अलग होते थे (अर्थात, टुकड़े-टुकड़े निरंतर व्युत्पन्न होते हैं), और ऐसे वक्र पूरे इकाई वर्ग को नहीं भर सकते। इसलिए, पीनो का अंतरिक्ष-भरने वाला वक्र अत्यधिक उल्टा पाया गया।

पीनो के उदाहरण से, निरंतर वक्रों को निकालना आसान था, जिनकी श्रेणियों में n-आयामी हाइपरक्यूब (किसी भी सकारात्मक पूर्णांक n के लिए) होता है। पीनो के उदाहरण को बिना एंडपॉइंट के निरंतर घटता तक विस्तारित करना भी आसान था, जिसने पूरे एन-आयामी यूक्लिडियन स्पेस को भर दिया (जहां n 2, 3, या कोई अन्य सकारात्मक पूर्णांक है)।

सबसे प्रसिद्ध अंतरिक्ष-भरने वाले वक्रों का निर्माण क्रमिक रूप से टुकड़े-टुकड़े रैखिक फ़ंक्शन निरंतर घटता के अनुक्रम की सीमा के रूप में किया जाता है, प्रत्येक एक अधिक बारीकी से अंतरिक्ष-भरने की सीमा का अनुमान लगाता है।

पीनो के महत्वपूर्ण लेख में उनके निर्माण का कोई चित्रण नहीं था, जिसे टर्नरी विस्तार  और एक  मिररिंग ऑपरेटर  के संदर्भ में परिभाषित किया गया है। लेकिन चित्रमय निर्माण उनके लिए बिल्कुल स्पष्ट था - उन्होंने ट्यूरिन में अपने घर में वक्र की एक तस्वीर दिखाते हुए एक सजावटी टाइलिंग बनाई। पीनो का लेख यह देखकर भी समाप्त होता है कि तकनीक को स्पष्ट रूप से आधार 3 के अलावा अन्य विषम आधारों तक बढ़ाया जा सकता है। शब्दों के बिना किसी भी अपील से सबूत के लिए अपील करने से बचने के लिए उनकी पसंद चित्रों के बिना पूरी तरह से कठोर सबूत की इच्छा से प्रेरित थी। उस समय (सामान्य टोपोलॉजी की नींव की शुरुआत), ग्राफिकल तर्क अभी भी सबूतों में शामिल थे, फिर भी अक्सर प्रतिकूल परिणामों को समझने में बाधा बन रहे थे।

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



अंतरिक्ष भरने वाले वक्र के निर्माण की रूपरेखा
होने देना $$\mathcal{C}$$ कैंटर स्पेस  को निरूपित करें $$\mathbf{2}^\mathbb{N}$$.

हम एक सतत कार्य के साथ शुरू करते हैं $$h$$ कैंटर अंतरिक्ष से $$\mathcal{C}$$ संपूर्ण इकाई अंतराल पर $$[0,\, 1]$$. ( कैंटर समारोह का  कैंटर सेट  पर प्रतिबंध ऐसे फ़ंक्शन का एक उदाहरण है।) इससे हमें एक सतत फ़ंक्शन मिलता है $$H$$ टोपोलॉजिकल उत्पाद से $$\mathcal{C} \;\times\; \mathcal{C}$$ पूरे यूनिट स्क्वायर पर $$[0,\, 1] \;\times\; [0,\, 1]$$ व्यवस्थित करके

$$H(x,y) = (h(x), h(y)). \, $$ चूंकि कैंटर सेट उत्पाद के लिए होमोमोर्फिक  है $$\mathcal{C} \times \mathcal{C}$$, एक निरंतर आपत्ति है $$g$$ कैंटर से सेट पर $$\mathcal{C} \;\times\; \mathcal{C}$$. रचना $$f$$ का $$H$$ तथा $$g$$ संपूर्ण इकाई वर्ग पर कैंटर सेट को मैप करने वाला एक सतत कार्य है। (वैकल्पिक रूप से, हम इस प्रमेय का उपयोग कर सकते हैं कि प्रत्येक कॉम्पैक्ट सेट  मीट्रिक स्थान फ़ंक्शन प्राप्त करने के लिए कैंटर सेट की एक सतत छवि है $$f$$।)

अंत में, कोई बढ़ा सकता है $$f$$ एक सतत समारोह के लिए $$F$$ जिसका डोमेन संपूर्ण इकाई अंतराल है $$[0,\, 1]$$. यह या तो के प्रत्येक घटक पर टिट्ज़ एक्सटेंशन प्रमेय  का उपयोग करके किया जा सकता है $$f$$, या बस विस्तार करके $$f$$ रैखिक रूप से (अर्थात हटाए गए प्रत्येक खुले अंतराल पर $$(a,\, b)$$ कैंटर सेट के निर्माण में, हम के विस्तार भाग को परिभाषित करते हैं $$F$$ पर $$(a,\, b)$$ मानों को मिलाने वाले इकाई वर्ग के भीतर रेखा खंड होना $$f(a)$$ तथा $$f(b)$$).

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

एक गैर-स्व-प्रतिच्छेदित निरंतर वक्र इकाई वर्ग को नहीं भर सकता है क्योंकि यह वक्र को इकाई अंतराल से इकाई वर्ग पर एक समरूपता  बना देगा (एक  कॉम्पैक्ट स्पेस  से  हॉसडॉर्फ स्पेस  पर कोई भी निरंतर विभाजन एक होमियोमोर्फिज्म है)। लेकिन एक इकाई वर्ग में कोई कट-बिंदु नहीं होता है, और इसलिए इकाई अंतराल के लिए होमोमोर्फिक नहीं हो सकता है, जिसमें अंत बिंदुओं को छोड़कर सभी बिंदु कट-बिंदु होते हैं। गैर-शून्य क्षेत्र के गैर-स्व-अंतर्विभाजक वक्र मौजूद हैं,  ऑसगूड वक्र, लेकिन नेट्टो के प्रमेय के अनुसार वे अंतरिक्ष-भरने वाले नहीं हैं। क्लासिक पीनो और हिल्बर्ट स्पेस-फिलिंग कर्व्स के लिए, जहां दो सबक्र्स इंटरसेक्ट (तकनीकी अर्थ में) होते हैं, वहां सेल्फ-क्रॉसिंग के बिना सेल्फ-कॉन्टैक्ट होता है। एक स्पेस-फिलिंग कर्व (हर जगह) सेल्फ-क्रॉसिंग हो सकता है यदि इसके सन्निकटन वक्र सेल्फ-क्रॉसिंग हैं। जैसा कि ऊपर दिए गए आंकड़े बताते हैं, एक अंतरिक्ष-भरने वाले वक्र का अनुमान स्वयं से बचने वाला हो सकता है। 3 आयामों में, स्वयं से बचने वाले सन्निकटन घटता में गाँठ सिद्धांत  भी हो सकता है। सन्निकटन वक्र n-विमीय समष्टि के एक सीमित भाग के भीतर रहते हैं, लेकिन उनकी लंबाई बिना किसी बाध्यता के बढ़ जाती है।

स्पेस-फिलिंग कर्व्स भग्न वक्र  के विशेष मामले हैं। कोई अलग स्थान भरने वाला वक्र मौजूद नहीं हो सकता है। मोटे तौर पर, भिन्नता इस बात को बाध्य करती है कि वक्र कितनी तेजी से मुड़ सकता है। माइकल मोरेने ने साबित किया कि सातत्य परिकल्पना एक पीनो वक्र के अस्तित्व के बराबर है, जैसे कि वास्तविक रेखा के प्रत्येक बिंदु पर इसके घटकों में से कम से कम एक अवकलनीय है।

हैन-मजुर्कीविक्ज़ प्रमेय
हंस हैन (गणितज्ञ) स्टीफ़न मज़ुर्किविज़  प्रमेय रिक्त स्थान का निम्नलिखित लक्षण वर्णन है जो घटता की निरंतर छवि है:

रिक्त स्थान जो एक इकाई अंतराल की निरंतर छवि हैं, कभी-कभी पीनो रिक्त स्थान कहलाते हैं।

हन-मजुर्किविज़ प्रमेय के कई फॉर्मूलेशन में, दूसरे-गणनीय को मेट्रिज़ेबल द्वारा प्रतिस्थापित किया जाता है। ये दोनों सूत्र समतुल्य हैं। एक दिशा में एक कॉम्पैक्ट हॉसडॉर्फ स्पेस एक सामान्य स्थान  है और,  पावेल समुइलोविच उरीसोहन   मेट्रिज़ेशन प्रमेय  द्वारा, दूसरा-गणनीय तो मेट्रिज़ेबल का अर्थ है। इसके विपरीत, एक कॉम्पैक्ट मीट्रिक स्थान दूसरी-गणनीय है।

क्लेनियन समूह
दोगुने पतित क्लेनियन समूहों के सिद्धांत में अंतरिक्ष-भराव, या बल्कि गोलाकार-भराव के कई प्राकृतिक उदाहरण हैं। उदाहरण के लिए, ने दिखाया कि छद्म-एनोसोव मानचित्र के मानचित्रण टोरस  के फाइबर के सार्वभौमिक कवर के अनंत पर सर्कल एक गोलाकार-भरने वाला वक्र है। (यहाँ गोला अतिपरवलयिक स्थान के अनंत पर स्थित गोला है। अतिपरवलयिक 3-स्थान।)

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

यह भी देखें

 * ड्रैगन वक्र
 * गोस्पर वक्र
 * हिल्बर्ट वक्र
 * कोच वक्र
 * मूर वक्र
 * मरे बहुभुज
 * सिएरपिन्स्की वक्र
 * अंतरिक्ष भरने वाला पेड़
 * स्थानिक सूचकांक
 * हिल्बर्ट आर-ट्री
 * बीएक्स-पेड़|बीx-पेड़
 * जेड-ऑर्डर (वक्र) (मॉर्टन ऑर्डर)
 * तोप-थर्स्टन नक्शा
 * हॉसडॉर्फ आयाम द्वारा भग्नों की सूची

बाहरी संबंध

 * Multidimensional Space-Filling Curves
 * Proof of the existence of a bijection at cut-the-knot

Java applets:
 * Peano Plane Filling Curves at cut-the-knot
 * Hilbert's and Moore's Plane Filling Curves at cut-the-knot
 * All Peano Plane Filling Curves at cut-the-knot