कैंटर फलन

गणित में, कैंटर फलन एक फलन (गणित) का उदाहरण है जो सतत फलन है, लेकिननिरपेक्ष सांतत्य नहीं है। यह विश्लेषण में विशेष रूप से प्रतिउदाहरण है, क्योंकि यह सतत, व्युत्पन्न और माप के बारे में अनुभवहीन अंतर्ज्ञान को चुनौती देता है। हालाँकि यह हर जगह सतत है और इसका लगभग हर जगह शून्य व्युत्पन्न है, फिर भी इसका मान 0 से 1 हो जाता है क्योंकि इसका तर्क 0 से 1 तक पहुँच जाता है। इस प्रकार, एक अर्थ में फलन बहुत हद तक स्थिरांक जैसा लगता है जो बढ़ नहीं सकता है, और दूसरे में, यह वास्तव में दिष्ट रूप से बढ़ता है।

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

परिभाषा
कैंटर फलन को परिभाषित करने के लिए $$c:[0,1]\to[0,1]$$, मान लीजिये $$x$$ ,$$[0,1]$$ में कोई भी संख्या हो और प्राप्त $$c(x)$$ है निम्नलिखित चरणों द्वारा:


 * 1) $$x$$ आधार 3 में अभिव्यक्त करना।
 * 2) यदि आधार-3 का प्रतिरूपण $$x$$ में 1 है, प्रत्येक अंक के पहले 1 को 0 से बदलें।
 * 3) किसी भी शेष 2s को 1s से बदलें।
 * 4) परिणाम को द्विआधारी संख्या के रूप में समझें। परिणाम $$c(x)$$ है।

उदाहरण के लिए:
 * $$\tfrac14$$ इसका त्रिक प्रतिरूपण 0.02020202 है... कोई 1s नहीं है इसलिए अगला चरण अभी भी 0.02020202 है... इसे 0.01010101 के रूप में फिर से लिखा गया है... यह $$\tfrac13$$ का द्विआधारी प्रतिरूपण है, इसलिए $$c(\tfrac14)=\tfrac13$$।
 * $$\tfrac15$$ इसका त्रिक प्रतिरूपण 0.01210121 है... पहले 1 के बाद के अंकों को 0s से प्रतिस्थापित करके 0.01000000 उत्पन्न किया जाता है... इसे दोबारा नहीं लिखा गया है क्योंकि इसमें कोई 2s नहीं है। यह $$\tfrac14$$ का द्विआधारी प्रतिरूपण है, इसलिए $$c(\tfrac15)=\tfrac14$$।
 * $$\tfrac{200}{243}$$ इसका त्रिक प्रतिरूपण 0.21102 (या 0.211012222...) है। 0.21 उत्पन्न करने के लिए पहले 1 के बाद के अंकों को 0s से प्रतिस्थापित किया जाता है। इसे 0.11 के रूप में पुनः लिखा गया है। यह $$\tfrac34$$ का द्विआधारी प्रतिरूपण है, इसलिए $$c(\tfrac{200}{243})=\tfrac34$$।

समान रूप से, यदि $$\mathcal{C}$$ कैंटर समुच्चय [0,1] है, फिर कैंटर फलन को $$c:[0,1]\to[0,1]$$ के रूप में परिभाषित किया जा सकता है


 * $$c(x) =\begin{cases}

\sum_{n=1}^\infty \frac{a_n}{2^n}, & x = \sum_{n=1}^\infty \frac{2a_n}{3^n}\in\mathcal{C}\ \mathrm{for}\ a_n\in\{0,1\}; \\  \sup_{y\leq x,\, y\in\mathcal{C}} c(y), & x\in [0,1]\setminus \mathcal{C}.\\ \end{cases} $$ यह सूत्र अच्छी तरह से परिभाषित है, क्योंकि कैंटर समुच्चय के प्रत्येक सदस्य का एक अद्वितीय आधार 3 प्रतिरूपण होता है जिसमें केवल अंक 0 या 2 होते हैं। (कुछ सदस्यों के लिए) $$\mathcal{C}$$, त्रिक विस्तार 2's के अनुगामी के साथ दोहराया जा रहा है और 1 में समाप्त होने वाला वैकल्पिक गैर-दोहराया जाने वाला विस्तार है। उदाहरण के लिए, $$\tfrac13$$ = 0.13 = 0.02222...3 कैंटर समुच्चय का सदस्य है)। तब से $$c(0)=0$$ और $$c(1)=1$$, और $$c$$ पर $$\mathcal{C}$$ एकदिष्ट है, यह स्पष्ट है कि $$0\le c(x)\le 1$$ सभी $$x\in[0,1]\setminus\mathcal{C}$$ के लिए भी धारण करता है।

गुण
कैंटर फलन सतत फलन और माप (गणित) के बारे में अनुभवहीन अंतर्ज्ञान को चुनौती देता है; यद्यपि यह हर जगह सतत है और लगभग हर जगह इसका व्युत्पन्न शून्य है, $c(x)$ 0 से 1 तक चला जाता है $x$, 0 से 1 तक जाता है, और बीच में प्रत्येक मान लेता है। कैंटर फलन वास्तविक फलन का सबसे अक्सर उद्धृत उदाहरण है जो एकसमान सतत है (सटीकता से, यह घातांक α = log 2/log 3 का होल्डर सतत है) लेकिन निरपेक्ष सांतत्य नहीं है। यह फॉर्म के अंतराल पर स्थिर है (0.x1x2x3...xn022222..., 0.x1x2x3....xn200000...), और कैंटर समुच्चय में मौजूद प्रत्येक बिंदु इन अंतरालों में से एक में नहीं है, इसलिए इसका व्युत्पन्न कैंटर समुच्चय के बाहर 0 है। दूसरी ओर, ऊपर वर्णित अंतराल समापन बिंदु वाले कैंटर समुच्चय के अगणनीय उपसमुच्चय में किसी भी बिंदु पर इसका कोई व्युत्पन्न नहीं है।

कैंटर फलन को कैंटर समुच्चय पर समर्थित 1/2-1/2 बर्नौली माप μ के संचयी वितरण फलन के रूप में भी देखा जा सकता है: $c(x)=\mu([0,x])$ । इस संभाव्यता वितरण, जिसे कैंटर वितरण कहा जाता है, का कोई अलग भाग नहीं है। अर्थात् संगत माप परमाणु (माप सिद्धांत) है। यही कारण है कि फलन में कोई वृद्धि असंततता नहीं है; ऐसी कोई भी वृद्धि माप में एक परमाणु के अनुरूप होगी।

हालाँकि, कैंटर फलन के किसी भी गैर-स्थिर भाग को संभाव्यता घनत्व फलन के अभिन्न अंग के रूप में प्रस्तुत नहीं किया जा सकता है; किसी भी अनुमानित संभाव्यता घनत्व फलन को एकीकृत करना जो किसी भी अंतराल पर लगभग हर जगह शून्य नहीं है, कुछ अंतराल को सुनिश्चित संभावना देगा जिसके लिए यह वितरण संभाव्यता शून्य प्रदान करता है। विशेष रूप से, जैसे बताया गया है, फलन इसके व्युत्पन्न का अभिन्न अंग नहीं है, भले ही व्युत्पन्न लगभग हर जगह मौजूद है।

कैंटर फलन एकल फलन का मानक उदाहरण है।

कैंटर फलन गैर-न्यूनता नहीं है, और इसलिए विशेष रूप से इसका ग्राफ संशोधनीय वक्र को परिभाषित करता है। दिखाया कि इसके ग्राफ की चाप लंबाई 2 है। ध्यान दें कि किसी भी गैर-न्यूनता फलन का ग्राफ ऐसा है कि $$f(0)=0$$ और $$f(1)=1$$ इसकी लंबाई 2 से अधिक नहीं है। इस अर्थ में, कैंटर फलन चरम है।

निरपेक्ष सांतत्य का अभाव
क्योंकि अगणनीय समुच्चय कैंटर समुच्चय का लेब्सेग माप 0 है, किसी भी सुनिश्चित ε < 1 और δ के लिए, कुल लंबाई <δ के साथ युग्‍मानूसार असंयुक्त उप-अंतराल का सीमित अनुक्रम मौजूद है, जिस पर कैंटर फलन संचयी रूप से ε से अधिक बढ़ जाता है।

वास्तव में, प्रत्येक δ > 0 के लिए परिमित रूप से कई युग्‍मानूसार असंयुक्त अंतराल (xk,yk) (1 ≤ k ≤ M) के साथ होते हैं $$\sum\limits_{k=1}^M (y_k-x_k)<\delta$$ और $$\sum\limits_{k=1}^M (c(y_k)-c(x_k))=1$$.

पुनरावृत्तीय निर्माण
नीचे हम एक अनुक्रम परिभाषित करते हैं {एफnइकाई अंतराल पर कार्यों का } जो कैंटर फलन में परिवर्तित होता है।

चलो एफ0(एक्स) = एक्स.

फिर, प्रत्येक पूर्णांक के लिए n &ge; 0, अगला फलन fn+1(x) को f के संदर्भ में परिभाषित किया जाएगाn(एक्स) इस प्रकार है:

चलो एफn+1(x)= 1/2 &times; fn(3x), कब 0 ≤ x ≤ 1/3&thinsp;;

चलो एफn+1(x)= 1/2, कब 1/3 ≤ x ≤ 2/3&thinsp;;

चलो एफn+1(x)= 1/2 + 1/2 &times; fn(3&thinsp;x &minus; 2), कब 2/3 ≤ x ≤ 1.

तीन परिभाषाएँ अंत-बिंदु 1/3 और 2/3 पर संगत हैं, क्योंकि fn(0)=0 और एफn(1)=प्रत्येक एन के लिए 1, प्रेरण द्वारा। कोई यह जांच सकता है कि एफn ऊपर परिभाषित कैंटर फलन में बिंदुवार अभिसरण होता है। इसके अलावा, अभिसरण एक समान है। दरअसल, एफ की परिभाषा के अनुसार, तीन मामलों में अलग करनाn+1, कोई उसे देखता है


 * $$\max_{x \in [0, 1]} |f_{n+1}(x) - f_n(x)| \le \frac 1 2 \, \max_{x \in [0, 1]} |f_{n}(x) - f_{n-1}(x)|, \quad n \ge 1.$$

यदि f सीमा फलन को दर्शाता है, तो यह इस प्रकार है कि, प्रत्येक n ≥ 0 के लिए,


 * $$\max_{x \in [0, 1]} |f(x) - f_n(x)| \le 2^{-n+1} \, \max_{x \in [0, 1]} |f_1(x) - f_0(x)|.$$

इसके अलावा आरंभिक फलन का चुनाव वास्तव में कोई मायने नहीं रखता, बशर्ते कि एफ0(0)=0, एफ0(1)=1 और एफ0 बंधा हुआ फलन है.

भग्न आयतन
कैंटर फलन का कैंटर समुच्चय से गहरा संबंध है। कैंटर समुच्चय सी को अंतराल [0,1] में उन संख्याओं के समुच्चय के रूप में परिभाषित किया जा सकता है, जिनके आधार (घातांक) | आधार-3 (त्रिकोणीय) विस्तार में अंक 1 शामिल नहीं है, सिवाय इसके कि 1 के बाद आता है केवल शून्य (जिस स्थिति में पुच्छ 1000$$\ldots$$ 0222 द्वारा प्रतिस्थापित किया जा सकता है$$\ldots$$ किसी एक से छुटकारा पाने के लिए 1). यह पता चला है कि कैंटर समुच्चय एक भग्न  है जिसमें (अगणनीय) अनंत कई बिंदु (शून्य-आयामी मात्रा) हैं, लेकिन शून्य लंबाई (एक-आयामी मात्रा) है। केवल डी-आयामी आयतन $$ H_D $$ (हॉसडॉर्फ़ आयाम के अर्थ में|हॉसडॉर्फ़-माप) एक सीमित मान लेता है, जहां $$ D = \log(2)/\log(3) $$ सी का फ्रैक्टल आयाम है। हम कैंटर फलन को कैंटर समुच्चय के अनुभागों के डी-आयामी वॉल्यूम के रूप में वैकल्पिक रूप से परिभाषित कर सकते हैं



f(x)=H_D(C \cap (0,x)). $$

स्वयं-समानता
कैंटर फलन में कई समरूपताएं होती हैं। के लिए $$0\le x\le 1$$, एक प्रतिबिंब समरूपता है
 * $$c(x)=1-c(1-x)$$

और आवर्धन की एक जोड़ी, एक बाईं ओर और एक दाईं ओर:
 * $$c\left(\frac{x}{3}\right) = \frac{c(x)}{2}$$

और
 * $$c\left(\frac{x+2}{3}\right) = \frac{1+c(x)}{2}$$

आवर्धन को कैस्केड किया जा सकता है; वे डायडिक मोनोइड उत्पन्न करते हैं। इसे कई सहायक कार्यों को परिभाषित करके प्रदर्शित किया जाता है। प्रतिबिंब को इस प्रकार परिभाषित करें
 * $$r(x)=1-x$$

प्रथम स्व-समरूपता को इस प्रकार व्यक्त किया जा सकता है
 * $$r\circ c = c\circ r$$

जहां प्रतीक $$\circ$$ फलन संरचना को दर्शाता है। वह है, $$(r\circ c)(x)=r(c(x))=1-c(x)$$ और इसी तरह अन्य मामलों के लिए भी। बाएँ और दाएँ आवर्धन के लिए, बाएँ-मैपिंग लिखें
 * $$L_D(x)= \frac{x}{2}$$ और $$L_C(x)= \frac{x}{3}$$

तब कैंटर फलन का पालन होता है
 * $$L_D \circ c = c \circ L_C$$

इसी प्रकार, सही मैपिंग को इस प्रकार परिभाषित करें
 * $$R_D(x)= \frac{1+x}{2}$$ और $$R_C(x)= \frac{2+x}{3}$$

फिर, इसी तरह,
 * $$R_D \circ c = c \circ R_C$$

उसमें दोनों पक्षों को एक दूसरे पर प्रतिबिंबित किया जा सकता है
 * $$L_D \circ r = r\circ R_D$$

और इसी तरह,
 * $$L_C \circ r = r\circ R_C$$

इन परिचालनों को मनमाने ढंग से स्टैक किया जा सकता है। उदाहरण के लिए, बाएँ-दाएँ चालों के क्रम पर विचार करें $$LRLLR.$$ सबस्क्रिप्ट सी और डी जोड़ना, और, स्पष्टता के लिए, कंपोज़िशन ऑपरेटर को हटाना $$\circ$$ कुछ स्थानों को छोड़कर सभी में, एक है:
 * $$L_D R_D L_D L_D R_D \circ c = c \circ L_C R_C L_C L_C R_C$$

एल और आर अक्षरों में मनमाना परिमित-लंबाई वाले तार डायडिक परिमेय के अनुरूप हैं, जिसमें प्रत्येक डायडिक परिमेय को दोनों के रूप में लिखा जा सकता है $$y=n/2^m$$ पूर्णांक n और m के लिए और बिट्स की सीमित लंबाई के रूप में $$y=0.b_1b_2b_3\cdots b_m$$ साथ $$b_k\in \{0,1\}.$$ इस प्रकार, प्रत्येक डायडिक परिमेय कैंटर फलन की कुछ आत्म-समरूपता के साथ एक-से-एक पत्राचार में है।

कुछ सांकेतिक पुनर्व्यवस्थाएं उपरोक्त को व्यक्त करना थोड़ा आसान बना सकती हैं। मान लीजिये$$g_0$$ और $$g_1$$ एल और आर के लिए खड़ा है। फलन संरचना इसे एक मोनोइड तक विस्तारित करती है, जिसमें कोई भी लिख सकता है $$g_{010}=g_0g_1g_0$$ और आम तौर पर, $$g_Ag_B=g_{AB}$$ अंक ए, बी की कुछ द्विआधारी स्ट्रिंग के लिए, जहां एबी ऐसी स्ट्रिंग का सामान्य संयोजन है। डायडिक मोनॉइड एम तब ऐसी सभी परिमित-लंबाई वाली बाएँ-दाएँ चालों का मोनॉइड है। लिखना $$\gamma\in M$$ मोनॉइड के एक सामान्य तत्व के रूप में, कैंटर फलन की एक समान आत्म-समरूपता है:
 * $$\gamma_D\circ c= c\circ \gamma_C$$

डायडिक मोनॉइड में स्वयं कई दिलचस्प गुण हैं। इसे एक अनंत द्विआधारी वृक्ष  के नीचे बाएँ-दाएँ चालों की एक सीमित संख्या के रूप में देखा जा सकता है; पेड़ पर असीम रूप से दूर की पत्तियाँ कैंटर समुच्चय के बिंदुओं से मेल खाती हैं, और इसलिए, मोनॉइड कैंटर समुच्चय की आत्म-समरूपता का भी प्रतिरूपण करता है। वास्तव में, आमतौर पर पाए जाने वाले फ्रैक्टल्स के एक बड़े वर्ग का वर्णन डायडिक मोनॉयड द्वारा किया जाता है; अतिरिक्त उदाहरण राम का वक्र पर लेख में पाए जा सकते हैं। आत्म-समानता रखने वाले अन्य फ्रैक्टल्स को अन्य प्रकार के मोनोइड्स के साथ वर्णित किया गया है। डायडिक मोनॉइड स्वयं मॉड्यूलर समूह का एक उप-मोनॉइड है $$SL(2,\mathbb{Z}).$$ ध्यान दें कि कैंटर फलन मिंकोव्स्की के प्रश्न-चिह्न फलन से कहीं अधिक समानता रखता है। विशेष रूप से, यह बिल्कुल उसी समरूपता संबंधों का पालन करता है, यद्यपि परिवर्तित रूप में।

सामान्यीकरण
होने देना


 * $$y=\sum_{k=1}^\infty b_k 2^{-k}$$

वास्तविक संख्या 0 ≤ y ≤ 1 का द्विआधारी अंक b के संदर्भ में द्विघात परिमेय (द्विआधारी) विस्तार होk ∈ {0,1}. डायडिक परिवर्तन पर लेख में इस विस्तार पर अधिक विस्तार से चर्चा की गई है। फिर फलन पर विचार करें


 * $$C_z(y)=\sum_{k=1}^\infty b_k z^{k}.$$

Z = 1/3 के लिए, फलन का व्युत्क्रम x = 2 C1/3(y) कैंटर फलन है। अर्थात्, y = y(x) कैंटर फलन है। सामान्य तौर पर, किसी भी z<1/2, C के लिएz(y) ऐसा लगता है जैसे कैंटर फलन अपनी तरफ मुड़ गया है, जैसे-जैसे z शून्य के करीब पहुंचता है, चरणों की चौड़ाई चौड़ी होती जाती है।

जैसा कि ऊपर उल्लेख किया गया है, कैंटर फलन कैंटर समुच्चय पर एक माप का संचयी वितरण फलन भी है। कैंटर समुच्चय या अन्य फ्रैक्टल्स पर समर्थित विभिन्न परमाणु-कम संभाव्यता उपायों पर विचार करके विभिन्न कैंटर फ़ंक्शंस, या डेविल्स स्टेरकेस प्राप्त की जा सकती हैं। जबकि कैंटर फलन में लगभग हर जगह व्युत्पन्न 0 है, वर्तमान शोध उन बिंदुओं के समुच्चय के आकार के सवाल पर केंद्रित है जहां ऊपरी दाएं व्युत्पन्न निचले दाएं व्युत्पन्न से अलग है, जिससे व्युत्पन्न मौजूद नहीं है। भिन्नता का यह विश्लेषण आमतौर पर फ्रैक्टल आयाम के संदर्भ में दिया जाता है, जिसमें हॉसडॉर्फ आयाम सबसे लोकप्रिय विकल्प है। अनुसंधान की यह श्रृंखला 1990 के दशक में डर्स्ट द्वारा शुरू की गई थी, जिन्होंने दिखाया कि कैंटर फलन की गैर-भिन्नता के समुच्चय का हॉसडॉर्फ आयाम कैंटर समुच्चय के आयाम का वर्ग है, $$(\log2/\log3)^2$$. इसके बाद केनेथ फाल्कनर (गणितज्ञ) पता चला कि यह वर्ग संबंध अहलफोर के सभी नियमित, एकल उपायों के लिए लागू होता है, अर्थात।$$\dim_H\left\{x : f'(x)=\lim_{h\to0^+}\frac{\mu([x,x+h])}{h}\text{ does not exist}\right\}=\left(\dim_H\operatorname{supp}(\mu)\right)^2$$बाद में, ट्रोस्चिट समुच्चय की अधिक व्यापक तस्वीर प्राप्त करें जहां स्व-अनुरूप और स्व-समानता | स्व-समान समुच्चय पर समर्थित अधिक सामान्यीकृत गिब के उपायों के लिए व्युत्पन्न मौजूद नहीं है।

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

यह भी देखें

 * डायडिक परिवर्तन
 * वीयरस्ट्रैस फलन, एक ऐसा फलन जो हर जगह सतत है लेकिन कहीं भी भिन्न नहीं है।

संदर्भ

 * Reprinted in: E. Zermelo (Ed.), Gesammelte Abhandlungen Mathematischen und Philosophischen Inhalts, Springer, New York, 1980.
 * Reprinted in: E. Zermelo (Ed.), Gesammelte Abhandlungen Mathematischen und Philosophischen Inhalts, Springer, New York, 1980.

बाहरी संबंध

 * Cantor ternary function at Encyclopaedia of Mathematics
 * Cantor Function by Douglas Rivers, the Wolfram Demonstrations Project.