कैंटर फलन

गणित में, कैंटर फलन एक फलन (गणित) का उदाहरण है जो सतत फलन है, लेकिन निरपेक्ष सांतत्य नहीं है। यह विश्लेषण में विशेष रूप से प्रतिउदाहरण है, क्योंकि यह सतत, व्युत्पन्न और माप के बारे में अनुभवहीन अंतर्ज्ञान को चुनौती देता है। हालाँकि यह हर जगह सतत है और इसका लगभग हर जगह शून्य व्युत्पन्न है, फिर भी इसका मान 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$$.

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

मान लीजिये f0(x) = x.

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

मान लीजिये fn+1(x) = 1/2 × fn(3x), जब 0 ≤ x ≤ 1/3&thinsp;;

मान लीजिये fn+1(x) = 1/2,, जब 1/3 ≤ x ≤ 2/3&thinsp;;

मान लीजिये fn+1(x) = 1/2 + 1/2 × fn(3 x − 2),  जब 2/3 ≤ x ≤ 1.

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

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

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



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.$$ पर विचार करें सबस्क्रिप्ट C और D जोड़ना, और स्पष्टता के लिए, कंपोज़िशन ऑपरेटर $$\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$$

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

कुछ सांकेतिक पुनर्व्यवस्थाएं उपरोक्त को व्यक्त करना थोड़ा आसान बना सकती हैं। मान लीजिये $$g_0$$ और $$g_1$$ L और R के लिए है। फलन संरचना इसे एकाभ तक विस्तारित करती है, जिसमें कोई भी लिख सकता है $$g_{010}=g_0g_1g_0$$ और आम तौर पर, $$g_Ag_B=g_{AB}$$ अंक A, B की कुछ द्विआधारी स्ट्रिंग के लिए, जहां AB ऐसी स्ट्रिंग का सामान्य संयोजन है। द्वैयकीय एकाभ M तब ऐसी सभी परिमित-लंबाई वाली बाएँ-दाएँ का एकाभ है। $$\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 का द्विआधारी अंक bk ∈ {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, Cz(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.