कैंटर फलन: Difference between revisions

From Vigyanwiki
(Created page with "{{Use American English|date = March 2019}} {{Short description|Continuous function that is not absolutely continuous}} File:CantorEscalier-2.svg|thumb|right|400px|[[इक...")
 
(text)
Line 1: Line 1:
{{Use American English|date = March 2019}}
 
{{Short description|Continuous function that is not absolutely continuous}}
{{Short description|Continuous function that is not absolutely continuous}}
[[File:CantorEscalier-2.svg|thumb|right|400px|[[इकाई अंतराल]] पर कैंटर फ़ंक्शन का ग्राफ़]]गणित में, कैंटर फ़ंक्शन एक [[फ़ंक्शन (गणित)]] का एक उदाहरण है जो निरंतर फ़ंक्शन है, लेकिन [[पूर्ण निरंतरता]] नहीं है। यह विश्लेषण में एक कुख्यात पैथोलॉजिकल_(गणित)#पैथोलॉजिकल_उदाहरण है, क्योंकि यह निरंतरता, व्युत्पन्न और माप के बारे में अनुभवहीन अंतर्ज्ञान को चुनौती देता है। हालाँकि यह हर जगह निरंतर है और इसका लगभग हर जगह शून्य व्युत्पन्न है, फिर भी इसका मान 0 से 1 हो जाता है क्योंकि इसका तर्क 0 से 1 तक पहुँच जाता है। इस प्रकार, एक अर्थ में फ़ंक्शन बहुत हद तक एक स्थिरांक जैसा लगता है जो बढ़ नहीं सकता है, और दूसरे में , यह वास्तव में नीरस रूप से बढ़ता है।
[[File:CantorEscalier-2.svg|thumb|right|400px|[[इकाई अंतराल]] पर कैंटर फलन का ग्राफ़]]गणित में, '''कैंटर फलन''' एक [[फ़ंक्शन (गणित)|फलन (गणित)]] का उदाहरण है जो सतत फलन है, लेकिन[[पूर्ण निरंतरता|निरपेक्ष सांतत्य]] नहीं है। यह विश्लेषण में विशेष रूप से प्रतिउदाहरण है, क्योंकि यह सतत, व्युत्पन्न और माप के बारे में अनुभवहीन अंतर्ज्ञान को चुनौती देता है। हालाँकि यह हर जगह सतत है और इसका लगभग हर जगह शून्य व्युत्पन्न है, फिर भी इसका मान 0 से 1 हो जाता है क्योंकि इसका तर्क 0 से 1 तक पहुँच जाता है। इस प्रकार, एक अर्थ में फलन बहुत हद तक स्थिरांक जैसा लगता है जो बढ़ नहीं सकता है, और दूसरे में , यह वास्तव में दिष्ट रूप से बढ़ता है।


इसे कैंटर टर्नरी फ़ंक्शन, लेबेस्ग्यू फ़ंक्शन भी कहा जाता है।<ref>{{harvnb|Vestrup|2003|loc=Section 4.6.}}</ref> लेबेस्ग्यू का विलक्षण कार्य, कैंटोर-विटाली फ़ंक्शन, शैतान की सीढ़ी,<ref>{{harvnb|Thomson|Bruckner|Bruckner|2008|p=252}}.</ref> कैंटर सीढ़ी समारोह,<ref>{{Cite web|url=http://mathworld.wolfram.com/CantorStaircaseFunction.html|title=Cantor Staircase Function}}</ref> और कैंटर-लेब्सग फ़ंक्शन।<ref>{{harvnb|Bass|2013|p=28}}.</ref> {{harvs|txt|first=Georg |last=Cantor|authorlink=Georg Cantor|year=1884}} ने कैंटर फ़ंक्शन की शुरुआत की और उल्लेख किया कि शेफ़र ने बताया कि यह [[कार्ल गुस्ताव एक्सल हार्नैक]] द्वारा दावा किए गए कैलकुलस के मौलिक प्रमेय के विस्तार का एक प्रति उदाहरण था। कैंटर समारोह पर चर्चा की गई और इसे लोकप्रिय बनाया गया {{harvtxt|Scheeffer|1884}}, {{harvtxt|Lebesgue|1904}} और {{harvtxt|Vitali|1905}}.
इसे '''कैंटर टर्नरी फलन''', '''लेबेस्ग्यू फलन''' भी कहा जाता है।<ref>{{harvnb|Vestrup|2003|loc=Section 4.6.}}</ref> '''लेबेस्ग्यू एकल फलन, कैंटोर-विटाली फलन, डेविल्स स्टेरकेस''',<ref>{{harvnb|Thomson|Bruckner|Bruckner|2008|p=252}}.</ref> '''कैंटर स्टेरकेस फलन''',<ref>{{Cite web|url=http://mathworld.wolfram.com/CantorStaircaseFunction.html|title=Cantor Staircase Function}}</ref> और '''कैंटर-लेब्सग फल'''न भी कहा जाता है।<ref>{{harvnb|Bass|2013|p=28}}.</ref> {{harvs|txt|first=जॉर्ज कैंटर |last=Cantor|authorlink=जॉर्ज कैंटर|year=1884}} ने कैंटर फलन प्रारंभ हुआ और उल्लेख किया कि शेफ़र ने बताया कि यह [[कार्ल गुस्ताव एक्सल हार्नैक]] द्वारा दावा किए गए कलन का मूलभूत प्रमेय के विस्तार का प्रति उदाहरण था। कैंटर फलन पर {{harvtxt|शेफ़र |1884}}, {{harvtxt|लेब्सग्यू|1904}} और {{harvtxt|विटाली|1905}} द्वारा चर्चा की गई और इसे लोकप्रिय बनाया गया है।


==परिभाषा==
==परिभाषा==
[[File:Cantor function.gif|thumb|upright=1.35|कैंटर फ़ंक्शन का पुनरावृत्त निर्माण]]कैंटर फ़ंक्शन को परिभाषित करने के लिए <math>c:[0,1]\to[0,1]</math>, होने देना <math>x</math> में कोई भी संख्या हो <math>[0,1]</math> और प्राप्त करें <math>c(x)</math> निम्नलिखित चरणों द्वारा:
[[File:Cantor function.gif|thumb|upright=1.35|कैंटर फलन का पुनरावृत्त निर्माण]]कैंटर फलन को परिभाषित करने के लिए <math>c:[0,1]\to[0,1]</math>, होने देना <math>x</math> में कोई भी संख्या हो <math>[0,1]</math> और प्राप्त करें <math>c(x)</math> निम्नलिखित चरणों द्वारा:


#अभिव्यक्त करना <math>x</math> आधार 3 में.
#अभिव्यक्त करना <math>x</math> आधार 3 में.
Line 18: Line 18:
*<math>\tfrac{200}{243}</math> त्रिक प्रतिनिधित्व 0.21102 (या 0.211012222...) है। 0.21 उत्पन्न करने के लिए पहले 1 के बाद के अंकों को 0 से प्रतिस्थापित किया जाता है। इसे 0.11 के रूप में पुनः लिखा गया है। यह का द्विआधारी प्रतिनिधित्व है <math>\tfrac34</math>, इसलिए <math>c(\tfrac{200}{243})=\tfrac34</math>.
*<math>\tfrac{200}{243}</math> त्रिक प्रतिनिधित्व 0.21102 (या 0.211012222...) है। 0.21 उत्पन्न करने के लिए पहले 1 के बाद के अंकों को 0 से प्रतिस्थापित किया जाता है। इसे 0.11 के रूप में पुनः लिखा गया है। यह का द्विआधारी प्रतिनिधित्व है <math>\tfrac34</math>, इसलिए <math>c(\tfrac{200}{243})=\tfrac34</math>.


समान रूप से, यदि <math>\mathcal{C}</math> कैंटर को [0,1] पर सेट किया गया है, फिर कैंटर फ़ंक्शन को <math>c:[0,1]\to[0,1]</math> के रूप में परिभाषित किया जा सकता है
समान रूप से, यदि <math>\mathcal{C}</math> कैंटर को [0,1] पर सेट किया गया है, फिर कैंटर फलन को <math>c:[0,1]\to[0,1]</math> के रूप में परिभाषित किया जा सकता है


:<math>c(x) =\begin{cases}  
:<math>c(x) =\begin{cases}  
Line 28: Line 28:


==गुण==
==गुण==
कैंटर फ़ंक्शन निरंतर फ़ंक्शन और [[माप (गणित)]] के बारे में अनुभवहीन अंतर्ज्ञान को चुनौती देता है; यद्यपि यह हर जगह निरंतर है और [[लगभग हर जगह]] इसका व्युत्पन्न शून्य है, <math display="inline">c(x)</math> 0 से 1 तक चला जाता है <math display="inline>x</math> 0 से 1 तक जाता है, और बीच में प्रत्येक मान लेता है। कैंटर फ़ंक्शन एक वास्तविक फ़ंक्शन का सबसे अक्सर उद्धृत उदाहरण है जो [[समान रूप से निरंतर]] है (सटीकता से, यह घातांक α = log 2/log 3 का होल्डर निरंतर है) लेकिन पूर्ण निरंतरता नहीं है। यह फॉर्म के अंतराल पर स्थिर है (0.x<sub>1</sub>x<sub>2</sub>x<sub>3</sub>...एक्स<sub>n</sub>022222..., 0.x<sub>1</sub>x<sub>2</sub>x<sub>3</sub>...एक्स<sub>n</sub>200000...), और कैंटर सेट में मौजूद प्रत्येक बिंदु इन अंतरालों में से एक में नहीं है, इसलिए इसका व्युत्पन्न कैंटर सेट के बाहर 0 है। दूसरी ओर, ऊपर वर्णित अंतराल समापन बिंदु वाले कैंटर सेट के [[बेशुमार]] उपसमुच्चय में किसी भी बिंदु पर इसका कोई व्युत्पन्न नहीं है।
कैंटर फलन सतत फलन और [[माप (गणित)]] के बारे में अनुभवहीन अंतर्ज्ञान को चुनौती देता है; यद्यपि यह हर जगह सतत है और [[लगभग हर जगह]] इसका व्युत्पन्न शून्य है, <math display="inline">c(x)</math> 0 से 1 तक चला जाता है <math display="inline>x</math> 0 से 1 तक जाता है, और बीच में प्रत्येक मान लेता है। कैंटर फलन एक वास्तविक फलन का सबसे अक्सर उद्धृत उदाहरण है जो [[समान रूप से निरंतर|समान रूप से सतत]] है (सटीकता से, यह घातांक α = log 2/log 3 का होल्डर सतत है) लेकिन निरपेक्ष सांतत्य नहीं है। यह फॉर्म के अंतराल पर स्थिर है (0.x<sub>1</sub>x<sub>2</sub>x<sub>3</sub>...एक्स<sub>n</sub>022222..., 0.x<sub>1</sub>x<sub>2</sub>x<sub>3</sub>...एक्स<sub>n</sub>200000...), और कैंटर सेट में मौजूद प्रत्येक बिंदु इन अंतरालों में से एक में नहीं है, इसलिए इसका व्युत्पन्न कैंटर सेट के बाहर 0 है। दूसरी ओर, ऊपर वर्णित अंतराल समापन बिंदु वाले कैंटर सेट के [[बेशुमार]] उपसमुच्चय में किसी भी बिंदु पर इसका कोई व्युत्पन्न नहीं है।


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


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


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


कैंटर फ़ंक्शन गैर-घटता नहीं है, और इसलिए विशेष रूप से इसका ग्राफ एक [[सुधार योग्य वक्र]] को परिभाषित करता है।  {{harvtxt|Scheeffer|1884}}दिखाया कि इसके ग्राफ की चाप लंबाई 2 है। ध्यान दें कि किसी भी गैर-घटते फ़ंक्शन का ग्राफ ऐसा है कि <math>f(0)=0</math> और <math>f(1)=1</math> इसकी लंबाई 2 से अधिक नहीं है। इस अर्थ में, कैंटर फ़ंक्शन चरम है।
कैंटर फलन गैर-घटता नहीं है, और इसलिए विशेष रूप से इसका ग्राफ एक [[सुधार योग्य वक्र]] को परिभाषित करता है।  {{harvtxt|Scheeffer|1884}}दिखाया कि इसके ग्राफ की चाप लंबाई 2 है। ध्यान दें कि किसी भी गैर-घटते फलन का ग्राफ ऐसा है कि <math>f(0)=0</math> और <math>f(1)=1</math> इसकी लंबाई 2 से अधिक नहीं है। इस अर्थ में, कैंटर फलन चरम है।


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


वास्तव में, प्रत्येक δ > 0 के लिए परिमित रूप से कई जोड़ीदार असंयुक्त अंतराल होते हैं (x<SUB>क</उप>,य<SUB>k</SUB>) (1 ≤ k ≤ M) के साथ <math>\sum\limits_{k=1}^M (y_k-x_k)<\delta</math> और <math>\sum\limits_{k=1}^M (c(y_k)-c(x_k))=1</math>.
वास्तव में, प्रत्येक δ > 0 के लिए परिमित रूप से कई जोड़ीदार असंयुक्त अंतराल होते हैं (x<SUB>क</उप>,य<SUB>k</SUB>) (1 ≤ k ≤ M) के साथ <math>\sum\limits_{k=1}^M (y_k-x_k)<\delta</math> और <math>\sum\limits_{k=1}^M (c(y_k)-c(x_k))=1</math>.
Line 46: Line 46:


=== पुनरावृत्तीय निर्माण ===
=== पुनरावृत्तीय निर्माण ===
[[File:Cantor function sequence.png|250px|right]]नीचे हम एक अनुक्रम परिभाषित करते हैं {एफ<sub>''n''</sub>इकाई अंतराल पर कार्यों का } जो कैंटर फ़ंक्शन में परिवर्तित होता है।
[[File:Cantor function sequence.png|250px|right]]नीचे हम एक अनुक्रम परिभाषित करते हैं {एफ<sub>''n''</sub>इकाई अंतराल पर कार्यों का } जो कैंटर फलन में परिवर्तित होता है।


चलो एफ<sub>0</sub>(एक्स) = एक्स.
चलो एफ<sub>0</sub>(एक्स) = एक्स.


फिर, प्रत्येक पूर्णांक के लिए {{nowrap|''n'' &ge; 0}}, अगला फ़ंक्शन f<sub>''n''+1</sub>(x) को f के संदर्भ में परिभाषित किया जाएगा<sub>''n''</sub>(एक्स) इस प्रकार है:
फिर, प्रत्येक पूर्णांक के लिए {{nowrap|''n'' &ge; 0}}, अगला फलन f<sub>''n''+1</sub>(x) को f के संदर्भ में परिभाषित किया जाएगा<sub>''n''</sub>(एक्स) इस प्रकार है:


चलो एफ<sub>''n''+1</sub>(x)= {{nowrap|1/2 &times; ''f''<sub>''n''</sub>(3''x'')}},  कब {{nowrap|0 ≤ ''x'' ≤ 1/3&thinsp;}};
चलो एफ<sub>''n''+1</sub>(x)= {{nowrap|1/2 &times; ''f''<sub>''n''</sub>(3''x'')}},  कब {{nowrap|0 ≤ ''x'' ≤ 1/3&thinsp;}};
Line 58: Line 58:
चलो एफ<sub>''n''+1</sub>(x)= {{nowrap|1/2 + 1/2  &times; ''f''<sub>''n''</sub>(3&thinsp;''x'' &minus; 2)}},  कब {{nowrap|2/3 ≤ ''x'' ≤ 1}}.
चलो एफ<sub>''n''+1</sub>(x)= {{nowrap|1/2 + 1/2  &times; ''f''<sub>''n''</sub>(3&thinsp;''x'' &minus; 2)}},  कब {{nowrap|2/3 ≤ ''x'' ≤ 1}}.


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


:<math>\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.</math>
:<math>\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.</math>
यदि f सीमा फ़ंक्शन को दर्शाता है, तो यह इस प्रकार है कि, प्रत्येक n ≥ 0 के लिए,
यदि f सीमा फलन को दर्शाता है, तो यह इस प्रकार है कि, प्रत्येक n ≥ 0 के लिए,


:<math>\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)|.</math>
:<math>\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)|.</math>
इसके अलावा आरंभिक फ़ंक्शन का चुनाव वास्तव में कोई मायने नहीं रखता, बशर्ते कि एफ<sub>0</sub>(0)=0, एफ<sub>0</sub>(1)=1 और एफ<sub>0</sub> [[बंधा हुआ कार्य]] है{{citation needed|date=September 2014}}.
इसके अलावा आरंभिक फलन का चुनाव वास्तव में कोई मायने नहीं रखता, बशर्ते कि एफ<sub>0</sub>(0)=0, एफ<sub>0</sub>(1)=1 और एफ<sub>0</sub> [[बंधा हुआ कार्य|बंधा हुआ फलन]] है{{citation needed|date=September 2014}}.


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


: <math>
: <math>
Line 75: Line 75:


==स्वयं-समानता==
==स्वयं-समानता==
कैंटर फ़ंक्शन में कई [[समरूपता]]एं होती हैं। के लिए <math>0\le x\le 1</math>, एक प्रतिबिंब समरूपता है
कैंटर फलन में कई [[समरूपता]]एं होती हैं। के लिए <math>0\le x\le 1</math>, एक प्रतिबिंब समरूपता है
:<math>c(x)=1-c(1-x)</math>
:<math>c(x)=1-c(1-x)</math>
और आवर्धन की एक जोड़ी, एक बाईं ओर और एक दाईं ओर:
और आवर्धन की एक जोड़ी, एक बाईं ओर और एक दाईं ओर:
Line 85: Line 85:
प्रथम स्व-समरूपता को इस प्रकार व्यक्त किया जा सकता है
प्रथम स्व-समरूपता को इस प्रकार व्यक्त किया जा सकता है
:<math>r\circ c = c\circ r</math>
:<math>r\circ c = c\circ r</math>
जहां प्रतीक <math>\circ</math> फ़ंक्शन संरचना को दर्शाता है। वह है, <math>(r\circ c)(x)=r(c(x))=1-c(x)</math> और इसी तरह अन्य मामलों के लिए भी। बाएँ और दाएँ आवर्धन के लिए, बाएँ-मैपिंग लिखें
जहां प्रतीक <math>\circ</math> फलन संरचना को दर्शाता है। वह है, <math>(r\circ c)(x)=r(c(x))=1-c(x)</math> और इसी तरह अन्य मामलों के लिए भी। बाएँ और दाएँ आवर्धन के लिए, बाएँ-मैपिंग लिखें
:<math>L_D(x)= \frac{x}{2}</math> और <math>L_C(x)= \frac{x}{3}</math>
:<math>L_D(x)= \frac{x}{2}</math> और <math>L_C(x)= \frac{x}{3}</math>
तब कैंटर फ़ंक्शन का पालन होता है
तब कैंटर फलन का पालन होता है
:<math>L_D \circ c = c \circ L_C</math>
:<math>L_D \circ c = c \circ L_C</math>
इसी प्रकार, सही मैपिंग को इस प्रकार परिभाषित करें
इसी प्रकार, सही मैपिंग को इस प्रकार परिभाषित करें
Line 99: Line 99:
इन परिचालनों को मनमाने ढंग से स्टैक किया जा सकता है। उदाहरण के लिए, बाएँ-दाएँ चालों के क्रम पर विचार करें <math>LRLLR.</math> सबस्क्रिप्ट सी और डी जोड़ना, और, स्पष्टता के लिए, कंपोज़िशन ऑपरेटर को हटाना <math>\circ</math> कुछ स्थानों को छोड़कर सभी में, एक है:
इन परिचालनों को मनमाने ढंग से स्टैक किया जा सकता है। उदाहरण के लिए, बाएँ-दाएँ चालों के क्रम पर विचार करें <math>LRLLR.</math> सबस्क्रिप्ट सी और डी जोड़ना, और, स्पष्टता के लिए, कंपोज़िशन ऑपरेटर को हटाना <math>\circ</math> कुछ स्थानों को छोड़कर सभी में, एक है:
:<math>L_D R_D L_D L_D R_D \circ c = c \circ L_C R_C L_C L_C R_C</math>
:<math>L_D R_D L_D L_D R_D \circ c = c \circ L_C R_C L_C L_C R_C</math>
एल और आर अक्षरों में मनमाना परिमित-लंबाई वाले तार डायडिक परिमेय के अनुरूप हैं, जिसमें प्रत्येक डायडिक परिमेय को दोनों के रूप में लिखा जा सकता है <math>y=n/2^m</math> पूर्णांक n और m के लिए और बिट्स की सीमित लंबाई के रूप में <math>y=0.b_1b_2b_3\cdots b_m</math> साथ <math>b_k\in \{0,1\}.</math> इस प्रकार, प्रत्येक डायडिक परिमेय कैंटर फ़ंक्शन की कुछ आत्म-समरूपता के साथ एक-से-एक पत्राचार में है।
एल और आर अक्षरों में मनमाना परिमित-लंबाई वाले तार डायडिक परिमेय के अनुरूप हैं, जिसमें प्रत्येक डायडिक परिमेय को दोनों के रूप में लिखा जा सकता है <math>y=n/2^m</math> पूर्णांक n और m के लिए और बिट्स की सीमित लंबाई के रूप में <math>y=0.b_1b_2b_3\cdots b_m</math> साथ <math>b_k\in \{0,1\}.</math> इस प्रकार, प्रत्येक डायडिक परिमेय कैंटर फलन की कुछ आत्म-समरूपता के साथ एक-से-एक पत्राचार में है।


कुछ सांकेतिक पुनर्व्यवस्थाएं उपरोक्त को व्यक्त करना थोड़ा आसान बना सकती हैं। होने देना <math>g_0</math> और <math>g_1</math> एल और आर के लिए खड़ा है। फ़ंक्शन संरचना इसे एक [[मोनोइड]] तक विस्तारित करती है, जिसमें कोई भी लिख सकता है <math>g_{010}=g_0g_1g_0</math> और आम तौर पर, <math>g_Ag_B=g_{AB}</math> अंक ए, बी की कुछ बाइनरी स्ट्रिंग के लिए, जहां एबी ऐसी स्ट्रिंग का सामान्य संयोजन है। डायडिक मोनॉइड एम तब ऐसी सभी परिमित-लंबाई वाली बाएँ-दाएँ चालों का मोनॉइड है। लिखना <math>\gamma\in M</math> मोनॉइड के एक सामान्य तत्व के रूप में, कैंटर फ़ंक्शन की एक समान आत्म-समरूपता है:
कुछ सांकेतिक पुनर्व्यवस्थाएं उपरोक्त को व्यक्त करना थोड़ा आसान बना सकती हैं। होने देना <math>g_0</math> और <math>g_1</math> एल और आर के लिए खड़ा है। फलन संरचना इसे एक [[मोनोइड]] तक विस्तारित करती है, जिसमें कोई भी लिख सकता है <math>g_{010}=g_0g_1g_0</math> और आम तौर पर, <math>g_Ag_B=g_{AB}</math> अंक ए, बी की कुछ बाइनरी स्ट्रिंग के लिए, जहां एबी ऐसी स्ट्रिंग का सामान्य संयोजन है। डायडिक मोनॉइड एम तब ऐसी सभी परिमित-लंबाई वाली बाएँ-दाएँ चालों का मोनॉइड है। लिखना <math>\gamma\in M</math> मोनॉइड के एक सामान्य तत्व के रूप में, कैंटर फलन की एक समान आत्म-समरूपता है:
:<math>\gamma_D\circ c= c\circ \gamma_C</math>
:<math>\gamma_D\circ c= c\circ \gamma_C</math>
डायडिक मोनॉइड में स्वयं कई दिलचस्प गुण हैं। इसे एक अनंत [[ द्विआधारी वृक्ष ]] के नीचे बाएँ-दाएँ चालों की एक सीमित संख्या के रूप में देखा जा सकता है; पेड़ पर असीम रूप से दूर की पत्तियाँ कैंटर सेट के बिंदुओं से मेल खाती हैं, और इसलिए, मोनॉइड कैंटर सेट की आत्म-समरूपता का भी प्रतिनिधित्व करता है। वास्तव में, आमतौर पर पाए जाने वाले फ्रैक्टल्स के एक बड़े वर्ग का वर्णन डायडिक मोनॉयड द्वारा किया जाता है; अतिरिक्त उदाहरण [[राम का वक्र]] पर लेख में पाए जा सकते हैं। आत्म-समानता रखने वाले अन्य फ्रैक्टल्स को अन्य प्रकार के मोनोइड्स के साथ वर्णित किया गया है। डायडिक मोनॉइड स्वयं [[मॉड्यूलर समूह]] का एक उप-मोनॉइड है <math>SL(2,\mathbb{Z}).</math>
डायडिक मोनॉइड में स्वयं कई दिलचस्प गुण हैं। इसे एक अनंत [[ द्विआधारी वृक्ष ]] के नीचे बाएँ-दाएँ चालों की एक सीमित संख्या के रूप में देखा जा सकता है; पेड़ पर असीम रूप से दूर की पत्तियाँ कैंटर सेट के बिंदुओं से मेल खाती हैं, और इसलिए, मोनॉइड कैंटर सेट की आत्म-समरूपता का भी प्रतिनिधित्व करता है। वास्तव में, आमतौर पर पाए जाने वाले फ्रैक्टल्स के एक बड़े वर्ग का वर्णन डायडिक मोनॉयड द्वारा किया जाता है; अतिरिक्त उदाहरण [[राम का वक्र]] पर लेख में पाए जा सकते हैं। आत्म-समानता रखने वाले अन्य फ्रैक्टल्स को अन्य प्रकार के मोनोइड्स के साथ वर्णित किया गया है। डायडिक मोनॉइड स्वयं [[मॉड्यूलर समूह]] का एक उप-मोनॉइड है <math>SL(2,\mathbb{Z}).</math>
ध्यान दें कि कैंटर फ़ंक्शन मिंकोव्स्की के प्रश्न-चिह्न फ़ंक्शन से कहीं अधिक समानता रखता है। विशेष रूप से, यह बिल्कुल उसी समरूपता संबंधों का पालन करता है, यद्यपि परिवर्तित रूप में।
ध्यान दें कि कैंटर फलन मिंकोव्स्की के प्रश्न-चिह्न फलन से कहीं अधिक समानता रखता है। विशेष रूप से, यह बिल्कुल उसी समरूपता संबंधों का पालन करता है, यद्यपि परिवर्तित रूप में।


== सामान्यीकरण ==
== सामान्यीकरण ==
Line 110: Line 110:


: <math>y=\sum_{k=1}^\infty b_k 2^{-k}</math>
: <math>y=\sum_{k=1}^\infty b_k 2^{-k}</math>
वास्तविक संख्या 0 ≤ y ≤ 1 का द्विआधारी अंक b के संदर्भ में द्विघात परिमेय (बाइनरी) विस्तार हो<sub>''k''</sub> ∈ {0,1}. [[डायडिक परिवर्तन]] पर लेख में इस विस्तार पर अधिक विस्तार से चर्चा की गई है। फिर फ़ंक्शन पर विचार करें
वास्तविक संख्या 0 ≤ y ≤ 1 का द्विआधारी अंक b के संदर्भ में द्विघात परिमेय (बाइनरी) विस्तार हो<sub>''k''</sub> ∈ {0,1}. [[डायडिक परिवर्तन]] पर लेख में इस विस्तार पर अधिक विस्तार से चर्चा की गई है। फिर फलन पर विचार करें


: <math>C_z(y)=\sum_{k=1}^\infty b_k z^{k}.</math>
: <math>C_z(y)=\sum_{k=1}^\infty b_k z^{k}.</math>
Z = 1/3 के लिए, फ़ंक्शन का व्युत्क्रम x = 2 C<sub>1/3</sub>(y) कैंटर फ़ंक्शन है। अर्थात्, y = y(x) कैंटर फ़ंक्शन है। सामान्य तौर पर, किसी भी z<1/2, C के लिए<sub>''z''</sub>(y) ऐसा लगता है जैसे कैंटर फ़ंक्शन अपनी तरफ मुड़ गया है, जैसे-जैसे z शून्य के करीब पहुंचता है, चरणों की चौड़ाई चौड़ी होती जाती है।
Z = 1/3 के लिए, फलन का व्युत्क्रम x = 2 C<sub>1/3</sub>(y) कैंटर फलन है। अर्थात्, y = y(x) कैंटर फलन है। सामान्य तौर पर, किसी भी z<1/2, C के लिए<sub>''z''</sub>(y) ऐसा लगता है जैसे कैंटर फलन अपनी तरफ मुड़ गया है, जैसे-जैसे z शून्य के करीब पहुंचता है, चरणों की चौड़ाई चौड़ी होती जाती है।


जैसा कि ऊपर उल्लेख किया गया है, कैंटर फ़ंक्शन कैंटर सेट पर एक माप का संचयी वितरण फ़ंक्शन भी है। कैंटर सेट या अन्य फ्रैक्टल्स पर समर्थित विभिन्न परमाणु-कम संभाव्यता उपायों पर विचार करके विभिन्न कैंटर फ़ंक्शंस, या डेविल्स सीढ़ी प्राप्त की जा सकती हैं। जबकि कैंटर फ़ंक्शन में लगभग हर जगह व्युत्पन्न 0 है, वर्तमान शोध उन बिंदुओं के सेट के आकार के सवाल पर केंद्रित है जहां ऊपरी दाएं व्युत्पन्न निचले दाएं व्युत्पन्न से अलग है, जिससे व्युत्पन्न मौजूद नहीं है। भिन्नता का यह विश्लेषण आमतौर पर फ्रैक्टल आयाम के संदर्भ में दिया जाता है, जिसमें हॉसडॉर्फ आयाम सबसे लोकप्रिय विकल्प है। अनुसंधान की यह श्रृंखला 1990 के दशक में डर्स्ट द्वारा शुरू की गई थी,<ref>{{Cite journal|title = The Hausdorff Dimension of the Nondifferentiability Set of the Cantor Function is [ ln(2)/ln(3) ]2|jstor = 2159830|journal = Proceedings of the American Mathematical Society|date = 1993-09-01|pages = 105–108|volume = 119|issue = 1|doi = 10.2307/2159830|first = Richard|last = Darst}}</ref> जिन्होंने दिखाया कि कैंटर फ़ंक्शन की गैर-भिन्नता के सेट का हॉसडॉर्फ आयाम कैंटर सेट के आयाम का वर्ग है, <math>(\log2/\log3)^2</math>. इसके बाद [[केनेथ फाल्कनर (गणितज्ञ)]]<ref>{{Cite journal|title = एक तरफा मल्टीफ्रैक्टल विश्लेषण और शैतान की सीढ़ियों की गैर-विभेदीकरण के बिंदु|journal = Mathematical Proceedings of the Cambridge Philosophical Society|date = 2004-01-01|issn = 1469-8064|pages = 167–174|volume = 136|issue = 1|doi = 10.1017/S0305004103006960|first = Kenneth J.|last = Falconer|bibcode = 2004MPCPS.136..167F|s2cid = 122381614}}</ref> पता चला कि यह वर्ग संबंध अहलफोर के सभी नियमित, एकल उपायों के लिए लागू होता है, अर्थात।<math display="block">\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</math>बाद में, ट्रोस्चिट<ref>{{Cite journal|title = Hölder differentiability of self-conformal devil's staircases|journal = Mathematical Proceedings of the Cambridge Philosophical Society|date = 2014-03-01|issn = 1469-8064|pages = 295–311|volume = 156|issue = 2|doi = 10.1017/S0305004113000698|first = Sascha|last = Troscheit|arxiv = 1301.1286|bibcode = 2014MPCPS.156..295T|s2cid = 56402751}}</ref> सेट की अधिक व्यापक तस्वीर प्राप्त करें जहां स्व-अनुरूप और स्व-समानता | स्व-समान सेट पर समर्थित अधिक सामान्यीकृत गिब के उपायों के लिए व्युत्पन्न मौजूद नहीं है।
जैसा कि ऊपर उल्लेख किया गया है, कैंटर फलन कैंटर सेट पर एक माप का संचयी वितरण फलन भी है। कैंटर सेट या अन्य फ्रैक्टल्स पर समर्थित विभिन्न परमाणु-कम संभाव्यता उपायों पर विचार करके विभिन्न कैंटर फ़ंक्शंस, या डेविल्स स्टेरकेस प्राप्त की जा सकती हैं। जबकि कैंटर फलन में लगभग हर जगह व्युत्पन्न 0 है, वर्तमान शोध उन बिंदुओं के सेट के आकार के सवाल पर केंद्रित है जहां ऊपरी दाएं व्युत्पन्न निचले दाएं व्युत्पन्न से अलग है, जिससे व्युत्पन्न मौजूद नहीं है। भिन्नता का यह विश्लेषण आमतौर पर फ्रैक्टल आयाम के संदर्भ में दिया जाता है, जिसमें हॉसडॉर्फ आयाम सबसे लोकप्रिय विकल्प है। अनुसंधान की यह श्रृंखला 1990 के दशक में डर्स्ट द्वारा शुरू की गई थी,<ref>{{Cite journal|title = The Hausdorff Dimension of the Nondifferentiability Set of the Cantor Function is [ ln(2)/ln(3) ]2|jstor = 2159830|journal = Proceedings of the American Mathematical Society|date = 1993-09-01|pages = 105–108|volume = 119|issue = 1|doi = 10.2307/2159830|first = Richard|last = Darst}}</ref> जिन्होंने दिखाया कि कैंटर फलन की गैर-भिन्नता के सेट का हॉसडॉर्फ आयाम कैंटर सेट के आयाम का वर्ग है, <math>(\log2/\log3)^2</math>. इसके बाद [[केनेथ फाल्कनर (गणितज्ञ)]]<ref>{{Cite journal|title = एक तरफा मल्टीफ्रैक्टल विश्लेषण और शैतान की सीढ़ियों की गैर-विभेदीकरण के बिंदु|journal = Mathematical Proceedings of the Cambridge Philosophical Society|date = 2004-01-01|issn = 1469-8064|pages = 167–174|volume = 136|issue = 1|doi = 10.1017/S0305004103006960|first = Kenneth J.|last = Falconer|bibcode = 2004MPCPS.136..167F|s2cid = 122381614}}</ref> पता चला कि यह वर्ग संबंध अहलफोर के सभी नियमित, एकल उपायों के लिए लागू होता है, अर्थात।<math display="block">\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</math>बाद में, ट्रोस्चिट<ref>{{Cite journal|title = Hölder differentiability of self-conformal devil's staircases|journal = Mathematical Proceedings of the Cambridge Philosophical Society|date = 2014-03-01|issn = 1469-8064|pages = 295–311|volume = 156|issue = 2|doi = 10.1017/S0305004113000698|first = Sascha|last = Troscheit|arxiv = 1301.1286|bibcode = 2014MPCPS.156..295T|s2cid = 56402751}}</ref> सेट की अधिक व्यापक तस्वीर प्राप्त करें जहां स्व-अनुरूप और स्व-समानता | स्व-समान सेट पर समर्थित अधिक सामान्यीकृत गिब के उपायों के लिए व्युत्पन्न मौजूद नहीं है।


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


==यह भी देखें==
==यह भी देखें==
* डायडिक परिवर्तन
* डायडिक परिवर्तन
* [[वीयरस्ट्रैस फ़ंक्शन]], एक ऐसा फ़ंक्शन जो हर जगह निरंतर है लेकिन कहीं भी भिन्न नहीं है।
* [[वीयरस्ट्रैस फ़ंक्शन|वीयरस्ट्रैस फलन]], एक ऐसा फलन जो हर जगह सतत है लेकिन कहीं भी भिन्न नहीं है।


==टिप्पणियाँ==
==टिप्पणियाँ==

Revision as of 10:33, 11 July 2023

इकाई अंतराल पर कैंटर फलन का ग्राफ़

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

इसे कैंटर टर्नरी फलन, लेबेस्ग्यू फलन भी कहा जाता है।[1] लेबेस्ग्यू एकल फलन, कैंटोर-विटाली फलन, डेविल्स स्टेरकेस,[2] कैंटर स्टेरकेस फलन,[3] और कैंटर-लेब्सग फलन भी कहा जाता है।[4] जॉर्ज कैंटर Cantor (1884) ने कैंटर फलन प्रारंभ हुआ और उल्लेख किया कि शेफ़र ने बताया कि यह कार्ल गुस्ताव एक्सल हार्नैक द्वारा दावा किए गए कलन का मूलभूत प्रमेय के विस्तार का प्रति उदाहरण था। कैंटर फलन पर शेफ़र (1884), लेब्सग्यू (1904) और विटाली (1905) द्वारा चर्चा की गई और इसे लोकप्रिय बनाया गया है।

परिभाषा

कैंटर फलन का पुनरावृत्त निर्माण

कैंटर फलन को परिभाषित करने के लिए , होने देना में कोई भी संख्या हो और प्राप्त करें निम्नलिखित चरणों द्वारा:

  1. अभिव्यक्त करना आधार 3 में.
  2. यदि आधार-3 का प्रतिनिधित्व इसमें 1 है, पहले 1 के बाद प्रत्येक अंक को सख्ती से 0 से बदलें।
  3. किसी भी बचे हुए 2 को 1 से बदलें।
  4. परिणाम को बाइनरी संख्या के रूप में समझें। परिणाम है .

उदाहरण के लिए:

  • इसका टर्नरी प्रतिनिधित्व 0.02020202 है... कोई 1 नहीं है इसलिए अगला चरण अभी भी 0.02020202 है... इसे 0.01010101 के रूप में फिर से लिखा गया है... यह का द्विआधारी प्रतिनिधित्व है , इसलिए .
  • इसका टर्नरी प्रतिनिधित्व 0.01210121 है... पहले 1 के बाद के अंकों को 0s से प्रतिस्थापित करके 0.01000000 उत्पन्न किया जाता है... इसे दोबारा नहीं लिखा गया है क्योंकि इसमें कोई 2s नहीं है। यह का द्विआधारी प्रतिनिधित्व है , इसलिए .
  • त्रिक प्रतिनिधित्व 0.21102 (या 0.211012222...) है। 0.21 उत्पन्न करने के लिए पहले 1 के बाद के अंकों को 0 से प्रतिस्थापित किया जाता है। इसे 0.11 के रूप में पुनः लिखा गया है। यह का द्विआधारी प्रतिनिधित्व है , इसलिए .

समान रूप से, यदि कैंटर को [0,1] पर सेट किया गया है, फिर कैंटर फलन को के रूप में परिभाषित किया जा सकता है

यह सूत्र अच्छी तरह से परिभाषित है, क्योंकि कैंटर सेट के प्रत्येक सदस्य का एक अद्वितीय आधार 3 प्रतिनिधित्व होता है जिसमें केवल अंक 0 या 2 होते हैं। (कुछ सदस्यों के लिए) , टर्नरी विस्तार 2 के अनुगामी के साथ दोहराया जा रहा है और 1 में समाप्त होने वाला एक वैकल्पिक गैर-दोहराया जाने वाला विस्तार है। उदाहरण के लिए, = 0.13 = 0.02222...3 कैंटर सेट का सदस्य है)। तब से और , और पर एकरस है , यह स्पष्ट है कि सभी के लिए भी धारण करता है .

गुण

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

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

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

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

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

निरपेक्ष सांतत्य का अभाव

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

वास्तव में, प्रत्येक δ > 0 के लिए परिमित रूप से कई जोड़ीदार असंयुक्त अंतराल होते हैं (xक</उप>,यk) (1 ≤ k ≤ M) के साथ और .

वैकल्पिक परिभाषाएँ

पुनरावृत्तीय निर्माण

Cantor function sequence.png

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

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

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

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

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

चलो एफn+1(x)= 1/2 + 1/2 × fn(3 x − 2), कब 2/3 ≤ x ≤ 1.

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

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

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

भग्न आयतन

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


स्वयं-समानता

कैंटर फलन में कई समरूपताएं होती हैं। के लिए , एक प्रतिबिंब समरूपता है

और आवर्धन की एक जोड़ी, एक बाईं ओर और एक दाईं ओर:

और

आवर्धन को कैस्केड किया जा सकता है; वे डायडिक मोनोइड उत्पन्न करते हैं। इसे कई सहायक कार्यों को परिभाषित करके प्रदर्शित किया जाता है। प्रतिबिंब को इस प्रकार परिभाषित करें

प्रथम स्व-समरूपता को इस प्रकार व्यक्त किया जा सकता है

जहां प्रतीक फलन संरचना को दर्शाता है। वह है, और इसी तरह अन्य मामलों के लिए भी। बाएँ और दाएँ आवर्धन के लिए, बाएँ-मैपिंग लिखें

और

तब कैंटर फलन का पालन होता है

इसी प्रकार, सही मैपिंग को इस प्रकार परिभाषित करें

और

फिर, इसी तरह,

उसमें दोनों पक्षों को एक दूसरे पर प्रतिबिंबित किया जा सकता है

और इसी तरह,

इन परिचालनों को मनमाने ढंग से स्टैक किया जा सकता है। उदाहरण के लिए, बाएँ-दाएँ चालों के क्रम पर विचार करें सबस्क्रिप्ट सी और डी जोड़ना, और, स्पष्टता के लिए, कंपोज़िशन ऑपरेटर को हटाना कुछ स्थानों को छोड़कर सभी में, एक है:

एल और आर अक्षरों में मनमाना परिमित-लंबाई वाले तार डायडिक परिमेय के अनुरूप हैं, जिसमें प्रत्येक डायडिक परिमेय को दोनों के रूप में लिखा जा सकता है पूर्णांक n और m के लिए और बिट्स की सीमित लंबाई के रूप में साथ इस प्रकार, प्रत्येक डायडिक परिमेय कैंटर फलन की कुछ आत्म-समरूपता के साथ एक-से-एक पत्राचार में है।

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

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

सामान्यीकरण

होने देना

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

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

जैसा कि ऊपर उल्लेख किया गया है, कैंटर फलन कैंटर सेट पर एक माप का संचयी वितरण फलन भी है। कैंटर सेट या अन्य फ्रैक्टल्स पर समर्थित विभिन्न परमाणु-कम संभाव्यता उपायों पर विचार करके विभिन्न कैंटर फ़ंक्शंस, या डेविल्स स्टेरकेस प्राप्त की जा सकती हैं। जबकि कैंटर फलन में लगभग हर जगह व्युत्पन्न 0 है, वर्तमान शोध उन बिंदुओं के सेट के आकार के सवाल पर केंद्रित है जहां ऊपरी दाएं व्युत्पन्न निचले दाएं व्युत्पन्न से अलग है, जिससे व्युत्पन्न मौजूद नहीं है। भिन्नता का यह विश्लेषण आमतौर पर फ्रैक्टल आयाम के संदर्भ में दिया जाता है, जिसमें हॉसडॉर्फ आयाम सबसे लोकप्रिय विकल्प है। अनुसंधान की यह श्रृंखला 1990 के दशक में डर्स्ट द्वारा शुरू की गई थी,[5] जिन्होंने दिखाया कि कैंटर फलन की गैर-भिन्नता के सेट का हॉसडॉर्फ आयाम कैंटर सेट के आयाम का वर्ग है, . इसके बाद केनेथ फाल्कनर (गणितज्ञ)[6] पता चला कि यह वर्ग संबंध अहलफोर के सभी नियमित, एकल उपायों के लिए लागू होता है, अर्थात।

बाद में, ट्रोस्चिट[7] सेट की अधिक व्यापक तस्वीर प्राप्त करें जहां स्व-अनुरूप और स्व-समानता | स्व-समान सेट पर समर्थित अधिक सामान्यीकृत गिब के उपायों के लिए व्युत्पन्न मौजूद नहीं है।

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

यह भी देखें

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

टिप्पणियाँ

  1. Vestrup 2003, Section 4.6.
  2. Thomson, Bruckner & Bruckner 2008, p. 252.
  3. "Cantor Staircase Function".
  4. Bass 2013, p. 28.
  5. Darst, Richard (1993-09-01). "The Hausdorff Dimension of the Nondifferentiability Set of the Cantor Function is [ ln(2)/ln(3) ]2". Proceedings of the American Mathematical Society. 119 (1): 105–108. doi:10.2307/2159830. JSTOR 2159830.
  6. Falconer, Kenneth J. (2004-01-01). "एक तरफा मल्टीफ्रैक्टल विश्लेषण और शैतान की सीढ़ियों की गैर-विभेदीकरण के बिंदु". Mathematical Proceedings of the Cambridge Philosophical Society. 136 (1): 167–174. Bibcode:2004MPCPS.136..167F. doi:10.1017/S0305004103006960. ISSN 1469-8064. S2CID 122381614.
  7. Troscheit, Sascha (2014-03-01). "Hölder differentiability of self-conformal devil's staircases". Mathematical Proceedings of the Cambridge Philosophical Society. 156 (2): 295–311. arXiv:1301.1286. Bibcode:2014MPCPS.156..295T. doi:10.1017/S0305004113000698. ISSN 1469-8064. S2CID 56402751.


संदर्भ


बाहरी संबंध